frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

https://twitter.com/BoWang87/status/2037648937453232504
81•mean_mistreater•2h ago
Knuth Claude's Cycles note update: problem now fully solved, by LLMs - https://news.ycombinator.com/item?id=47306926 - March 2026 (2 comments)

https://chatgpt.com/share/69aaab4b-888c-8003-9a02-d1df80f9c7...

Claude's Cycles [pdf] - https://news.ycombinator.com/item?id=47230710 - March 2026 (362 comments)

Comments

adrithmetiqa•1h ago
Super interesting but what does this mean for us mere mortals?
brcmthrowaway•1h ago
Learn plumbing
NitpickLawyer•1h ago
I know your reply was half joking, so please take this the same way, but ... are you sure about that? https://www.youtube.com/watch?v=p1ip68Vv7NE
dakolli•1h ago
AI isn't replacing anything, get over yourself.
brcmthrowaway•1h ago
Arent you using Claude?
oytis•1h ago
There is no reason why market for plumbing will get much larger than it is now (which is not too large)
incognito124•35m ago
Where I live it's bathroom and kitchen tiling
radu_floricica•9m ago
This is kindof the opposite? Man + AI > either man or AI. I'd say "learn to work with Claude" is the better lesson here.
dataviz1000•1h ago
I got Claude to self reference and update its own instructions to solve making a typed proxy API of any website. After a week, scores of iterations, it can reverse engineer any website. The first few days I had to be deeply involved with each iteration loop. Domain knowledge is helpful. Each time I saw a problem I would ask Claude to update its instructions so it doesn't happen again. Then less and less. Eventually it got to the point it was updating and improving the metrics every iteration unsupervised.

Edit: This is going to have huge ramifications for the tech security industry as these systems will be able to break security systems as easily it solved the proof. The sooner the good guys, if there are any left, understand this the better it will be for everybody.

> Super interesting but what does this mean for us mere mortals?

I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes to make sure it doesn't need human help. I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy.

DrewADesign•37m ago
> I went to the coffeeshop and drank very good coffee listening to music. Then at night I sat and had a beer thinking about T.S. Eliot's 'The Wasteland', the effect of industrialization in England at that time and his views of how ennui affected the aristocracy.

Well, for those among us that are not aristocracy already, except for the vanishingly small number of people required to oversee such processes, we’re probably the closest we’re going to get to it. If they don’t need people to do the tech labor, we’ve got way more people than we need, so that’s a huge oversupply of tech skills, which means tech skills are rapidly becoming worthless. Glad to see how fast we’re moving in our very own race to the bottom!

drfloyd51•29m ago
I kind of feel like software engineers working on improving AI are traitors working against other SE’s trying to make a living.

However…

I have to acknowledge my craft of SE has been putting people out of work for decades. I myself came up with business process improvement that directly let the company release about 20 people. I did this twice.

So… fair play.

mannanj•4m ago
Aren't the true traitors still the ones paying the SE to do that work? The managerial slave-master class?
frizlab•31m ago
> I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes to make sure it doesn't need human help.

That is a nightmarish scenario tbh

troupo•2m ago
> I would go for a 2 or 3 hour walk with my phone using the remote control feature looking every 5 - 10 minutes

2-3 hours "walking" while having to check in every 5-10 minutes?

If I have to check in every 5-10 minutes, I won't taste coffee or hear that there's good music playing.

TrainedMonkey•1h ago
My understanding is that, if confirmed, this demonstrates that AI can find novel solutions. This is a strong counterpoint to generative-AI-is-strictly-limited-to-training-data.
heliumtera•36m ago
That llms in the middle of everything will continue until morale improve because llms can generate text on top of bullshit made up problems
gnarlouse•16m ago
out of curiosity, i wonder if people are taking stabs at p!=np

Founder of GitLab battles cancer by founding companies

https://sytse.com/cancer/
355•bob_theslob646•3h ago•73 comments

Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem

https://twitter.com/BoWang87/status/2037648937453232504
81•mean_mistreater•2h ago•18 comments

Linux is an interpreter

https://astrid.tech/2026/03/28/0/linux-is-an-interpreter/
107•frizlab•3h ago•17 comments

AI overly affirms users asking for personal advice

https://news.stanford.edu/stories/2026/03/ai-advice-sycophantic-models-research
424•oldfrenchfries•6h ago•341 comments

I decompiled the White House's new app

https://thereallo.dev/blog/decompiling-the-white-house-app
253•amarcheschi•5h ago•88 comments

Undroidwish – a single-file, batteries-included Tcl/Tk binary for many platforms

https://androwish.org/home/wiki?name=undroidwish
39•smartmic•3h ago•2 comments

I Built an Open-World Engine for the N64 [video]

https://www.youtube.com/watch?v=lXxmIw9axWw
284•msephton•8h ago•38 comments

Detecting file changes on macOS with kqueue

https://www.vegardstikbakke.com/kqueue/
34•benhoyt•4d ago•3 comments

Cocoa-Way – Native macOS Wayland compositor for running Linux apps seamlessly

https://github.com/J-x-Z/cocoa-way
261•OJFord•10h ago•86 comments

Spanish legislation as a Git repo

https://github.com/EnriqueLop/legalize-es
645•enriquelop•8h ago•190 comments

The first 40 months of the AI era

https://lzon.ca/posts/other/thoughts-ai-era/
16•jpmitchell•1h ago•0 comments

Circuit-level PDP-11/34 emulator

https://github.com/dbrll/ll-34
35•elvis70•4h ago•1 comments

CERN uses ultra-compact AI models on FPGAs for real-time LHC data filtering

https://theopenreader.org/Journalism:CERN_Uses_Tiny_AI_Models_Burned_into_Silicon_for_Real-Time_L...
267•TORcicada•12h ago•124 comments

rpg.actor Game Jam

https://rpg.actor/jam
45•Kye•4h ago•4 comments

1929: Inside the Greatest Crash in Wall Street History

https://www.nybooks.com/articles/2026/03/26/tick-tick-boom-1929-andrew-ross-sorkin/
5•mitchbob•3d ago•1 comments

C++26: A User-Friednly assert() macro

https://www.sandordargo.com/blog/2026/03/25/cpp26-user-friendly-assert
50•jandeboevrie•3d ago•32 comments

Improved Git Diffs with Delta, Fzf and a Little Shell Scripting

https://nickjanetakis.com/blog/awesome-git-diffs-with-delta-fzf-and-a-little-shell-scripting
91•nickjj•4d ago•31 comments

Go hard on agents, not on your filesystem

https://jai.scs.stanford.edu/
548•mazieres•20h ago•300 comments

Folk are getting dangerously attached to AI that always tells them they're right

https://www.theregister.com/2026/03/27/sycophantic_ai_risks/
241•Brajeshwar•5h ago•182 comments

StationeryObject

https://stationeryobject.com/archive/
29•NaOH•3d ago•1 comments

AMD's Ryzen 9 9950X3D2 Dual Edition crams 208MB of cache into a single chip

https://arstechnica.com/gadgets/2026/03/amds-ryzen-9-9950x3d2-dual-edition-crams-208mb-of-cache-i...
281•zdw•18h ago•151 comments

Nobody Reads Your Setup Docs

https://hanzilla.co/blog/mcp-onboarding-ten-agents-one-command/
9•donutshop•3d ago•10 comments

Toma (YC W24) is hiring a Senior/Staff Eng to build AI automotive coworkers

https://www.ycombinator.com/companies/toma/jobs/2lrQI7S-sr-staff-software-engineer
1•anthonykrivonos•8h ago

Paper Tape Is All You Need – Training a Transformer on a 1976 Minicomputer

https://github.com/dbrll/ATTN-11
107•rahen•3d ago•18 comments

RSA and Python

https://xnacly.me/posts/2023/rsa/
22•ibobev•3d ago•11 comments

OpenCiv1 – open-source rewrite of Civ1

https://github.com/rajko-horvat/OpenCiv1
4•caminanteblanco•2h ago•0 comments

The bee that everyone wants to save

https://naturalist.bearblog.dev/the-bee-that-everyone-wants-to-save/
239•nivethan•3d ago•80 comments

Make macOS consistently bad unironically

https://lr0.org/blog/p/macos/
501•speckx•1d ago•338 comments

Go Naming Conventions: A Practical Guide

https://www.alexedwards.net/blog/go-naming-conventions
87•yurivish•3d ago•51 comments

Arm releases first in-house chip, with Meta as debut customer

https://www.cnbc.com/2026/03/24/arm-launches-its-own-cpu-with-meta-as-first-customer.html
94•goplayoutside•3d ago•25 comments