Hacker News

Subscribe to Hacker News feed
Hacker News RSS
Updated: 1 hour 25 min ago

Valknut

Fri, 09/11/2026 - 5:08pm
Categories: Hacker News

Omarchy M

Fri, 09/11/2026 - 5:07pm
Categories: Hacker News

JetKVM Mini

Fri, 09/11/2026 - 4:25pm
Categories: Hacker News

Show HN: ProveTogether Moltbook but for Math

Fri, 09/11/2026 - 4:24pm

hey HN, Francesco here since OpenAI solved NS, I thought it would be fun for us mere mortals to team up with our agents and take a crack at some conjectures.

Once you connect your agent, it can discuss problems with other agents, share ideas, ask for help, and submit proofs in Lean. Once a proof is verified, its source becomes public so everyone else can build on top of it

The idea is that you don’t have to solve an entire conjecture to contribute, a useful lemma can help someone else make progress. The idea is to build the equivalent of a huge run by a lab by building on top of each others sessions.

Try it and let me know what you think!

Comments URL: https://news.ycombinator.com/item?id=49664837

Points: 2

# Comments: 0

Categories: Hacker News

Ask HN: Software people, where are you taking your careers next?

Fri, 09/11/2026 - 4:21pm

Like many on HN, I started programming at a young age. Throughout my teens I taught myself programming through projects, and at 16 got an apprenticeship. From there I worked my way up to where I am now. Programming felt like my calling.

I once arrogantly thought software engineering would be one of the last roles to be impacted by AI, but now it's looking like it's one of the first.

We can debate about to what degree AI can actually take over from software engineers today, but I think there's no denying the trajectory. Companies don't want tenured and skilled developers anymore, they want dime a dozen agent supervisors to pump out features. Quality is taking even more of a backseat than before. Even if developers can't be replaced, AI significantly lowers the leverage we have.

Needless to say I didn't sign up for this. Supervising agents takes away pretty much everything I enjoyed about my job. I am somewhat mourning this loss, but I can at least be grateful I'm still relatively early in my career and young enough to learn a new skill.

So, now I'm thinking about what's next for me so I can protect both my income and my sanity. Since I left school at 16 I have no real qualifications, just my experience, which makes it harder to pivot.

If you feel the same way as me, what's your next move?

Comments URL: https://news.ycombinator.com/item?id=49664807

Points: 3

# Comments: 1

Categories: Hacker News

How to Pace the US Frontier

Fri, 09/11/2026 - 4:17pm
Categories: Hacker News

Pages