Technical Founder. Previously at Twitter (...X?), Bridgewater, Square. GPGPU, functional programming, PL/compilers, distributed systems, performance. Ex-researcher of quantum computing/error correction. Accelerating acceleration.https://bsky.app/profile/winium.bsky.socialhttps://bsky.app/profile/winium.bsky.social/post/3lau5efkef22c"Theorem for free" -- can we just randomly autogenerate Lean proofs as a meme take on this idea?13 Nov 2024 20:03 +0000at://did:plc:timcyvq7qbd7unb4bmvtxx5b/app.bsky.feed.post/3lau5efkef22chttps://bsky.app/profile/winium.bsky.social/post/3l4345zffjq2q@bsky.app Should be able to follow people straight from the feed (or at least the post's menu). Right now we gotta click the post/author first.13 Sep 2024 23:24 +0000at://did:plc:timcyvq7qbd7unb4bmvtxx5b/app.bsky.feed.post/3l4345zffjq2q