🧮 SMT Solvers

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

Feeds to Scour
SubscribedAll
Scoured 19746 posts in 242.7 ms
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
arxiv.org·1d
🔍RegEx Engines
Preview
Report Post
Show HN: C discrete event SIM w stackful coroutines runs 45x faster than SimPy
github.com·22h·
Discuss: Hacker News
⚡Glommio
Preview
Report Post
Updates and Plans V: From Boise to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous Conjectures, Quantum, and AI
gilkalai.wordpress.com·18h
🌳Data Structures
Preview
Report Post
Chase Norman
chasenorman.com·1d
💻Programming languages
Preview
Report Post
I Am Not a Functional Programmer
blog.daniel-beskin.com·39m·
Discuss: r/programming
🪄Prompt Engineering
Preview
Report Post
Lambda cube
en.wikipedia.org·2d·
Discuss: Lobsters
🧩Types
Preview
Report Post
Advancing General-Purpose Reasoning Models with Modular Gradient Surgery
arxiv.org·1d
🧠LLM Inference
Preview
Report Post
A Black Box Made Less Opaque (part 2)
lesswrong.com·9h
🔤Tokenization
Preview
Report Post
suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models
github.com·4h
🧠LLM Inference
Preview
Report Post
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·4h·
Discuss: Hacker News
🏗️LLM Infrastructure
Preview
Report Post
MemAlign: Building Better LLM Judges From Human Feedback With Scalable Memory
databricks.com·1d
🏆LLM Benchmarking
Preview
Report Post
Taking on Anthropic's Public Performance Engineering Interview Challenge
matthewtejo.substack.com·12h·
Discuss: r/programming
🪄Prompt Engineering
Preview
Report Post
WebGPU Cameras
webgpufundamentals.org·5h
🚀Astral
Preview
Report Post
The Missing Programming Language - Why There's No S-Tier Language (Yet)
hamy.xyz·14h
💻Programming languages
Preview
Report Post
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Building the Atlas of Mosaics
blog.pcvera.dev·1d
🔀CRDTs
Preview
Report Post
How I Program with LLMs
blog.wesleyabbey.io·28m·
Discuss: Hacker News
🪄Prompt Engineering
Preview
Report Post
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
💻Programming languages
Preview
Report Post
ML for Energy-Performance-Aware Scheduling On Heterogeneous Multicore Architectures (Cambridge)
semiengineering.com·1d
📊Model Serving Economics
Preview
Report Post
Logic for Programmers [Leanpub PDF/iPad/Kindle]
leanpub.com·16h
💻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