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.
Bluesky CEO Jay Graber is stepping down
Link: https://bsky.social/about/blog/03-09-2026-a-new-chapter-for-bluesky
Discussion: https://news.ycombinator.com/item?id=47313884
alice’s malice chalice
Nice! NAT64 in action, My IPv6-only jail can successfully talk with Github. No tayga, just the new "af-to" feature, that the "pf" firewall got in 15.0-RELEASE:
pass in quick on bastille0 inet6 from $jail_net to 64:ff9b::/96 \
af-to inet from ($ext_if) keep state
This is genuinly nice! 🙂
for dumb local mode i think i'd maybe want choice between "resync everything from scratch" and "continue with missed"
Really enjoying this album that I found recently. It is electronic music with a retro vibe and some of the talking clips sound like they are from Computer Chronicles. Very tastefully inserted in some songs.
#music #retrocomputing #techno #electronic #blog #smallweb #indieweb
you're reading that right - mustache levels are at 95%
(95%) ■■■■■■■■■□
Congrats to @thisismissem.social@bsky.brid.gyEmelia for the well deserved financial support.
She contributes across atproto and ActivityPub, & with the IETF OAuth standards.
FedCM is a W3C web platform API that “allows users to login to websites with their federated accounts in a privacy preserving manner”
RE: https://bsky.app/profile/did:plc:5w4eqcxzw5jv5qfnmzxcakfy/post/3mgniewoy322j
Reversing Russian spyware I installed on my iPhone https://lobste.rs/s/vhvdme #video #ios #security
https://www.youtube.com/watch?v=XQvZ2mLnZVI
This strange dirt on a snowbank drew my attention: what did someone dump there?
The closeup shows they are millions of Snowfleas (Hypogastrura nivicola) emerging from the depth of the snow to feed on algae, fungi, and detritus.
A sign of spring.
Latest 𝗩𝗮𝗹𝘂𝗮𝗯𝗹𝗲 𝗡𝗲𝘄𝘀 - 𝟮𝟬𝟮𝟲/𝟬𝟯/𝟬𝟵 (Valuable News - 2026/03/09) available.
https://vermaden.wordpress.com/2026/03/09/valuable-news-2026-03-09/
Past releases: https://vermaden.wordpress.com/news/
#verblog #vernews #news #bsd #freebsd #openbsd #netbsd #linux #unix #zfs #opnsense #ghostbsd #solaris #vermadenday
$dayjob is forcing me to touch systemd. I am so glad I have avoided to this point. Next step, move this system off systemd.
#RUNBSD
What about a nice Midnight Commander-style TUI to manage cells interactively? 🤔
For example....
Emelia has already done so much great standards and auth work behind the scenes, which benefits not just atproto/atmosphere, but also ActivityPub, Solid, and other social web ecosystems.
really excited about the potential for FedCM to make login flows slick and competitive with Google/Apple/Meta
RE: https://bsky.app/profile/did:plc:5w4eqcxzw5jv5qfnmzxcakfy/post/3mgniewoy322j
What about a nice Midnight Commander-style TUI to manage cells interactively? 🤔
"man tuning" gives some tips how to tune performance of your FreeBSD system.
-- David Scheidt <dscheidt@tumbolia.com>
Some personal news: I’m transitioning from CEO to a new role as Bluesky’s Chief Innovation Officer! I’m excited to welcome @toni.bsky.team@bsky.brid.gy as our interim CEO.
More here: bsky.social/about/blog/0...
A New Chapter for Bluesky - Bl...
人間にくっつく場合には「付ける」じゃなくて「着ける」なのかしら
but yeah in my case since dids are added manually (only a few repos are watched) i presume that resyncing everything is always cheap, so i don't know why tap won't just do it on startup
ノイズキャンセルのヘッドホンを付けといたら大声で歌っても聞こえないよ!! (自分には)
#Raccoons solve mechanical puzzles driven by intrinsic #curiosity and information-seeking, continuing to unlock mechanisms even when no additional food rewards are provided.
#BehavioralScience #Ecology #Zoology #sflorg
https://www.sflorg.com/2026/03/bs03092601.html
Also I love to see more cross protocol work happening. Rising tides can lift all boats.
Folks who want to have protocol wars can wade in and try to hold back the ocean.
RE: https://bsky.app/profile/did:plc:l5yz32nydpebjlcdfgycmf3x/post/3mgnj7qe2b22h
part of it is i just don't have any mental model for what actually happens when it's off and then on like does soundness REQUIRE catching up on every firehouse event? or does soundness not require it but "resync everything missed" could be expensive? or there's no technical way to distinguish?
"Witch" is a gender-neutral term.
from my link log —
WebPKI and you.
https://blog.brycekerley.net/2026/03/08/webpki-and-you.html
saved 2026-03-09 https://dotat.at/:/2I9ZS.html
*bangs on sign*
Seems painfully obvious that, whatever you think about #genai code, anyone using it is heading for a code-review logjam. Assuming that the org requires code review; if yours doesn’t, nothing I can say will help you. Anyhow, Rishi Baldawa writes smart stuff about the problem and possible ways forward, in ˚The Reviewer Isn't the Bottleneck”: https://rishi.baldawa.com/posts/review-isnt-the-bottleneck/
[My prediction: A lot of orgs will *not* do smart things about this and will suffer disastrous consequences in the near future.]
Some personal news: I’m transitioning from CEO to a new role as Bluesky’s Chief Innovation Officer! I’m excited to welcome @toni.bsky.team@bsky.brid.gy as our interim CEO.
More here: bsky.social/about/blog/0...
A New Chapter for Bluesky - Bl...
A Modular Computer That's Bringing Back Analog - Hackster.io https://lobste.rs/s/va1bqo #hardware
https://www.hackster.io/news/a-modular-computer-that-s-bringing-back-analog-e02f07df7bf6
Wrote a thing on the company blog about how you can now deploy 
@beewareBeeWare Project apps to PythonAnywhere with a single command: `briefcase publish web static`. What started as a hackathon idea turned into a plugin system for Briefcase. https://blog.pythonanywhere.com/223/
El 28 de febrer vam celebrar la segona fedifesta a Alacant, i va ser tot un èxit i molt interessant 😊
Una vintena de persones vam aprendre sobre el fedivers, i cam compartir dades i anècdotes sobre la nostra experiència amb les xarxes socials en general. Molta gent es va fer un compte a Mastodon, i sobretot hem fet comunitat amb persones i col·lectius d'Alacant, i compis de Citical Switch (
@criticalswitch) i Múrcia (
@elena, 
@kyva⁂ Kyva 
). Gràcies a totes per vindre 🧡
Per a qui no haja pogut vindre, us passem dos enllaços:
- com fer-me un compte a mastodon: https://sindominio.net/lafurgo/
- aprendre sobre el fedivers: https://critical-switch.org/ca/posts/introduccio-al-fedivers/
També podeu seguir-nos al mastodon: 
@raconet, 
@casaltiocucCasal Popular Tio Cuc Alacant
Esperem veure-vos a la següent!
Implementing dependent type theory inhabitation and unification. ~ Chase Norman, Jeremy Avigad. https://arxiv.org/abs/2603.01463 #LeanProver #ITP
Very excited for the new projects we have in the works that Jay will now be leading more directly as CIO. She has always been excellent at seeing the vision and knowing where to go, so glad that we're unburdening her from the day to day of running the company.
RE: https://bsky.app/profile/did:plc:oky5czdrnfjpqslsw2a5iclo/post/3mgnkkbkw2c2v
Toni has been an advisor to us for years, and it's an honor to have him come in to lead us into this next phase 🚀
RE: https://bsky.app/profile/did:plc:cwf4mmm7mpzistinx3ox2zhj/post/3mgnkln3fmk2j
Unbiasing symmetric monoidal categories in Lean. ~ Robin Carlier. https://arxiv.org/abs/2603.00896 #LeanProver #ITP
#커미션 #Commission
📽️이열~ 거기 분위기 좋은데~🎞
2인 두 · 흉상 6.5
작업기간 15일
3월 10일(화) 오후 8시에 타입 한정 슬롯 오픈합니다!
1슬롯 최대 2페어입니다.
타래로 오픈카톡방 링크를 업로드할 예정입니다.
자세한 내용은 링크 확인 부탁드립니다!
https://pppyak_cm.luv3r.me
@alex.bsky.team if Tap is the recommendation in the docs, i think it's important to not just verify that it runs, but to also verify that an actual development workflow — such as closing your laptop and then continuing work next day — also works i feel like this is an assumption that nobody tested
Mathematicians in the age of AI. ~ Jeremy Avigad. https://arxiv.org/abs/2603.03684 #AI4Math #LeanProver #ITP
something is very wrong with the tool if the conclusion that Claude comes to is that deleting tap db is the "right workflow"
Introducing Code Review, a new feature for Claude Code.
When a PR opens, Claude dispatches a team of agents to hunt for bugs.
Curling is at a crossroads: how much technology are we willing to incorporate into the sport, into training, and into competitions? https://spectrum.ieee.org/olympics-curling-robot-ai?utm_source=mastodon&utm_medium=social&utm_campaign=fedica-Mastodon-Daily-Pipeline
What I listened to today: 2024-05-22 Mastodon post, Autechre
Sean Booth of Æ has a Fediverse account and one day last year posted this gorgeous outtake from Oversteps (which I still consider Æ's most risk-taking album). It's kind of breathtaking, utterly unlike Æ, a labyrinth of classical spanish guitar, while also quintessentially Æ and very "yeah that, that's an Oversteps track". I think of this as a cousin to known(1) but I feel shadows of other songs of that era too
https://data.runhello.com/blj/autechre_oversteps_outtake_sean_mastodon_20240522.mp3
What I'm listening to today: "Southside", Lil Keke
What if I spent this entire week linking classic "dirty south" hip-hop tracks I loved from 97.9 The Box back in the 90s (which, I am visiting Houston this week and their selection is still excellent). No one could really stop me.
Here's known DJ Screw associate Lil Keke, dropping an effortless flow that stuck in my head for 29 years and my favorite instance of slide guitar in the entire corpus of music. Sorry Beck
Everyone be normal and digest the news for 10s before reacting challenge (impossible)
Formalization in Lean of faithfully flat descent of projectivity. ~ Liran Shaul. https://arxiv.org/abs/2603.04376 #LeanProver #ITP
in reality my workflow is to constantly delete tap .db file, truncate my local db tables, and do a clean resync. multiple times a day because Tap gets stuck everytime. this workflow is way worse than when i had my own ingester which at least behaved predictably and reacted instantly.
Alice Averlong🏳️⚧️
Stefano Marinelli
Chris Siebenmann
phildini
Tom Casavant
시오
wakest ⁂