Slava Pestovslava@mathstodon.xyzOct 7, 2026, 5:46 PM@zwarich @steve @joe I have yet to take the first step from PLs to OSes, but when I do I think I’ll start by designing the computer algebra system that will be the operating system’s shell
Slava Pestovslava@mathstodon.xyzOct 7, 2026, 5:50 PM@zwarich @steve @joe The boot process is encoded as a series of rewriting rules, with dependencies between services represented by an adjacency matrix
Oct 7, 2026, 5:46 PM
Oct 7, 2026, 5:52 PM
Per Vognsenpervognsen@mastodon.socialOct 7, 2026, 5:58 PM