Win Wang

@winium

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.

51
Followers 66
Following 7
Posts 31.03.2024
Joined

Posts Following

Latest posts by Win Wang @winium

"Theorem for free" -- can we just randomly autogenerate Lean proofs as a meme take on this idea?

13.11.2024 20:03 👍 0 🔁 0 💬 0 📌 0

Wait, is this the camping version of "spherical cow in a vacuum"? 😅

19.09.2024 20:44 👍 1 🔁 0 💬 1 📌 0

I think there has to be some amount (maybe less lol) of automated detection. There's just too much content to sift through, and the statistical health/quality of forums/convos need to be maintained. But it sounds like you were a victim of an overly-heavy-handed policy.

19.09.2024 20:43 👍 1 🔁 0 💬 0 📌 0

Also, wow that video resolution is horrific. Would like an "edit post" feature as well.

19.09.2024 20:37 👍 1 🔁 0 💬 1 📌 0

Nice, didn't even realize that -- but I meant an explicit "Follow" button without having to click into a menu or into the comment thread.

19.09.2024 20:36 👍 1 🔁 0 💬 1 📌 0

Dark Souls 2 mentioned!

13.09.2024 23:30 👍 1 🔁 0 💬 0 📌 0

@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.09.2024 23:24 👍 1 🔁 0 💬 1 📌 0