🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Building custom incus images
lambdacreate.com·1d
❄️Nixpkgs
Song recommendations from F# combinators
blog.ploeh.dk·6d
🔗Functional Compilers
Codeminer42 Dev Weekly #67
blog.codeminer42.com·1d
❄️Nix Adoption
Refurb weekend: Gremlin Blasto arcade board
oldvcr.blogspot.com·8h·
Discuss: Lobsters, Hacker News
📺Retrogaming
Getting Started with Nvidia CuOpt
atalaykutlay.com·1d·
Discuss: Hacker News
🎯Emulator Accuracy
Show HN: Shouldiuse.dev – software dependency health checker
shouldiuse.dev·1d·
Discuss: Hacker News
🔓Open Source Software
BNFGen: A random text generator based on context-free grammars
baturin.org·3d·
Discuss: Hacker News
🌳Context free grammars
The Bitter Lesson is coming for Tokenization
lucalp.dev·4d·
Discuss: Lobsters, Hacker News, r/programming
🔗Monadic Parsing
PaperSense: Semantic arXiv Search & Chat Built with MindsDB
dev.to·10h·
Discuss: DEV
🔬Academic Search
Mastering Dijkstra's Algorithm in C++ with CXXGraph
medium.com·2d·
Discuss: Hacker News
📐E-graphs
Show HN: Ape – Minimalistic modal text editor written in F#
github.com·2h·
Discuss: Hacker News
🪟Awesome windows command-line
Coding Agents 101: Some tips for using agents productively
devin.ai·1d·
Discuss: Hacker News
⚡Proof Automation
Architectural constraints that make vibe coded software maintainable
reddit.com·2d·
Discuss: r/artificial
✨Algebraic Effects
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.com·3d·
Discuss: Hacker News
🌀Brotli Internals
Practical and Accurate Local Edge Differentially Private Graph Algorithms
arxiv.org·2d
🗜️Graph Compression
Go Worker Pools: Concurrency That Doesn’t Burn Your Kitchen Down
dev.to·2d·
Discuss: DEV
🌊Stream Processing
Advanced Path of Network Programming Deep Exploration from TCP to Application Layer Protocols（1751116236719200）
dev.to·19h·
Discuss: DEV
🌐Network Protocols
On Union-Closedness of Language Generation
arxiv.org·5d
🔗Monadic Parsing
Next Generation High Web Rust Based Solutions（1750916331932500）
dev.to·3d·
Discuss: DEV
🔌Interface Evolution
World-aware Planning Narratives Enhance Large Vision-Language Model Planner
arxiv.org·2d
🤖Advanced OCR