@TheEduardoRFS I don't understand the technique, but I trust Coq and this looks like one of the coolest discoveries in all of type theory ever.
Like, you just traded recursion from "ΠΣ: Dependent Types without the Sugar" for prop eq?
Translate it to Lean and Agda and spam all the communities.
we've seen nothing yet! hosted a 9-13 yo vibe-coding event w. @robertkeus this w-e (h/t @antonosika@LovableBuild)
takeaway? AI is unleashing a generation of wildly creative builders beyond anything I'd have imagined
and they grow up *knowing* they can build anything!
3K Followers 817 Followinghead of @typememetics ⊢ best-selling type-safe rapper ⊢ known to write OCaml from time to time ⊢ raising a small human ⊢ https://t.co/wrbSZODDq3
5K Followers 2K FollowingMathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang.
JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
8K Followers 6K Following"Ready to cross to the Other Side of Zero? Focus on paying down debt and building assets. Financial freedom starts with smart choices today! 💸 Tips Welcome 💵
754K Followers 49K FollowingWe provide latest trends and professional car advice. Join our community of car enthusiasts. DM for promos or email: [email protected]
801 Followers 2K Followinghttps://t.co/cVCs6d5WN9 : I am the Cybertriker! I like Trikes, AI, Reproducible Systems and Networking. Current Mission: https://t.co/Q8MBfvBaRh . I'll be back!
4K Followers 4K FollowingEngineer | Coder | Investor | • Ethics | Tech |
• Off the clock: X | Cooking | Live Gaming | Netflix | F1 | Agnostic. On a mission to hit ₹2 Cr by 2027 🐾 ♟️.
6K Followers 978 FollowingI've been instructed by god to aid in the birth of a nation. -------------------------- swe wagie on the journey towards my calling
2K Followers 1K Following25-year code veteran | Debugging life's challenges with Stoic wisdom | Building robust web solutions and inner peace | Marcus Aurelius with a laptop
2K Followers 3K FollowingNurse; Pfleger ; singer🎤 songwriter, content creator. Welcome to Chioma Sounds Where Al meets artistry, and every beat tells a story.
8K Followers 6K Following🇬🇧 London Girl | Embracing the beauty in every moment ✨ | Fashion Enthusiast | Traveler | Lover of all things chic | Capturing London's charm
277K Followers 437 FollowingRivelino (@alpharivelino) is the creator of the green line test. His work has been featured in the New York Post, Newsweek, HuffPost, Daily Mail and Fox News
2K Followers 853 Following@Dispattern Owner | @Twitch Affiliate | Counter-Strike 🔥 | All my socials here : https://t.co/ZlZHphk18Y | I love jokes and memes.