← Feed

Posts

• View post

  This was a triggering, informative, and entertaining read: https://arxiv.org/abs/2604.11398 #nix #nixos

• View post

  International and class solidarity to all! Workers of the world unite! #mayday

• View post

  Väldigt bra poddavsnitt som beskriver nuläget och för fram många bra poänger: https://www.podbean.com/media/share/dir-33d97-2d781d7d För de som inte är med på noterna så började detta med en utredning https://regeringen.se/rattsliga-dokument/statens-offentliga-utredningar/2025/06/sou-202578 med några läsvärda remissvar från Lund och Must: https://www.regeringen.se/remisser/2025/06/remiss-av-sou-202578-en-reformerad-underrattelseverksamhet som nu då skall bli en ny underättelsemyndighet under UD...

• View post

  At CDIS at KTH and listening to June Andronick on seL4 and I'm left wondering how scalable relying on global axiom of choice is in the era of vibe coders. Perhaps nothing has changed? We just commit to to do MORE proofs by vibe proving? As Terrence Tao (@tao) has pointed out, in this era it is not important who produces an artifact, it is however important to ingest the artifact in such a way that we collectively can build trust against said artifact. Personally I feel that, in this era,...