sqlalchemy check constraints and operator precedence
blog.kobaltlabs.com·2d·
Discuss: Hacker News
🔍Formal Verification
Я Articles
muratkasimov.art·1d·
Discuss: Hacker News
➡️Category Theory
Show HN: BuildKit 2.0 – the shadcn for AI integrations
buildkit.picaos.com·3d·
Discuss: Hacker News
🧱Immutable Infrastructure
How to Write a Crash Reporter
gamesbymason.com·20h·
Discuss: Hacker News
📊Runtime Verification
Pydantic AI Reaches V1
pydantic.dev·2d·
Discuss: Hacker News
🔄Reproducible Builds
Unleashing the Hound: How AI Agents Find Deep Logic Bugs in Any Codebase
muellerberndt.medium.com·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Hardware/software for physically separated backups
reddit.com·21h·
Discuss: r/homelab
🖥Self-Hosting
Galactic Algorithm
en.wikipedia.org·3d·
Discuss: Hacker News
✓Automated Theorem Proving
Zero-Click Remote Code Execution: Exploiting MCP and Agentic IDEs
lakera.ai·1d·
Discuss: Hacker News
🛡️seL4
A neural basis for distinguishing imagination from reality
cell.com·18h·
Discuss: Hacker News
📚Automata Learning
Kangaroo: A Private and Amortized Inference Framework over WAN for Large-Scale Decision Tree Evaluation
arxiv.org·3d
🧠Automated Reasoning
Optimizing Geometry Problem Sets for Skill Development
arxiv.org·3d
🧠Automated Reasoning
Mycroft: Tracing Dependencies in Collective Communication Towards Reliable LLM Training
arxiv.org·3d
📊Runtime Verification
AI Is Not a Technology, It's a Subscription Company
idiallo.com·23h·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Information transmission: Inferring change area from change moment in time series remote sensing images
arxiv.org·3d
📚Automata Learning
Thoughts on Evals
raindrop.ai·1d·
Discuss: Hacker News
🧪Property-Based Testing
BlazingMQ: A modern, high-performance open message queuing system
github.com·22h·
Discuss: Hacker News
🔄Reproducible Builds
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·2d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
SCOUT: Toward Sub-Quadratic Attention via Segment Compression for Optimized Utility in Transformers
arxiv.org·4d
🧩Parser Combinators
DNA methylation influences human centromere positioning and function
nature.com·1d·
Discuss: Hacker News
🧮Lambda Calculus