First screen, captured . Open the video.
Full page

Captured . Click for the whole screenshot.
Looks similar
Live-migration support in FreeBSD and bhyve coming(gyptazy.com)
64 points by JohnDohnBohn | 15 comments
Blog post presenting a work-in-progress RFC implementation of live VM migration for bhyve on FreeBSD 15.1, covering design, test results, and blockers to upstreaming.
Adding RSA Support to swift-nio-ssh(lograker.app)
6 points by moonlighter | 2 comments
Blog post from LogRaker describing how the author forked Apple's swift-nio-ssh to add RSA key support (rsa-sha2-512) for older EC2 instances, and the gotchas involved.
How I run my servers (2022)(blog.wesleyac.com)
345 points by ingve | 147 comments
Wesley Aptekar-Cassels's 2022 blog post describing how he runs and deploys his own server software on VMs instead of cloud services.
Formalizing CPython(broyojo.com)
104 points by carnevalem | 41 comments
A writeup describing how AI agents translated CPython internals into 613,318 lines of Lean, proved properties, and found 418 Python bug reports.
Related stories
A year of funded FreeBSD development(daemonology.net)
370 points by cperciva | 121 comments
Colin Percival's blog post reflecting on a year of Amazon-sponsored work on FreeBSD, including EC2 support and release engineering duties.
Io_uring, kTLS and Rust for zero syscall HTTPS server(blog.habets.se)
444 points by guntars | 138 comments
Blog post describing building an HTTPS web server in Rust using io_uring and kernel TLS to avoid system calls on the request path.
A Love Letter to FreeBSD(tara.sh)
401 points by rbanffy | 266 comments
A personal blog post written as a love letter to FreeBSD, praising its coherent base system, boot environments, and long-term stability.
ChatGPT Desktop forwards your SSH agent to remote machines
176 points by DenGorbachev | 57 comments
Hacker News discussion post reporting that ChatGPT Desktop forwards the local SSH agent to remote machines, letting the remote agent use your credentials.
New Linux udisks flaw lets attackers get root on major Linux distros(bleepingcomputer.com)
336 points by smig0 | 227 comments
BleepingComputer news article about a udisks vulnerability that lets attackers gain root privileges on major Linux distributions.
My first contribution to Linux(vkoskiv.com)
633 points by vkoskiv | 76 comments
A blog post recounting the author's experience upstreaming their first Linux kernel patch, fixing a hardware issue on a 2005 Fujitsu Lifebook S2110.











