🧮 Constraint SMT

Z3 Applications, Satisfiability Modulo Theories, Constraint Programming, Automated Reasoning

Claude Code on Amazon Bedrock - Anthropic
docs.anthropic.com·21h
👑Isabelle
Denise: C64/Amiga emulator with shader and runAhead
sourceforge.net·6h·
Discuss: Hacker News
🎮Vintage Gaming
Honest Abe: Anti-BS Epistemology
austinross.xyz·1d·
Discuss: Hacker News
🔲Proof Irrelevance
Zig Interface Revisited
williamw520.github.io·2d·
Discuss: Hacker News
🧩WASM Components
Making a StringBuffer in C, and questioning my sanity
briandouglas.ie·3d·
Discuss: Hacker News, r/programming
🧠Lisp Dialects
How to write Rust in the Linux kernel: part 3
lwn.net·4h·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Maybe writing speed actually is a bottleneck for programming
buttondown.com·1d·
Discuss: Hacker News
📏Code Metrics
Three unrelated thoughts about working with LLMs
henrycourse.com·2d·
Discuss: Hacker News
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Defeating Memory Leaks With Zig Allocators
tgmatos.github.io·3d·
Discuss: Hacker News, r/programming
🔒Type Safety
I got tired of explaining my project to AI assistant so I gave it memory
codecontextpro.com·14h·
Discuss: Hacker News
🌳Incremental Parsing
Tactical Trust (1 of 2): Platform Crypto for Developers
tiemoko.com·9h·
Discuss: Hacker News
🌳Archive Merkle Trees
Multiplicative Modular Nim (MuM)
arxiv.org·3d
🎞️Tape Combinatorics
[D] What are the knowledge background and skills needed to develop and contribute to projects like Unsloth?
reddit.com·13h·
Discuss: r/MachineLearning
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Google I/O Connect 2025 Recap: Gemini, Open Models, and AI in Action
dev.to·2d·
Discuss: DEV
🌀Brotli Internals
ShopSmart AI - Revolutionary E-commerce Search with Algolia MCP Server
dev.to·2d·
Discuss: DEV
👤Search Personalization
Easy Agents: Build autonomous agents with just natural language
github.com·5h·
Discuss: Hacker News
⚡Proof Automation
The Generative Energy Arena (GEA): Incorporating Energy Awareness in Large Language Model (LLM) Human Evaluations
arxiv.org·23h
🧠Intelligence Compression
Usage Rules: Leveling the Playing Field for AI-Assisted Development
zachdaniel.dev·9h·
Discuss: Hacker News
⚡Proof Automation
Information-Theoretic Aggregation of Ethical Attributes in Simulated-Command
arxiv.org·23h
🔲Cellular Automata
InSight: AI Mobile Screening Tool for Multiple Eye Disease Detection using Multimodal Fusion
arxiv.org·23h
🤖Advanced OCR