🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Think Tasks Not Tools: Teaching AI Literacy in East Asian Art History
digitalorientalist.com·4d
🤖AI Paleography
Vibekit – The safety layer for your coding agent
vibekit.sh·6h·
Discuss: Hacker News
📜Proof Carrying Code
Procedural Island Generation
brashandplucky.com·2d·
Discuss: Hacker News
📊Computational Geometry
Shape Checking for Annotated Tensor Names
github.com·3d·
Discuss: Hacker News
✅Format Verification
The Little Book of Everything
github.com·5d·
Discuss: Hacker News
λLambda Formalization
Unlocking Team Superpowers: The Secret Language of Spatial Harmony by Arvind Sundararajan
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Your AI Prompts Are Programming the Future So Use Them Wisely
thenewstack.io·10h
🔲Cellular Automata
Symmetry Interactive Transformer with CNN Framework for Diagnosis of Alzheimer's Disease Using Structural MRI
arxiv.org·2d
🤖Advanced OCR
Private Conversations, Public Impact: How Secure Inference is Revolutionizing Voice AI
dev.to·10h·
Discuss: DEV
🎙️Whisper
CTourLLM: Enhancing LLMs with Chinese Tourism Knowledge
arxiv.org·3d
🔍Information Retrieval
Basis Vector Metric: A Method for Robust Open-Ended State Change Detection
arxiv.org·3d
📊Learned Metrics
Enhanced Computational Fluid Dynamics for Microfluidic Device Optimization via Adaptive Chebyshev Collocation
dev.to·3d·
Discuss: DEV
🌊Stream Processing
The Ultimate Developer's Guide to AI Tools in 2025: 247+ Curated Tools That Actually Matter
dev.to·3d·
Discuss: DEV
🔄Language Evolution
Using AI to Optimize Patient Transfer and Resource Utilization During Mass-Casualty Incidents: A Simulation Platform
arxiv.org·2d
🌊Stream Processing
LiDAR Point Cloud Semantic Segmentation with Graph Neural Networks and Adaptive Attention Mechanisms
dev.to·2d·
Discuss: DEV
🌀Riemannian Computing
Notes from PyData Berlin 2025
dev.to·3d·
Discuss: DEV
🌀Brotli Internals
Can SSD-Mamba2 Unlock Reinforcement Learning for End-to-End Motion Control?
arxiv.org·3d
🔲Cellular Automata
Fault Tolerant Control of a Quadcopter using Reinforcement Learning
arxiv.org·3d
🛡️Error Boundaries
GenAI Foundations – Chapter 5: Project Planning with the Generative AI Canvas
dev.to·4d·
Discuss: DEV
⚡Proof Automation
Vibe Coding Best Practices
dev.to·4d·
Discuss: DEV
⚡Proof Automation