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·1d
🤖Tape Automation
Flag this post
Cursor 2.0 shifts to in-house AI with Composer model and parallel agents
the-decoder.com·23h
🎙️Whisper
Flag this post
Plan for Learning, Not Certainty
timcheadle.com·2h·
Discuss: Hacker News
💾Persistence Strategies
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·2d·
Discuss: Substack
🧬Functional Programming
Flag this post
How fast can an LLM go?
fergusfinn.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Flag this post
Show HN: Qordinate – AI that talks for you (coordination-first, early build)
qordinate.ai·1h·
Discuss: Hacker News
🎙️Whisper
Flag this post
Cursor 2.0 Brings Faster AI Coding and Multi-Agent Workflows
devops.com·8h
👁️System Observability
Flag this post
Reasoning Models Reason Well, Until They Don't
arxiv.org·3d·
Discuss: Hacker News
🧮Constraint SMT
Flag this post
Do LLMs Signal When They're Right? Evidence from Neuron Agreement
arxiv.org·13h
💻Local LLMs
Flag this post
Zero Reinforcement Learning Towards General Domains
arxiv.org·1d
Automated Theorem Proving
Flag this post
AI Brain Freeze? Pruning the Path to Lightning-Fast Decisions by Arvind Sundararajan
dev.to·10h·
Discuss: DEV
🔲Cellular Automata
Flag this post
A fast spectral overlapping domain decomposition method with discretization-independent conditioning bounds
arxiv.org·13h
📐Linear Algebra
Flag this post
Think Outside the Policy: In-Context Steered Policy Optimization
arxiv.org·13h
🎯Performance Proofs
Flag this post
Show HN: sjl – Simple JSON Logger for Rust
github.com·15h·
Discuss: Hacker News
🔐CBOR
Flag this post
Wireless Sensor Networks as Parallel and Distributed Hardware Platform for Artificial Neural Networks
arxiv.org·13h
📊Quantization
Flag this post
Automated Defect Cascade Prediction and Mitigation in Automotive Embedded Systems
dev.to·2d·
Discuss: DEV
🔧Hardware Verification
Flag this post