I decided to make it pretty
i.redd.it·1d·
Discuss: r/homelab
🔬Unikernels
Why Prompt Caching Doesn't Solve Your Latency Problems
willseltzer.substack.com·17h·
Discuss: Substack
📚Automata Learning
A Look Back at Research from 1875
bcmullins.github.io·1d·
Discuss: Hacker News
➡️Category Theory
A History of the Apple Human Interface Group (1998)
homepages.cwi.nl·1d·
Discuss: Hacker News
💾Retro Computing
Show HN: Miniatur AI – Transform character images into figurine renders with AI
miniatur-ai.online·12h·
Discuss: Hacker News
✓Automated Theorem Proving
Memory Speed Terminology Guide
pugetsystems.com·17h·
Discuss: Hacker News
🔧Unikernel Development
Show HN: Reverse vs. Vectorized Forward Ad: A Performance Exploration in C
raph5.github.io·3d·
Discuss: Hacker News
🏹Effect Systems
I Completed Mathematics for Machine Learning
frankhecker.com·5d·
Discuss: Hacker News
➡️Category Theory
A Curated List of CLI Commands for Google's Gemini CLI Coding Agent
dotgemini.dev·1d·
Discuss: Hacker News
🔄Reproducible Builds
We’re Walling Off The Open Internet To Stop AI—And It May End Up Breaking Everything Else
techdirt.com·22h·
Discuss: Hacker News
🖥Self-Hosting
ReScript's Generalized Algebraic Data Types
rescript-lang.org·4d·
Discuss: Hacker News
🔠Type-Level Programming
Show HN: Liquid Glass for Flutter with pixel-perfect fidelity
medium.com·1d·
Discuss: Hacker News
💎Refinement Types
The Compensation Principle
news.ycombinator.com·1d·
Discuss: Hacker News
🩹Self-Healing Systems
Just One More Prompt
commandpattern.org·4d·
Discuss: Hacker News
📚Automata Learning
MAGneT: Coordinated Multi-Agent Generation of Synthetic Multi-Turn Mental Health Counseling Sessions
arxiv.org·4d
🤖Program Synthesis
Beyond Correctness: Harmonizing Process and Outcome Rewards through RL Training
arxiv.org·5d
🧠Automated Reasoning
Switch modder who acted as his own lawyer now owes Nintendo $2 million
arstechnica.com·1h·
Discuss: Hacker News
🍎Apple
The evolution of trust as a cognitive shortcut in repeated interactions
arxiv.org·4d
💻CS
Vertex-ordering and arc-partitioning problems
arxiv.org·1d
⚡Process Calculi
Show HN: Kaset — Embed Coding Agents Directly in Your Web App
medium.com·6h·
Discuss: Hacker News
🧱Immutable Infrastructure