i think these types of failures are important, he is gonna fail but educate a generation of engineers that will go on to do something useful
Pretty staggering that the FT Trump interview opens with ‘if NATO doesn’t help us sort this mess, there’ll be problems’ and ends with ‘Russia might be helping target American soldiers, but really that’s sort of fair enough - we started it’.
www.ft.com/content/1ca6...
Taras Glek
Duncan Weldon
Wtf
ip --json addr is pretty nice outcome of being forced off ifconfig
Auto Navigating a million ci links and scrolling and deciphering nested logs is so nice
So true, also "go diagnose ci failures in this PR"
1) Provide weapons to aggressor country
2) Encourage victim to develop defenses
3) Complain when victim sells defenses making your weapons less effective
I dont like regime change wars, but do hope that current regime heads die like Gaddafi. All of them
nypost.com/2026/03/14/w...
Taras Glek
Taras Glek
Taras Glek
Taras Glek
Taras Glek
Lenovo’s New T-Series ThinkPads Score 10/10 for Repairability https://lobste.rs/s/azkace #hardware
@ilyasergey.bsky.social: "I formalised and proved the correctness of Move’s new borrow checker in Lean: 39,000 lines of mechanised metatheory, produced in under a month with the help of an AI coding assistant." How it went, and what it augurs for PL research.
proofsandintuitions.net/2026/03/18/m...
