🧮 Constraint SMT

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

Joint LFCS/AIAI Seminar-Monday 29th September 2025 by Visiting Speaker: Andrew D. Gordon
informatics.ed.ac.uk·1d
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
40 years later, are Bentley's "Programming Pearls" still relevant?
shkspr.mobi·14h·
Discuss: Hacker News, shkspr.mobi
📏Code Metrics
Rethinking LLM-Powered Apps: Ditching Tool Overload for Smarter Query Abstraction
dev.to·14h·
Discuss: DEV
🧩WASM Components
How AI Reasoning Mirrors Borge's Library of Babel
hackernoon.com·1d
🧮Kolmogorov Complexity
Day 1: Dig at Berghain Coding Challenge
dev.to·8h·
Discuss: DEV
🧮Z3 Solver
Show HN: CompareGPT – Making LLMs More Trustworthy by Reducing Hallucinations
news.ycombinator.com·1d·
Discuss: Hacker News
⚡Proof Automation
ML Systems: Motivating Dense Models
jacobkahn.me·4h·
Discuss: Hacker News
🧠Machine Learning
Show HN: Higher-order transform streams: 10x faster AI with recursive prompts
timetler.com·10h·
Discuss: Hacker News, r/programming
🌊Stream Processing
Lessons from building an AI data analyst
pedronasc.com·2d·
Discuss: Hacker News
🌀Brotli Internals
Counterfactual Sensitivity for Faithful Reasoning in Language Models
arxiv.org·22h
🎯Dependent Parsing
Understanding Transformers Using a Minimal Example
rti.github.io·10h·
Discuss: Hacker News, r/programming
📝Text Parsing
Unlocking Trustworthy AI: Verifiable Fine-Tuning with Zero-Knowledge Proofs
dev.to·15h·
Discuss: DEV
🎯Performance Proofs
RoguelikeDev Does the Complete Roguelike Tutorial 2025 in Odin
github.com·2h·
Discuss: Hacker News
🦀Rust Macros
Miso: A swiss table implementation from scratch in rust
reddit.com·3d·
Discuss: r/rust
🦀Rust Verification
Robix: A Unified Model for Robot Interaction, Reasoning and Planning
arxiv.org·22h
🧩WASM Components
When LLM Meets Time Series: Can LLMs Perform Multi-Step Time Series Reasoning and Inference
arxiv.org·22h
🔍Type Inference
Show HN: Training an LLM to Play Wordle with RL on Apple Silicon
charbull.github.io·1d·
Discuss: Hacker News
💻Local LLMs
A Topology of Cognition
dev.to·8h·
Discuss: DEV
🧮Kolmogorov Complexity
DCPO: Dynamic Clipping Policy Optimization
arxiv.org·22h
🧠Learned Codecs
Semantic Parsing for Question Answering over Knowledge Graphs
arxiv.org·22h
🧮Prolog Parsing