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.
@StellarMiut流浪貓 
我喜歡每隔一段時間發神經召喚隕石撞地球。 
한국도 전통주가 있습니다. 많습니다. 다만 계보가 끊어진 게 많고, 정부에서 적극적으로 끊으려하며, 사람들도 잘 모를 뿐이에요.
청주와 소주로 크게 나눌 수 있습니다. 굳이 나누자면 탁주도 있습니다.
Proof terms for term rewriting (in Isabelle/HOL). ~ Christina Kirk. https://www.isa-afp.org/entries/Proof_Terms_Term_Rewriting.html #ITP #IsabelleHOL
It's been a while since I was actively excited about a new computer.
I'm actively excited about the 
@mntmnminute Reform Next.
It's Open, repairable, modular, and looks cool af in its raw aluminum (I GUESS you can also get it in a brilliant aubergine or black).
It runs off replaceable, standard LiFePO4 cells & you can mod it with other battery chemistries without changing the charging board.
The modularity is really approaching LEGO/Eurorack/ISO bike standarrd levels.
https://www.crowdsupply.com/mnt/mnt-reform-next/updates/technical-deep-dive
First-order rewriting (in Isabelle/HOL). ~ René Thiemann et als. https://www.isa-afp.org/entries/First_Order_Rewriting.html #ITP #IsabelleHOL
✨ Events I'll be selling at ✨
🌿 Chibi-Con (Winterthur) - 9-10 August 2025
🎋 Japan Matsuri (Bellinzona) - 20-21 September 2025
🍿 Zurich Pop Con (Zuerich) - 27-28 September 2025
These are all currently confirmed events where I will be an exhibitor in the artist alley! I will be updating this post in the future, so you can like it to get notification about any future events :>
큰 스크린에 애플티비로 영상 보며 동시에 아이폰 미러링도 구석에 하고싶다.
뭐야 내 토요일 돌려줘요
しごおわ
미디어에서 종종 항우울제 먹는 사람을 우울하게 그리곤 하는데 실은 반대임. 우울한건 항우울제를 안먹어서 그런거고 약 먹는 사람은 뇌가 세로토닌에 적셔져 있기 때문에 매우 밝고 멀쩡함.
힐러가 재밋어요 내 앞에선 절대 못 죽는다
CRT 모니터로 플라티나 랩 해보기 
I like TV and movie characters named Evan.
Decomposing factorial of 300K as the product of 300K factors larger than 100K. ~ Gustavo. https://gus-massa.blogspot.com/2025/04/decomposing-factorial-of-300k-as.html #Programming #RacketLang #FunctionalProgramming #Math
뭐야 내 토요일 돌려줘요
Oh this looks like a very cool #oshw device, hadn't heard of it before
https://fosstodon.org/@foss_north/114340962801722263
そういえば、4月頭にioでは独自にカスタマイズして、タブをバックグラウンドに切り替えたときに投稿データを取得しないようにした。
そして、戻ってきたときだけ、過去10件（1ページ分）だけを取得するようにしている。
（前まで貯まっていた投稿がドカっと流れてきてたやつが無くなった）
この変更で通信量が目に見えて減ったし、ブラウザの負荷も軽減されたおかげでスマホでのバッテリー持ちも少し良くなっている。
※通知音などはこれまで通りちゃんと鳴る
GreatApe is a conversations platform for the Fediverse and decentralized social-media (DeSo).
Here is what the GreatApe login screen looks like on a mobile-phone web-browser.
With GreatApe you do NOT have to create a separate GreatApe account.
With GreatApe you use your existing account on Mastodon, Pixelfed, Misskey, or PeerTube to login.
(We plan to support more Fediverse and DeSo logins later.)
#DeSo #Fediverse #GreatApe #Mastodon #Misskey #PeerTube #Pixelfed
SatisFactory買っちゃった
@thx@mustard.blog상어학땡스 
월간정액제인데 유료 과금템까지 있는 망겜이네요 이거...
mastodon.social隨便就找到一堆漢文新用戶了，沒人理應該很快跑回去吧
是說coser圈發生什麼事嗎，看到一堆過來的coser
不過大家都說聯邦宇宙入門，我說說醍醐味的部分吧XD 大站點當然是穩定、不容易倒，但小站點的人情味也是普通SNS找不到的東西吧
因為沒有演算法，大站點的帖文更容易淹沒在茫茫人海中，小站點反而容易得到誠懇的回應
最近在混一個外國的Sharkey小站也是滿有人情味的XD
사실 저는 같은 이유에서 부동산도 시장경제의 대상이 될 수 없다고 믿는 편입니다. 그 필지의 그 부동산은 세상에 단 하나밖에 없는 대체불가능한 재화인데 달리 뭐랑 경쟁을 하란 겁니까...?
RE: https://bsky.app/profile/did:plc:ijc4yb24tysgjiaiib2ldgyk/post/3lmtsgsebhk2x
지난해 미국 컬럼비아 대학교에서 팔레스타인 지지 시위를 조직했던 팔레스타인 학생 활동가인 모흐센 마흐다위가 이민세관단속국(ICE)에 구금되었습니다. 영주권자인 그는 시민권 면접을 받으러 이민국 센터에 나갔다가 붙잡혔습니다.
‘팔레스타인 지지’ 컬럼비아대 학생 활동가, 귀화 면접...
Emacs Lisp elements (A big picture view of the Emacs Lisp programming language). ~ Protesilaos Stavrou. https://protesilaos.com/emacs/emacs-lisp-elements #Emacs #Lisp
今までセルフレジで「この罠やめろ」って思ったのは、お酒をレジに通した瞬間、「年齢確認の必要な商品です。店員を呼んでいます」って、店員さんが来てくれるまでどうにもならなかったやつ
일본 갤럭시는 전파 좀 나빠지면
바로 상태바 쪽 안테나 창에
VoLTE 끊어졌다고 아이콘 뜨는데
한국도 그러나...?
그냥 라쿠텐이라 Network is busy라서 그런건가...?
お掃除ロボット藍ちゃん
風呂キャンしようとするしゅいろママをお姫様抱っこで風呂場に連れて行く
기분전환의 일환으로 액상과당 먹기
삶이 무료해서 재미없을때는 유료결제를 해보는건 어떠신가요?
噛むヨーグルト(レトロニム)
공공인프라는 민주화하라고 있는 거지 민영화(=사유화)하라고 있는 것이 아닙니다...
The Kolmogorov-Chentsov theorem (in Isabelle/HOL). ~ Christian Pardillo-Laursen, Simon Foster. https://www.isa-afp.org/entries/Kolmogorov_Chentsov.html #ITP #IsabelleHOL #Math
しゅいろさんがロボット掃除機を買ってロボット掃除機で自販機の下を掃除させて回収する回
Dear browser makers, please fix LCH. The promise of LCH was that the L could be trusted: no matter what the hue is, the lightness would always be the same perceived lightness. In your current implementations this is completely broken. It’s even worse than HSL
☞ https://issues.chromium.org/issues/40909194
☞ https://bugs.webkit.org/show_bug.cgi?id=255939
악인에게 인권을 보장할 필요가 없다고 단정하면, 누군가 당신의 인권을 모조리 빼앗고 싶을 때에는 당신을 악인으로 단정하려 할 것입니다. 그것은 당신이 아무리 개인적으로 "선하게" 살아왔는지와는 전혀 무관하게 타인이 뜻대로 저지를 수 있는 일입니다.
결국 인프라 투자 낭비를 억제하고 이미 설립된 인프라의 지속가능성을 추구하며 대국민 서비스의 최소 퀄리티를 강제하게 되면, 각종 규제와 보호장치로 인해 완전경쟁은 완전히 물 건너가게 되는데, 어차피 그럴 바에는 중복투자 없고 무조건 유지되며 법규정에 구속된 공공인프라가 공익에 더욱 부합하지 않습니까?
@stefanoStefano Marinelli impressive!
しゅいろロボット掃除機募金
wakest ⁂
가배
Jaeyeol Lee
しゅいろ
세랄이 
드라코