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.
仕事終わりに元上司とご飯行ってきた
Boring fact: Niels Bohr entdeckte weder das Bohrium noch das Bor.
飼い猫が拒否する首輪を
につけてみたよ
아이폰 17 사진 봤는데 ...... 와 진짜 쩐다.
I've added ten additional questions to my quiz for Chapter 7 of "Theorem Proving in Lean 4": https://git.sr.ht/~chabulhwi/tpil-solutions/tree/master/item/docs/en/quiz/chapter07.md.
h12o's Advent Calendar 2025 11日目
代々木のよもきち商店。代々木駅徒歩2分といっても、新宿駅の新南口からだと大した道のりでもないので、ハンズでの買い物からの夕食は、豚バラ野菜スタミナ炒め定食、発酵玄米にしてもらい、玉子ごはんにして食べた。
ひとり飲みもいけるらしいので、そのうちやってみようかな。
いつもリクエスト、リピートありがとうございます！
隙あらばたくし上げしてしまいます…
お顔が可愛くかけた気がします（自分比）
곰 세 마리가
부뚜막에 앉아 울고 있어요.
엄마, 가 섬 그늘에 굴 따러 가면 아기는 혼자 남아
“두껍아, 두껍아, 헌 집 줄게, 새 집 다오.”
집을 봅니다.
フィルムをね、詰めようと思うんです
Massive union mobilization underway in Portugal.
The two main union federations stage a general strike over unprecedented labour reforms.
ガンプラ女子って、YouTube のなかでしか確認できない想像の産物っぽく思ってたけど、実在するんだって確認できたのが今日のハイライト。
My general impression of the Oxide folks is that they have reasonable approaches to things, so their RFD on LLMs is…disappointing.
LLMs are superlative at reading comprehension, able to process and meaningfully comprehend documents effectively instantly.
No, no they are not. LLMs absolutely do not comprehend or understand at all. I cannot believe how many folks in our profession believe this.
年末特別企画！特典あるよ！
リアクションしてくれた人→リアクションくれたなぁって思う
RNしてくれた人→RNしてくれたなぁって思う
引用RNしてくれた人→引用RNしてくれたなぁって思う
フォローしてくれた人→ヒョローしてくれたなぁって思う
チーズ刑期……
The Cost of a Closure in C
Link: https://thephd.dev/the-cost-of-a-closure-in-c-c2y
Discussion: https://news.ycombinator.com/item?id=46228597
마스토돈 앱중에 투스키가 가장 가독성이 좋네
今この呟きが見えてるおまいら長生きしろよ
Random thought: the centralization of authentication to a few big OAuth providers like MS and Google, combined with services that time out your cookies and force relogins every so often, makes phishing people so much easier.
Want someone's account creds? Just pop up something that looks like a ms or google login form, odds are they're so conditioned by login fatigue that they'll automatically type their creds and TOTP token into it.
In the old days, when I had to explicitly log into a specific system that I was manually navigating to, things were harder to phish because you'd have to impersonate *that site* at exactly the time I was intending to log in.
Now, I can be in the middle of a workflow doing something else and a random OAuth popup asking for my credentials appears. Is it my VPN? Mail client? Internal service X? Who knows.
Random thought: the centralization of authentication to a few big OAuth providers like MS and Google, combined with services that time out your cookies and force relogins every so often, makes phishing people so much easier.
Want someone's account creds? Just pop up something that looks like a ms or google login form, odds are they're so conditioned by login fatigue that they'll automatically type their creds and TOTP token into it.
마스토돈 앱중에 투스키가 가장 가독성이 좋네
冬の吉野……
Gran Turismo 7 Spec III Update Opening Movie
youtu.be/VE2_5Engx_8?...
Gran Turismo 7 Spec III Update...
Tails 7.3.1 replaces 7.3 after a last-minute security fix and updates Tor Browser, the Tor client, and Thunderbird for safer, anonymous browsing.
https://linuxiac.com/tails-7-3-1-launches-after-security-issue-delays-release/
이쿠타 하나 'エルフとひとつ屋根の下'(엘프와 한 지붕 아래) 2권까지 봤다. 엘프와 여고생이 같이 사는 만화? 구루메 만화? 니이가타 지역 만화...? 장르가 뭔지도 모르겠고 만화가 어느 방향으로 가는지도 모르겠지만 일단 재미있게 봤다.
ほかいま。
ま、プロフィールの前に明日の仕事の資料作らなきゃなんだけどね
おやすみなさい。
Replacing windows can be a really difficult job.
You might even say that it’s a pane in the glass ...
Yesterday, I read this from the "On this day" section of Wikipedia.
Brown Dog affair
https://en.wikipedia.org/wiki/Brown_Dog_affair
I often feel sad about the shape of the world. Maybe it is because of my limited knowledge.
Sometimes I realize that the world of the past wasn't much different from the present. At times like these, these knowing experiences act as a kind of painkiller for me.
But this time it felt more bitter than usual.
이게?
맞나?
암튼의도대로는굴러가는중
용인 아파트서 40대 투신 사망…9세 아들은 차량서 숨진채 발견(종합)
(용인=연합뉴스) 이영주 강영훈 기자 = 경기 용인의 한 아파트에서 40대 남성과 그의 아들인 9세 아동의 시신 2구가 발견됐다. 경찰은 부친이...
https://www.yna.co.kr/view/AKR20251211170651061
工作の材料をとりあえず発注するなど
てかプロフィールのやつ提出しなきゃ
밧슈는 총 다루는건 어디서 배웠을까…
写真部展どういう方向にしようか決まってない
the reason executives are pushing AI so hard is they've always **hated** that they need people who can actually do things. people who can draw, sing, write, code, dance, film. people with taste who can pick colors and design spaces and draw. People who know how to edit footage and audio, who know things about lighting and languages, who can do research and analyze laws and regulations.
이라스토야 한국어 계정이 나왔다고 합니다! 근데 나오자마자 나온 이미지들 상태가?!
티셔츠를 충동 구매함
AccursedUnutterableXmlDeserialize
スリットがある方が構造物として破壊されにくくなるのは盲点だった
Want to work with #FreeSoftware? Check out our #job page regularly: https://u.fsf.org/46u
こぶだい
tooearly
0bit@pawoo
infinite love ⴳ
🕊️ 
Caipira with AI
Wez Furlong
しゅいろ
pkg update
