🧭 SMT Solvers

Z3, Satisfiability Modulo Theories, Constraint Solving, Verification

Anyway
taniyn.quest·14h
⚖️Logic Programming
Logarithmic mean energy optimization a metaheuristic algorithm
nature.com·23h·
Discuss: Hacker News
🕸️Graph Theory
Mishearings: Hacking a tiny ASR model to write Dadaist poetry
evanking.io·15h·
Discuss: Hacker News
🔧Compiler Design
Using Topological Data Analysis and Sparse Autoencoders to Evaluate TruthfulQA
bluelightai.com·1d·
Discuss: Hacker News
🔗Parser Combinators
Model Evaluation
ampcode.com·2d·
Discuss: Hacker News
🎲Probabilistic Programming
Help me
reddit.com·2d·
Discuss: r/C_Programming
🧫Cellular Automata
Discrete Differential Geometry Lecture 2B: Introduction to Manifolds
youtube.com·1d
🔄Category Theory
Beyond the Hype: Building Agentic Systems for the Enterprise
aussiebytes.com·1d
🤖Sci-Fi
Inspired by a recent OCR benchmark here, I'm building a tool to automate side-by-side model comparisons. Seeking feedback on the approach.
reddit.com·5h·
Discuss: r/LocalLLaMA
🔗Parser Combinators
Years ago I created a 3D engine from scratch (pre LLM-era and without using internet as a challenge) and made Minecraft in it
github.com·23h·
Discuss: r/C_Programming
🔧Compiler Design
RedisFlow - Enterprise Feature Store for Real-Time ML
dev.to·11h·
Discuss: DEV
🧮Programming Language Theory
🔧 Part 2: Advanced - OpenAI Function Calling & Iterative Search
dev.to·8h·
Discuss: DEV
🧩Theorem Proving
One model, multiple 'personalities'/system prompts
reddit.com·35m·
Discuss: r/LocalLLaMA
🔧Compiler Design
GLM 4.5 355b (IQ3_XXS) is amazing at creative writing.
reddit.com·20h·
Discuss: r/LocalLLaMA
🎲Probabilistic Programming
High-Performance Routing System Design and Implementation(9173)
dev.to·22h·
Discuss: DEV
🦀Rust
Essential Multithreading Design Patterns for Software Developers
dev.to·4h·
Discuss: DEV
⚡Concurrency
Dynamic Decision Tree Pruning via Reinforcement Learning for Real-time Risk Assessment
dev.to·1d·
Discuss: DEV
🎲Probabilistic Programming
Bidirectional Communication Patterns in Modern Web Apps(5757)
dev.to·4h·
Discuss: DEV
🤝Protocol Design
AniGuess: Real-Time Multiplayer Anime Guessing Game
dev.to·5h·
Discuss: DEV
⚡Concurrency
Get from Zero To Hero in Foundry - Part 1: Getting Started
dev.to·1d·
Discuss: DEV
⚡Concurrency