🧮 Constraint SMT

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

Wah_Ter_Mee
hackster.io·1d
📲Digitization
Image Rotation: Mutable Arrays in Haskell
mmhaskell.com·2d
λLambda Encodings
Applying Music Theory with Chiptunes
dogspluspl.us·19h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Herringbone Tiles
nothings.org·2d·
Discuss: Hacker News
📐Mathematical Art
Hyperdimensional Connections a Lossless, Queryable Semantic Reasoning Framework
zenodo.org·5d·
Discuss: Hacker News
🗂️Vector Databases
[M-WM] Update on MaxWM
reddit.com·10h·
Discuss: r/linux
🔩Systems Programming
Billions of Tokens Later: Scaling LLM Fuzzing in Practice
gusarich.com·4d·
Discuss: Hacker News
🧪Protocol Fuzzing
Show HN: Brain-rot Factory – Italian meme characters powered by AI (Next.js 15)
brain-rot-factory.vercel.app·1d·
Discuss: Hacker News
🌍Cultural Algorithms
Math Fractions Teacher Helper
dev.to·3d·
Discuss: DEV
⚔️Lean Tactics
What is Bayes' Theorem?
dev.to·11h·
Discuss: DEV
🧮Kolmogorov Bounds
Recurrent Neural Networks: A Review
theahura.substack.com·3d·
Discuss: Substack
🧠Machine Learning
Building with AI: Substrate, Agents, Workflow
zo.computer·1h·
Discuss: Hacker News
🌍Cultural Algorithms
Developing an AI-Guided Assistant Device for the Deaf and Hearing Impaired
arxiv.org·1d
👂Psychoacoustic Coding
Now and Future of Artificial Intelligence-based Signet Ring Cell Diagnosis: A Survey
arxiv.org·9h
🤖Advanced OCR
Robots-AI: Free Multi-Agent AI Platform
dev.to·15h·
Discuss: DEV
🎙️Whisper
Proof-theoretic Semantics for First-order Logic
arxiv.org·5d
🏗️Constructive Logic
Strategically Robust Game Theory via Optimal Transport
arxiv.org·1d
🔲Cellular Automata
Practical Insights into Building High-Concurrency API Servers with Go
dev.to·12h·
Discuss: DEV
🌊Streaming Systems
Optimizing Canaries for Privacy Auditing with Metagradient Descent
arxiv.org·1d
🕵️Vector Smuggling
Artificial Intelligence for Green Hydrogen Yield Prediction and Site Suitability using SHAP-Based Composite Index: Focus on Oman
arxiv.org·1d
🧪Data science