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

Alright, I finished my first proper blog post about selective applicative functors!

I lay out the theoretical basis for them and how I claim they should model control flow with exclusive determined choice (which is something the existing formulation failed to capture)

blog.veritates.love/selective_

the key insight necessary to make it work for N-ary branching is to consider arrows (composable profunctors) instead of functors in isolation, because casing on an Either is about the domain not the codomain

the resulting structure is related to near-semirings, but in a different way than Alternative is (as that encodes nondeterministic choice)

0

For those of you who remember ScreamingGoat, they're currently looking for a new role. Ideally something in the threat Intelligence space and DC local. Y'all know how he is with emerging vulnerabilities. Let me know what you've got and I'll make sure it makes it to them.

0
0
1
1
2
0
0
0

Announcing Key Transparency for the Fediverse

I'm pleased to announce the immediate availability of a reference implementation for the Public Key Directory server. This software implements the Key Transparency specification I've been working on since last year, and is an important stepping stone towards secure end-to-end encryption for the Fediverse. You can find the software publicly available on GitHub: PHP Server software: PHP SDK (client-side):

soatok.blog/2025/12/15/announc

0
0
0

My way of rebelling against techbros and autocrats:

December 2024: quit all Big Tech platforms and start essential services

December 2025: write guides for newbies about how to self-host

I'm also in discussion with a blogger I admire to start a podcast about tech... where we'll focus on solutions (instead of problems)... aiming to inspire others to join in...

It's been a really heavy year but these little acts of rebellion give me hope โœจ

0
0
0

ใ‚ขใ‚ญใƒปใ‚ซใ‚ฆใƒชใ‚นใƒžใ‚ญๆ˜ ็”ปใ‚’่งฃ่ชฌใ€‚็‰ฉ่ณชไธป็พฉ็คพไผšใฎ็‰‡้š…ใง็”Ÿใใ‚‹ไบบใ€…ใฎๅฑ…ๅ ดๆ‰€ใ‚’ๆใ็ถšใ‘ใ‚‹ ๏ฝœ ใ‚ซใƒซใƒใƒฃใƒผใƒกใƒ‡ใ‚ฃใ‚ขNiEW๏ผˆใƒ‹ใƒฅใƒผ๏ผ‰ niewmedia.com/specials/029237/

ใ‚ขใ‚ญใƒปใ‚ซใ‚ฆใƒชใ‚นใƒžใ‚ญๆ˜ ็”ปใ‚’่งฃ่ชฌใ€‚็‰ฉ่ณชไธป็พฉ็คพไผšใฎ็‰‡้š…ใง็”Ÿใใ‚‹ไบบใ€…ใฎๅฑ…ๅ ดๆ‰€ใ‚’ๆใ็ถšใ‘ใ‚‹ | NiEW๏ผˆใƒ‹ใƒฅใƒผ๏ผ‰

ใ€Œ็คพไผšใฎ็‰‡้š…ใง็”Ÿใใ‚‹ไบบใ€…ใ‚’ใพใชใ–ใ™ไฝœๅฎถใ€ใฎๅผ•้€€ๅฎฃ่จ€ใจๅพฉๅธฐ ๅŠดๅƒ่€…ใฎๅบถๆฐ‘ใ“ใใŒๆ˜ ็”ปใฎไธปไบบๅ…ฌใงใ‚ใ‚‹โ€•โ€•ใ‚ขใ‚ญใƒปใ‚ซใ‚ฆใƒชใ‚นใƒžใ‚ญใฏใใฎๅงฟๅ‹ขใ‚’่ฒซใ็ถšใ‘ใฆใใŸๆ˜ ็”ปไฝœๅฎถใ ใ€‚ใใ“ใซใฏๅคงใใ่จ€ใฃใฆ2ใคใฎๆ„ๅ‘ณใŒใ‚ใ‚‹ใ€‚1ใคใฏใ€็คพไผšใฎ็‰‡้š…ใง็”Ÿใใ‚‹่€…ใŸใกใซใ“ใๅ…‰ใ‚’ๅฝ“ใฆใ‚‹ใจใ„ใ†ใ“ใจใ€‚ใ‚‚ใ†1ใคใฏใ€ใใ‚“ใชๅใ‚‚ใชใ่€…ใŸใกใฎใ•ใ•ใ‚„ใ‹ใชไบบ็”Ÿใซใ‚‚ใ€ๆ˜ ็”ปใงๆใ‹ใ‚Œใ‚‹ในใ็žฌ้–“ใŒๅฎฟใฃใฆใ„ใ‚‹ใจใ„ใ†ใ“ใจใ ใ€‚ใ‚ซใ‚ฆใƒช...

niewmedia.com ยท ใ‚ซใƒซใƒใƒฃใƒผใƒกใƒ‡ใ‚ฃใ‚ขNiEW๏ผˆใƒ‹ใƒฅใƒผ๏ผ‰

0
์•„ ์ง„์งœ ์ง‘๋‹จ ๊ดด๋กญํž˜ ์‚ฌ๊ฑด ๋•Œ๋ฌธ์— ์—ด๋ฐ›์•„์„œ ์ž ์ด ์•ˆ ์˜จ๋‹ค. ๋‚ด๊ฐ€ ๋‹นํ•œ ๊ฑด ์•„๋‹ˆ์ง€๋งŒ, ์ด๋”ด ๋ถ„์œ„๊ธฐ์—์„œ ๊ณต๋ถ€ํ•˜๊ณ  ์‹ถ์ง„ ์•Š์•„.
0
1

After my talk at @gnome Asia Summit, Iโ€™ve published the source code of Jollpi, a Python-based text editor Iโ€™m rewriting with a modern stack.

Built with Python 3, @GTK 4 and GtkSourceView 5, using a modern async architecture and standard Python packaging (pyproject.toml, pip).
It installs cleanly and integrates like a regular Linux desktop app.

Feel free to try it and share feedback.

Source code: gitlab.com/zulfian1732/jollpi-

0
0
0

Announcing Key Transparency for the Fediverse

I'm pleased to announce the immediate availability of a reference implementation for the Public Key Directory server. This software implements the Key Transparency specification I've been working on since last year, and is an important stepping stone towards secure end-to-end encryption for the Fediverse. You can find the software publicly available on GitHub: PHP Server software: PHP SDK (client-side):

soatok.blog/2025/12/15/announc

0
0
0
0
0
0
1
0
0
1
0

We need to normalize declaring software as finished. Not everything needs continuous updates to function. In fact, a minority of software needs this. Most software works as it is written. The code does not run out of date. I want more projects that are actually just finished, without the need to be continuously mutated and complexified ad infinitum.

0
0
0
0
0
0

I finally came around to inverting and retouching some of the film-photos I took years ago. I think I have a workflow that brings joy and works for me, so I might go through all of my analog photos over the following weeks, I will add the ones I like to this thread.

Until then, enjoy this idyllic beach scene in SF

a photo of a sole office chair on a beach. It sits on the sand, close to the waterline, looking out into the vast ocean. The sky in the image is mellow blue with a light cloud, the sand is pale brown. The black chair has some graffiti tags on it. It's a surreal scene
0
0
0
0
0

ใ™ใงใซ่ฟฝ่ทกๆธˆใฟใฎใƒ•ใ‚กใ‚คใƒซใฎใƒญใƒผใ‚ซใƒซๅค‰ๆ›ดใ‚’ใ‚ณใƒŸใƒƒใƒˆๅฏพ่ฑกใ‹ใ‚‰ๅค–ใ—ใŸใ„ๆ™‚ใฎใƒกใƒข

``` bash
git update-index --assume-unchanged .vscode/settings.json
git update-index --no-assume-unchanged .vscode/settings.json
git ls-files -v | grep '^h'
```

0
1
0
0
0
0
0
0
0

Salut @EPFL ! Moi, c'est Plushtodon, la peluche-mascotte de Mastodon ๐Ÿฆฃ โœจ

Je me rรฉjouis de dรฉcouvrir le quotidien du campus, de passer dโ€™รฉvรฉnements en rencontres et d'explorer les lieux les plus emblรฉmatiques!

------
Hi @EPFL ! Iโ€™m Plushtodon, the Mastodon plush mascot ๐Ÿฆฃ โœจ

I canโ€™t wait to immerse myself in everyday life on campus, hop from event to event, meet new people, and explore your most iconic spots!

Plushtodon devant le logo de l'EPFL. En arriรจre-plan, le Rolex Learning Center
0
0
0
1
0
1

2025-12-15 05:00 ๋ณด์•ˆ์‚ฌ๊ณ  ๋ณธ์งˆ์€ ๊ธฐ์ˆ  ์‹คํŒจ์ธ๋ฐโ€ฆ๋ถ„๋…ธ์˜ ํ™”์‚ด ๋Œ€๊ด€์œผ๋กœ ๋ฌธ์ œ ํ„ฐ์ง€๋ฉด ๋กœ๋น„๋ ฅ์— ์˜์กดํ•œ ๋ฐ•๋Œ€์ค€, ์™œ๊ณก๋œ ์˜์‹ ๋“œ๋Ÿฌ๋‚˜ ๋ฐ• ๅ‰๋Œ€ํ‘œ, ๊ฐ•๋‚จ ๋น„๋ฐ€ ์‚ฌ๋ฌด์‹ค ๊ณต๊ฐœ๋˜์ž ๋‹น์ผ ํ‡ด์ง„โ€ฆ์‚ฌ์‹ค์ƒ ๊ฒฝ์งˆ ๊น€๋ฒ”์„, ๋ฐ•๋Œ€์ค€, ๊ฐ•ํ•œ์Šน ์˜ค๋Š” 17์ผ ์ฒญ๋ฌธํšŒ ๋ถˆ์ถœ์„ ์‚ฌ์œ ์„œ ์ œ์ถœ www.nocutnews.co.kr/news/6442877

[๋‹จ๋…]์ฟ ํŒก ๋ฐ•๋Œ€์ค€, ํ•ดํ‚น ๋ฐœํ‘œ ์ง์ „ ๋Œ€๊ด€ ์กฐ์ง์— ๊ณ ์„ฑ...

0

Spinal Tap, Stand By Me, Princess Bride, When Harry Met Sally, Misery, A Few Good Men โ€” these are *perfect* movies, directing *just one* of them would be enough to put a director into the pantheon. To have made all of them โ€ฆ wow. RIP Rob Reiner, you were one of the best to ever do it. Damnit.

0
0
1
0
0
0
0

ํ•œ๊ตญ ์ง€๋ฐฉ์˜ํšŒ๋Š” ์™œ ์ด๋ ‡๊ฒŒ ์•ฝํ• ๊นŒ? ์ฐธ์—ฌ์—ฐ๋Œ€ ์˜์ •๊ฐ์‹œ์„ผํ„ฐ 2025๋…„ 12์›”15์ผ slownews.kr/150974

ํ•œ๊ตญ ์ง€๋ฐฉ์˜ํšŒ๋Š” ์™œ ์ด๋ ‡๊ฒŒ ์•ฝํ• ๊นŒ? - ์Šฌ๋กœ์šฐ๋‰ด์Šค.

0
0
0