🧮 Constraint SMT

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

Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
Asymmetry of Verification and Verifier's Law
jasonwei.net·1d·
Discuss: Hacker News
🔮Proof Search
Over 30 AI models have been trained at 10^25 FLOP or greater
epoch.ai·14h·
Discuss: Hacker News
⚡Performance Mythology
Row Polymorphic Programming
stranger.systems·2d·
Discuss: Lobsters, Hacker News, r/programming
🧮Algebraic Datatypes
PLEX: Perturbation-free Local Explanations for LLM-Based Text Classification
arxiv.org·1d
💻Local LLMs
How AI Detects Cancer in Whole Slide Images
hackernoon.com·10h
🧠Machine Learning
Findings of MEGA: Maths Explanation with LLMs using the Socratic Method for Active Learning
arxiv.org·1h
🔲Cellular Automata
On One-Shot Signatures, Quantum vs Classical Binding, and Obfuscating Permutations
arxiv.org·1h
🔐Quantum Security
[R] Interesting paper on cost-aware prompt optimization (CAPO)
reddit.com·23h·
Discuss: r/MachineLearning
🏗️Compiler Archaeology
MediaMind AI - Intelligent Content Discovery Platform with Algolia MCP Server
dev.to·14h·
Discuss: DEV
🧭Content Discovery
Introduction: AI Terminology
dev.to·15h·
Discuss: DEV
🤖Grammar Induction
SIEVE: Effective Filtered Vector Search with Collection of Indexes
arxiv.org·1h
🗂️Vector Databases
REST: Stress Testing Large Reasoning Models by Asking Multiple Problems at Once
arxiv.org·2d
🧮SMT Solvers
A distributed systems reliability glossary
antithesis.com·1d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·1h
🌳Context free grammars
Enhancing Chain-of-Thought Reasoning with Critical Representation Fine-tuning
arxiv.org·2d
✨Effect Handlers
Bridging the Gap in Vision Language Models in Identifying Unsafe Concepts Across Modalities
arxiv.org·1d
💾Binary Linguistics
GHPO: Adaptive Guidance for Stable and Efficient LLM Reinforcement Learning
arxiv.org·1d
🔲Cellular Automata
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·1h
🛡️Proof-Carrying Archives