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.

1
0
0
0
0
0

We talk about forgetting some of you might not know this project.
is a full ActivityPub server running on your device. Currently on Android, next on iOS.
We already introduced DMs and identity through custom domains. You own your followers, your keys, and your identity. Relays are just infrastructure.
On the footer of holos.social we added pages explaining the project. Have a look!

Mastodon: @HolosSocial Don't hesitate to share

0
0
0

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

Just found out about storyden.org/ .

I joined their Discord to ask them to consider #ActivityPub support. They haven't, they don't know much about it, but I'm sure someone could help if they're interesetd.

Barney dropped a line to me though that 100% resonates with us on the #Fediverse and what they're going for.

"Knowledge gardens, not content farms."

ONE OF US! 😁

0

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

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

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

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

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
0