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.
Some great thoughts for pair programming with agents by Nick Radcliffe: https://checkeagle.com/checklists/njr/a-month-of-chat-oriented-programming/
Best set of quotes:
> So it’s tempting to think that Claude’s knowledge is broad but shallow.
> But that’s wrong.
> So Claude’s knowledge is broad and deep.
> But that is wrong too.
> A library “contains” knowledge but knows nothing. There is a sense in which Claude might be said to “know” something.
> Claude “knows” a lot of things but doesn’t really understand what it knows
Covid-19 mRNA Vaccination and 4-Year All-Cause Mortality
Link: https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2842305
Discussion: https://news.ycombinator.com/item?id=46162262
Cloudflare outage on December 5, 2025
Link: https://blog.cloudflare.com/5-december-2025-outage/
Discussion: https://news.ycombinator.com/item?id=46162656
Over on Kevin Buzzard's blog, Boris Alexeev has written a guest post on the state of the art on autoformalization in practice, focusing in particular on the improved speed and efficiency of formalization when applied to the problems in the Erdos Problems database, and how these efforts have begun to resolve some of the lower hanging fruit in that database. https://xenaproject.wordpress.com/2025/12/05/formalization-of-erdos-problems/
omg? the palm tablet i played pokemon blue on in high school is working again??
golden plaster, silver blocks
爆裂拳
いやいや、
自分！！
요즘 내 손에서 나오는 결과물들 보고있자면
나는 개발자라기 보단 법사에 가까운거 아닌가 싶은 생각이 듦...
쿠르츠게작트 1시간짜리 새동영상을 보고 있는데 바다가 진짜 이쁘게 뽑혔다
Is Oxide ideal for CI/CD runners? FAQ Friday #29
Claude plays Pokémon progress check!
Safari Zone: Easy ✅
Soul Badge: Acquired ✅
Strength puzzles in the Seafoam Islands: In progress 🪨
Reseña de «Formalization of Erdős problems». https://jaalonso.github.io/vestigium/posts/2025/12/05-formalization-of-erdos-problems/ #ITP #LeanProver #Math #Autoformalization
필름 룩 따라하기가 언제나 정답은 아니지만, 뭔가 부족하다 싶을 때 힌트는 된다.
눈에 보이는대로 찍힌다는 불가능하다. 우리는 아직 눈과 뇌를 그대로 모사할 카메라도, 디스플레이나 종이도 없다. 있더라도 그로 "보는" 무엇인가는 사진이 아닐 것이다.
그러고보니 실제 계엄해제를 방해한 혐의로는 구속이 안 되는데 "계엄놀이"를 하면 구속이 되네?
DPPでTIFF出力からのLightroomのフロー、だいぶ良い。ただしデータサイズが6000*4000で130MBとか、管理どうするかが課題。
#マストドン写真部 #photography #PowerShotV1
Fill out forms illegibly so that they will have to be done over; make mistakes or omit requested information in forms.
Three.
ﾋｮｰ
EU(유럽연합), '기만적인' 파란색 인증 마크에 대해 X(트위터)에 1억 4천만 달러의 벌금을 부과
EU 기술 책임자는 파란색 인증 마크를 악용하여 사용자를 속이거나, 광고 정보(비용 지불자, 타겟 등)를 숨기거나, 플랫폼 연구를 위한 연구자들을 차단하는 행위는 EU 내 온라인에서 용납될 수 없다고 밝힘
RE: https://bsky.app/profile/did:plc:fbtvg6jxtdroidfvq5z635xu/post/3m7ajktyn6k2a
うんちあな州のキーワードでちゃんとインディアナ州が出る、そういうのが大事
I have an iPhone that was dropped, and WIFI / LTE stopped working. The thought was to just make the phone a camera, but after I wiped the device, this is the error message that I cannot get past:
Average person has their mailbox explode on Bandcamp Friday is a misleading factoid. Bandcamp Georg who has bought music from over 250 artists is an outlier and should not be counted even though Georg's mailbox certainly is exploding.
I love when he tucks his paws up under his chin 🥹
저쪽 분께서 보내신겁니다 술 이름은 잘 자, 내 꿈꿔 입니다
Mac System 7 On a G4? Why Not!
https://hackaday.com/2025/12/05/mac-system-7-on-a-g4-why-not/
什么叫无所事事啊
ルゼッタちゃん(メイド服)
3人わちゃわちゃしてるの可愛い
自創作ってよくて
결국 내가 로판 북남녀녀(말이 좀 이상함) GL물 보고 싶어서 설정 내가 짜기 시작함 이제 자고 태릭터 프로필은 아침이나 낮에 짜야지… 난 아케인 볼 줄 알았는데 결국 십덕질을 하게 되는구나(?)
#PyLadiesCon starts later today, it's a ~30-hour online conference open to everyone, and last year's was excellent.
Tickets are free, but you can also pay a custom amount, and/or make a donation. It's a great way to support the community (maybe you have some training budget to use up before end of year?)
Schedule: https://2025.conference.pyladies.com/en/schedule/
Tickets: https://pretix.eu/pyladiescon/2025/
Mastodon: 
@pyladiescon
After much research and development I have made an offline version of ChatGPT.
Now you can save water and electricity while navel-gazing, and carry one of the world's most powerfully annoying AI chatbots in your pocket.
Order here: https://www.spellingmistakescostlives.com/product-page/chatgpt-magic-8-ball-offline-version
🚀 Django 6.0 is out!
This is a super exciting new release, introducing the tasks framework, template partials, Content Security Policy support, improved email handling, and lots more!
Here are my annotated and expanded highlights from the release notes:
Django: what’s new in 6.0 - Adam Johnson
Django 6.0 was released today, starting another release cycle for the loved and long-lived Python web framework (now 20 years old!). It comes with a mosaic of new features, contributed to by many, some of which I am happy to have helped with. Below is my pick of highlights from the release notes.
adamj.eu
Link author: 
Adam Johnson 
@adamchainz@fosstodon.org
V1のレンズ凄くない？定期
コンデジとはいえさすがフラッグシップというのか
#PowerShotV1
앱이 완성되기 전 라이브러리 임포트 단계에서 호출되는 DLL 파일을 CDN을 통해 전송하는걸 구현한 이후
전송은 빠를수록 좋기 때문에 압축 전송을 구현해보기로 했다.
기본적으로 dll 파일은 압축되어 있지 않기도 하고, 네트워크를 통한 전송인 만큼, 속도 및 전송 성공에 영향을 미치는 변수가 많으므로 압축되어 있는게 절대적으로 유리하다.
나는 여기에 Gzip을 적용해서 *.dll.gz 이라는 방향을 개척(?)해보기로 했다.
그리고... 이게 된다.... ㄷㄷ
Search from anywhere. Navigate like never before. 🧭
The new MDN front end comes with a new search modal, refreshed UI, and better typography for docs that feel as good as they read.
Take a look 👇
https://developer.mozilla.org/en-US/blog/launching-new-front-end/
Influential study on glyphosate safety retracted 25 years after publication
Link: https://www.lemonde.fr/en/environment/article/2025/12/03/influential-study-on-glyphosate-safety-retracted-25-years-after-publication_6748114_114.html
Discussion: https://news.ycombinator.com/item?id=46161125
Covid-19 mRNA Vaccination and 4-Year All-Cause Mortality
Link: https://jamanetwork.com/journals/jamanetworkopen/fullarticle/2842305
Discussion: https://news.ycombinator.com/item?id=46162262
Show HN: Kraa – Writing App for Everything
Link: https://kraa.io/about
Discussion: https://news.ycombinator.com/item?id=46144801
Christine Lemmer-Webber
Andreas Freise
Evan Prodromou
雨宮凪沙/nagiko
Mariatta 🤦🏻♀️ 
