⚡ SMT Applications

Z3 Integration, Constraint Programming, Verification Workflows, Decision Procedures

Counting with Categories (Part 3)
golem.ph.utexas.edu·1d
λLambda Formalization
Why Dyad?: A Perspective for Modelica Users
juliahub.com·9h·
Discuss: Hacker News
💧Liquid Types
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·2d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·23h·
Discuss: Hacker News
🦀Rust Macros
Case Study: Moving LLM Logic to the Front End–My Experience
monarchwadia.com·20h·
Discuss: Hacker News
🔌Interface Evolution
Machine Learning Fundamentals: active learning project
dev.to·9h·
Discuss: DEV
🧠Machine Learning
Machine Learning Fundamentals: accuracy project
dev.to·2d·
Discuss: DEV
✅Archive Validation
Single Core Hundred Thousand Concurrency（1750866547511600）
dev.to·8h·
Discuss: DEV
🌊Stream Processing
Building Agentic Workflows for my HomeLab
abhisaha.com·2d·
Discuss: Hacker News, r/javascript, r/selfhosted, r/webdev
🏠Homelab Orchestration
Tiny Deltas, Big Wins: Schema-less Thrift Patching at Planet Scale
hackernoon.com·17h
📋Protocol Buffers
$1M per Week: My Seven-Week AI Development Sprint
blockhead.consulting·1d·
Discuss: Hacker News
🦀Rust Macros
The Agent Testing Pyramid
rchaves.app·8h·
Discuss: Hacker News
🔍Concolic Testing
How I Built a Self-Correcting Prompt Generator with Multi-Stage LLM Calls"
dev.to·11h·
Discuss: DEV
🤖Lisp Machines
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·20h
🔗Topological Sorting
Beyond Frameworks: How Computer Science Fundamentals Forge the Complete Developer
dev.to·10h·
Discuss: DEV
📏Code Metrics
31 Best AI Automation Tools for 2025
dev.to·18h·
Discuss: DEV
⚡Proof Automation
Lessons from LangChain and Slack and MCP Integration
medium.com·1d·
Discuss: Hacker News
🔗Topological Sorting
Explaining software and computational methods
blog.khinsen.net·1d·
Discuss: Hacker News
📝Concrete Syntax
Hong Mong 5 Development Treasure Case Sharing Modular Design Case Sharing
dev.to·2h·
Discuss: DEV
🔌Operating system internals
Why Agentic Flows Need Distributed-Systems Discipline
temporal.io·1d·
Discuss: Hacker News
⚙️TLA+