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.
erreichbär
Hast du dir die Handy gewaschen?
#TypoDesTages
Warum heißt es „Anfängergruppe des Posaunenchors” und nicht „Laubläser”? 🍃
My husband and I exited the elevator and entered our apartment's parking garage and there was a gigantic red truck parked right by the door and my husband said "well, this is me..." and I’m still laughing about it.
yoshi
『こぐまのくまくん』のバースデースープはおれのなかですごく有名なんだけど一般的な知名度はそれほどでもないかもしれない
블루스카이 블로그에 올라온 글이 현대 인터넷 사회에서의 문제와 통찰 부분에서 잘 쓰여진 것 같아서 한국어로 번역해 보았습니다. 일본처럼 한국도 블루스카이에서 직접 한국어로 블로그 글을 올려 주는 날이 오면 좋겠습니다.
블루스카이의 2026년: 예측
medium.silverkey.social/%EB%B8%94%EB...
블루스카이의 2026년: 예측
두쫀쿠 그냥 뭐지... 속에 달달한거 들어있는 찹쌀모찌라고 생각하고 있다.
The next No Kings Day will be the largest protest in American history: http://www.nokings.org/#signup
다당제 완벽하지 않은것 알고는 있는데요… 그렇다고 개인적으로 양자택일(혹은 흔히 말하는 “차선 뽑기”)라고 더 나은가..? 는 지금 미국 모습을 보고있으니 할수 없을것 같은데요. 그리고 무엇보다 웬만한 유권자들이 생각보다 전략적으로 투표하지 않기 때문에… 2025 대한민국 대선도 계엄 탄핵 이후였는데도 김문수가 받은 득표율도 잊으면 안될것 같은데…
The only computer term I know how to do is “flop.”
*flops on your timeline.*
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:
There’s a new policy on my regional rail where trains need to pull all the way forward on every platform. Waiting areas aren’t all the way forward on every platform. Every single stop has every conductor throwing shade at the new policy and suggesting the passengers complain.
I love it
いろいろあって自分の誕生日ケーキを自分で焼いて振る舞ったんだけど満足感があって思いのほか楽しかった
Looi — A Minimal, Customizable New Tab Page for Firefox, Chrome(with Widgets & GitHub Sync) https://lobste.rs/s/ruibzy #a11y #browsers #javascript #web
https://github.com/prinzpiuz/looi
Nori's construction in Lean. ~ Sophie Morel. https://youtu.be/C71rdAoyI1A #ITP #LeanProver
The Internet Shopping Network, 1994
Aristotle, an AI theorem prover using Lean. ~ Alex Best. https://youtu.be/XmD-Vl2iiqM #AI #Math #AI4Math #ITP #LeanProver #Aristotle
今日の月です。
今日は東京23区で雪が降るかもって言ってたけど、結果的には綺麗な星空ですね。
ヒヨドリの水浴び。結構豪快だった #misskey写真部
i'll send in a late proposal using the contact form
JOB OFFER
We are looking for a new office cat.
We are looking for: Cute, must purr a lot, soft fur, 5-10 years experience in RUST.
We are offering: No payment, food always 10 minutes to late, a soft place near a window or a radiator.
Your task will include throwing things down the table, looking cute, curl up in the one colleagues lap who is highly allergic to cat hairs and Programm something in RUST. We don't need any software in Rust, but we want to add the tagline "Blazingly fast" to our headlines.
Please provide a complete CV and point out past experiences you gained.
온라인 환경이 급변하고 관련한 신종 범죄가 늘어날 가능성이 커지면서 경찰도 관련 대응을 강화하고 있습니다. 청 내에 법리 검토 등을 지원하는 수사지휘지원팀을 지난해 신설했습니다.
news.sbs.co.kr/news/article...
[단독] 입에 담기 힘든 욕설과 희롱…피해자는 '버츄얼...
Formalizing class field theory. ~ Michał Mrugała. https://youtu.be/Uw39QPhh7RI #ITP #LeanProver #Math
#포슬립 2591-2163-5867 53일한 뉴비가 친구 구합니다
春の
で #春が恋しいので花の画像を貼る
TÜV Report 2026: Tesla Model Y has the worst reliability of all 2022–2023 cars
Link: https://www.autoevolution.com/news/tuev-report-2026-tesla-model-y-has-the-worst-reliability-among-all-20222023-cars-261596.html
Discussion: https://news.ycombinator.com/item?id=46809105
USU: Finland's justice ministry could still cancel Amazon cloud plans
Benefits agency Kela and the Finnish Tax Administration also have plans to switch to US-based cloud storage.
アオジちゃん。スズメかと思ったら違った #misskey写真部
The Mathlib initiative. ~ Johan Commelin. https://youtu.be/sZR-M9GRqkQ #ITP #LeanProver
un article de 
@hugovkHugo van Kemenade illustrant l'utilisation du profileur statistique Tachyon de Python 15 pour optimiser la bibliothèque Pillow de manipulation d'images : https://hugovk.dev/blog/2026/faster-pillow/
Cela a permis de mettre en place un lazy-loading pour ne charger les plugins nécessaires.
La PR proposée accélère le temps de chargement d'une image de 2 à 14 fois plus vite, et intégrera la version 12.2.0 de Pillow.
カワセミ飛び出し #misskey写真部
Lessons from the Carleson project. ~ Floris van Doorn. https://youtu.be/vp8VaI_MkwY #ITP #LeanProver
ブルースカイが発表した「2026年のBluesky予測」。とても耳の痛い言葉があり考えさせられます。
「現代のソーシャルウェブが、憂鬱で、攻撃的で、人間味のない「情報の掃き溜め」になってしまったのは決して偶然ではない、という事実です。」
「インターネットは生活を消費するために構築されるべきではない」
https://bsky.social/about/blog/01-28-2026-bluesky-2026-predictions-jp
Great to see this also in vim:) github.com/vim/vim/pull... #vim #neovim
ドラッグアンドドロップタイリングだと…
Vivaldiがまた革命を起こしてしまったのか 
Verified computation of real asymptotics. ~ Vasilii Nesterov. https://youtu.be/S-jqKdwXpvo #ITP #LeanProver
土曜日→写真撮りに行きたい
日曜日→エンドフィールドやりたい
今日は早く寝るべきと体が言っている
古いアンドロイド
Great to see this also in vim:) github.com/vim/vim/pull... #vim #neovim
Better living through metaprogramming. ~ Thomas R. Murrills. https://youtu.be/KUN1v3lpREg #ITP #LeanProver
カワセミの飛び込み。見事に捕まえた模様 #misskey写真部
당시 이주한 대부분은 살던 집이 철거당한 뒤 “거기 가면 아파트 딱지 준다”는 말을 듣고 서울 강남구 구룡마을에 자리를 잡았다. 하지만 희망은 곧 배제로 돌아왔다. 주민등록 이전, 즉 주소 이전이 금지됐다.
수정 2026-01-29 07:17 www.hani.co.kr/arti/opinion...
화마 입은 구룡마을 ‘재난지역’ 주장하는 이유 [왜냐면...
突然想起来以前对 MathJax 和 KaTeX 的黑语法感兴趣（还存着洛谷一篇文章 https://www.luogu.com.cn/article/4a81e2tt ）；不过嘛，
Quincy ⁂
Wouter Tebbens ⁂
@reiver ⊼ (Charles) 
Neovim
GENKI
Jan Lehnardt 
@FOSDEM
시오
<span style="font-size:120px">我自己的网站都能用完整 HTML 了，我还用黑语法干啥呢.webp</span>