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.
これはまさしくコンクラーベだな。しかし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번을 종합하여 만족감을 줄 것. 그래서 이 세 가지 성능이 모두 뛰어나
: ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ
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 🐍
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 
상어학땡스 
北市真
しゅいろ
Quincy ⁂
🕊️ 
시오
마족공주 
かちかちなまこ
Paolo Melchiorre
pokarim
