Show HN: Kumi – a portable, declarative, functional core for business logic
🔗Dependent Types
Flag this post
Fast Answering Pattern-Constrained Reachability Queries with Two-Dimensional Reachability Index
arxiv.org·1d
🌳Mergeable Trees
Flag this post
Building Resilient Event-Driven Systems: Lessons from the Distributed Trenches
🔄Distributed Systems
Flag this post
[Research] Cross-Stage Vulnerabilities in Large Language Model Architectures
🛡️AI Security
Flag this post
An introduction to program synthesis (Part II) - Automatically generating features for machine learning
🎭Program Synthesis
Flag this post
The 5 FREE Must-Read Books for Every LLM Engineer
kdnuggets.com·7h
💬Prompt Engineering
Flag this post
News for October 2025
ptreview.sublinear.info·1d
✅Property Testing
Flag this post
Hard2Verify: A Step-Level Verification Benchmark for Open-Ended Frontier Math
🧮SMT Solvers
Flag this post
Cyclic Proofs for iGL via Corecursion
arxiv.org·15h
🧮SMT Solvers
Flag this post
Gen AI Grows Up: Building Production-Ready Agents on the JVM • Rod Johnson • GOTO 2025
youtube.com·7h
📱Edge AI
Flag this post
I've created a leetcode for system design
🎨Design Systems
Flag this post
Position: Vibe Coding Needs Vibe Reasoning: Improving Vibe Coding with Formal Verification
arxiv.org·1d
✓Formal Verification
Flag this post
BoolSkel: Unlocking Boolean Network Efficiency Through Structural Pruning by Arvind Sundararajan
⏭️Skip Lists
Flag this post
From logs to insights: The AI breakthrough redefining observability
venturebeat.com·15h
🔭Tracing
Flag this post
Loading...Loading more...