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.
soupy peanut butter noodles https://www.diningandcooking.com/2397266/soupy-peanut-butter-noodles/ #Vegan #VeganFoodPorn #VeganPorn
They. Never. Do.
Tax. Them.
France threatens GrapheneOS with arrests / server seizure for refusing backdoors
Link: https://mamot.fr/@LaQuadrature/115581775965025042
Discussion: https://news.ycombinator.com/item?id=46036217
🦈
In every dystopian novel: the government bans books.
In reality: we gave up reading voluntarily.
너무 일찍 자서 너무 일찍 일어났다.
買っちった
Everybody go read "Termination Shock" by Neal Stephenson, because apparently that whole scenario is actually about to start happening: https://www.politico.com/news/magazine/2025/11/21/stardust-geoengineering-janos-pasztor-regulations-00646414
キーボード盆栽
Some helpful advice for all you software devs:
- You cannot solve social problems with code
- You cannot improve a system until you understand why it works the way it does
- You cannot produce tools for someone else without understanding how they work and what they are trying to accomplish
secretly ties individual hair strands into knots while you sleep 
ド下品で治安最悪に終わってる世界の住人が漫画書くようになって人としても成長する作品があるんだけど
「ウリッコ」
個人的にオススメしたい
物を作る時に「今のどこが面白かった？」「もっと工夫出来るんじゃね？」を模索していくの楽しいよねって人に合いそう
A new bridge links the strange math of infinity to computer science. ~ Joseph Howlett. https://www.quantamagazine.org/a-new-bridge-links-the-strange-math-of-infinity-to-computer-science-20251121/ #Math #CompSci
今日はいい天気 
76d8ac3fe6 (upstream/main) chore(deps): update dependency i18n-tasks to v1.1.1 (#36997)
96d5e57351 Revert "Increase HTTP read timeout for expensive S3 batch delete operation (#36971)" (#36996)
57bfe863f3 chore(deps): update dependency aws-sdk-core to v3.239.1 (#36955)
b16452dd99 Add shared context for API authentication (#36981)
1bc13609ab chore(deps): update dependency aws-sdk-s3 to v1.205.0 (#36956)
e44a9c0879 New Crowdin Translations (automated) (#36984)
f1bf6e6344 Remove unused `from_limited?` method from NotifyService (#36988)
We're (now) moving from OpenBSD to FreeBSD for firewalls
Link: https://utcc.utoronto.ca/~cks/space/blog/sysadmin/OpenBSDToFreeBSDMove
Discussion: https://news.ycombinator.com/item?id=45980474
The criminal cases against both James Comey and Letitia James are dismissed. A total humiliation for Donald Trump and Pam Bondi. — And it’s only Monday.
Rejected Mastodon features:
• Export to PDF
• Trending Emojis
• FurAffinity OAuth
• Scheduled Favorites
• Profile background music
• Arch nemesis recommendations
@catsaladCat 🐈🥗 (D.Burch) 
anti-boost: delete a post on someone's page for your instance
Tonight, for some reason, this came back to my mind. Maybe because the weather feels the same as it did back then.
https://my-notes.dragas.net/2025/07/30/i-just-want-to-go-back-home/
I Just Want to Go Back Home | MyNotes
A single thought that deafened the noise of a new city and a new life. This is the story of a paralyzing fear, of porticoes that felt like cages, and the silent nod that changed everything. It's about finding your way back home, even when you're far away from it.
my-notes.dragas.net
Link author: 
Stefano Marinelli@stefano@bsd.cafe
너도 같이 천국으로 가자 (…)
Sum up of my weekend
When the code bot says "I see the issue now" I cannot emphasise enough how much it has not and will not see the issue now or at any point in the future, in any future, in any universe, across all space and time
아 근데 트위터가 망해서 트친을 데려오는 것보단 트친이 정지당하게 사보타주해서 데려오는게 더 현실적이고 실현가능하지 않나 ㅋㅋㅋㅋ
Automatic geometry theorem proving using polynomial elaboration. ~ Mauricio Barba da Costa et als. https://youtu.be/1FjQzA8S7Z4 #ITP #LeanProver #Math
Until now, if you lost or broke your phone, your Signal message history was gone, a real challenge for everyone whose most important conversations happen in Signal. So, with careful design & development, we’re rolling out opt-in secure backups.
Secure backups will let you save an archive of your Signal messages remotely in privacy-preserving form, refreshed daily.
Now available in the latest Android beta release, rolling out to iOS & Desktop soon
열심히 사는것 같은데 왜 티가 안 나냐
What was in the #vegan bowl tonight?
Vegetable Fried Rice with Spicy Marinated Dry-fried Tofu.
#VeganForTheAnimals #ItsEasy2bVegan #VeganFood #Vegan4Life #SvenskaVeganer #KeepDeathOffThePlate #HomeCooking #Vegansk #Vegaani #WorldVeganMonth
Look, we're not mad. We're just disappointed that some of y'all weren't listening last time and let this happen again. 
Gödel mirror: A paraconsistent calculus mechanized in Lean 4. ~ Jhet Chan. https://youtu.be/6WXyGRZ2uU0 #ITP #LeanProver #Logic #Math
Rejected Mastodon features:
• Export to PDF
• Trending Emojis
• FurAffinity OAuth
• Scheduled Favorites
• Profile background music
• Arch nemesis recommendations
@catsaladCat 🐈🥗 (D.Burch) let me embed a MIDI you cowards!!!!
Look, we're not mad. We're just disappointed that some of y'all weren't listening last time and let this happen again.
What do you recommend?
@catsaladCat 🐈🥗 (D.Burch) A hot bath/shower with regular lights off and just a string of fairy lights in the window, clean comfy clothes, a nice pot of tea, a heated super-plush throw blanket, and a (digital or hard copy) stack of well-written books in your favorite genre. If digital, an e-ink screen to read them on. Add non-human companions as desired.*
---
*Cats, dogs, affectionate boa, roomba, furby with the speaker disabled, Mothman, M-113 of Regulus VIII, Superman, whatever.
Rejected Mastodon features:
• Export to PDF
• Trending Emojis
• FurAffinity OAuth
• Scheduled Favorites
• Profile background music
• Arch nemesis recommendations
It's great that sites offer both light and dark mode, but why do I have to manually choose? Use `prefers-color-scheme` in your CSS, and the site will adjust to my already expressed preference: https://developer.mozilla.org/en-US/docs/Web/CSS/Reference/At-rules/@media/prefers-color-scheme
So much for the federated merge requests via #ActivityPub.
https://gitlab.com/groups/gitlab-org/-/epics/260#note_2910231358
When I called in https://lwn.net/Articles/963427/ @sir position as the pragmatic one, I was called disingenuous.
(And, BTW, https://codeberg.org/forgejo/forgejo/issues/9225 doesn’t seem to be finished either).
UptimeKit-CLI is production ready free and opensource uptime monitoring tool directly from your terminal. It supports continuous monitoring without needing to keep the terminal open and features a live dashboard showing status, latency, and other uptime metrics. It supports HTTP/HTTPS, ICMP Ping, and DNS monitoring. It also offers metrics like latency sparklines, P95, and a status history timeline. https://github.com/abhixdd/UptimeKit-CLI?tab=readme-ov-file
the incentive was always there but imo the ad revenue sharing thing was the single worst change to the site with cascading downstream effects
RE: https://bsky.app/profile/did:plc:2whlowi5jjjqrdrrj4lxh2lx/post/3m6d4enxqck2z
Rosalia album
I can't do the new Rosalia album, sorry. By far the most interesting part of her new album is the track with Björk on it, and like, I'd much rather just listen to Björk.
The album is eminating inauthentic vibes to me. Listening to it a couple more times would let me phrase it better, but I'm not going to put myself through that lol.
A perspective on interactive theorem provers in Physics. ~ Joseph Tooby-Smith. https://advanced.onlinelibrary.wiley.com/doi/10.1002/advs.202517294 #ITP #LeanProver #Physics
It’s been down for more than three hours now. Nothing critical, it’s just one of the nodes in my "CDN" that serves the BSD Cafe’s media (and a bit more), and DNS has already taken it out since it’s not responding.
Still, I’ve never experienced such a long outage on #Hetzner before.
I hate ‘self-taught’. You’re not self-taught, you’re community taught. Self-taught is erasing all the work that allowed you to learn from freely available materials and people.
It’s a poor phrase for the idea that you are degreeless. And there’s nothing wrong with skipping formal education.
In the past year or so, Colorado released 25 wolves, to re establish a population. But it isn't going to be easy.
10 are dead.
And half of those? PEOPLE.
https://www.vox.com/climate/470075/colorado-wolf-release-program-stumbles
meow
The day was really intense and stressful, but the first thing I did this morning was something that put me in a good mood right away.
A submission for a presentation at a wonderful conference.
But I will say no more for now 😉
Als Unwort des Jahres bietet sich #Familienunternehmen an.
The "glowing" tree...
#Foto #Nature #Tree #Autumn #NorthernGermany #LandBetweenAndBelowTheSeas
Paul Cantrell
Jenniferplusplus
Jim DeLaHunt
Kat Marchán 🐈
