Edward Tjörnhammar
edwtjo@functional.cafe
<p>Leftist hacker, call-by-need enthusiast, red/green cut artisan, vegan</p>
Posts
-
Post #3057554
This was a triggering, informative, and entertaining read: https://arxiv.org/abs/2604.11398 #nix #nixos
-
Post #3057553
International and class solidarity to all! Workers of the world unite! #mayday
-
Post #3057552
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...
-
Post #3057551
At CDIS at KTH and listening to June Andronick on seL4 and I&#39;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,...