New

The latest blog posts to take off on Hacker News. 6,331 posts.

AI & Machine Learning
Any year
2835

AlphaProof's Greatest Hits

Here I’ll try to explain the coolest ideas in each of AlphaProof’s IMO 2024 solutions. AlphaProof produces proofs in Lean, and each Lean proof is composed of a series of tactics. So I’ll pick out the tactics that correspond to these ideas in the proofs for problems 1, 2 and 6 (the three problems that AlphaProof…

2841

AI makes tech debt more expensive

AI increases the penalty for low quality code. Gauge is solving the monolith/microservices dilemma. We’re building tools to untangle codebases through incremental modularization. Our open-source toolkit supports defining and enforcing rules for interfaces and dependencies. By focusing on high cohesion and loose…