SMT Solving, Satisfiability, Theorem Proving, Constraint Solving

Flatpak Happenings
blog.sebastianwick.net·4h·
Discuss: r/linux
🔬Unikernels
Flag this post
The Constrained Application Protocol (CoAP)
datatracker.ietf.org·1d·
Discuss: Hacker News
🌐NetworkProtocols
Flag this post
Show HN: Oodle – Unified Debugging with OpenSearch and Grafana
blog.oodle.ai·1d·
Discuss: Hacker News
👁️System Observability
Flag this post
Show HN: Why We're Building Creativity and Game Dev Clubs for Kids
breaka.club·37m·
Discuss: Hacker News
🎮Verification Games
Flag this post
AI Energy Score
huggingface.github.io·58m·
Discuss: Hacker News
📊Runtime Verification
Flag this post
What data do coding agents send, and where to?
chasersystems.com·1d·
Discuss: Hacker News
🔒Protocol Verification
Flag this post
Pg_lake: Postgres with Iceberg and data lake access
github.com·23h·
📦Unikernel Systems
Flag this post
Weekly AI Startup Funding: October 26 - November 1, 2025
hackernoon.com·18h
🌐ActivityPub
Flag this post
Feature Stores 2.0: The Next Frontier of Scalable Data Engineering for AI
hackernoon.com·11h
🔄Reproducible Builds
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·1d·
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
Linear Differential Vision Transformer: Learning Visual Contrasts via Pairwise Differentials
arxiv.org·1d
📚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
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·10h
🔲Cellular Automata
Flag this post
GAFD-CC: Global-Aware Feature Decoupling with Confidence Calibration for OOD Detection
arxiv.org·10h
🎨GADTs
Flag this post
Tech With Tim: Build a Python AI Agent in 10 Minutes
dev.to·1d·
Discuss: DEV
🔲Cellular Automata
Flag this post