Tesla changes meaning of ‘Full Self-Driving’, gives up on promise of autonomy
electrek.co·1d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Drive manually
blog.julik.nl·2d·
Discuss: Hacker News
✓Automated Theorem Proving
Interrupts – The Heartbeat of a Unix Kernel
leftasexercise.com·2d·
Discuss: Hacker News
⚙️Operating System Design
An E-Bike for the Mind
joshbrake.substack.com·2d·
Discuss: Substack
🔬Unikernels
Are automated retries of specs a good pattern?
automationpanda.com·2d·
Discuss: Hacker News
👁️System Observability
Powering PyPI with Advanced Traffic Engineering: How Fastly is addressing performance through network addressing
fastly.com·2d·
Discuss: Hacker News
📡Network Protocol Design
Show HN: A unified approach to compute sandboxes
computesdk.com·3d·
Discuss: Hacker News
🖥️Self-hosted Infrastructure
Linux - Recreating old problems with new tools
dedoimedo.com·2d·
Discuss: Hacker News, Hacker News
🔧Unikernel Development
ActivityPub message rewrite facility (MRF) based on WASM
aumetra.xyz·2d·
Discuss: Hacker News
💎Refinement Types
What I learned managing an AI developer while seeking enlightenment
pocha.substack.com·2d·
Discuss: Substack
🔄Reproducible Builds
We Rarely Lose Technology (2023)
hopefulmons.com·2d·
Discuss: Hacker News
💾Retro Computing
Retrotechtacular: Exploring the Moon on Surveyor 1
hackaday.com·49m
💾Retro Computing
Finetuning AI Foundation Models to Develop Subgrid-Scale Parameterizations: A Case Study on Atmospheric Gravity Waves
arxiv.org·2d
🧠Automated Reasoning
Quantum-like Coherence Derived from the Interaction between Chemical Reaction and Its Environment
arxiv.org·4d
🐫OCaml
Globally Asymptotically Stable Trajectory Tracking of Underactuated UAVs using Geometric Algebra
arxiv.org·3d
🔄Finite State Machines
Physicists create a new kind of time crystal that humans can actually see
phys.org·2d·
Discuss: Hacker News
💾Retro Computing
This Week in Security: DNS Oops, Novel C2s, and the Scam Becomes Real
hackaday.com·2d
🛡️seL4
Evals are a scam. And we're being gaslit into believing they aren't
hacktrace.substack.com·1d·
Discuss: Substack
🔍Formal Verification
First setup
reddit.com·17h·
Discuss: r/homelab
🏠HomeLab
REConnect: Participatory RE that Matters
arxiv.org·4d
🖥️Self-hosted Infrastructure