mastodon
4.6.6
contents: cautionary cyberpunk aesthetic; boosting signal; cyber-systems engineering
PhD systems engineering. principal systems engineer, MBSE specialist.
contents: cautionary cyberpunk aesthetic; boosting signal; cyber-systems engineering PhD systems engineering. principal systems engineer, MBSE specialist. proponent of safe software using #Ada / #SPARK and #LISP
anybody rocking EXWM?
contents: cautionary cyberpunk aesthetic; boosting signal; cyber-systems engineering PhD systems engineering. principal systems engineer, MBSE specialist. proponent of safe software using #Ada / #SPARK and #LISP
fedi's favorite pastime is getting into internet arguments specifically with Matt Blaze and the GrapheneOS account :holdthepain:
contents: cautionary cyberpunk aesthetic; boosting signal; cyber-systems engineering PhD systems engineering. principal systems engineer, MBSE specialist. proponent of safe software using #Ada / #SPARK and #LISP
kinda hyped about Coalton Mine, the IDE for #CommonLisp and #Coalton
https://coalton-lang.github.io/20260424-mine/
They use Coalton for quantum computing... like whoa
contents: cautionary cyberpunk aesthetic; boosting signal; cyber-systems engineering PhD systems engineering. principal systems engineer, MBSE specialist. proponent of safe software using #Ada / #SPARK and #LISP
hilarious that they sent Outlook to space and it immediately didn't work :facepalm:
https://www.theregister.com/2026/04/02/artemis_astronauts_microsoft_outlook_broken/