I was on the Type Theory Forall podcast! I've been a fan of this one for years and had a really fun time on this one. Check it out: www.youtube.com/watch?v=Sdwj...

Show Post

python simply lets you get away with too many things and it shouldn’t

Show Post

AI agents all using Python as their language of choice is designed to torture me specifically

Show Post

oh this is *amazing* actually. as someone who's run a fair number of tabletop exercises for various security planning purposes, it's imho an incredibly underrated technique in the industry

Show Post

Show Post