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
0
まどい @nep2ver2@misskey.io
Public
Shared by とるねど:meowcomfycamera:🕊️

人の域にとどめておいたエヴァが、本来の姿を取り戻していく。
人のかけた呪縛を解いて、人を超えた神に近い存在へと変わっていく。
​:blob_wadaiko:​
天と地と万物を紡ぎ、相補性の巨大なうねりの中で、
自らをエネルギーの凝縮体に変身させているんだわ。
純粋に人の願いを叶える、ただそれだけの為に…

2
0
0
0
0
0
1
0
0
1
0
0
1
0
0
Bodil @bodil@treehouse.systems
Public

Since this seems to come up a lot, especially now with Windows being replaced by Copilot and Tim Apple being a frequent guest at the White House, I thought I'd write up my quick and objective guide to choosing Linux distros:

I just want something stable and easy to install that's still being maintained next century: Fedora.

I want a carefully hand crafted desktop experience curated for me by people who know what they're doing: KaOS.

I want to carefully hand craft my own desktop experience from scratch, I don't care how many wikis I have to read: Arch.

I think I'm somewhere in between those two extremes: Manjaro.

I'm a gamer: Bazzite.

I'm a Mac: Elementary.

I'm a Haskell weenie: NixOS.

I think rms made some good points: Debian.

I think Tommy Robinson made some good points: Omarchy.

I like South African billionaires: Ubuntu.

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

Germany: States Pass Porn Filters for Operating Systems

Link: heise.de/en/news/Youth-Protect
Discussion: news.ycombinator.com/item?id=4

Youth Protection: States Pass Porn Filters for Operating Systems

State parliaments pass controversial Youth Media Protection Act amendment. Parents can now "secure" devices for children with one click.

www.heise.de · heise online

0
0
0
The Rt. Rev. Fumire, Ph.D. @fumire@uri.life
Public

낮 동안 우리를 활기 있게 하신 저의 주님, 날아다니는 스파게티 괴물 님,
당신과 함께 있으리니, 자는 동안도 지켜 주시어 편히 쉬게 하소서.

"8. 저의 주님, 날아다니는 스파게티 괴물 님, 당신께서 오늘도 저희를 거룩한 탄수화물로 먹이시고 지켜주셨음을 감사드립니다."

🍝 날아다니는 스파게티 괴물 님께서 여러분과 함께.
😋 또한 주교의 면발과 함께 하소서.
🍝 기도합시다.
저의 주님, 날아다니는 스파게티 괴물 님, 이 밤을 편히 쉬게 하시고, 거룩한 죽음을 맞게 하소서.

2025-11-21T20:44:53+09:00


0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Tane Piper ⁂ @tanepiper@tane.codes
Public
Shared by Jan Lehnardt :couchdb:

Fuck yea! has introduced a breaking change in a patch release - started breaking our pipeline

github.com/npm/cli/issues/8767

Is there an existing issue for this? I have searched the existing issues This issue exists in the latest npm version I am using the latest npm Current Behavior I haven't been able to install 11.6.3...

[BUG] npm ci fails with newer versions of npm · Issue #8767 · npm/cli

Is there an existing issue for this? I have searched the existing issues This issue exists in the latest npm version I am using the latest npm Current Behavior I haven't been able to install 11.6.3...

github.com · GitHub

0
0
0
0
0
0
0
0
0
0
0
0
Jiajun Xu @foolfitz@social.slat.org
Public

這個議題可以追一下，看到幾個關心數位民主的印尼網友憂心忡忡
機翻：otakupapa.xyz/pemblokiran-pse-

[印尼] 封鎖電子系統供應商 侵害公民的資訊權與網路存取權

日前，印尼政府通訊及數位部向 25 個國際的數位服務商發出正式通知，警告這些平台若不立即註冊，將面臨行政制裁甚至斷網處分。其中包括維基百科、ChatGPT、Duolingo、Cloudflare、Dropbox 和 Getty Images。

www.otakupapa.xyz · 社會派宅爸

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Alvin Ashcraft 🐿️ @alvinashcraft@hachyderm.io
Public

Dew Drop Weekly Newsletter 458 - Week Ending November, 21, 2025

nomefm-zgpvh.campaign-view.com

Dew Drop Weekly Newsletter 458 - Week Ending November 21, 2025

Here are this week's top links from the Morning Dew. Thanks for following!

zc.vg · Zoho Campaigns

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Formalising the local compactness of the adele ring. ~ Salvatore Mercuri. afm.episciences.org/16007

Formalising the local compactness of the adele ring

Salvatore Mercuri · The adele ring of a number field is a central object in modern number theory. Its status as a locally compact topological ring is one of the key reasons why. We describe a formal proof that the adele ring of a number field is locally compact implemented in the Lean 4 theorem prover. Our work includes the formalisations of new types, including the completion of a number field at an infinite place, the infinite adele ring and the finite $S$-adele ring, as well as formal proofs that completions of a number field are locally compact and that their rings of integers at finite places are compact.

afm.episciences.org · Episciences

0
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

A complete formalization of Fermat's Last Theorem for regular primes in Lean. ~ Alex Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang. afm.episciences.org/16046

A complete formalization of Fermat's Last Theorem for regular primes in Lean

Andrew Yang · We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather than following the modern proof of Kummer's lemma via class field theory, we prove it by using Hilbert's Theorems 90-94 in a way that is more amenable to formalization.

afm.episciences.org · Episciences

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