Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Feeds to Scour
SubscribedAll
Scoured 15128 posts in 263.1 ms
Axiom Prover: From Seeing Why to Checking Everything (AxiomProver Solves All Problems at Putnam 2025: Proof Release & Commentary)
axiommath.ai·14m
📐TLA+
Preview
Report Post
I bought a €9k GH200 “desktop” to save $1.27 on Claude Code (vLLM tuning notes)
dnhkng.github.io·7h·
Discuss: r/LocalLLaMA
🏗️LLM Infrastructure
Preview
Report Post
MyNotes: Learning with AI
mguhlin.org·3h
👨‍💻AI Coding
Preview
Report Post
Stack: Simulating cellular conditions via prompt engineering, without the need for fine-tuning
arcinstitute.org·14m
📦Batch Embeddings
Preview
Report Post
rush86999/atom: Atom Agent, automate your workflows by talking to an AI — and let it remember, search, and handle tasks like a real assistant
github.com·1h·
Discuss: Hacker News
ClickHouse
Preview
Report Post
Primecoin primality test
johndcook.com·1d
🔐Cryptography
Preview
Report Post
Epistemic Debt: The Hidden Cost of AI Speed
failingfast.io·1d
🆕New AI
Preview
Report Post
MalruleLib: Large-Scale Executable Misconception Reasoning with Step Traces for Modeling Student Thinking in Mathematics
arxiv.org·4d
🪄Prompt Engineering
Preview
Report Post
Show HN: The OASI 6 Engineering Structural Abundance via SMR and Modular
news.ycombinator.com·23h·
Discuss: Hacker News
🌐Distributed systems
Preview
Report Post
LIVE SOLVE REPEAT! (Absolute Solver in a timeloop)
forums.sufficientvelocity.com·4d
🪄Prompt Engineering
Preview
Report Post
Linus Torvalds: Stop making an issue out of AI slop in kernel docs – you're not changing anybody's mind
theregister.com·2d·
Discuss: Hacker News
🤖AI
Preview
Report Post
Putting the M in a UNI-T MSO
hackaday.com·5d
🪄Prompt Engineering
Preview
Report Post
Finishing "fizzbuzz" and announcing the Python Growth Challenge
everydaysuperpowers.dev·5d
🌊Async Patterns
Preview
Report Post
An Algebraic Theory of Music
reasonablypolymorphic.com·6d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
MambaFormer: Token-Level Guided Routing Mixture-of-Experts for Accurate and Efficient Clinical Assistance
arxiv.org·5d
📱Edge AI Optimization
Preview
Report Post
Computing Without the Courses
joodaloop.com·5d
🪄Prompt Engineering
Preview
Report Post
I got paid minimum wage to solve an impossible problem using C++ (and accidentally learned why most algorithms make life worse)
tiespetersen.substack.com·4d·
Discuss: Substack, r/cpp
🎰Bandit Algorithms
Preview
Report Post
Rigorous numerical computation of the Stokes multipliers for linear differential equations with single level one
arxiv.org·2d
🔄Incremental Computation
Preview
Report Post
Quantum Computers: Are We There Yet?
semiwiki.com·5d
🔬Bell Labs
Preview
Report Post
LLM & AI Agent Applications with LangChain and LangGraph — Part 25: AI Agents architectures(and…
pub.towardsai.net·6d
🆕New AI
Preview
Report Post

Keyboard Shortcuts

Navigation
Next / previous item
j/k
Open post
oorEnter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
gh
Interests
gi
Feeds
gf
Likes
gl
History
gy
Changelog
gc
Settings
gs
Browse
gb
Search
/
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc

Press ? anytime to show this help