What Makes NixOS Different (and Why It's Better)
dashdot.me·3d·
Discuss: Hacker News
❄️Nixified Development
Python and NixOS: A match made in hell
crescentro.se·2d·
Discuss: Hacker News
❄️Nixified Development
Mezzano, an operating system written in Common Lisp
github.com·15h·
Discuss: Hacker News
🔬Unikernels
Translating Cython to Mojo, a first attempt
fnands.com·2d·
Discuss: Hacker News
🍎Apple
My first Home Server !
reddit.com·8h·
Discuss: r/homelab
🏠HomeLab
BitVMX New Open Source Components: Key Management, Storage, and Configuration
bitvmx.org·12h·
Discuss: Hacker News
🧱Immutable Infrastructure
Language Arithmetics: Towards Systematic Language Neuron Identification and Manipulation
arxiv.org·2h
🐫OCaml
Legally Distinct Space Invaders Display WiFi Info
hackaday.com·4h
🔬Unikernels
Hask Is Not a Category
math.andrej.com·12h·
Discuss: Hacker News
➡️Category Theory
True Linux power users get more out of the best OS
zdnet.com·15h·
Discuss: Hacker News
💾Retro Computing
Show HN: MoebiusXBIN – ASCII and text-mode art editor with custom font support
blog.glyphdrawing.club·16h·
Discuss: Hacker News
🐫Embedded OCaml
A Tour of Solaris 2.6 (2021)
smackeyacky.blogspot.com·1d·
Discuss: Hacker News
🔬Unikernels
OpenPsion
linux-7110.sourceforge.net·2d·
Discuss: Hacker News
🔬Unikernels
Our $100M Series B
oxide.computer·17h·
Discuss: Lobsters, Hacker News
💾Retro Computing
Installer Usability
freebsdfoundation.org·1d·
Discuss: Hacker News
🔬Unikernels
The pest book is finally complete now!
github.com·17h
⚙️PL Implementation
Morty: Scaling Concurrency Control with Re-Execution
muratbuffalo.blogspot.com·1d·
Discuss: Hacker News
⚙️Operating System Design
Fast Software, the Best Software
craigmod.com·2h·
Discuss: Hacker News
💾Retro Computing
GitHub - isene/xrpn: The eXtended RPN programming language
github.com·6h·
Discuss: r/commandline, r/programming
📦Unikernel Systems
Interesting, Unsolved Technical Problems
catherinejue.com·11h·
Discuss: Hacker News
📦Unikernel Systems