Dunbar's number: Why we can only maintain 150 relationships
bbc.com·10h·
Discuss: Hacker News
➡️Category Theory
Claude Code Planning Mode Posture Is Off Balance
banagale.com·6h·
Discuss: Hacker News
✓Automated Theorem Proving
China Won the Chip War While You Were Arguing About Gallium
kumarletter.com·1d·
Discuss: Hacker News
💾Retro Computing
A New Chapter for Our Built World
bedrockrobotics.com·1d·
Discuss: Hacker News
🧗Climbing Tech
How I got hired by AWS (2008)
simon.medium.com·1d·
Discuss: Hacker News
🛡️seL4
Building production-ready apps with LLMs
blog.leap.new·2d·
Discuss: r/programming
🔄Reproducible Builds
Postman to Bruno: Weekend migration + AI workflow for automated API documentation
ashwch.com·4d·
Discuss: Hacker News, r/programming
🌐NetworkProtocols
How Hype Works; What LLMs have in common with genetics
blog.kierangill.xyz·2d·
Discuss: Hacker News
🎮Verification Games
NixOS: Declarative Management, Imperative Privilege Escalation
labs.snyk.io·1d·
Discuss: Lobsters, Hacker News
❄️Nixified Development
Show HN: I made a single landing page to serve all my unused domains
github.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
A Tax-Efficient Model Predictive Control Policy for Retirement Funding
arxiv.org·1d
🤖Program Synthesis
Question on Cisco SX350X-24-K9
reddit.com·4d·
Discuss: r/homelab
🏠HomeLab
C-FBI: A Combinatorial method using Convolutions for Circle Fitting in Blurry Images
arxiv.org·1d
🐫OCaml
Secure and Efficient UAV-Based Face Detection via Homomorphic Encryption and Edge Computing
arxiv.org·2d
🛡️seL4
Canonical Bayesian Linear System Identification
arxiv.org·1d
➡️Category Theory
Homelabbing... where to start?
reddit.com·3d·
Discuss: r/homelab
🏠HomeLab
Amazon just launched Kiro.dev. An AI IDE for Spec-Driven Development (It's amazing!)
reddit.com·20h·
Discuss: r/programming
🧱Immutable Infrastructure
Rethinking Prompt Optimization: Reinforcement, Diversification, and Migration in Blackbox LLMs
arxiv.org·2d
🎮Verification Games
Intuitive Fine-Tuning: Towards Simplifying Alignment into a Single Process
arxiv.org·2d
🐫OCaml
Behind the Streams: Live at Netflix. Part 1
netflixtechblog.com·2d·
Discuss: Hacker News
🏠HomeLab