🧮 Z3 Applications

Character Classification, SMT Integration, Automated Reasoning, Constraint Programming

Feeds to Scour
SubscribedAll
Scoured 15567 posts in 400.1 ms
Optimising Cylindrical Algebraic Coverings for use in SMT by Solving a Set Covering Problem with Reasons
arxiv.org·2h
🧮SMT Solvers
Preview
Report Post
The three types of LLM workloads and how to serve them
modal.com·14h·
Discuss: Hacker News
💻Local LLMs
Preview
Report Post
Exploring Text Compression
denvaar.dev·1d
📝Text Compression
Preview
Report Post
How bunq handles 97% of support with Amazon Bedrock
aws.amazon.com·13h
🌊Streaming Systems
Preview
Report Post
Algebra Problems of the Day (Algebra Regents, August 2025 Part I)
mrburkemath.blogspot.com·17h·
Discuss: Blogger
📐Linear Algebra
Preview
Report Post
Best AI Image Analysis Tools for 2026: A Complete Guide
dev.to·7h·
Discuss: DEV
🤖Advanced OCR
Preview
Report Post
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
arxiv.org·1d
🧮SMT Solvers
Preview
Report Post
How AI brings the OSCAR methodology to life in the SOC
intezer.com·16h
🌊Stream Processing
Preview
Report Post
How Static Analysis Can Expose Personal Data Hidden in Source Code
hackernoon.com·19h
📊Static Analysis
Preview
Report Post
Patterns All the Way Down: A Generalization for Graph-Like Things
medium.com·14h·
Discuss: Hacker News
🤝Unification Algorithms
Preview
Report Post
featurestorebook/mlfs-book: O'Reilly book - Building Machine Learning Systems with a feature store: batch, real-time, and LLMs
github.com·6h·
Discuss: Hacker News
🧠Machine Learning
Preview
Report Post
Everything Moe
ianbarber.blog·1d·
Discuss: Hacker News
🧠Learned Compression
Preview
Report Post
Qdrant - Vector Database
qdrant.tech·1d
🗂️Vector Databases
Preview
Report Post
Show HN: QRY – Natural Language to SQL Using Claude Code/Codex CLI
news.ycombinator.com·13h·
Discuss: Hacker News
🌳Incremental Parsing
Preview
Report Post
Designing a Programming Language for the Desert
futhark-lang.org·15h·
Discuss: Hacker News
🔗Functional Compilers
Preview
Report Post
MathGPT Graphing: fast interactive graphs with AI help
mathgpt.today·13h·
Discuss: Hacker News
🧮Constraint Solvers
Preview
Report Post
Conversation: LLMs and the what/how loop
martinfowler.com·16h
🧩WASM Components
Preview
Report Post
Building scalable agentic assistants: A graph-based approach
thenewstack.io·13h
🌊Stream Processing
Preview
Report Post
From 75% to 99.6%: The Math of LLM Ensembles
shibaprasadb.com·23h·
Discuss: Hacker News
🧮Kolmogorov Bounds
Preview
Report Post
Making a Language
thunderseethe.dev·8h
🛠Language Design
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