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.

Eric @daskladas@mastodon.social
Public
Shared by NixOS

Hey everyone,

I built nixmate, a terminal UI that brings together the NixOS tools I found myself using daily but scattered across different commands.

10 Modules, Pipe support, lots of themes, EN/DE, works over SSH.

Try it: nix run github:daskladas/nixmate

Repo: github.com/daskladas/nixmate

Written in Rust, MIT licensed. Its my first public Project, so rough edges are expected — feedback and issues very welcome!

@nixos_orgNixOS

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
3
0
0
0
0
Eric @daskladas@mastodon.social
Public

Hey everyone,

I built nixmate, a terminal UI that brings together the NixOS tools I found myself using daily but scattered across different commands.

10 Modules, Pipe support, lots of themes, EN/DE, works over SSH.

Try it: nix run github:daskladas/nixmate

Repo: github.com/daskladas/nixmate

Written in Rust, MIT licensed. Its my first public Project, so rough edges are expected — feedback and issues very welcome!

@nixos_orgNixOS

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

Towards Autonomous Mathematics Research

Link: arxiv.org/abs/2602.10177
Discussion: news.ycombinator.com/item?id=4

arXiv logo

Towards Autonomous Mathematics Research

Recent advances in foundational models have yielded reasoning systems capable of achieving a gold-medal standard at the International Mathematical Olympiad. The transition from competition-level problem-solving to professional research, however, requires navigating vast literature and constructing long-horizon proofs. In this work, we introduce Aletheia, a math research agent that iteratively generates, verifies, and revises solutions end-to-end in natural language. Specifically, Aletheia is powered by an advanced version of Gemini Deep Think for challenging reasoning problems, a novel inference-time scaling law that extends beyond Olympiad-level problems, and intensive tool use to navigate the complexities of mathematical research. We demonstrate the capability of Aletheia from Olympiad problems to PhD-level exercises and most notably, through several distinct milestones in AI-assisted mathematics research: (a) a research paper (Feng26) generated by AI without any human intervention in calculating certain structure constants in arithmetic geometry called eigenweights; (b) a research paper (LeeSeo26) demonstrating human-AI collaboration in proving bounds on systems of interacting particles called independent sets; and (c) an extensive semi-autonomous evaluation (Feng et al., 2026a) of 700 open problems on Bloom's Erdos Conjectures database, including autonomous solutions to four open questions. In order to help the public better understand the developments pertaining to AI and mathematics, we suggest quantifying standard levels of autonomy and novelty of AI-assisted results, as well as propose a novel concept of human-AI interaction cards for transparency. We conclude with reflections on human-AI collaboration in mathematics and share all prompts as well as model outputs at https://github.com/google-deepmind/superhuman/tree/main/aletheia.

arxiv.org · arXiv.org

0
0
0
0
3
0
0
0
0
0
0
0
0
0
0
Catalin Cimpanu @campuscodi@mastodon.social
Public
Shared by Stefano Marinelli

Western Digital has recently announced that it sold all of the year's hard-drive inventory to AI companies.

In other words, prepare for huge SSD price surges.

wccftech.com/western-digital-h

Western Digital Has No More HDD Capacity Left, as CEO Reveals Massive AI Deals; Brace Yourself For Price Surges Ahead!

HDD capacity from one of the world's largest manufacturers has started to run dry, according to WD's CEO, as major LTAs have been signed out.

wccftech.com · Wccftech

0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
Steve Klabnik @steveklabnik.com@bsky.brid.gy
Public

I was given a lovely anniversary present, a guitar, so I’ve been doing that instead of a wall of Claude instances. I’m at an IRL arcade with some kids right now, it’s great. But if I was 20 right now? I’d be those people too, for sure. I was without AI, no reason to believe I wouldn’t be again.

0
0
0
Steve Klabnik @steveklabnik.com@bsky.brid.gy
Public

Different people want different things in life. All change relies on unreasonable people. It’s easy to judge and psychoanalyze strangers. Working too hard can enrich your boss but it can also be directed towards the things you want to do. Work doesn’t have to be everything but it also can be.

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Steve Klabnik @steveklabnik.com@bsky.brid.gy
Public

Some related feelings: * I’ve been a lifelong workaholic so, I get it. * I think it’s easy to, as a slightly older person who’s already accomplished, tell the youngs that they shouldn’t work hard. It’s well meaning but also a bit hypocritical * some of these people have real addiction issues

0
0
0
William Lindsey :toad: @wdlindsy@toad.social
Public

Jan told us that prior to those years, Prague was about equally divided between Czechs, Jews, and Germans, three ancient cultures that had lived side by side in that area for millennia.

Then that all ended catastrophically, with the mass murder of the Jewish population by the Nazis, followed by the Czechs' expulsion of the Germans (for their collaboration with the Nazis) after the war.


/3

A bright mural in a Mexican restaurant
William Lindsey :toad: @wdlindsy@toad.social
Public
Shared by Paul Cantrell

Jan said the longterm effect was to decimate the cultural richness of a city long known for its diversity, rich crosscultural interchanges, diversity, and tolerance.

I think of this and think of all the people in the US right now who imagine that by pushing the kind of people who own and operate this Mexican restaurant away, sending them packing, we'll build a better, healthier, more humane society.


/4

0
0
0
William Lindsey :toad: @wdlindsy@toad.social
Public

I think about all of this and remember a conversation we had in April 2008 with the owner of the b and b at which we stayed in Prague, the Velké Boty, owned by an interesting couple, Jan and Charlotta. Charlotta played a leading role in helping translate the post-Soviet Czech constitution into English.

The conversation I'm remembering was about what the Nazi era and WWII and its aftermath did to Prague.
/2


/2

A red angel for Valentine's day, with heart-shaped glassesBright paper flowers, calla lilies, on a restaurant table
William Lindsey :toad: @wdlindsy@toad.social
Public
Shared by Paul Cantrell

Jan told us that prior to those years, Prague was about equally divided between Czechs, Jews, and Germans, three ancient cultures that had lived side by side in that area for millennia.

Then that all ended catastrophically, with the mass murder of the Jewish population by the Nazis, followed by the Czechs' expulsion of the Germans (for their collaboration with the Nazis) after the war.


/3

A bright mural in a Mexican restaurant
0
0
0
Simon Willison @simon@fedi.simonwillison.net
Public

On the @oxidecomputerOxide Computer Company and friends podcast last month we (primary credit @ahlAdam Leventhal) coined the term "Deep Blue" for the sense of psychological ennui leading into existential dread that many software developers are feeling thanks to LLMs right now simonwillison.net/2026/Feb/15/

Deep Blue

We coined a new term on the Oxide and Friends podcast last month (primary credit to Adam Leventhal) covering the sense of psychological ennui leading into existential dread that many …

simonwillison.net · Simon Willison’s Weblog

0
0
0
0
0
0
Hacker News 500 @hn500@social.lansky.name
Public

EU bans the destruction of unsold apparel, clothing, accessories and footwear

Link: environment.ec.europa.eu/news/
Discussion: news.ycombinator.com/item?id=4

A huge pile of clothes outside is shown

New EU rules to stop destruction of unsold clothes and shoes

The measures under the Ecodesign for Sustainable Products Regulation will allow businesses to benefit from a more circular economy.

environment.ec.europa.eu · Environment

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
knead_i_say_more @knead_i_say_more@skatspelunke.eu
Public
Shared by Maho 🦝🍻

Hello everyone! 👋

I’m excited to join this community and share a little corner of my world with you all. I’m passionate about baking (mostly bread), gardening (letting plants grow as they please), and exploring nature through hiking and photography.

I’m not much of a writer, so I’ll mostly share photos of my adventures — the good, the messy, and the funny. 🌿🍞📸

Thanks for stopping by and thanks to @brudibrauBrudi Bräu for hosting me ❤️
I’m looking forward to new friendships along the way!

todays bread sitting on a wooden cutting board
0
0
0
デミアン @demian0220@mstdn.jp
Public
Shared by SparklingOutlaw🍉

消費減税は処方箋か　｢高市1強｣で日本経済がはらむリスクとは：朝日新聞 asahi.com/articles/ASV2F2T7SV2

「日本はどこも人手不足で、働きたい人はほぼ全員働いている完全雇用に近い状態です。そうした状況で財政の規模を膨らませて需要を刺激しても、生産を増やせないためインフレを加速してしまう」

「そもそも日本経済が弱いのは、分配・再分配がうまく機能していないからです。私の分析では、この30年で1時間あたりの生産性は3割上がっている。本来なら実質賃金もそれだけ上がらないといけないのに、企業が利益をため込んでいる。ここ数年は賃上げが進んでいますが、その原資はなにかというと、モノやサービスを値上げした分です。それだといつまでたっても実質賃金が上がっていかない。企業が生み出す付加価値は、株主と従業員できちんと分配しなければならない。首相も触れていますが、株主への分配を重視した『コーポレートガバナンス・コード（企業統治指針）』の見直しを進めなければなりません」

消費減税は処方箋か　｢高市1強｣で日本経済がはらむリスクとは：朝日新聞

　衆院選で圧勝した高市早苗首相は、公約に掲げた「2年間の食料品の消費税ゼロ」の実現に向けた検討を加速させるとしました。危機管理投資や成長投資を通じて「強い経済」をつくるとも訴えています。それで日本経済…

www.asahi.com · 朝日新聞

0
0
0
1
0
0
knead_i_say_more @knead_i_say_more@skatspelunke.eu
Public
Shared by Cat 🐈🥗 (D.Burch) :paw:⁠:paw:

Hello everyone! 👋

I’m excited to join this community and share a little corner of my world with you all. I’m passionate about baking (mostly bread), gardening (letting plants grow as they please), and exploring nature through hiking and photography.

I’m not much of a writer, so I’ll mostly share photos of my adventures — the good, the messy, and the funny. 🌿🍞📸

Thanks for stopping by and thanks to @brudibrauBrudi Bräu for hosting me ❤️
I’m looking forward to new friendships along the way!

todays bread sitting on a wooden cutting board
0
0
0
0
0
0
0
0
0