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.
@minegoMicah Overachiever! Nice :3
@catsaladCat 🐈🥗 (D.Burch) 
Ya know what they say...
Go big and go home. (Some say "or" but that makes no sense...)
how much of the cloudflare rust rewrite have been vibe coded?
https://www.cloudflare.com/learning/ai/how-to-get-started-with-vibe-coding/
Eins der Standardwohlfühlessen: knusprige Pilze auf cremiger Polenta, dazu Salat und ein bisschen Juicy Marble.
#FreeBSD 15-STABLE:
Newer FreeBSD version for package FreeBSD-zfs-lib32:
To ignore this error set IGNORE_OSVERSION=yes
- package: 1500502
- running userland: 1500501
Ignore the mismatch and continue? [y/N]:
Anyone know what to do here?
I'm on pkg+hxxs://pkg.Freebsd.org/${ABI}/base_latest/
pkg is V2.4.2
“It's a perfect week to push to PROD!” 🦔
CSS isn't design
An introduction to formal real analysis (Lecture 21: Functions and derivatives). ~ Alex Kontorovich. https://youtu.be/ofB8uRHGu-c #ITP #LeanProver #Math
Serflings is a remake of The Settlers 1
Link: https://www.simpleguide.net/serflings.xhtml
Discussion: https://news.ycombinator.com/item?id=46013132
We are thrilled to announce 
@aevaÆva as our keynote speaker for FOSS Backstage 2026!
Read our new blog post to learn more: https://26.foss-backstage.de/aeva-black-to-keynote-at-foss-backstage-2026/.
Join us and save more than 40% on the regular ticket price with our Early Bird Ticket, which is only available until 8 December! Get your ticket: https://tickets.plainschwarz.com/fossback26/c/gk1NRcabT/
Repeat after me: Rust is a machine that turns security incidents into downtime incidents
@mcc@mastodon.social the scary thing about this framing is that it rather highlights the fact that security issues don't tend to have (short term) cash flow implications, while downtime incidents do.
I've never been a fan of reggae, but my dad took me to see this when I was... 15 or so, and I've always loved this scene.
(Dad led a church youth group that visited Jamaica and helped paint a school or something, back in the 70s.)
What do you recommend?
@catsaladCat 🐈🥗 (D.Burch) disappearing into the woods to become a local legend used to threaten unruly children into behaving.
New post from me over on the 
@spritelyThe Spritely Institute blog: Composing capability security and conflict-free replicated data types
Local-first apps often use CRDTs, but I'm not really aware of any that fully embrace capability security. This post is an attempt to show how the two can be composed using a simple group chat application as a case study.
#License nerds: Is it compatible with #GPL v3 to ask soft-phone users to accept "general terms" and a "privacy policy" if all you want is to use a THIRD PARTY account? I think this is a violation. 🤔
Looking at you 
@linphone1Linphone …
Digital sovereignty can only be achieved with Free Software! That’s why, in our feedback to the Germany Stack consultation, we call for the Stack to be implemented entirely as Free Software.
Read our news item:
https://fsfe.org/news/2025/news-20251124-01.html
Our feedback on openCode:
https://gitlab.opencode.de/dstack/d-stack-home/-/issues/347 (DE)
The Germany Stack consultation runs until 30 November 2025. Until then, everyone can submit feedback via openCode.
#FreeSoftware #PublicCode #DStack #OpenSource 
@BMDSBundesdigitalministerium
Germany Stack: Only Free Software Enables Digital Sovereignty - FSFE
The “Germany Stack” is a central digital-policy project of the German federal government. The FSFE calls for the Stack to be planned in close coordination ...
fsfe.org · FSFE - Free Software Foundation Europe
Link author: 
Free Software Foundation Europe@fsfe@mastodon.social
Repeat after me: Rust is a machine that turns security incidents into downtime incidents
こんな時間に酒飲んでも朝っぱらからチャキチャキ働いてる俺偉すぎんだろマジ
운동 결제의 날이 또 왔구만….
Damn these things sell out quick. I was too slow:
https://store.analogue.co/products/analogue-3d-black
I'm gonna have to be quick on the buzzer when this thing is released:
https://www.lego.com/en-us/product/star-trek-u-s-s-enterprise-ncc-1701-d-10356
What do you recommend?
@catsaladCat 🐈🥗 (D.Burch) I don’t recommend it
What do you recommend?
@rgbunnyRetro Goth Bunny @catsaladCat 🐈🥗 (D.Burch) It's a bunny consensus.
밥도 먹었고 배부른데 자꾸 심심해서 뭔가 먹고싶다
RE: https://mastodon.world/@signalapp/115169549050033066
Now available on iOS 😎
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.erdosproblems.com/367 :
1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold".
2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): https://gemini.google.com/share/81a65aecfd70 . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean.
3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at https://borisalexeev.com/t/Erdos367.lean
EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
What do you recommend?
IT-Sicherheit: BSI will Webmail-Anbieter stärker in die Pflicht nehmen
Die E-Mail-Sicherheit lastet größtenteils auf den Schultern der Anwender, moniert das BSI. Es sieht die Betreiber etwa bei der Anmeldung in der Verantwortung.
Announcement time:
Sara, Goose, Zero and I are moving to London in January!
The whole process is proving very expensive (what isn’t these days) so I’ve decided to bump the price of Obscura from $20 to $25 per year. But since it’s black friday, you can get your first year for just $10 yay!
https://apps.apple.com/us/app/obscura-pro-camera/id1579306989
그리고 맨날 이상한 위치에 큰 물건 둬서 콘센트랑 랜포트 못쓰게 하는데 미리 가서 구역 다 나눠야지 ㅡㅡ
Want to find a specific port? Just type the following under /usr/ports
or one of its subdirectories:
make search name=<port-name>
or
make search key=<keyword>
首野獣のカス絵ズル
よこせ
A judge may break up Google’s ad empire. 
@leoChief TWiT 
, Fr. Robert Ballecer, SJ, 
@molly0xfffMolly White, and 
@wesley83Wesley Faulkner talk about the fallout, Copilot’s stumble, and global moderation issues.
Episode: https://twit.tv/shows/this-week-in-tech/episodes/1059
Want to find a specific port? Just type the following under /usr/ports
or one of its subdirectories:
make search name=<port-name>
or
make search key=<keyword>
나도 이번에 이사갈 때 멀티탭 싹 바꾸고 소화기스티커 싹 다 붙일거야….
How to Install #Pleroma on #Ubuntu #VPS (5 Minute Quick-Start Guide)
This article provides a guide demonstrating how to install Pleroma on Ubuntu VPS.
What is Pleroma?
Pleroma is a free, open-source, self-hostable microblogging server that speaks the #ActivityPub federation protocol—so your users can interact with people on other #Fediverse platforms (e.g., Mastodon) while you keep full control over your server ...
Continued 👉 https://blog.radwebhosting.com/how-to-install-pleroma-on-ubuntu-vps/?utm_source=mastodon&utm_medium=social&utm_campaign=mastodon.social #letsencrypt #selfhosted #selfhosting
soundcloud, but in the fediverse?
#activitypub #askfediverse
@raphaelRaphaël Bastide there's also bandwagon and perhaps mirlo (if they achieve their goal of federating), even though they're closer to bandcamp than soundcloud.
@openrisk @raphaelRaphaël Bastide Do you know a particular instance that musicians can join
@QuentinJuhel @raphaelRaphaël Bastide
no specific recommendation but you could check these catalogs:
soundcloud, but in the fediverse?
#activitypub #askfediverse
Mastodon, Matrix, ActivityPub, XMPP, ATProto. whatever your flavor of decentralization is, there’s room for you.
Submit your proposal to the Decentralized Communication devroom at FOSDEM before the end of this week!
fosdem.org/submit
#FOSDEM #Fediverse #ActivityPub
FOSDEM 2026
just small circles 🕊 shared the below article:
julian @julian@activitypub.space
<p>NodeBB federates out the <code>Announce</code> activity in two ways.</p> <ol> <li>The "plain object" way, which is an <code>Announce</code> activity wrapping an object (either a uri or the full object itself.)</li> <li>The "1b12" way, which is an <code>Announce</code> activity wrapping another activity (e.g. <code>Create</code>)</li> </ol> <p>Up until now I haven't needed to handle the reverse (which in AP-speak is the "undo" of an activity), but since NodeBB sends <code>Announce</code> when moving a topic <em><strong>in</strong></em> to category, it now makes sense to <code>Undo(Announce)</code> when moving a topic <em><strong>out</strong></em> of a category.</p>
Read more →Re: last boost https://chaos.social/@dpk/115589097803252590
That OCaml PR is textbook open source in the era of vibe coding...
It's got everything:
- PR submitted without the author acknowledging they didn't write it and don't understand it.
- Copyright laundering.
- "I just wanted to get it done!" versus maintainers who know they have to live with code contributions for years.
- Zero-effort pasting LLM output as reply to real people's thoughtful questions. (At least the author acknowledged what they were doing that time.)
- It doesn't matter that it's hard to review because "AI has a very deep understanding of how this code works."
- "Beats me. AI decided to do so and I didn't question it."
If this is our new world then it's going to turbocharge maintainer burnout. 
(If you don't want to read a quite long often depressing thread, would still recommend reading this well reasoned comment by one of the maintainers:
https://github.com/ocaml/ocaml/pull/14369#issuecomment-3556593972 )
@projectgusGus this is why Amaranth has a blanket "no AI" contribution policy: you could argue about its social-scale problems but my view is that it fades in comparison to "if I have to deal with slop being submitted I will simply choose to not take submissions from an open set of people at all"
"no AI PRs" is a compromise, with the other option being "the only way to get your code in is to be from the same guild"
Pointing nmap at a home appliance in anger like a normal person who has normal person problems.
Set theory with types. ~ Lawrence Paulson. https://lawrencecpaulson.github.io//2025/11/21/Typed_Set_Theory.html #Logic #Math #CompSci #SetTheory #TypeTheory
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
Stefano Marinelli
Christine Lemmer-Webber
Misty
