SMT Solving, Constraint Programming, Automated Reasoning, Formal Verification

AI and the Power of Nonuniform Circuits
blog.computationalcomplexity.org·1d·
🎞️Tape Combinatorics
Flag this post
IPAB Workshop - 6/11/25
informatics.ed.ac.uk·12h
🤖Tape Automation
Flag this post
Cursor 2.0 shifts to in-house AI with Composer model and parallel agents
the-decoder.com·11h
🎙️Whisper
Flag this post
Dependency Management in Database Design
dolthub.com·2d
🔗Topological Sorting
Flag this post
Convert any GitHub repo to coding puzzles
github.com·2d·
Discuss: Hacker News
Proof Automation
Flag this post
Tencent/WeKnora
github.com·3h
🤖Archive Automation
Flag this post
Show HN: Build and deploy AI agents from your own data in under 60 seconds
botthebuilder.net·1d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
PORTool: Tool-Use LLM Training with Rewarded Tree
arxiv.org·37m
💻Programming languages
Flag this post
Squeezing Every Last Flop: The INT vs. FP Showdown for AI Dominance
dev.to·7h·
Discuss: DEV
🧠Machine Learning
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·1d·
Discuss: Substack
🧬Functional Programming
Flag this post
The Kinetics of Reasoning: How Chain-of-Thought Shapes Learning in Transformers?
arxiv.org·37m
Effect Handlers
Flag this post
How fast can an LLM go?
fergusfinn.com·18h·
Discuss: Hacker News
🎯Emulator Accuracy
Flag this post
Empowering RepoQA-Agent based on Reinforcement Learning Driven by Monte-carlo Tree Search
arxiv.org·37m
🔄Reproducible Builds
Flag this post
RS-ORT: A Reduced-Space Branch-and-Bound Algorithm for Optimal Regression Trees
arxiv.org·2d
🧮Kolmogorov Bounds
Flag this post
Defeating the Cloudflare 5s Challenge: A Developer's Guide to Scalable Automation
dev.to·19h·
Discuss: DEV
Proof Automation
Flag this post
Speedrunning an RL Environment
sidb.in·3d·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
The Craft vs. the Commodity: What We Lose (and Gain) When AI Writes Our Code
syntheticauth.ai·9h·
Discuss: Hacker News
📏Code Metrics
Flag this post