Win Wang
@winium.bsky.social
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.
Previously at Twitter (...X?), Bridgewater, Square.
GPGPU, functional programming, PL/compilers, distributed systems, performance.
Ex-researcher of quantum computing/error correction.
Accelerating acceleration.
"Theorem for free" -- can we just randomly autogenerate Lean proofs as a meme take on this idea?
November 13, 2024 at 8:03 PM
"Theorem for free" -- can we just randomly autogenerate Lean proofs as a meme take on this idea?
@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.
September 13, 2024 at 11:24 PM
@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.