⚡ SMT Integration

Z3 Applications, Constraint Programming, Verification Workflows, Decision Procedures

Feeds to Scour
SubscribedAll
Scoured 16029 posts in 139.5 ms
Hint-Based SMT Proof Reconstruction
arxiv.org·2d
🧮SMT Solvers
Preview
Report Post
CPNs, LLMs, and Distributed Applications
blog.sao.dev·5h·
Discuss: Hacker News
🌊Stream Processing
Preview
Report Post
Functional Optics for Modern Java
blog.scottlogic.com·2d
💧Liquid Types
Preview
Report Post
Context Driven Development for Claude Code
dev.to·3h·
Discuss: DEV
✨Effect Handlers
Preview
Report Post
In praise of memory-leak-detection
euroquis.nl·1d
🧠Memory Allocators
Preview
Report Post
Multi-Modal Program Verification in Velvet
proofsandintuitions.net·4d·
Discuss: Hacker News
⚖️Verification Calculi
Preview
Report Post
**Abstract:** This paper introduces a novel system for automated metadata harmonization and semantic enrichment of disparate industrial standards. Leveraging...
freederia.com·1h
📋Document Grammar
Preview
Report Post
Show HN: Polymcp – Turn Any Python Function into an MCP Tool for AI Agents
news.ycombinator.com·5h·
Discuss: Hacker News
🧮Z3 Solver
Preview
Report Post
TI-99/4A: Hybrid Software Development
bumbershootsoft.wordpress.com·4h
🔩Systems Programming
Preview
Report Post
Port of Context: The open source code mode
thenewstack.io·5h
🤖Network Automation
Preview
Report Post
From WAL to WASM - High-Performance Local-First Sync with Postgres & SQLite
bdovenbird.com·6h·
Discuss: DEV
📝Database WAL
Preview
Report Post
Jeff Su: The 10% of AI Tools that Drive 90% of Results
future.forem.com·18h·
Discuss: DEV
🤖AI Curation
Preview
Report Post
The Five Levels: from Spicy Autocomplete to the Software Factory
werd.io·1d
🔄Language Evolution
Preview
Report Post
Glibc 2.43 Released With ISO C23 Features and Performance Improvements
linuxiac.com·2h
🔗Static Linking
Preview
Report Post
A JSON schema package for Go
opensource.googleblog.com·20h·
Discuss: Blogger
📋Protocol Buffers
Preview
Report Post
Build Smart Security with K230: OCR & 3D Face Mesh
hackster.io·20h
🔐HSM Integration
Preview
Report Post
"Integrity by Design" through Ensuring "Illegal States are Unrepresentable" - Part 1
javajanitorjim.substack.com·3h·
Discuss: Substack
✅Format Verification
Preview
Report Post
Evaluating and Achieving Controllable Code Completion in Code LLM
arxiv.org·1d
🔗Concatenative Programming
Preview
Report Post
FOSDEM 2026 schedule – Embedded, RISC-V, Robotics, Rust, Open Hardware, and more
cnx-software.com·17h
🧲RISC-V Archaeology
Preview
Report Post
Kona: Energy-Based Models (EBMs) for AI Reasoning
logicalintelligence.com·2d·
Discuss: Hacker News
🔍Type Inference
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