Use singular nouns for database table names
teamten.com·1d·
Discuss: Lobsters, Hacker News
📚Automata Learning
Requiem for an Exit
calls.ars.electronica.art·21h·
Discuss: Hacker News
🩹Self-Healing Systems
Social dynamics of Bluetooth speakers (2022)
dynomight.net·6h·
Discuss: Hacker News
🍎Apple
I Was Wrong: Start Simple, Then Move to More Complex
charles-frenzel.medium.com·1d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: A unified approach to compute sandboxes
computesdk.com·2d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Loading Data in ML.NET: A Beginner’s Guide with C# Examples
medium.com·1d·
Discuss: r/programming
🧮Lambda Calculus
Exclusive: Baseten, AI inference unicorn, raises $150 million at $2.15 billion valuation
fortune.com·1d·
Discuss: Hacker News, r/technews
🖥️Self-hosted Infrastructure
William James at CERN (1995)
bactra.org·19h·
Discuss: Hacker News
🏹Effect Systems
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
62 Comprehensive Programming Tutorials: Master AI, Databases, DevOps & More
github.com·1d·
Discuss: Hacker News, r/programming, r/webdev
🔬Static Analysis
Evolution of GPU Programming: From Smart Pixels to the Backbone of an AI-driven World
medium.com·2d·
Discuss: r/programming
💾Retro Computing
Wild Performance Tricks
davidlattimore.github.io·4d·
Discuss: Lobsters, Hacker News, r/programming, r/rust
🐫Embedded OCaml
Context Engineer MCP – Fixing Context Loss in AI Coding Agents
contextengineering.ai·1d·
Discuss: Hacker News
🤖Program Synthesis
Tangential Action Spaces: Geometry, Memory and Cost in Holonomic and Nonholonomic Agents
arxiv.org·2d
➡️Category Theory
SectorC: A C Compiler in 512 bytes (2023)
xorvoid.com·2d·
Discuss: Hacker News
🐫Embedded OCaml
Shallow vs. Deep Thinking - Why LLMs Fall Short
lesswrong.com·3d
🎮Verification Games
Non-Linear Counterfactual Aggregate Optimization
arxiv.org·2d
🏹Effect Systems
Exploring the Design Space of Fair Tree Learning Algorithms
arxiv.org·2d
🔠Type-Level Programming