🧮 SMT Solvers

Z3, CVC5, Satisfiability, Constraint Solving, Automated Reasoning

Cyclic Proofs for iGL via Corecursion
arxiv.org·5h
🔗Dependent Types
Flag this post
Mathematics solves problems by pen and paper. CS helps us to go far beyond that
cacm.acm.org·2d·
Discuss: Hacker News
🔢Homomorphic Encryption
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Algorithmic Complexity Reduction via Quantized State Space Search
dev.to·17h·
Discuss: DEV
⚛️Quantum Computing
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
paperium.net·2d·
Discuss: DEV
📐TLA+
Flag this post
Minimalistic CLAUDE.md for new projects: Follow SOLID, DRY, YAGNI, KISS
reddit.com·8h·
Discuss: r/ClaudeAI
🔨Incremental Compilation
Flag this post
Show HN: Refusal-Aware Logical Framework for LLMs
github.com·19h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
Cure - Verification-First Programming for the BEAM
cure-lang.org·2d·
Discuss: Lobsters
📐TLA+
Flag this post
Tool Expressions: The Next Evolution in Agent Intelligence
blog.nishantjosh.dev·4h·
Discuss: r/programming
🎭Program Synthesis
Flag this post
How to use the matches! Macro Pattern Matching
dev.to·1d·
Discuss: DEV
📦Serde
Flag this post
Disassembling Terabytes of Random Data with Zig and Capstone to Prove a Point
jstrieb.github.io·50m·
Discuss: Hacker News
🔓Binary Exploitation
Flag this post
Transducer: Composition, Abstraction, Performance
funktionale-programmierung.de·1d·
Discuss: Hacker News
λFunctional Programming
Flag this post
Ariadne: A Controllable Framework for Probing and Extending VLM Reasoning Boundaries
arxiv.org·1d
💬Prompt Engineering
Flag this post
Planning > Agents: Getting Reliable Code from LLMs
repoprompt.com·8h·
Discuss: Hacker News
💬Prompt Engineering
Flag this post
AI Function Calling: Composing and Decomposing Functions for Complex Tasks
lightcapai.medium.com·16h·
Discuss: Hacker News
⚡FastAPI
Flag this post
Handbook of Satisfiability (2021)
iospress.com·2d·
Discuss: Hacker News
🔍Type Inference
Flag this post
Topographical sparse mapping: A training framework for deep learning models
sciencedirect.com·13h·
Discuss: Hacker News
👁️Computer Vision
Flag this post
The Science of AI Internal State Awareness
responseawareness.substack.com·19h·
Discuss: Substack
💬Prompt Engineering
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
NOWS: Neural Operator Warm Starts for Accelerating Iterative Solvers
arxiv.org·5h
🔢NumPy
Flag this post