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
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
2
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
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
🫧 socialcoding.. @smallcircles@social.coop
Public

🫧 ™

Why is mostly always flat lists, persisted as rows in most basic datastores?

Instead why aren't they 😋 juicy metadata-hung 🍒 nuggets, sparkling in rich semantic tapestries, discovered in lush forests of , where insights and knowledge can be gleaned? Fruits that lure us to explore, be more connected to others.

🍓 Personal vaults!

Tech's there..

?
Explore a ?
and hybrids?
's local-1st?

0
0
0
0
0
2
0
0
0
7666 @7666@comp.lain.la
Public

amazing how many people justify their existence by bandwagoning on the new and cool hammer and insisting their new hammer must hit every nail , even the ones that have been firmly hammered in for years

this analogy is for rust
0
0
0
Just Tom... @tompearce49@mastodon.scot
Public

Well that hasn't taken long, has it - we are going to amuse ourselves into extinction. theguardian.com/technology/202

More than 20% of videos shown to new YouTube users are ‘AI slop’, study finds

Low-quality AI-generated content is now saturating social media – and generating about $117m a year, data shows

www.theguardian.com · the Guardian

0
0
0
0
0
0
0
0
0
0
0
0
별모래 @unanosian@k.lapy.link
Public

라피 서버에서는 팔로우 하는 사람의 글이 모두 보이는데
밀키웨이 서버에서는 보이지 않는 글이 있다는 걸 알았어요.
심지어 같은 밀키웨이 서버 분이신데
라피서버에서는 보이고 밀키웨이에서는 보이지 않아요 ​:ablobcatpnd_headache:​

1
0
0
dan @danabra.mov@bsky.brid.gy
Public

there’s a type of person (mostly found on reddit but also on HN) that will complain about any expected leap on the reader side they’ll write paragraphs but can’t be bothered to take a guess, or to explore something for a minute everything must be pre-chewed for them in the initial paint

sccxy 9 hours ago | undown | next [–] That must be worst website ever made. Zero information available on mobile. I thought it is some kind of portfolio site that does not work on mobile. reply codingdave 8 hours ago | parent | next [–] Not a mobile issue. I am on desktop and had no idea what this service was because nothing on the initial UI explained what we were looking at. I went and double-checked when people here were talking about pricing and VMs. From the home page, I figured it was some text-based game or experiment and closed the page. It looks like some people who work there are watching this thread, so to them I say: You have got to explain what this is, not just say "the disk persists..." and expect people to dig deeper. Most aren't that curious. reply kgeist 2 hours ago | root | parent | next [–] >From the home page, I figured it was some text-based game or experiment and closed the page. Same, my first thought was that it's some pentesting game where you're given a VM and your task is to somehow break it. The line "the disk persists. you have sudo" sounds like game rules.
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by Dolmengi

가자지구 엄마들이 자녀의 몸에 이름을 새기는 이유 입력 2025.12.23 07:30 학살의 또 다른 방법, 성폭력 '절멸' 위한 치밀한 계획…재생산 차단, 가족 해체 4·3, 6·25, 베트남전에 이은 '젠더'의 무기화 '위안부' 역사를 기억한다면, 가자를 외면할 수 없다 www.newsnjoy.or.kr/news/article...

가자지구 엄마들이 자녀의 몸에 이름을 새기는 이유

가자지구 엄마들이 자녀의 몸에 이름을 새기는 이유

김엘림 · 아기 예수가 태어난 땅, 팔레스타인 - 편집자 주2025년 고난받는 이들과 함께하는 성탄절 연합 예배는 전쟁과 학살로 고통받는 팔레스타인 주민들을 기억하며 진행합

www.newsnjoy.or.kr · 뉴스앤조이

0
0
0