Primary Keys in Sharded Databases
pgdog.dev·1d·
Discuss: Hacker News
📊Runtime Verification
Exclusive: Baseten, AI inference unicorn, raises $150 million at $2.15 billion valuation
fortune.com·1d·
Discuss: Hacker News, r/technews
🖥️Self-hosted Infrastructure
Declarative GUI Toolkit Slint 1.13 released
slint.dev·2d·
Discuss: Lobsters, Hacker News
⚙️PL Implementation
Door at Launch: Design Review of an LLM-Driven Story Game
ianbicking.org·2d·
Discuss: Hacker News
🎮Verification Games
Target Enclosing Control for Nonholonomic Multi-Agent Systems with Connectivity Maintenance and Collision Avoidance
arxiv.org·2d
🩹Self-Healing Systems
How many dimensions is this?
lcamtuf.substack.com·2d·
Discuss: Substack
➡️Category Theory
Mu Puzzle
en.wikipedia.org·2d·
Discuss: Hacker News
🧮Lambda Calculus
Strefer: Empowering Video LLMs with Space-Time Referring and Reasoning via Synthetic Instruction Data
arxiv.org·2d
📚Automata Learning
A PyTorch plugin to rethink AI's core
forbes.com·1d·
Discuss: Hacker News
🐫OCaml
Show HN: A unified approach to compute sandboxes
computesdk.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
PointAD+: Learning Hierarchical Representations for Zero-shot 3D Anomaly Detection
arxiv.org·2d
📊Runtime Verification
Reactive algorithms: How Angular took the right path
medium.com·2d·
Discuss: Hacker News
🔄Reproducible Builds
You.com Raises $100M Series C at a $1.5B Valuation
home.you.com·1d·
Discuss: Hacker News
🛡️seL4
Optimizing AI Inference with Edge Computing
edgee.cloud·3d·
Discuss: Hacker News
📚Automata Learning
Error Notebook-Guided, Training-Free Part Retrieval in 3D CAD Assemblies via Vision-Language Models
arxiv.org·3d
📚Automata Learning
Reasoning Vectors: Transferring Chain-of-Thought Capabilities via Task Arithmetic
arxiv.org·3d
🧩Parser Combinators
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·1d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
arxiv.org·2d
🩹Self-Healing Systems
Why Your Legacy APIs Are a Roadblock for AI Agents
thenewstack.io·1d
💎Refinement Types
InstaDA: Augmenting Instance Segmentation Data with Dual-Agent System
arxiv.org·2d
📚Automata Learning