🧮 Z3

SMT Solver, Theorem Proving, Constraint Solving, Verification

ReForm: Reflective Autoformalization with Prospective Bounded Sequence Optimization
arxiv.org·3d
🐫OCaml
Flag this post
Show HN: Fast-posit, sw implementation of posit arithmetic in Rust
github.com·2d·
Discuss: Hacker News
🔢Algebraic Data Types
Flag this post
Understanding Debt: AI Coding at Warp Speed Without Flying Blind
blog.namar0x0309.com·4h·
Discuss: Hacker News
🔬Static Analysis
Flag this post
A Refreshing Philosophy of Software Design [Book Review]
theaxolot.wordpress.com·1d·
Discuss: Hacker News, r/programming
🔬Static Analysis
Flag this post
Context-Bench: Benchmarking LLMs on Agentic Context Engineering
letta.com·1d·
Discuss: Hacker News
📚Automata Learning
Flag this post
Unleash Code Power: Graph-Based AI for Smarter Code Generation by Arvind Sundararajan
dev.to·4h·
Discuss: DEV
🤖Program Synthesis
Flag this post
Linux Kernel Ported to WebAssembly
lore.kernel.org·6h·
Discuss: Lobsters, Hacker News
💻QEMU
Flag this post
Two Paths to Safety: How Go and Rust Made Opposite Bets
dev.to·1d·
Discuss: DEV
🏃Escape Analysis
Flag this post
[GoGreement] A new linter that can help enforce interface implementation and immutability
reddit.com·22h·
Discuss: r/golang
🎯GADT
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·1d·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Surprises from "vibe validating" an algorithm
reddit.com·4d·
Discuss: r/programming
🎮Verification Games
Flag this post
A portable picokernel for async I/O
ryansepassi.com·18h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Touring_test: A Cucumber Extension for Agentic Usability Testing
worksonmymachine.ai·8h·
Discuss: Hacker News
🧪Concolic Testing
Flag this post
Reactive Tree Management in Nuxt 4: How I Modeled Complex Hierarchies with Pinia
dev.to·9h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
[R] We found LRMs look great…until the problems get harder (AACL 2025)
reddit.com·1d·
Discuss: r/MachineLearning
🧮SMT Solvers
Flag this post
Let Hypothesis Break Your Python Code Before Your Users Do
towardsdatascience.com·1d
🧪Property-Based Testing
Flag this post
Reasoning Curriculum: Bootstrapping Broad LLM Reasoning from Math
arxiv.org·1d
🧮SMT Solvers
Flag this post
A functional programming course in 6 books
ericnormand.substack.com·3d·
Discuss: Substack
λFunctional Programming
Flag this post
Async/Await is finally back in Zig
charlesfonseca.substack.com·7h·
Discuss: Substack
⚡Process Calculi
Flag this post