Towards Solving More Challenging IMO Problems via Decoupled Reasoning and Proving
arxiv.org·1d
✓Automated Theorem Proving
AI Models for Pokemon Games
kevinlu.ai·1d·
Discuss: Hacker News
🏹Effect Systems
I created a programming language in Go with built-in BDD testing. Looking for feedback and contributors!
reddit.com·12h·
Discuss: r/programming
🐫OCaml
Computer Scientists Figure Out How To Prove Lies
quantamagazine.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, Hacker News
✓Automated Theorem Proving
How to scale RL to 10^26 FLOPs
blog.jxmo.io·13h·
Discuss: Hacker News
🧪Property-Based Testing
ATC/OSDI'25 Technical Sessions
muratbuffalo.blogspot.com·3h·
Discuss: Hacker News
👁️System Observability
Education 3.0
doc.searls.com·19h·
Discuss: Hacker News
🍎Apple
SAND: Boosting LLM Agents with Self-Taught Action Deliberation
arxiv.org·6h
🐫OCaml
Show HN: Optiverse – Evolving Code with LLMs
mathieularose.com·18h·
Discuss: Hacker News
🔠Type-Level Programming
My first verified (imperative) program
markushimmel.de·3d·
Discuss: Lobsters, Hacker News, r/programming
🔍Formal Verification
LLM Inference Handbook
bentoml.com·7h·
Discuss: Hacker News
🛡️seL4
SpatialViz-Bench: Automatically Generated Spatial Visualization Reasoning Tasks for MLLMs
arxiv.org·6h
🔄Finite State Machines
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
arxiv.org·2d
✓Automated Theorem Proving
Book review: A New Kind of Science (2005)
bactra.org·2d·
Discuss: Hacker News
💻CS
Text 2 shorts AI POWERED VIDEO AUTOMATION
github.com·1d·
Discuss: r/programming
🤖Program Synthesis
Probability-Raising Causality for Uncertain Parametric Markov Decision Processes with PAC Guarantees
arxiv.org·6h
✓Automated Theorem Proving
Leaky chatbots: Understanding sensitive information disclosure in AI
scworld.com·14h·
Discuss: Hacker News
🛡️seL4
JavaScript is easy, but how good is Claude Code at writing Malbolge code?
somethingwithai.substack.com·16h·
Discuss: Substack
🐫Embedded OCaml
Reinforcement Learning with Action Chunking
arxiv.org·6h
🔠Type-Level Programming
GTA1: GUI Test-time Scaling Agent
arxiv.org·2d
🧪Property-Based Testing