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.
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
@evanEvan Prodromou is there a next swicg/activitypub-api meeting set?
考えてみると、私は中学生の頃から他人と上手く馴染めないアウトサイダーでしたが、今も全く同じです。
滑稽なのは、常に他人とは違った行動を取り、違った考え方をしているうちに、意外にも金融投資においてはこの性格が有利に働くという事実です。
Meta allegedly buried research showing its products are harming users
Gosh. Who'd have thought that...
"...people who stopped using Facebook experienced less depression, anxiety and loneliness."
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
France threatens GrapheneOS with arrests / server seizure for refusing backdoors
Link: https://mamot.fr/@LaQuadrature/115581775965025042
Discussion: https://news.ycombinator.com/item?id=46036217
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 →A Coq-based axiomatization of Tarski's mereogeometry. ~ Patrick Barlatier, Richard Dapoigny. https://arxiv.org/abs/2511.16705 #ITP #CoqProver
Tableau methodology for propositional logics. ~ T. Jarmuzek, R. Gore. https://arxiv.org/abs/2511.16781v1 #Logic
Inside Rust's std and parking_lot mutexes – who wins?
Link: https://blog.cuongle.dev/p/inside-rusts-std-and-parking-lot-mutexes-who-win
Discussion: https://news.ycombinator.com/item?id=45989284
It looks like because the PDF standard is adopting JPEG XL to support HDR images, the Chromium maintainers changed course and now *are* going to implement JPEG XL in the browser, and they're going to do it by integrating jxl-rs 🎉 https://issues.chromium.org/issues/40168998
俺はネット上でなんか言ってる人に「じゃあ？あなたはちゃんとそういうことやってるんすか？」ってずっと思ってるけどそういう俺に対して「じゃあお前は何がわかるんだよ」って辻レスバ仕掛けてきたのがソクラテス（より正確にはソクラテスの口を借りたアリストテレス）で、ソクラテスパイセンはマジで真摯にレスバやってたのでTLのみんなに嫌われて死刑になりました。あーあ。
というのが古代ギリシャでやってるので
#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
I'm hiring a jr-to-mid level web developer
Still interested?
Here's what I need:
Does that sound like you? DM me your resume and a sample project/portfolio link as a starting point and we'll go from there.
Oh, and I'm posting this here first before the company goes out through our normal channels. I'd love to staff this through this community if possible and give someone a chance who might not do well in the typical interview pipeline.
A topological rewriting of Tarski's mereogeometry. ~ Patrick Barlatier, Richard Dapoigny. https://arxiv.org/abs/2511.12727v1 #ITP #CoqProver
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
明日みすけっとのお品書きを出したい
France threatens GrapheneOS with arrests / server seizure for refusing backdoors
Link: https://mamot.fr/@LaQuadrature/115581775965025042
Discussion: https://news.ycombinator.com/item?id=46036217
멜라토닌 조금..
I'm hiring a jr-to-mid level web developer
Still interested?
Here's what I need:
Does that sound like you? DM me your resume and a sample project/portfolio link as a starting point and we'll go from there.
Oh, and I'm posting this here first before the company goes out through our normal channels. I'd love to staff this through this community if possible and give someone a chance who might not do well in the typical interview pipeline.
“The iron harvest (French: récolte de fer) is the annual collection of unexploded ordnance, barbed wire, shrapnel, bullets and congruent trench supports collected by Belgian and French farmers after ploughing their fields. The harvest generally consists of material from the former western fronts of the First and Second World wars, where it is still found in large quantities.”
스불재다
에휴
오늘 공부 어떻게든 끝냈다!
잔다!
안녕히 주무세요!!
Over 300 NPM Packages and 27K+ Github Repos infected via Fake Bun Runtime Within Hours. A lot of people are not going to have a fun Monday. https://helixguard.ai/blog/malicious-sha1hulud-2025-11-24
RE: https://masto.ai/@rbreich/115603953231800628
This is what my spouse has been working on since having his Park Ranger position in Yellowstone rescinded by Musk/DOGE.
The MT Plan. #montana #citizensunited
@GrapheneOS is being threatened by French authorities for refusing to add backdoors and they're dealing with coordinated attacks in French media right now. They're pulling out of France entirely, moving all their servers, and fighting off a wave of bullshit one-sided reporting that makes them look like they're helping criminals.
They need us to fight back. Support them however you can, whether that's a dollar, sharing their story, pushing back on the garbage news coverage when you see it, or just telling someone you know about what's happening. All of it matters because they're drowning in attacks from governments and media and bad actors who want them gone.
This is the only Android OS that actually makes me feel like privacy isn't just marketing. They fight for us now they need us to fight for them.
The EU is pushing Chat Control and creating an environment where governments feel empowered to threaten developers into compliance, and if we stay quiet we're letting it happen. Show up for them in whatever way you're able to.
#grapheneos #Privacy #NoBackdoors #encryption #security #chatControl
If you want to permanently delete one of your posts, go to ⋯ on the post and select "Delete".
If you want to alter the post without deleting it, go to ⋯ and "Edit".
If you have accidentally included sensitive information, or if you want to alter the post's visibility, or if you want to reset a conversation thread, go to ⋯ and "Delete & Re-Draft".
More info about deleting posts on Mastodon at:
➡️ https://fedi.tips/how-do-i-delete-a-post-on-mastodon
More info about editing posts at:
If you want to permanently delete one of your posts, go to ⋯ on the post and select "Delete".
If you want to alter the post without deleting it, go to ⋯ and "Edit".
If you have accidentally included sensitive information, or if you want to alter the post's visibility, or if you want to reset a conversation thread, go to ⋯ and "Delete & Re-Draft".
More info about deleting posts on Mastodon at:
➡️ https://fedi.tips/how-do-i-delete-a-post-on-mastodon
More info about editing posts at:
windows 7 wallpaper themes,,,,,,,,,
wario vs EVIL wario
これ良さそう
デジタルアーティストが知っておくべきアートの原則 改訂版 -色、光、構図、解剖学、遠近法、奥行き amzn.asia/d/32IvMMa
美容室で頭を洗ってもらうと気持ちが良い理由として、なでなでされている時と同じだから説があるらしい。
全然吐き気で起き上がれない
コダカラー気になる
It's happening. We're OTing Web Install and looking for as much feedback as we can. Feel free to get in touch and open issues and let us know what you think about this advanced capability.
https://blogs.windows.com/msedgedev/2025/11/24/the-web-install-api-is-ready-for-testing/
France threatens GrapheneOS with arrests / server seizure for refusing backdoors
Link: https://grapheneos.social/@watchfulcitizen@goingdark.social/115605398547420414
Discussion: https://news.ycombinator.com/item?id=46035977
AyoOo0 👻
かちかちなまこ
Lean
Fullmetal Alejandro
HalvarFlake
Inside Fediverse
시오
Cat 🐈🥗 (D.Burch) 
まっちゃてぃー。
MJ+
