A portable picokernel for async I/O
ryansepassi.com·2h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
Rust Hobby OS projects worth exploring
oshub.org·18h·
Discuss: Hacker News, r/rust
🔧Unikernel Development
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.com·1d
🧮Z3 Solver
Flag this post
LTO Megapost!
reddit.com·6h·
Discuss: r/homelab
🔧Microcontrollers
Flag this post
Fungus: The Befunge CPU(2015)
bedroomlan.org·4h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
AerynOS 2025.10 ISOs Released - GNOME 49, Switches Back To GNU libstdc++
phoronix.com·19h
🔧Unikernel Development
Flag this post
GHC 9.14.1-rc1 is now available
discourse.haskell.org·20h·
Discuss: Lobsters, Hacker News
🏗️Dune
Flag this post
Is Your Old Software Holding You Back? Modernize with Microservices!
dev.to·18h·
Discuss: DEV
🔧Microservices
Flag this post
Runs-On: Mac
runs-on-mac.com·12h·
Discuss: Hacker News
💾Classic Mac OS
Flag this post
I'm creating a MMO game that runs directly on the terminal
reddit.com·11h·
Discuss: r/programming
🍏Darwin
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.com·12h·
Discuss: Hacker News
💬Mach Messages
Flag this post
Sculpt Operating System 25.10
genode.org·1d·
Discuss: Hacker News
📺Vintage Apple
Flag this post
My first fifteen compilers (2019)
blog.sigplan.org·9h·
Discuss: Hacker News
⚙️Compiler Design
Flag this post
Challenging the Fastest OSS Workflow Engine
obeli.sk·21h·
Discuss: Lobsters, Hacker News
🔀OCaml Multicore
Flag this post
Org Mode as Architecture Notebook
blog.wilcoxd.com·23h·
Discuss: Hacker News
🍎XNU Internals
Flag this post
Horror Coding Stories: Therac-25
read.thecoder.cafe·14h·
Discuss: r/programming
🎯GADT
Flag this post
Opportunistically Parallel Lambda Calculus
dl.acm.org·1d·
Discuss: Hacker News
🔀OCaml Multicore
Flag this post
Today I Learned: Binfmt_misc
dfir.ch·20h·
Discuss: Hacker News
🔧Unikernel Development
Flag this post
My Must-Have Apps Since Switching to Linux
reddit.com·9h·
Discuss: r/linux
🔬Unikernels
Flag this post
Rust Screen Recording Challenge - $400 + Beta Access
github.com·1d·
Discuss: r/programming
🍏Darwin
Flag this post