Notices by Quinn “The Eskimo!” (justkwin@toot.community)

@integerpoet @jamesthomson @Cdespinosa Ooo, yours might be lower than mine, and I keep getting that surprised look when folks have reason to look it up. I think it came from being really early adopters of Sonar.

@integerpoet @jamesthomson @Cdespinosa Your number is actually /higher/ than mine, which contradicts your alphabetical theory. And the delta is only 4, which is more evidence for my Sonar theory. But… well… *shrug*

Formally verified Unix-y kernel written in Ada is /not/ something I had on my Bingo card.

“Ironclad OS crafts Unix-like kernel in Ada and SPARK”

https://www.theregister.com/2025/11/10/ironclad_os_unix_like_kernel/

Typo of the day: Swiss concurrency

@cocoaphony @mergesort @kylebshr @jsq @rjmccall I’m kinda reluctant to make too many pronouncements about Swift concurrency myself. We as a community are still collectively ironing out the details.