amos

fasterthanli.me

18 October 2026 16:23

I’m gonna steal the cloudflare lava lamps

rain 🌦️

sunshowers.io

18 October 2026 03:33

Chat is it time to learn Lean? Not slop learn but like learn for real

Sacha Ayoun

giltho.bsky.social

02 October 2026 16:21

In this new era where I can just make the app I need in an afternoon, Apple is going to have to up its game and let me load my own apps on my iPhone much more easily than whatever the current bullshit is.

opale !!

n1ark.acouphene.net

01 October 2026 01:11

making a DSL that will solve all my problems and unify everything and make everyone's life better

Gernot Heiser

microkerneldude.bsky.social

22 September 2026 11:40

RIP SMP kernel In my #seL4 Summit talk I also examined performance of the SMP vs multikernel, in the process eating my words from 11 years ago, claiming that an SMP kernel was better for closely-coupled cores (see trustworthy.systems/publications...). Multikernel is the way to go!