🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·18h·
Discuss: Hacker News
📈Complexity Theory
Flag this post
Cure – Verification-First Programming for the Beam
cure-lang.org·16h·
Discuss: Hacker News
✅Formal Verification
Flag this post
Handbook of Satisfiability (2021)
iospress.com·22h·
Discuss: Hacker News
🎯Constraint Programming
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·1h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Parsing with zippers improves parsing with derivatives
dl.acm.org·1d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Can-t stop till you get enough
cant.bearblog.dev·15h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Writing Your First Compiler - Part 1: Introduction
dev.to·14h·
Discuss: DEV
📝Lisp
Flag this post
Convex Optimization (or Mathematical Programming) in Go
github.com·1d·
Discuss: r/golang
🎲Probabilistic Programming
Flag this post
Relation-Aware Bayesian Optimization of DBMS Configurations Guided by Affinity Scores
arxiv.org·5h
🎲Probabilistic Programming
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·3d
🧩Theorem Proving
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.com·2d·
Discuss: Hacker News
🔗Parser Combinators
Flag this post
Cons Should Not Cons Its Arguments, Part II: Cheney on the MTA
web.archive.org·4h·
Discuss: Hacker News
📝Lisp
Flag this post
Scala vs. F#
alexn.org·7h·
Discuss: Hacker News
⚙Functional Programming
Flag this post
Gated DeltaNet (Linear Attention variant in Qwen3-Next and Kimi Linear)
sebastianraschka.com·7h·
Discuss: r/LLM
🎲Probabilistic Programming
Flag this post
Makefile vs. YAML: Modernizing verification simulation flows
edn.com·9m
🔍Static Analysis
Flag this post
ZkML Breakthrough: 13B Models Verified in 15 Minutes
lightcapai.medium.com·18h·
Discuss: Hacker News
🔐Cryptography
Flag this post
Building Syllabi – Agentic AI with Vercel AI SDK, Dynamic Tool Loading, and RAG
dev.to·7h·
Discuss: DEV
🧩Theorem Proving
Flag this post
Thinking with Types: type-level programming in Haskell
thinkingwithtypes.com·18h·
Discuss: Hacker News
🧮Programming Language Theory
Flag this post
My First Multi-GPU Kernel: Writing All-to-All for AMD MI300X
gau-nernst.github.io·9h·
Discuss: Hacker News
🌍Distributed Systems
Flag this post
A fun application of Green’s functions and geometric algebra: Residue calculus
peeterjoot.com·5h
🧫Cellular Automata
Flag this post