🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

The Indo-European Cognate Relationships Dataset.
languagehat.com·1d
🧮Programming Language Theory
MintPPC – Fast and slick Linux for PowerPC and ARM64
u58733p55594.web0093.zxcs-klant.nl·1d
🐧Linux
Optimizing AI Inference with Edge Computing
edgee.cloud·5d·
Discuss: Hacker News
🎲Probabilistic Programming
Laptop
techradar.com·2d·
Discuss: r/programming
🔧Compiler Design
Subsets of AI - AI, Machine Learning, Deep Learning & Gen AI
aws.amazon.com·2d·
Discuss: DEV
🎯Constraint Programming
I built a simple IP geolocation & timezone API for developers – 2 lines of Python to get IP info
reddit.com·1d·
Discuss: r/webdev
🔌Network Programming
DYI Project - Reviving a 800JPY junk arcade stick
reddit.com·1d·
Discuss: r/fightsticks
🧩Theorem Proving
Qualification Results of the Valyrian Games (for LLMs)
reddit.com·4d·
Discuss: r/LocalLLaMA
🔧Compiler Design
The GPT-5 Evolution: My Transition from GPT-4
pub.towardsai.net·5d
🔢Mathematical Logic
Robix: A Unified Model for Robot Interaction, Reasoning and Planning
arxiv.org·5d
⚖️Logic Programming
LLaVA-Critic-R1: Your Critic Model is Secretly a Strong Policy Model
arxiv.org·5d
⚖Algorithmic Game Theory
Stuck in a loop to break in AI/ML career as a software Engineer
reddit.com·5d·
Discuss: r/learnmachinelearning
🔧Compiler Design
I made a CLI to stop manually copy-pasting code into LLMs
github.com·5d·
Discuss: Hacker News
🔧Compiler Design
MedSEBA: Synthesizing Evidence-Based Answers Grounded in Evolving Medical Literature
arxiv.org·5d
⚖️Logic Programming
RAG-PRISM: A Personalized, Rapid, and Immersive Skill Mastery Framework with Adaptive Retrieval-Augmented Tutoring
arxiv.org·5d
🎲Probabilistic Programming
An Optimal Joint Maintenance and Mission Abort Policy for a System Executing Multi-Attempt Missions
sciencedirect.com·2d
🎲Probabilistic Programming
石破総理 菅氏、小泉氏と会談 辞任含め対応協議か
news.jp·1d
🧫Cellular Automata
Guess My Drawing: Can Gemini Read Your Mind in One Line?
dev.to·1d·
Discuss: DEV
🧫Cellular Automata
Plugging away at the new server iteration
reddit.com·11h·
Discuss: r/homelab
🌍Distributed Systems
MoE at Scale: Making Sparse Models Fast on Real Hardware
cerebras.ai·5d
🏗Computer Architecture