Ray nayler the mountain in the sea (scifi 2023)
raynayler.net·10h·
Discuss: Hacker News
🐫OCaml
Headscale with SQLite as database with auto failover by LiteFS and Consul
gawsoft.com·2d·
Discuss: Hacker News
🖥Self-Hosting
Book of All-Pairs Shortest Paths
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
📡Network Protocol Design
Multi-level perspective on sustainability transitions:Responses to criticisms
sciencedirect.com·3d·
Discuss: Hacker News
📝Term Rewriting
Dressing Up by Harvey C. Mansfield
juandavidcampolargo.com·22h·
Discuss: Hacker News
🎮Verification Games
tarsnap is cozy
til.andrew-quinn.me·13h·
Discuss: Hacker News
❄️Nix
N8N vs. Zapier: Growing through LinkedIn and being a Jack of all trades
blog.tryresearchly.com·2d·
Discuss: Hacker News
🐳Containerization
I don’t want AI agents controlling my laptop
sophiebits.com·1d·
Discuss: Lobsters, Hacker News
🖥Self-Hosting
Five technological achievements! (That we won’t see any time soon.)
crookedtimber.org·16h·
Discuss: Hacker News
📦Unikernel Systems
Apple's A17 Pro Chip Ships with Hardware Flaw
github.com·2d·
Discuss: Hacker News
🍎Apple
Ore Formation Processes, Part Two: Hydrothermal Boogaloo
hackaday.com·1d
💎Refinement Types
Show HN: Self-maintenance app, Maintain U
news.ycombinator.com·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Hunyuan-MT Technical Report
arxiv.org·2d
🍎XNU Internals
Towards Personalized Explanations for Health Simulations: A Mixed-Methods Framework for Stakeholder-Centric Summarization
arxiv.org·2d
🎮Verification Games
Conflict scenarios may increase cooperation estimates
lesswrong.com·1d
✓Automated Theorem Proving
Plugging away at the new server iteration
reddit.com·2d·
Discuss: r/homelab
🏠HomeLab
The 90-Day Clock: How Expiring SSL Certificates Became a Ticking Time Bomb
vanitycert.com·3d·
Discuss: Hacker News
🛡️seL4
AI Safety Assurance in Electric Vehicles: A Case Study on AI-Driven SOC Estimation
arxiv.org·6d
🔄Finite State Machines
Topology-Aware Graph Reinforcement Learning for Dynamic Routing in Cloud Networks
arxiv.org·2d
📡Network Protocol Design
Room: Verilog for Read-Once-Only Memory (Quantum-Inspired Security Primitive)
github.com·3d·
Discuss: Hacker News
🔧Unikernel Development