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.
sticky memories
spread on slabs of homemade bread
grandmother's quince jam
sticky memories
spread on slabs of homemade bread
grandmother's quince jam
Winterzeit ist meine Nasennebenhölle
#TypoDesTages
Hopf algebras, affine group schemes and all of that. ~ Yaël Dillies. https://youtu.be/cz9Q4TtveL0 #ITP #LeanProver #Math
梅の季節が近づいてきたので、メジロのオリキャラちゃん
오리고기 먹는 중
: 이렇게 해서 얼마야?
: nn,000원
: 뭐야 성능 좋네?
: 웬 성능?
: '가성비'는 가격 대비 성능이잖아 근데 얘는 깡성능이 좋아
: ㅋㅋㅋㅋㅋ성능의 기준이 뭔데
: 1. 배가 불러야 할 것 / 2. 맛이 있을 것 / 3. 1번과 2번을 종합하여 만족감을 줄 것. 그래서 이 세 가지 성능이 모두 뛰어나
: ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
風呂場でスマホ使って無事水没させた
かしこいけど、なんか昔からありそうみたいな何かがあったが、どうも最近発明したっぽい。そうなのか。
Locally nameless lambda calculi. ~ Chris Henson. https://youtu.be/BVmhPmrAMGU #ITP #LeanProver
新宿で迷ってバスの時間ギリギリになった
100mmマクロほしいなあ・・・
車で帰ってる途中で、風強いなと思ってたら、道の真ん中に三角コーンが転がってて死ぬかと思った😆
良い写真を狙って撮ることが出来ないからやたらめったらシャッター切ってるんですけどねｶﾞﾊﾊ
これはすごいな。BlueskyやMastodon、Misskeyに加えて𝕏やRSSフィードにも対応するオープンソースのアプリか。モバイルだけでなくデスクトップ版もベータテスト中と。
/ Flare - すべてのソーシャルフィードを一つに https://flareapp.moe/
The state of Lean. ~ Leo de Moura. https://youtu.be/Wu8hyxqOar8 #ITP #LeanProver
帰宅しました。
みなさま、今日も1日おつかれさまでございますm( )m
Arriving into Brussels for #fosdem, anyone else about?
現像ファイルを変えたり色々してたからフォルダがバラバラになってるから参考値だけど結構撮ってると思うわ
Learn about all the cool projects #GNOME contributors have been working on by watching some talks at #FOSDEM!
Here is a list for Saturday:
WebRTC support in #WebKitGTK and WPEWebKit with #GStreamer: Current status and plans https://fosdem.org/2026/schedule/event/KMMLGM-webrtc_support_in_webkitgtk_and_wpewebkit_with_gstreamer_current_status_and_plan/
Funding Lessons Learned Panel https://fosdem.org/2026/schedule/event/KQEWP9-funding_lessons_learned_panel/
Machine Learning in GStreamer: Frameworks, Tensors, and Analytics https://fosdem.org/2026/schedule/event/RCTDG3-machine_learning_in_gstreamer_frameworks_tensors_and_analytics/
Running #GNOMEOS on mobile phones https://fosdem.org/2026/schedule/event/ESE3GP-gnome-os-on-mobile/
(毎週飛行機乗ってる
に奢るものは)ないです。
#serafuku_new_keomoji 
このあいちゃんお気に入り
과연 털맛집이군요.
If you are evaluating European alternatives, this updated overview might help.
https://plausible.io/blog/european-privacy-friendly-tools-for-business
人の金で寿司食いてぇよ………
JLPT도매달열어라
Coinductive predicates in Lean. ~ Wojciech Różowski. https://youtu.be/vEt07N_v-Yo #ITP #LeanProver
“구룡마을이 1960년대에 머문 이유는 직접 배제와 간접 배제가 겹치면서 방치가 제도화됐기 때문이다. 그래서 지금 주민들의 재난지역 선포 주장은 국가의 책임을 확정하라는 요구다. 인명 피해가 없다는 건 다행이지만, 30년 넘는 야만의 시간을 보상해야 한다. 늦더라도 그게 문명이다.”
화마 입은 구룡마을 ‘재난지역’ 주장하는 이유 [왜냐면...
なーちゃん管理職で偉いし、おちんぎんも334倍くらい貰ってそうなので
を期待
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 🐍
Tactics for the linear-bitwise fragment of bitvectors. ~ Siddharth Bhat. https://youtu.be/d0bvC2nshQ0 #ITP #LeanProver
The W3C Security Interest Group has published the first drafts of the following Group Notes:
"Threat Modeling Guide" which describes when, why, and how to perform threat modeling during the development of a specification at W3C; and "Threat Model for Decentralized Credentials" which is the live "meta" Threat Model related to Decentralized Credentials.
Astro 5.17 is now available!
Move the dev toolbar, partition your cookies (we had to look it up too, no worries) and create the images of your dreams with cool new optimization options.
選挙どころじゃないよ、高市早苗💢💢💢💢💢💢💢
“구룡마을이 1960년대에 머문 이유는 직접 배제와 간접 배제가 겹치면서 방치가 제도화됐기 때문이다. 그래서 지금 주민들의 재난지역 선포 주장은 국가의 책임을 확정하라는 요구다. 인명 피해가 없다는 건 다행이지만, 30년 넘는 야만의 시간을 보상해야 한다. 늦더라도 그게 문명이다.”
화마 입은 구룡마을 ‘재난지역’ 주장하는 이유 [왜냐면...
#公視新聞網 20:10
澳洲東南部熱浪來襲近50℃ 追平2009年紀錄
北半球現在許多地方都在下大雪，但是在南半球的澳洲目前是夏季，新一波熱浪為東南部帶來破紀錄的高溫，直逼攝氏50度，導致野火失控，民眾膽戰心驚。另外在義大利南部的西西里島，則發生大規模山崩，山坡上的民宅就掛在懸崖邊緣，當局下令1500人緊急撤離。
【速報】大雪で青森県が14市町村に災害救助法適用|47NEWS（よんななニュース） https://www.47news.jp/13793197.html
From the archives: 2026-01-29 at 13:00 PM
Which raises the question: given these struggles and the precarious position I exist in, why did I think this was the best use of my time? And why do so many trans women in similar positions also…
The consolation of containerisation
https://deadsimpletech.com/blog/consolation_containerisation
The consolation of containerisation | deadSimpleTech
Which raises the question: given these struggles and the precarious position I exist in, why did I think this was the best use of my time? And why do so many trans women in similar positions also think so? Why, in short, do we keep learning how to do stuff with tech at a high level even when it doesn't seem economically valuable or worth it?
deadsimpletech.com · deadSimpleTech
Link author: 
Iris@iris_meredith@mastodon.social
Alright fediverse devs, I figured out how we can fix mansplaining.
VADがRubyの配列やMemoryViewを受け取れるようにした。
これがリリースされれば、今ファイル経由で
ノイズ除去 -> ファイル書き出し -> VAD -> ファイル書き出し
ってやっているところ、一つ目の書き出しを省くことができる。
風邪が微妙に続いてるから明日は休みをもぎとってやったぜ！
lean-lsp-mcp: Tools for agentic interaction with Lean. ~ Oliver Dressler. https://youtu.be/uttbYaTaF-E #ITP #LeanProver #AI
Quincy ⁂
白長谷
pokarim
マジでデカいプリン
상어학땡스 
시오
Sarah Rainsberger
SparklingOutlaw🍉
