What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
11
0
0
0
0
0
0
0
leyrer @leyrer@23.social
Public

Saal 1 ad hoc für Marc-Uwe Kling voll machen und 45 Minuten vor dem Talk keinen Sitzplatz mehr frei haben ist eine Erfahrung.
1000 Dank an alle involvierten Türengel und Stagemanager!
🤣🥰😋🤪

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
Kalvin Carefour Johnny 🇲🇾 @kalvin0x58c@ohai.social
Public
Shared by 🫧 socialcoding..

[Opinion] Sovereignty was once exclusive to the powerful—governments, billionaires, and elites controlling the rules. Add "Social" and everything shifts.

kalvin.my/the-manifesto-of-soc

The Manifesto of Social Sovereignty: Beyond the Elites

In the old world of Web 2.0, "Social Media" changed the flow of content. We moved from one-way broadcasting (TV, newspapers) to a "two-way" street where users created the content. Social Sovereignty is the same evolution, but for power. From "One-Way" Power to "Mutual Responsibility" Sovereignty used to be

kalvin.my · The Kalvin Weblog

0
0
0
🫧 socialcoding.. @smallcircles@social.coop
Public
Shared by 🫧 socialcoding..

Well, a of course! 😃

is happening on the today. Check out for more on the delightful commons list at:

delightful.coding.social/delig

A distributed bus and an bus to expand it further:

codeberg.org/fediverse/fediver

delightful fediverse experience

Delightful curated lists of free software, open science and information sources.

delightful.coding.social

0
0
0
alephoto85 @alephoto85@snac.bobadin.icu
Public

...and finally I managed to update!
This period has been really intense, so I've been away from social media in general.
But yesterday I had some free time and, in addition to updating org-social.el, I started looking for information on StandardML
(I have a chat friend who often works with OCaml and we were talking about it recently).
So I came across this resource by young professor Brandon Wu on functional programming, and I'm sharing it with you.
I haven't had a chance to look at it all yet, just the first two units, but it looks really interesting.
I hope it can be useful to someone.

"I had the pleasure of serving as the summer instructor for 15-150, the introduction functional programming class for computer science
students at Carnegie Mellon, in the Summer 2023 semester.

This course typically serves as the second or third course in the traditional computer science undergraduate sequence,
a privilege which not many other universities get to enjoy, as functional programming is often considered a niche topic.

Despite this, I (and CMU) believe this to be of the utmost importance. A disciplined, type-oriented, safety-first view of programming
can be of utmost benefit to burgeoning computer science scholars, and I have often heard feedback from students that it is has a
transformative view on their perspective of computer science in general.

To that end, I have made my lecture materials from my iteration of the course available for free on the Internet.
Please feel free to use this knowledge in any way that you see fit, and I hope that it aids you in your future endeavors."

https://brandonspark.github.io/150/

and also this free book for OCaml seems interesting...

https://cs3110.github.io/textbook/cover.html

I should be studying more for university, but I'm extremely distracted, or rather, as we say in Italy, “una testina di cazzo” (a dickhead).

😂😂😂

Original post on org-social: https://preview.org-social.org/?post=https%3A%2F%2Fwww.alessandroliguori.it%2Fsocial.org%232025-12-27T11%3A01%3A46%2B0100

15-150: Principles of Functional Programming

brandonspark.github.io

0
0
0
0
0
0
0
0
0
Humane Tech Community @humanetech@pixelfed.social
Public
Shared by 🫧 socialcoding..
Fediverse: United in Diversity. The European Take On Social Networking.

This image was created by Arnold Schrijver for the SocialHub ActivityPub event on 19 April 2021 on the topic of "ActivityPub for Administrations". The event, while open to anyone, is oriented towards EU institutions and EC representatives. In two webinars and a workshop we demonstrate how an administration can join the Fediverse.

SocialHub, the community of technologists that innovate the fediverse, was organizing in collaboration with NGI Zero, who support fediverse research and development with EU funds.

See also:
- https://socialhub.activitypub.rocks
Shows the map of EU countries with an overlay of a federated network, such as the Fediverse offers. Dark background, white text.Shows the map of EU countries with an overlay of a federated network, such as the Fediverse offers. White background, blue text, border.Shows the map of EU countries with an overlay of a federated network, such as the Fediverse offers. Transparent back, blue text, no border.
0
0
0
0
0
0
FreeBSD Fortune @fbfortune@mastodon.bsd.cafe
Public

If you want df(1) and other commands to display disk sizes in
kilobytes instead of 512-byte blocks, set BLOCKSIZE in your
environment to 'K'. You can also use 'M' for Megabytes or 'G' for
Gigabytes. If you want df(1) to automatically select the best size
then use 'df -h'.

0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

VSCode rebrands as "The open source AI code editor"

Link: code.visualstudio.com
Discussion: news.ycombinator.com/item?id=4

Visual Studio Code - The open source AI code editor

Visual Studio Code redefines AI-powered coding with GitHub Copilot for building and debugging modern web and cloud applications. Visual Studio Code is free and available on your favorite platform - Linux, macOS, and Windows.

code.visualstudio.com

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
🕯보라나🕯 @borana.bsky.social@bsky.brid.gy
Public
Shared by 스우🧀GameDev

ㄹㅇ 최종의 최종의 최종 돈이 진짜 없음의 이슈로 적당히 인장으로 써먹을 수 있는 두상 단색 6000원에 드리는 커미션을 잠깐동안 엽니다 kre.pe/Dod5

보라나님의 급전 두상 단색 구워드리는 타입 | CREP...

보라나님의 급전 두상 단색 구워드리는 타입 | CREPE

보라나님의 급전 두상 단색 구워드리는 타입, CREPE에서 신청할 수 있어요.

crepe.cm

0
0
5
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Nina Kalinina @nina_kali_nina@tech.lgbt
Public

I bought my first Apricot PC about three years ago, when I realised I wanted an 8086-based computer. At the time, I knew nothing about it and simply bought it because it looked rad and the price was low. I had no idea that it was not IBM PC-compatible, and that there were very few programs available for it.

I have been on a quest to get a modern-ish word processor and spreadsheet program for it ever since. Which eventually made me "port" Windows 2 on it. In this post, I share the story of the port. Many photos inside!

ninakalinina.com/notes/win2apr

A photograph of a vintage Apricot PC computer in dark grey plastic, with a "green phosphor" CRT on top, showing a panel from a comic in Windows Paintbrush. There's a beige mouse to the right of the keyboard, and a larger beige CRT even further to the right.
0
0
0
0
0
0
0
0
0