What is Hackers' Pub?

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.

0
2
1
1
2
1
1
0
0
0
0
:ren:​ 해치님 이야기 보니 생각났는데, 모 시멘트 회사 사장님이 어마어마한 오디오 덕후지요.
그 사람... 오디오 모임에도 나가고 하다가, 마음 맞는 사람들 모아서 서초구에 청음실을 차렸습니다. 사람들 와서 들어보라고요. 그리고 거기에 자기랑 평소에 친하게 지내던 오디오 모임 사람들 꼽아 월급주고 있더군요.
0
1
1
1
1
0

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

1

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 🙏

0
0
1
1
0

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

0
14
1
0
1
0

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

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

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

✔︎17(水)18:00~有楽町駅イトシア前 ウィメンズアクション
sogakari.com/?p=8449
✔︎19(金)18:30~ 衆議院第2議員会館前
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-
youtube.com/live/bwkxTBb1AZg

0
0
1
0
0
0

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

0
2
1
0
1
0
0
1
1
1
0
1
0
0
0

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

0
0
0
1
1
1