🧮 Constraint SMT

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

WordPress and Wikipedia
cameroncounts.wordpress.com·2d
🧮Algebraic Archives
AI is not another abstraction because god plays dice
rakhim.exotext.com·2d
⚖️Hoare Logic
Category Theory is Being Co-opted
estebanandthecollective.substack.com·1d·
Discuss: Substack
🔀Category Theory
Kleene's Recursion Theorem
en.wikipedia.org·3d·
Discuss: Hacker News
🔤Type Theory
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.com·2d·
Discuss: Lobsters, Hacker News, r/programming
🔒Linear Types
Under the Hood of Fuzzy Search: Building a Search Engine 15 times fuzzier than Lucene
andrewjsaid.com·3d·
Discuss: Hacker News, r/programming
🎯Automata theory
Billion-Line Days Demand Billion-Test Nights
momentic.ai·9h·
Discuss: Hacker News
📏Code Metrics
Show HN: Production Manager App – Offline Payroll and Job Tracker (.exe)
github.com·1d·
Discuss: Hacker News
📦Package Managers
Automated Multi-Modal Analysis for Early Ischemic Colitis Detection via Microvasculature Biomarkers
dev.to·17h·
Discuss: DEV
🧠Machine Learning
Greener Deep Reinforcement Learning: Analysis of Energy and Carbon Efficiency Across Atari Benchmarks
arxiv.org·1d
🔲Cellular Automata
Code Review Without Borders: Evaluating Synthetic vs. Real Data for Review Recommendation
arxiv.org·1d
📏Code Metrics
A Stroke-Level Large-Scale Database of Chinese Character Handwriting and the OpenHandWrite_Toolbox for Handwriting Research
arxiv.org·20h
🤖Advanced OCR
RT-VLM: Re-Thinking Vision Language Model with 4-Clues for Real-World Object Recognition Robustness
arxiv.org·20h
📊Learned Metrics
The maths you need to start understanding LLMs
dev.to·3d·
Discuss: DEV
💻Local LLMs
Automated Semantic Parsing & Feature Extraction for 선박 중앙 횡단면도 Design Optimization
dev.to·2d·
Discuss: DEV
🧠Intelligence Compression
From Vision to Validation: A Theory- and Data-Driven Construction of a GCC-Specific AI Adoption Index
arxiv.org·20h
🏴󠁧󠁢󠁳󠁣󠁴󠁿Scottish Computing
Show HN: Python package to easily generate and edit images with Nano Banana
github.com·1d·
Discuss: Hacker News
🕸️WebP Analysis
Automated Analysis of Metamorphic Rock Textures for Enhanced Resource Prospecting
dev.to·7h·
Discuss: DEV
🏺Computational Archaeology
Why I Bet on FastAPI Over Django (After 10 Years of Using It)
dev.to·5h·
Discuss: DEV
🔌Interface Evolution
Causal Multi-fidelity Surrogate Forward and Inverse Models for ICF Implosions
arxiv.org·20h
⚙️Tape Engineering