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.
The tech market is fundamentally fucked up and AI is just a scapegoat
Link: https://bayramovanar.substack.com/p/tech-market-is-fucked-up
Discussion: https://news.ycombinator.com/item?id=46809069
Join us in thanking the people and projects who make #FreeSoftware possible: https://u.fsf.org/4a3
The next No Kings Day will be the largest protest in American history: http://www.nokings.org/#signup
Formalization of homotopy theory in Lean. ~ Joël Riou. https://youtu.be/zlku5Un57B8 #ITP #LeanProver #Math
윤석열 골프연습장 초소로 속이고 설치···욕조 1484만원, 캣타워 173만원 짜리
수정 2026.01.29 19:15
감사원, 관저 이전 재감사 결과 발표
경호처 ‘보안 유의하라’ 허위 문서 작성
“대통령비서실도 존재 몰랐을 것” 판단
감사원, 관여한 현직 공무원 징계 요구 www.khan.co.kr/article/2026...
윤석열 골프연습장 초소로 속이고 설치···욕조 1484...
Hello fediverse 👋
I’m trying to find Python meetups or Python folks in Iceland 🇮🇸
Is there a local Python community, a meetup, or just developers hacking on Python between glaciers and volcanoes? 🐍❄️🌋
If you know people, groups, or past events, I’d love a pointer. Thanks!
hat es sich womöglicherweise ausgesempft?
Autoformalization for physics and engineering with Lean. ~ Leopoldo Sarra. https://youtu.be/avhErya_gCg #ITP #LeanProver
これなんかすごく面白かった
仕組みとしてうまいってだけでなくて、論理的というかなんというか理屈でこうなってほしいというのを物理世界で再現してるというか（うまくいえない
https://best-friends.chat/@rosylilly/115978479094382231 [参照]
Bad news, everyone: I did some further research on a particular folk tale, and had to conclude that the tale about a dwarven sex party was actually about a dwarven _wedding_.
In my defense, the alternative meaning of "kopulieren" is no longer in use in modern German.
i really think the dream of "ai" on the macro scale is that they'll finally get to take away our computers
Iranian doctor who fled to Australia after operating on massacre victims estimates death toll in tens of thousands
What if comestible, but also howitzer?
What if comestible, but also howitzer?
The Complete Story of the Epic of Gilgamesh (Overview & Analysis)
"The Epic of Gilgamesh, recounting the adventures of the semi-divine Sumerian king, may be the world’s oldest literary work. What does the narrative say?"
https://www.thecollector.com/epic-gilgamesh-overview/
Gilgamesh at PG:
世界が寒すぎる
“구룡마을이 1960년대에 머문 이유는 직접 배제와 간접 배제가 겹치면서 방치가 제도화됐기 때문이다. 그래서 지금 주민들의 재난지역 선포 주장은 국가의 책임을 확정하라는 요구다. 인명 피해가 없다는 건 다행이지만, 30년 넘는 야만의 시간을 보상해야 한다. 늦더라도 그게 문명이다.”
화마 입은 구룡마을 ‘재난지역’ 주장하는 이유 [왜냐면...
> この管理体制からトーバルズ氏は「優しい終身の独裁者」とも呼ばれています。
優しいって色々な意味があるんだね。
・・・と昔は思っただろうな。今はだいぶ人当たりがいいと聞きます。
https://gigazine.net/news/20260129-linux-conclave-linus-torvalds/
Teaching real analysis as a video game. ~ Alex Kontorovich. https://youtu.be/gSDLLBPDiKQ #ITP #LeanProver #Math
ふんぎゃろ
interjections
I get way too much enjoyment out of throwing a good "ach!!" in when conversing in any language that isn't german.
오리고기 먹는 중
: 이렇게 해서 얼마야?
: nn,000원
: 뭐야 성능 좋네?
: 웬 성능?
: '가성비'는 가격 대비 성능이잖아 근데 얘는 깡성능이 좋아
: ㅋㅋㅋㅋㅋ성능의 기준이 뭔데
: 1. 배가 불러야 할 것 / 2. 맛이 있을 것 / 3. 1번과 2번을 종합하여 만족감을 줄 것. 그래서 이 세 가지 성능이 모두 뛰어나
: ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
これはまさしくコンクラーベだな。しかしLinux開発リポジトリのドキュメントはrstで書かれたものが多いのね。
/ リーナス・トーバルズの後任を決める緊急時対応計画をLinuxカーネル開発コミュニティが策定、ファイル名は「コンクラーベ」 - GIGAZINE
https://gigazine.net/news/20260129-linux-conclave-linus-torvalds/
ふんぎゃろ
プログラムはコードが動かないという点で嘘を暴くことができるから他の情報に比べて安全かもしれん。
ふんぎゃろ
#TypoDesTages Schreimaschine
@dickenhobelix Schreimaschine, die (N.): siehe Computer
The German gov recommends NOT going to the #US because it's not safe
Makes total sense
11ヶ月前！
#TypoDesTages Schreimaschine
シロネコバンさん(
@shiro_neko_banシロネコバン)に
でメジロちゃんを描いていただきました！
是非ともリンク先までみんな見て欲しい！
#skeb #commission #コミッション
is it still possible to propose an #atmosphereconf talk or are the talks decided? can't find info
矜持としてAIに言われたことはドキュメントとかで裏を取りながらやっていったけど、この矜持にもどれほどの価値があるんかは分からんね・・・
さて、大都会に行くか
リクエストありがとうございました
今回はメジロをモチーフにしたキャラを描かせて頂きました！
Verification of model-checking techniques in Lean. ~ Atticus Kuhn. https://youtu.be/UZzZrTR3o6I #ITP #LeanProver
Achtung! Heute ist …#TypoDesTages
Diebstag
👮♀️
もっとシャッター切ってるはずだけど、この数ってことは一度修理出した時にリセットされてたっぽいなあ
오리고기 먹는 중
: 이렇게 해서 얼마야?
: nn,000원
: 뭐야 성능 좋네?
: 웬 성능?
: '가성비'는 가격 대비 성능이잖아 근데 얘는 깡성능이 좋아
: ㅋㅋㅋㅋㅋ성능의 기준이 뭔데
: 1. 배가 불러야 할 것 / 2. 맛이 있을 것 / 3. 1번과 2번을 종합하여 만족감을 줄 것. 그래서 이 세 가지 성능이 모두 뛰어나
: ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
I'm in Brussels for #Fosdem26 🇪🇺
Will be giving a talk "The Social Web and Digital Sovereignty" for #socialwebfosdem on Saturday.
On Sunday I'm very happy to join the panel moderated by 
@jmarisJordan Maris 🇪🇺 🇺🇦 #NAFO on "The Fediverse and the EU's Digital Service Act" with 
@mellifluousboxFelix Hlatky and 
@alexandrageese
Looking for a great weekend. Meet old friends and make new ones. ✨
Jlpt여름에한번 겨울에 한번 있는거 너무 가혹함
적어도 계절마다 한번은 열어라
これはすごいな。BlueskyやMastodon、Misskeyに加えて𝕏やRSSフィードにも対応するオープンソースのアプリか。モバイルだけでなくデスクトップ版もベータテスト中と。
/ Flare - すべてのソーシャルフィードを一つに https://flareapp.moe/
AIさんにレビューしてもらいながら書いたらすごい勉強になったな。
コード品質も上がったと思う。
全プルリクエストにAIレビューをつけたらいいんじゃないかと正直思うが、
そのレビューは受け付ける側のトークンを消費するんだよな・・・。
プルリクエスト送る側のコストでレビューできればいいのに。
While in Prague during #europython2025, we asked 
@sheena about her favorite Python library. It’s always hard to pick just one, isn’t it?
Check out what made it to the list 🐍
Quincy ⁂
☄️ 
상어학땡스 
しゅいろ
🕊️ 
시오
마족공주 
かちかちなまこ
