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
1

pawoo.netใ•ใ‚“inboxใ‹ใ‚‰ๅ„ใ‚ขใ‚ซใ‚ฆใƒณใƒˆใซใƒใ‚นใƒˆใ‚’้…้€ใ™ใ‚‹ใ‚ญใƒฅใƒผใŒๅ‹•ใ„ใฆใชใ‹ใฃใŸใ‚Šใ™ใ‚‹ใฎใ‹ใ—ใ‚‰ใญใˆโ€ฆ๏ผˆๆ นๆ‹ ใฎใชใ„ๅฆ„ๆƒณใงใ™๏ผ‰

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

ๆœๅคงไบ‹ใชไผš่ญฐใŒใ‚ใ‚‹ใฎใงโ€‹:syukkin:โ€‹ใ—ใพใ™ใ‘ใฉ
ๅˆๅพŒๆ—ฉ้€€ใซใ—ใกใ‚ƒใŠโ€ฆ
โ€‹:blob_mu:โ€‹

1
0

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
5
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

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

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

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

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
0

In , once a post is federated, you lose control over how remote instances handle interactions on it. Some servers like are working on interaction controls, but non-compatible instances simply ignore your rules.
With , we're considering a "safe mode" available at publishing time. Your post would only be delivered to followers on instances that respect interaction controls. Not enabled by default, but there for those who need it.

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

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

ๆถˆ่ฒปๆธ›็จŽใฏๅ‡ฆๆ–น็ฎ‹ใ‹ใ€€๏ฝข้ซ˜ๅธ‚1ๅผท๏ฝฃใงๆ—ฅๆœฌ็ตŒๆธˆใŒใฏใ‚‰ใ‚€ใƒชใ‚นใ‚ฏใจใฏ๏ผšๆœๆ—ฅๆ–ฐ่ž asahi.com/articles/ASV2F2T7SV2

ใ€Œๆ—ฅๆœฌใฏใฉใ“ใ‚‚ไบบๆ‰‹ไธ่ถณใงใ€ๅƒใใŸใ„ไบบใฏใปใผๅ…จๅ“กๅƒใ„ใฆใ„ใ‚‹ๅฎŒๅ…จ้›‡็”จใซ่ฟ‘ใ„็Šถๆ…‹ใงใ™ใ€‚ใใ†ใ—ใŸ็Šถๆณใง่ฒกๆ”ฟใฎ่ฆๆจกใ‚’่†จใ‚‰ใพใ›ใฆ้œ€่ฆใ‚’ๅˆบๆฟ€ใ—ใฆใ‚‚ใ€็”Ÿ็”ฃใ‚’ๅข—ใ‚„ใ›ใชใ„ใŸใ‚ใ‚คใƒณใƒ•ใƒฌใ‚’ๅŠ ้€Ÿใ—ใฆใ—ใพใ†ใ€

ใ€Œใใ‚‚ใใ‚‚ๆ—ฅๆœฌ็ตŒๆธˆใŒๅผฑใ„ใฎใฏใ€ๅˆ†้…ใƒปๅ†ๅˆ†้…ใŒใ†ใพใๆฉŸ่ƒฝใ—ใฆใ„ใชใ„ใ‹ใ‚‰ใงใ™ใ€‚็งใฎๅˆ†ๆžใงใฏใ€ใ“ใฎ30ๅนดใง1ๆ™‚้–“ใ‚ใŸใ‚Šใฎ็”Ÿ็”ฃๆ€งใฏ3ๅ‰ฒไธŠใŒใฃใฆใ„ใ‚‹ใ€‚ๆœฌๆฅใชใ‚‰ๅฎŸ่ณช่ณƒ้‡‘ใ‚‚ใใ‚Œใ ใ‘ไธŠใŒใ‚‰ใชใ„ใจใ„ใ‘ใชใ„ใฎใซใ€ไผๆฅญใŒๅˆฉ็›Šใ‚’ใŸใ‚่พผใ‚“ใงใ„ใ‚‹ใ€‚ใ“ใ“ๆ•ฐๅนดใฏ่ณƒไธŠใ’ใŒ้€ฒใ‚“ใงใ„ใพใ™ใŒใ€ใใฎๅŽŸ่ณ‡ใฏใชใซใ‹ใจใ„ใ†ใจใ€ใƒขใƒŽใ‚„ใ‚ตใƒผใƒ“ใ‚นใ‚’ๅ€คไธŠใ’ใ—ใŸๅˆ†ใงใ™ใ€‚ใใ‚Œใ ใจใ„ใคใพใงใŸใฃใฆใ‚‚ๅฎŸ่ณช่ณƒ้‡‘ใŒไธŠใŒใฃใฆใ„ใ‹ใชใ„ใ€‚ไผๆฅญใŒ็”Ÿใฟๅ‡บใ™ไป˜ๅŠ ไพกๅ€คใฏใ€ๆ ชไธปใจๅพ“ๆฅญๅ“กใงใใกใ‚“ใจๅˆ†้…ใ—ใชใ‘ใ‚Œใฐใชใ‚‰ใชใ„ใ€‚้ฆ–็›ธใ‚‚่งฆใ‚Œใฆใ„ใพใ™ใŒใ€ๆ ชไธปใธใฎๅˆ†้…ใ‚’้‡่ฆ–ใ—ใŸใ€Žใ‚ณใƒผใƒใƒฌใƒผใƒˆใ‚ฌใƒใƒŠใƒณใ‚นใƒปใ‚ณใƒผใƒ‰๏ผˆไผๆฅญ็ตฑๆฒปๆŒ‡้‡๏ผ‰ใ€ใฎ่ฆ‹็›ดใ—ใ‚’้€ฒใ‚ใชใ‘ใ‚Œใฐใชใ‚Šใพใ›ใ‚“ใ€

0
0
0
0
0