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
0
1

コアロジックとアーキテクチャとI/Oの設計がほぼ全てで、コーディングは人間がやらなくていいな
やってもいいけど、そんな簡単な事はLLMがやればよろしい

0
0
0
0
0
1
1
0
0
0
0

"By forcing everyone to hand over their most valuable and sensitive identity data, the law builds out a dangerous new surveillance infrastructure instead of actually keeping young people safe," EFF’s Molly Buckley told @TechRadar. techradar.com/vpn/vpn-privacy-

0
0
0
1

この人は :x_twitter: に愛着があるということだと思うから、それでいいのではないかと思った。

今でも一番情報が集まっているのはその通りで、私もそこが唯一のメリットだと思っていたけど、最近は「でも、その情報ってどうしても必要か?」って思うようになったので、その点でも魅力を感じなくなりつつある。

「Twitterからの移住先なんてあるワケねぇぇぇんだよぉぉぉぉぉぉォォォ~~~~~~~~~~~~~!!」長すぎるポストなのに共感集まる - Togetter
togetter.com/li/2634207

0
1
0
0
0
0
0
0
1
1
1
0
0
0
0
0
1

I have a question for fanatics. For the Social Web Devroom at FOSDEM 2026, we've reached out to over 50 different Fediverse projects to make sure they know about the event. Is there anyone else we need to reach? If you know someone working on Fediverse software development OR organisational and social issues, please share this call-for-proposals link. Our deadline is Dec 1, 2025 and we don't want to miss any part of this movement.

socialwebfoundation.org/2025/1

0
0
0
0
0
0
0
1
1
0
1

this year my challenge for is to implement my own (statically typed) language and solve every task with it, adding features to the language as I go. basic implementation and first day are ready!

codeberg.org/goldstein/aoc2025

I kinda cheated by implementing System F typechecking a couple of days before the challenge starts, but this still means I had to implement parsing + ADTs and basic pattern matching + let-in + primitive types + builtins + typing for all that stuff + de Bruijn indexing + evaluation in the first day, which is the primary downside of this challenge. System F typing was mostly mechanical anyway, I was just following a paper (Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism by Dunfield and Krishnaswami).

I spent last month preparing for this (reading TAPL and various papers, thinking about language design), so I’m pretty excited to actually attempt it.

0
1
0
0
0
0

マストドンのミニぬいぐるみ、25ユーロです。日本円だと、約4500円になります。EU転送サービスを利用して【25体限定輸入】で考えた場合、

●商品代:約10.5~11万円
●国際送料・転送費:概ね1.5~2万円前後
●税金・手数料:1~2万円前後

はかかるので、採算度外視・送料別でも、お値段は
《7,000円》
あたりになります。それでもあなたは買いますか? [参照]

0
1
1
1