🧮 SMT Solvers

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

Feeds to Scour
SubscribedAll
Scoured 20017 posts in 894.4 ms
MathlibLemma: Folklore Lemma Generation and Benchmark for Formal Mathematics
arxiv.org·11h
🕯️Candle
Optimized LLM Inference Engines
rishirajacharya.com·1h
🏗️LLM Infrastructure
Mechanized Undecidability of Higher-order beta-Matching (Extended Version)
arxiv.org·1d
🔍RegEx Engines
Logic for Programmers New Release and Next Steps
buttondown.com·2h
💻Programming languages
qcc4cp/qcc: Source code for the book "Quantum Computing for Programmers", Cambridge University Press
github.com·8h·
Discuss: Hacker News
🔍Binary Analysis
Taking on Anthropic's Public Performance Engineering Interview Challenge
matthewtejo.substack.com·14h·
Discuss: r/programming
🪄Prompt Engineering
Updates and Plans V: From Boise to Tel Aviv, Ceasefire, My 70th Birthday, Nostalgia, Problems, Outrageous Conjectures, Quantum, and AI
gilkalai.wordpress.com·20h
🌳Data Structures
Chase Norman
chasenorman.com·1d
💻Programming languages
LLMs versus the Halting Problem: Revisiting Program Termination Prediction
orensultan.com·1d·
Discuss: Hacker News
🪄Prompt Engineering
java sucks (2000)
jwz.org·22h·
Discuss: Lobsters
⚙️Language Runtimes
A Black Box Made Less Opaque (part 2)
lesswrong.com·11h
🔤Tokenization
suzgunmirac/belief-in-the-machine: Belief in the Machine: Investigating Epistemological Blind Spots of Language Models
github.com·6h
🧠LLM Inference
WebGPU Cameras
webgpufundamentals.org·7h
🚀Astral
I Am Not a Functional Programmer
blog.daniel-beskin.com·2h·
Discuss: r/programming
🪄Prompt Engineering
Millets: A practical memory-safety and thread-safety experiment
eagledot.xyz·1d·
Discuss: Lobsters, Hacker News
📏Linear Types
“Parallelizing MCMC Across the Sequence Length”: This one is really cool.
statmodeling.stat.columbia.edu·1d
⚡Vectorized Execution
How I Program with LLMs
blog.wesleyabbey.io·2h·
Discuss: Hacker News
🪄Prompt Engineering
Recent Advances in LLMs for Mathematics
youtube.com·1d·
Discuss: Hacker News
💻Programming languages
The Missing Programming Language - Why There's No S-Tier Language (Yet)
hamy.xyz·16h
💻Programming languages
Show HN: 32KB deductive engine that catches LLM hallucinations
news.ycombinator.com·6h·
Discuss: Hacker News
🏗️LLM Infrastructure

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