🧮 SMT Solvers

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

Feeds to Scour
SubscribedAll
Scoured 15471 posts in 593.5 ms
Halting Problem
en.wikipedia.org·20m·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
The AI Engineering Stack
bowtiedraptor.substack.com·2h·
Discuss: Substack
🆕New AI
Preview
Report Post
How LLMs Handle Infinite Context With Finite Memory
towardsdatascience.com·1d
🧠LLM Inference
Preview
Report Post
Primecoin primality test
johndcook.com·3h
🔐Cryptography
Preview
Report Post
Warp Specialization in Triton: Design and Roadmap
pytorch.org·1h·
Discuss: Hacker News
⚙️Mechanical Sympathy
Preview
Report Post
Beyond Python: Why LLMs Need More Stable, Open Source Code
thenewstack.io·3h
🏆LLM Benchmarking
Preview
Report Post
MalruleLib: Large-Scale Executable Misconception Reasoning with Step Traces for Modeling Student Thinking in Mathematics
arxiv.org·3d
🪄Prompt Engineering
Preview
Report Post
LLM's and Smaller, Less Popular Programming Languages
scottarbeit.com·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
EP197: 12 Architectural Concepts Developers Should Know
blog.bytebytego.com·2h
🌍Distributed Systems
Preview
Report Post
Machine Learning Interview Questions and Answers for 2025
projectpro.io·1h
🎛️Feed Filtering
Preview
Report Post
A DevSecOps CLI agent that thinks before it acts
hacklikeme.com·3h·
Discuss: Hacker News
💻CLI Tools
Preview
Report Post
The Coming AI Compute Crunch
martinalderson.com·19h·
Discuss: Hacker News, r/hardware
🖥GPUs
Preview
Report Post
Show HN: The OASI 6 Engineering Structural Abundance via SMR and Modular
news.ycombinator.com·3h·
Discuss: Hacker News
🌐Distributed systems
Preview
Report Post
LIVE SOLVE REPEAT! (Absolute Solver in a timeloop)
forums.sufficientvelocity.com·3d
🪄Prompt Engineering
Preview
Report Post
Elliot Morris
elliotmorris.net·3h
👨‍💻Software development practices
Preview
Report Post
MambaFormer: Token-Level Guided Routing Mixture-of-Experts for Accurate and Efficient Clinical Assistance
arxiv.org·4d
📱Edge AI Optimization
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
Computing Without the Courses
joodaloop.com·5d
🪄Prompt Engineering
Preview
Report Post
Putting the M in a UNI-T MSO
hackaday.com·4d
🪄Prompt Engineering
Preview
Report Post
An Algebraic Theory of Music
reasonablypolymorphic.com·5d·
Discuss: Hacker News
💻Programming languages
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