What is Hackers' Pub?

久しぶりにベーコン買ってきたよ！

​​​​

かならず邪知暴虐の弊社を倒さねばならぬと出金拒否したい​​

ほなお仕事はじめてきまーす！​​

​​​​​​

クリスタ​​​​

洗濯物干し完了。これで週明け家事大会コンプリート！​​

재산 1,123,500,000,000,000원…머스크 인류 최초 ‘조만장자’ 등극

https://n.news.naver.com/article/020/0003683435?ntype=RANKING

이건 환율이 올라간 탓도 ㅋ

Straight up truth!

OK、​​

​​「にゃぷ？」

今日の天気は？


​​「晴れか曇りか雨か雪だにゃ」

洗濯物を干さねば​​

​​
月曜日〜

​​

@lynnesbianLynnesbian extremely jarring accent switch halfway through reading this

425徘徊は前半がすり抜けで中盤は精神ガリガリ削られたので写真が後半ばっかになってしまっています​​
かろうじての一眼撮影できるようになってきた状態の最初がこちら​​
こんなとこにまでお地蔵さんあるのがやっぱ人間
#misskey写真部

It’s been my goal to actually start writing a language for a while, and I think early 2026 is as good a time as any.

My first goal is to implement something with both higher-kinded polymorphism and subtyping. Full type inference isn’t a goal; what I’ve seen in examples for bidirectional type inference would be plenty, and I generally have a high tolerance for sprinkling on additional manual annotations when needed.

I’m planning on working through “Programming Language Foundations in Agda” to get started. For actually designing the type system, is “Algebraic Subtyping”by Stephen Dolan a good place to start?

I would really appreciate any signposts that people who are more familiar with this world would be willing to provide 🙏

#ProgrammingLanguages #plt #TypeTheory

キツネ島で肌寒い中きつねうどんを作る話
冬コミで出るぞ！！二日目の西ひ13bにて！！

メシもよそえない私なんて

なのでご愛顧いただいているこの猫アイコン、故猫となって久しくなりつつあるのだけど、変えづらいのよな​​

RE: https://misskey.io/notes/agjvberfyi980223

Logging Sucks - Your Logs Are Lying To You https://lobste.rs/s/rbobxh #debugging
https://loggingsucks.com/

Just had someone leave feedback on my F/OSS project saying “maybe that's fine if a product is focused on your Chinese community.”

I'm Korean. Every single piece of documentation is in English. There's nothing in Chinese anywhere in the project.

This kind of microaggression is exhausting. As a non-white maintainer, you deal with these assumptions constantly—people who feel entitled to your labor while casually othering you based on your name.

It chips away at your motivation. It makes you wonder why you bother.

https://github.com/dahlia/optique/issues/59#issuecomment-3678606022

A Guide to Local Coding Models

Link: https://www.aiforswes.com/p/you-dont-need-to-spend-100mo-on-claude
Discussion: https://news.ycombinator.com/item?id=46348329

今日は冬至だよ​​
いちばん日照時間が短い日だから、今日から日照時間が長くなるわよ​​

Youtubeで観れて日本語字幕もあるのか。年末年始はこれでいけるか？

ドラマ『Pluto』感想（ネタバレ）…同じ星の下で双思双愛なタイGL | シネマンドレイク：映画感想&レビュー
https://cinemandrake.com/pluto-thailand

「存立危機事態」発言撤回デモ

◎ 辞任要求ツイデモ（継続中）
12月
◎23日(火)19:00-20:00 首相官邸前

✔︎4日官邸前
✔︎7(日) 13:30〜 静岡ミサイル反対結成準備会　静岡労政会館5階展示室
16:00〜 辞任要求デモ　大阪市住まい情報センター１階東口から
https://nitter.net/ZENKOofficial/status/1997139560711835731#m
✔︎8(月) スパイ法反対
https://www.kyobozaino.com/
12:00〜12:45 国会前行動　衆議院第2議員会館前
13:30〜15:30 院内集会　衆議院第2議員会館　第3会議室
※オンライン配信➞https://youtube.com/live/gt7j4nJDjd0
✔︎11(木) 15:00〜17:00 スパイ法反対宗教者・信者緊急全国集会　衆議院第2議員会館　第8会議室
✔︎ 15(月)18:30～ 首相官邸前
https://kyujokowasuna.com/?p=4512

✔︎17(水)18:00～有楽町駅イトシア前　ウィメンズアクション
https://sogakari.com/?p=8449
✔︎19(金)18:30～ 衆議院第2議員会館前
https://sogakari.com/?p=8447

11月
✔︎21日:東京（1700人）・名古屋（30人）・札幌（30人）
✔︎22日:大阪（50人）・大分 ミサイル搬入反対集会
✔︎23日:福岡 18:00-パルコ前・沖縄 14:00- 県民広場
✔︎24日:熊本 長距離ミサイル搬入反対集会
✔︎25日:首相官邸前 18:30-
✔︎26日:首相官邸前 13:30-
✔︎28日:首相官邸前 19:30-20:30（1000人）
✔︎ 30日:愛媛松山市駅前 16:00-16:40
大阪なんば 東亜ビル前 17:00-
https://www.youtube.com/live/bwkxTBb1AZg
#高市総理の発言撤回を求めます
#あらゆる戦争に反対する

CALL FOR PAPERS 📑 For the swift community event the day before #FOSDEM is now open!!

See you there 😊 #swiftlang #swift #oss

https://swiftlang.github.io/event-fosdem/

​​

Silent Sunday.

#SilentSunday

サイボーグフェミニズム英語版解説ウィキ、機械翻訳だけどここかっこいい
https://en.wikipedia.org/wiki/A_Cyborg_Manifesto
「「サイボーグは、エディプス・プロジェクトのない有機的な家族モデルに基づく共同体を夢見ません。サイボーグはエデンの園を認めないでしょう。それは泥でできておらず、塵に戻ることを夢見ることもできないのです。」」

アイコンとデコで認識してるから、急に変わると目が泳ぐ​​

​​

RE: https://hachyderm.io/@dotmeow/115747548039870274

I’m planning to back this. Just have to negotiate with the family CFO on how much. I wants some meows!
#dns #domains

おはようございます。
今日もあなたさまにとってお健やかに素敵な1日がおとずれますように。

I Program on the Subway https://lobste.rs/s/pbxwjt #programming
https://www.scd31.com/posts/programming-on-the-subway

Hurry-Coward Isomorphism

最近マジで日の出遅くて​​が来ない

シャンプーしたてのフワフワお嬢様

​​
長い休みから復帰するけど…いけるかな…

the cabs are pretty high on my list of bands I've never seen, but would pay an arm and a leg to see...
#TheCabs https://youtu.be/7_Duz4yJNwE?si=U9UTgfB6-mAAfh8V

​​​​

WTAF?! 👇 ICE is arguing in court that they can detain, handcuff, and biometrically screen US CITIZENS — unless they can prove citizenship on the spot. And a REAL ID isn't enough. 😳 This isn't immigration policy. It's a "papers-please" USA, where freedom is conditional and innocence come last.

『中動態の世界』昨夜読了。文庫版補遺の当事者研究の話が興味深かった

サイボーグフェミニズム英語版解説ウィキ、機械翻訳だけどここかっこいい
https://en.wikipedia.org/wiki/A_Cyborg_Manifesto
「「サイボーグは、エディプス・プロジェクトのない有機的な家族モデルに基づく共同体を夢見ません。サイボーグはエデンの園を認めないでしょう。それは泥でできておらず、塵に戻ることを夢見ることもできないのです。」」

Youtubeで観れて日本語字幕もあるのか。年末年始はこれでいけるか？

ドラマ『Pluto』感想（ネタバレ）…同じ星の下で双思双愛なタイGL | シネマンドレイク：映画感想&レビュー
https://cinemandrake.com/pluto-thailand

You can catch more dark matter with honey than with vinegar.
https://arxiv.org/pdf/2510.00068

しゅっきん​​

12月5日｜おかやま

​​岡山市​​
📷
α7R II + FL50mm F1.8
#misskey写真部 #photography

ohayo