SMT Solving, Satisfiability, Theorem Proving, Constraint Solving

The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
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·15h·
📦Unikernel Systems
Flag this post
What data do coding agents send, and where to?
chasersystems.com·19h·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
MambaNetLK: Enhancing Colonoscopy Point Cloud Registration with Mamba
arxiv.org·1d
🔲Cellular Automata
Flag this post
PhysicsGPT: Your Free AI-Powered Physics Problem Solver for Every Domain
dev.to·21h·
Discuss: DEV
🧮SMT Solvers
Flag this post
Branched Signature Model
arxiv.org·1d
🕸️Graph Theory
Flag this post
Revisiting Model Interpolation for Efficient Reasoning
dev.to·2d·
Discuss: DEV
🧩Separation Logic
Flag this post
🚀 A Fun Tour of Go’s Official Website!
dev.to·11h·
Discuss: DEV
🎮Verification Games
Flag this post
Demo: Statistically Significant Results On Biases and Errors of LLMs Do Not Guarantee Generalizable Results
arxiv.org·2h
🛡️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
How Did I Build a .NET Application Using ChatGPT?
dev.to·19h·
Discuss: DEV
🔄Reproducible Builds
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·2h
🔲Cellular Automata
Flag this post