Team Atlanta
team-atlanta.github.io·1d·
Discuss: Lobsters
👁️System Observability
A New Method for Estimating P2P Network Size
eli.sohl.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Git's hidden simplicity: what's behind every commit
allvpv.substack.com·21h·
Discuss: Substack
🔄Reproducible Builds
How to Boost Your Productivity While Managing Multiple Projects
freeter.io·17m·
Discuss: Hacker News
🔧Unikernel Development
BSD-user-4-Linux project
freebsd.org·11h·
📦Unikernel Systems
An information-theoretic foreshadowing of mathematicians' sudden insights
pnas.org·16h·
Discuss: Hacker News
Automated Theorem Proving
The Bill Gates Interview (1994)
tech-insider.org·2d·
Discuss: Hacker News
💾Retro Computing
Show HN: I built an operating file system for my agent (CRUD)
youtube.com·4d·
Discuss: Hacker News
🐳Containerization
AI Coding at a Crossroads: Disposable Code Editors and Flawed Benchmarks
kevinkuipers.substack.com·2d·
Discuss: Substack
💎Refinement Types
The Engine to No Engine Journey
md.jtmn.dev·4d·
Discuss: Hacker News
🐫Embedded OCaml
How to Self-Host Your Notes With Trilium and Docker
thenewstack.io·22h
🐳Containerization
The Rise of Async Programming
braintrust.dev·3d·
🤖Program Synthesis
Spectre haunts CPUs again: VMSCAPE vulnerability leaks cloud secrets
theregister.com·2d·
Discuss: Hacker News
🔧Unikernel Development
GPUs as Collateral – Chip Based Asset-Backed Securities
medium.com·2d·
Discuss: Hacker News
🔧Unikernel Development
Home network expansion. Unifi issues. Switchgear advice.
reddit.com·1h·
Discuss: r/homelab
🏠HomeLab
Beyond package management: How Nix refactored my digital life
jimmyff.co.uk·6d·
❄️Nixified Development
LLM-Generated Rules Engines for LLM Explainability
brain.co·2d·
Discuss: Hacker News
🧠Automated Reasoning
Orc Protocol: Heavier than IRC, lighter than XMPP
github.com·2d·
Discuss: Hacker News
🌐NetworkProtocols
Best option to move a zfs pool from 3.5 HDDs to nvme ?
reddit.com·4h·
Discuss: r/homelab
🏠HomeLab
Memory Integrity Enforcement: A complete vision for memory safety in Apple devices
security.apple.com·5d·
🐫Embedded OCaml