🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Mutually Attacking Knights
susam.net·1d
🧫Cellular Automata
Most notes here are a blogpost already - W32
joelchrono.xyz·8h
🧮Programming Language Theory
Why Tail-Recursive Functions Are Loops
kmicinski.com·3d·
Discuss: Hacker News
⚙Functional Programming
Agentic Coding a FastHTML RAG Eval App
elite-ai-assisted-coding.dev·18h·
Discuss: Hacker News
🧩Theorem Proving
Seeing Like an LLM
blog.continua.ai·1d·
Discuss: Hacker News
🎲Probabilistic Programming
Cryptanalysis & Randomness Tests
reddit.com·14h·
Discuss: r/compsci
🔐Cryptography
Show HN: I built an offline, open‑source desktop Pixel Art Editor in Python
github.com·8h·
Discuss: Hacker News
👐Open Source Software
Investor Introduction: The First Mathematically Proven Quantum Computers
reddit.com·10h·
Discuss: r/angelinvestors
🔐Cryptography
Taking The Cloud Resume Challenge: GCP Style
dev.to·18h·
Discuss: DEV
🦀Rust
Geometry-Aware Spiking Graph Neural Network
arxiv.org·2h
🕸️Graph Theory
Why I Switched to JSON Prompting and Why You Should Too
analyticsvidhya.com·1d
🤝Protocol Design
Narrative Memory in Machines: Multi-Agent Arc Extraction in Serialized TV
arxiv.org·2h
🤖Sci-Fi
Understanding Dynamic Scenes in Ego Centric 4D Point Clouds
arxiv.org·2h
🎲Probabilistic Programming
Age of Information Minimization in Goal-Oriented Communication with Processing and Cost of Actuation Error Constraints
arxiv.org·2h
📊Information Theory
BASIC: Boosting Visual Alignment with Intrinsic Refined Embeddings in Multimodal Large Language Models
arxiv.org·2h
🔗Parser Combinators
Automated Electrochemical Impedance Spectroscopy Data Analysis for Battery Degradation Prediction
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Fed-TGAN: Federated Learning Framework for Synthesizing Tabular Data
arxiv.org·2h
🔗Parser Combinators
Revolutionary AI Lead Climbing: AI Creates Better AI Through Redis Homoiconic Programming
dev.to·1d·
Discuss: DEV
🧩Theorem Proving
Spatial-ORMLLM: Improve Spatial Relation Understanding in the Operating Room with Multimodal Large Language Model
arxiv.org·2h
🎲Probabilistic Programming
Server-Side Events Implementation for Real-Time Applications(9359)
dev.to·1d·
Discuss: DEV
🌍Distributed Systems