SMT Solving, Satisfiability, Theorem Proving, Constraint Solving

How to Use Multimodal AI Models With Docker Model Runner
docker.com·1d
🐳Containerization
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·4d·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Incremental Compilation in Recursive‑Descent Parser (Roslyn)
langdev.stackexchange.com·2d·
Discuss: Hacker News
🧩Parser Combinators
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·18h·
📦Unikernel Systems
Flag this post
What data do coding agents send, and where to?
chasersystems.com·22h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
PhysicsGPT: Your Free AI-Powered Physics Problem Solver for Every Domain
dev.to·1d·
Discuss: DEV
🧮SMT Solvers
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
How Did I Build a .NET Application Using ChatGPT?
dev.to·21h·
Discuss: DEV
🔄Reproducible Builds
Flag this post
🚀 A Fun Tour of Go’s Official Website!
dev.to·14h·
Discuss: DEV
🎮Verification Games
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·5h
🛡️seL4
Flag this post
STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization
arxiv.org·1d
🔲Cellular Automata
Flag this post
To improve Rationality, create Situations
lesswrong.com·1d
🎮Verification Games
Flag this post
Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework
arxiv.org·1d
λFunctional Programming
Flag this post
Contrastive Knowledge Transfer and Robust Optimization for Secure Alignment of Large Language Models
arxiv.org·2d
📚Automata Learning
Flag this post
Prompt Injection as an Emerging Threat: Evaluating the Resilience of Large Language Models
arxiv.org·1d
📦Module Systems
Flag this post
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·1d
📚Automata Learning
Flag this post
Advancing Cognitive Science with LLMs
arxiv.org·1d
🔁Fixed-Point Theory
Flag this post
A Unified Model for Human Mobility Generation in Natural Disasters
arxiv.org·5h
🔲Cellular Automata
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·5h
🎨GADTs
Flag this post