🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

x times y
federicopereiro.com·1d·
Discuss: Hacker News
📐Type Theory
A Deep Dive into Apple's DNG Processing Vulnerability
msuiche.com·4h·
Discuss: Hacker News
📊Information Theory
The Ordeal of Momentum - Blaugust the Twenty-fourth
angrybunnyman.com·4h
🧮Programming Language Theory
Vif, a new webframework for OCaml 5
discuss.ocaml.org·2d·
Discuss: Hacker News
🤝Protocol Design
Duality
xythobuz.de·4d
💾Retrocomputing
Time to dust off my 2016 @ClintonFdn
threadreaderapp.com·2d
📈Complexity Theory
Least-privilege installation of OpenShift IPI on AWS
developers.redhat.com·1d
🤝Protocol Design
Von Neumann's minimax theorem through Fourier-Motzkin elimination
arxiv.org·6d
🔢Mathematical Logic
Would this tool help you? A platform to visualize and trace any DSA (Data Structures & Algorithms) problem
reddit.com·3d·
Discuss: r/AskProgramming
🔍Static Analysis
AI Gateway: Production-ready reliability for your AI apps
vercel.com·2d
⚡Concurrency
Think You Know the DOM? Prove It With These 10 Exercises!
dev.to·2d·
Discuss: DEV
🧮Programming Language Theory
Scalable Digital Twin Synchronization via Hierarchical Causal Graph Optimization
dev.to·3d·
Discuss: DEV
⚡Concurrency
I challenge myself to use my current installation of Cachy for a month without a reinstall. [Suggestions appreciated.]
reddit.com·2d·
Discuss: r/cachyos
🐧Linux
Machine Learning-Based AES Key Recovery via Side-Channel Analysis on the ASCAD Dataset
arxiv.org·5d
🔐Cryptography
Minimize Misconfiguration Issues by Embracing a Minimum Configuration to Run Mindset
bencane.com·1d·
Discuss: r/programming
🏗️Software Architecture
Hybrid vector + text Search in the terminal with SurrealDB and Ratatui
dev.to·2d·
Discuss: DEV
💾Retrocomputing
PTMPicker: Facilitating Efficient Pretrained Model Selection for Application Developers
arxiv.org·6d
🎲Probabilistic Programming
The OCR Model That Outranks GPT-4o
dev.to·1d·
Discuss: DEV
📦WebAssembly
Code Smell 308 - The Key to Safer, Cleaner, More Polymorphic Code
hackernoon.com·6d
🧮Programming Language Theory
I built a tool to replace static API keys with short-lived credentials for agents
reddit.com·4d·
Discuss: r/LocalLLaMA
🧩Theorem Proving