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.
Readings shared December 5, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/06-readings_shared_12-05-25 #ATP #Autoformalization #DataScience #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Rocq #Rstats #SMT #Z3
いや、12/31は開いてるらしい
え、これ行くしかないのか…
つまり28日に和歌山城、31に姫路城が確定したわ
I'd like to store one billion variable-length binary objects & get them by SHA256(obj) key. The median object size is 2 kilobyte. Low read/write volumes.
What I've tried so far: NFS with the hash's first few octets as nested directory names, it works but it is a bit slow and I also tried ZeroFS (also too slow).
Under considerations: DuckDB, RocksDB, BerkeleyDB, SQLite3, lmdb, something bespoke
Recommendations? Things/papers I should be reading?
家から一番近い
が仙台富谷店(800km)なので詰んでる
しゅいろさん描くの楽しかった…また描きたい
UK government harassment
Not surprised but what an ugly policy 🤮
Trans women will not be allowed to attend main Labour Women's Conference events https://www.bbc.com/news/articles/c773vm4n3n0o
#しゅいろママ生誕祭2025 #しゅいろアート
서브웨이 랍스타 그릇 받으신분들~~~ 그거 카드뮴 검출되서 전량 회수조치 한다고 하니 꼭 서브웨이 사이트에서 회수조치 받으세요
ﾃﾞﾃﾞﾄﾞﾝ
帰省で行ける城が減った…
ストリーミング処理って結局なに？ VST3 AGain のログから見るオーディオブロックとsampleOffsetの正体
https://dev.classmethod.jp/articles/vst3-again-streaming-audio-block-sampleoffset/
Netflix’s AV1 Journey: From Android to TVs and Beyond
Link: https://netflixtechblog.com/av1-now-powering-30-of-netflix-streaming-02f592242d80
Discussion: https://news.ycombinator.com/item?id=46155135
Schizophrenia sufferer mistakes smart fridge ad for psychotic episode
Link: https://old.reddit.com/r/LegalAdviceUK/comments/1pc7999/my_schizophrenic_sister_hospitalised_herself/
Discussion: https://news.ycombinator.com/item?id=46171425
Es ist #Samstag.
Stadt:
Die gesamte Unterschicht hat ihre defekten, falsch montierten #Waschmaschinen gestartet zum stromfressenden Konzert der perfekten #Ruhestörung.
Land:
Spießer und kognitive Fehlstellen aktivieren ihre benzingetriebenen #rasenmäher zum Konzert der perfekten #Ruhestörung.
Das ist perfekte #Freiheit des #Individuums.
Es war die wundervollste #Zivilisation aller Zeiten, sie hatten alles im Überfluss -
ausser #Bildung
리피님 잡아먹어야지
전 서버가 나쁘지는 않았는데 반쯤 무법지대라서...
しゅいろさんの誕生日祝いにホイップクリームでしゅいろさんの全身をデコレーションするオフ会開催決定❗️
💬 Commented on "Release: 2025.12.0": kakkokari-gtyih "テストが落ちてるわね"
https://github.com/misskey-dev/misskey/pull/16916#issuecomment-3619817287
今日のアルバイト
これが若さか
寝る1日だった
家には帰ってきたんですが、職場の人間の1/3がインフルで倒れました
明日は我が身
ただいま〜〜〜（？）
집에 가기 싫은 샨티
年賀状が一段落した
서브웨이 랍스타 그릇 받으신분들~~~ 그거 카드뮴 검출되서 전량 회수조치 한다고 하니 꼭 서브웨이 사이트에서 회수조치 받으세요
이거 어딜보나 여러모로 청혼하는 것처럼 보임
Montreal to honour 14 victims of Polytechnique massacre at ceremony
https://www.cbc.ca/news/canada/montreal/montreal-polytechnique-massacre-2025-9.7005381?utm_source=flipboard&utm_medium=activitypub
Posted into Montreal 
@montreal-cbcnewsMontreal
종강하고 마인크래프트 모드팩 서버나 하나 열어볼까
しゅいろバード
내가 좋아하는 레식 뉴비 밈 맵에 있는 석판 읽다가 죽음
Is everything everywhere at once?
#simplepoll #adkfedi #CrissyPolls
‘백신 회의론자’ 장관 입김에….미, 신생아 ‘B형 간염 예방접종 권고’ 폐지키로
n.news.naver.com/mnews/articl...
진짜 미국 망할듯 -_-
‘백신 회의론자’ 장관 입김에….미, 신생아 ‘B형 간...
うおお鹿児島から帰宅！！
今机上が留守中に届いたみすけっと購入物と鹿児島で買ったお土産の山になってる。
"These injuries are on top of 690 Palestinians, including 131 children, killed by Israeli forces or settlers between January 2024 and September 2025, OCHA reports. This amounts to more than one Palestinian killed per day in the West Bank alone."
@palestinePalestine_Group #Press #Gaza #Genocide #IsraelWarCrimes #WesternComplicity #WeAreAllPalestinians
아무것도 하고 있지 않지만 그래도 무언가를 작성해 봅니다. 
Sure would be nice if whatever automated border control system they have at CDG actually worked. We’ve been sitting in the “fast lane” for like 30 minutes while they open and close little doors with blinking lights that I imagine on a good day I would be supposed to go through
私も自認が
寿司を食え寿司を
みすきーにょ新バージョンが出る→月末にょふいんき
『海辺の電話ボックス』/ feat. 音街ウナSV - YouTube : 👀
---
https://www.youtube.com/watch?v=tHo25oDiNNY
Is everything everywhere at once?
#simplepoll #adkfedi #CrissyPolls
지금 상태 : 생각이 없음
슈테라 언급하면 서양상추님이 오시던데
Misskey v2025.12.0出るぞ
This week in #FDroid (TWIF) is live:
* website maintenance w/ #reproduciblebuild info
* #FSFE 
@llasLucas Lasota on #EU #DMA vs #FLOSS
* #Dib2qm depreciated, jump ship now
* #Jami talks about #FLOSS importance
* #NWS weather widget broken
* #SessionMessenger protocol v2 #PFS #PQC
+ 10 new apps
& 214 updates
- 2 apps archived
Check yo' signer: https://f-droid.org/2025/12/05/twif.html
太いbodyです
ビンマロ（コミッション受付中） 
DevelopersIO 
불가사리 소년 
Evan Prodromou
GENKI
しゅいろ
