Co-founder of @Superfluid_HQ. Building and using @yolc_dev for Ethereum and Superfluid.
Love to hang around in the Haskell community, too.miaozc.meJoined December 2024
Watching the "Dirty Harry" series again is one way to appreciate the complexity of dealing with the matter of good versus evil.
I hope the crumbling of the alliance on the right will call for a stronger philosophical foundation in 10 years. Not this time.
🧠 Live Variables will change how you write Verse code.
❌ No more manual callbacks.
❌ No more forgotten updates.
❌ No more "wait, why is the UI showing 0?"
Verse is getting reactive programming baked into the language
Everything you need to know 👇🧵
#Verse#UEFN#Fortnite
And Rubio's latest speech poses a decision that the so-called West must make urgently in response to the rise of the autocratic China: A Carney-lites' lament for "another world of yesterday," or a Rubionic charge for "the revival of the Columbus spirit."
"""
Nostalgia is not a strategy; among many fundamental changes, China has never been a more serious challenge to the world order than in recent history. So, I find Carney-lite attitude pitiful at best, and utterly impotent at worst. "Another world of yesterday," to almost quote
What if you could program with category theory directly?
CPL 0.2.0 is out 🚀 — a language with no built-in data types, where even functional types are defined using category theory.
Now runs in your browser via WebAssembly. Give it a try: msakai.github.io/cpl/
ZuriHac 2026 - Registrations are open!
ZuriHac is a completely free, three-day grassroots Haskell coding festival co-organized by the Zürich Friends of Haskell and the OST Eastern Switzerland University of Applied Science.
zureg.zfoh.ch/register
Positron has raised $230M in our Series B!
We're eagerly gearing up for the challenges ahead, and yes, we ARE hiring! Actual humans, in Haskell and hardware roles, remote friendly.
Feel free to reach out to me.
eetimes.com/positron-230-m…
"""
Nostalgia is not a strategy; among many fundamental changes, China has never been a more serious challenge to the world order than in recent history. So, I find Carney-lite attitude pitiful at best, and utterly impotent at worst. "Another world of yesterday," to almost quote Stefan Zweig's work, only that it was no longer about the Habsburg myth but a liberal-order myth. Get on with it!
"""
Having seen and survived more than a decade of political insanity in tech, my recommendations for healthy open-source projects are simple:
- No politics in open-source (left or right)
- No COC, language policing, political banners, or any other divisive and inherently political symbols and tools of power
- No consideration for conduct in other communities; whatever they said on X or BlueSky is irrelevant
- Speech and conduct within the project should be professional and focused on the goals of the project
- The only valid reason to ban someone is because they are making MORE work for core contributors than their contributions justify (if Stalin wants to submit a good PR, merge it without fuss)
- The only valid reason to moderate is because someone can't respect the above, and in such a case, the moderator, moderation decision, and moderated content should be transparent to guard against abuse
In a nutshell:
Code first. Be professional. Leave politics at the door.
If you do functional programming (like in Wolfram Language) you've probably used lots of pure functions, or lambdas. But what are lambdas like in the wild? Things I'm doing in CS, bio and ML converged to make me curious to find out... And as seems to happen whenever I go exploring in the computational universe ... they surprised me ...
writings.stephenwolfram.com/2025/09/the-ru…
Two new speakers confirmed for Munihac 2025!
@gael_deest will present the Hindsight event sourcing library
@hungryjoewarren will show us how to do CAD modelling with Haskell
Don't miss out! --> munihac.de/2025.html#prog…
6K Followers 643 FollowingProgrammer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
3K Followers 2K Followingsecuring onchain cryptography next billion dollar & making security accessible to any developer, intern @Zippel_Labs.
https://t.co/JXIUM0ZHdW
670 Followers 6K FollowingSmall Business Ai Automation Expert | Commercial Real Estate Broker | Investor | Curious Human | WEB3 + UPLAND Fan
https://t.co/OjibPitZUJ
551 Followers 1K Followingsandwich topology enthusiast. cs phd student. i teach people about math and computer science. sometimes i make tiny video games.
10K Followers 1K FollowingCryptographer @commonwarexyz
Opinions do not yadda yadda.
Did an MSc (Computer Science) @EPFL.
Avid, not fast runner.
https://t.co/yOuGtLnGMF on bsky.
129K Followers 13 FollowingTeam of PhDs in cryptography and ML rebuilding the foundations of crypto with self-authenticating tokens and edge validation.
6K Followers 23 FollowingThere’s room for everyone on the golf course.
We’re building a new kind of golf community:
social meetups / videos / podcasts / apparel / other fun stuff
148K Followers 210 FollowingChallenging the herd with bold thinking in philosophy, politics and culture.
Subscribe to UnHerd here: https://t.co/zUxzdsSoTQ
5K Followers 379 FollowingMaking every Claude Code user a 100x developer @ccdotdev. Making good engineers great at https://t.co/r6u0DWAkCk . Ph. D. in PL from @MIT. @thielfellowship 2012
28K Followers 532 FollowingThe London Mathematical Society (LMS), founded in 1865, is the UK's learned society for the advancement, dissemination and promotion of #mathematics.
1K Followers 75 Followingbuilding apps that let you stream money every second on @superfluid_hq | @alfafrens_,@superboring_xyz, @betonbangers and more...
320K Followers 729 FollowingInventor of WWW
Co-founder/CTO https://t.co/El70jppi0M
Co-founder https://t.co/61fuIdZHHu
Founder https://t.co/sEpIVjXIsU
Mastodon: https://t.co/iDQ5mmzR0H
My memoir ‘This is for Everyone’ out 9th September ⬇️
3K Followers 2K Followingsecuring onchain cryptography next billion dollar & making security accessible to any developer, intern @Zippel_Labs.
https://t.co/JXIUM0ZHdW
10K Followers 1K FollowingCryptographer @commonwarexyz
Opinions do not yadda yadda.
Did an MSc (Computer Science) @EPFL.
Avid, not fast runner.
https://t.co/yOuGtLnGMF on bsky.
551 Followers 1K Followingsandwich topology enthusiast. cs phd student. i teach people about math and computer science. sometimes i make tiny video games.
1K Followers 2K FollowingPhD student @SCSatCMU & research engineer @LayerZero_Labs.
Working toward zk too cheap to meter & formally verified by default
825K Followers 2K FollowingI am a technology enthusiast, writer, and modder. Founder of @ModRetro, @Oculus VR, and @Anduriltech. Keeping American superheroes safe with autonomous systems.
42K Followers 358 FollowingI built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.