Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·24m
My first impressions on elixir
jitesh117.github.io·4d
Theory Database
theory-database.hbcptools.org·5d
Leaf-and-Branch Resolutions
alexanderbjoy.com·6d
Stable-RAG: Mitigating Retrieval-Permutation-Induced Hallucinations in Retrieval-Augmented Generation
arxiv.org·4d
Computing Without the Courses
joodaloop.com·5d
Finishing "fizzbuzz" and announcing the Python Growth Challenge
everydaysuperpowers.dev·5d
WonderOS and other things I'm working on
alexanderobenauer.com·5d
AI-Powered Hybrid Intrusion Detection Framework for Cloud Security Using Novel Metaheuristic Optimization
arxiv.org·5d
Racing with disaster: data races in Go
bitfieldconsulting.com·6d
What Is New In Ruby 4.0
blog.saeloun.com·5d
Loading...Loading more...