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

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

게이브는 차원 중첩 상태에서 벗어났고, 자신의 손가락을 보았다.

'하나... 둘...'

흐릿하게 보여 눈으로 볼 수도, 입으로 말할 수도 없는, 2보다 크지만 4보다 작은 숫자가 그의 눈에도 보였다.

"이제 그만 깨어나세요..."

그는 머리에 울리는 G맨의 목소리 속에서, 마침내 그 숫자를 말했다.

"셋."

0

12·3 불법계엄 1년…여성·소수자들은 그저 ‘응원군’이었나 www.khan.co.kr/article/2025... "A씨는 최근 전국장애인차별철폐연대 활동가들이 지하철 탑승 시위를 벌이다 폭력적으로 저지당하는 모습을 보면서 당시 광장에서 발언하던 ‘전장연 동지’들을 떠올렸다고 했다. A씨는 “윤석열은 탄핵되었지만 여전히 세상은 그들의 목소리를 듣지 않고 있는 것으로 보여서 매우 충격적이었다”고 말했다."

12·3 불법계엄 1년…여성·소수자들은 그저 ‘응원군’...

0
1
0
0

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

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

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

0
1
1
1