Taelin @VictorTaelin
Founder of @HigherOrderComp Building the massively parallel future of computing Reaching AGI to cure all diseases and suffering is all that matters github.com/VictorTaelin São Paulo Joined March 2011-
Tweets5K
-
Followers16K
-
Following879
-
Likes13K
(Note - this is a long rant about Rabbit, completely unrelated to HVM. Hope Twitter isn't spamming you with this post lol) Just to be clear, I think this review is pretty fair and honest. Just watched it all, and Marques raises great points. Yet, I'll go against the tides here,…
(Note - this is a long rant about Rabbit, completely unrelated to HVM. Hope Twitter isn't spamming you with this post lol) Just to be clear, I think this review is pretty fair and honest. Just watched it all, and Marques raises great points. Yet, I'll go against the tides here,…
Sleep coin landed heads, extremely productive day, 0 brain fog, improved some logic which removed the need for edge case checks all over the code, simplifying it even further. All tests pass, HVM-CUDA is in the greatest state it has ever been. For now 🥳
ok now for real why can't we use L2 to talk between CUDA blocks 🧐
Yeah I'm getting old. Woke up once again with an overwhelming brain fog for no good reason. Regardless, decided to go ahead and implement the hot page swapping optimization, which is of extreme importance. Why, though? I just kept tripping on my own feet over and over. Spent a…
Hey people sorry for spamming, I swear I try my best to avoid tweeting every random stupid thought I have, but I can't help myself, I'm just so genuinely happy about HVM these days 😭 Even it becomes a complete failure and flops in all senses, this is like a dream toy I always…
@mike64_t @o1lo01ol1o That's a great question too! Initially, you communicate with it via type theory. That is, you write a proposition describing your "problem" in Lean (most mathematicians can do that today). Then we compile that to IC, and ask the AI to unscramble it. Then we translate back to a…
madman babbling about AGI
TL;DR: borrow checker, borrow checker, borr... Rust started right (Affine λ-Calculus) but went in the wrong direction (shared references). HVM starts right (Affine λ-Calculus) and goes in the right direction (lazy cloning via fan-nodes). Let's build a game engine on it!
TL;DR: borrow checker, borrow checker, borr... Rust started right (Affine λ-Calculus) but went in the wrong direction (shared references). HVM starts right (Affine λ-Calculus) and goes in the right direction (lazy cloning via fan-nodes). Let's build a game engine on it!
polvo à galega @coproduto
17K Followers 3K Following CTO na @appcumbuca | Threads de tecnologia no fixado | Inimigo da orientação a objetos | English tweets at @the_coproductGeorgios Konstantopou.. @gakonst
108K Followers 2K Following very greek accent. cto & research partner @paradigm. optimist and rustacean 🦀 // team lead of reth, foundry, alloy. join us.Rígille Menezes 🥬.. @RigilleMenezes
797 Followers 959 Following So I'm just trying to learn some things and have fun @gleicegkc ❤Ameen Soleimani @ameensol
40K Followers 11K Following coordination arms dealer @unchainiran @0xbowio https://t.co/GB4ob8Ak0j @letsgethai @reflexerfinance @molochdaoAlex Van de Sande (av.. @avsa
45K Followers 2K Following Preventing human-machines conflicts since 2014. Ethereum Foundation Alumni (2014-2018), co-founder of ENS (2017), co-founder of Higher Order Company (2023).Sibelius Seraphini @sseraphini
46K Followers 17K Following CoFounder/CTO @woovibr https://t.co/h7V6Ic5FJt 8 years building Startups https://t.co/7Rbm0XjdXqLincoli Xavier @lincolixavier
9K Followers 518 Following TI | Nômade | Fotógrafo | Skydiver | Grad. Filosofia 📍Icaraizinho 🇧🇷🌎 17% https://t.co/QKdvGtq1wG O mundo inteiro ao seu alcance ⬇️Camilo de Azevedo @ocamilodev
5K Followers 3K Following 28 y. | 👨💻 DEV. working with Clojure and ClojureScript ADM na @UBLivre ORG na @gambiconfmacabeus 🏳️�.. @bmacabeus
4K Followers 553 Following HTML Developer / Tweets about anything in Portuguese and English / CuriousCat: https://t.co/4biCErcjZ9 / Linktree: https://t.co/0UlctM34PBgkos @geckones
3K Followers 5K FollowingFederico Carrone @federicocarrone
7K Followers 4K Following talk is cheap, build @class_lambda C + rust + erlang + julia + λ. amateur in everything: distributed systems, ML, compilers, cryptography and investment.Nick Gabe @ImNickGabe
17K Followers 1K Following ✨ Poeta de software, kinda biruta; 🚀 Meu site: https://t.co/otHgvgg6qO;Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושmikedemarais.eth (on .. @mikedemarais
52K Followers 16K Following 🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈🌈 cofounder of @rainbowdotme follow me on fartcaster https://t.co/zWTvLoSAyZum jeff de rinha @JeffQuesado
3K Followers 3K Following here be shitpost == @htmx_org Brasil CEO for memes (same thing) || não gosto de cenoura || código e crianças || medo de CSS 😱 || Rinher 🐓 || ele/heSofia @algebraic_sofia
3K Followers 675 Following 21y | Haskell, Lean4, Rust | MonadTransbian @leanproverShin @miyaku22
21 Followers 25 FollowingPrashanth Koripalli @prashanthko7
4 Followers 130 FollowingPete @veryrandomacc22
0 Followers 81 Followingbrianhurlow @bhurlow
280 Followers 707 Following like a power wash for your insides // music with @carrolltheband // () with @yellowdigDeeznuttynutz @Devon07979992
61 Followers 88 Following⚡POWERFIRE⚡ @POWERFlRE
67 Followers 301 Followingu @udit_jain_
1 Followers 2K FollowingLucas ♻ @WikiLucas00
196 Followers 599 Following NLP & HCI @EnchantedTools 🤖👄👂💻 • Admin. @LingLibre_WMFr🎙 & Contribut. @Wiktionnaire 🇼 • he, ilScalie Enjoyer @ScalieEnjoyer7
107 Followers 1K Following The chad scalie enjoyer vs. the virgin furry. I am the superior degenerate.Michael Murray @Mmurray37025
2K Followers 3K Following Conservative, Christian, Commentator on things that interest me, entrepreneur,member of MAGA basket of Deplorables supporting Donald Trump. God Bless America.Alexander M. @almmiko
7 Followers 64 Following Software Engineer / Distributed Systems / Cloud Nativefghuiop @th1isguuy
0 Followers 276 FollowingLi0n_is_hungry @Li0n_is_hungry
0 Followers 50 FollowingEric Hacker @Just1Hacker
11 Followers 51 FollowingAndrew Turner @turn61547
42 Followers 329 Following An Intelligence attempting to self-improve. Likes don’t mean anything. Replies don’t mean anything. YMMV.Tapeda @Tapeda_
81 Followers 78 Following "Fame is a form, perhaps the worst form, of incomprehension." -Borg(es) Notes to self(?) Some intent matter of re-presentation🪞 Harmony, Melody, Rhythm by theJohn Gazzini @gazzini
508 Followers 218 Following Health, tech, and parenting. CTO @truemedpayments | @coinbase | @dropbox姚钢强 @yaogangqiang
1K Followers 322 Following͏Camarada Sobrinho |.. @SobrinhoBTC
4K Followers 3K Following #Bitcoin #npub13j4jtgrm0dtsfzecx4khzz5a8ykgdd374qewewj0ksfmenps67lqz2yr8a | Capixaba | Calvinista | Cypherpunk |Richard Wilson @senjaiRW
580 Followers 955 Following Work in progress human. History, music, and code. Builders and makers are the future. Eng @shopifyAvila @euavila30
455 Followers 590 Following Todas as opiniões aqui são de completa irresponsabilidade minhaRhomas DaThomas @RhomasDaThomas
56 Followers 170 FollowingKristian @krisse2
21 Followers 209 FollowingFP @philmikal
74 Followers 1K FollowingJary Pomponi @JaryPom
86 Followers 466 Following Post-doc researcher @SapienzaRoma (@IspammL Lab) | Works on Continual Learning in #MachineLearning (and others stuff) | Searching for the posterior by samplingFlorian Bauer @florianbauer_fp
20 Followers 319 Following Backend Engineer. Interested in mathematics, FP, Scalanash_a @NashAvrilingham
4 Followers 80 Followingsholokhov @sholokhov16
9 Followers 34 FollowingTran Hai Dang @hdt91
15 Followers 720 Followingrjdlee @Rjdleee
14 Followers 39 FollowingRyan Lisse @ryanlisse
2K Followers 3K Following Web3 Dev by day, Music Producer by night. Front-end developer with a passion for crafting visually appealing, user-friendly web solutions.Amir Hossein @amir_hossein_hb
105 Followers 106 Following Msc student in Artificial Intelligence, trying to change the world for the betterMychaell Oliveira @OliverMychaell
138 Followers 551 Following Se liberdade significa alguma coisa, significa o direito de dizer as pessoas o que elas não querem ouvir ₿⚡David Luna @dluna1150
0 Followers 20 FollowingBruno Silva @BrunoS3D
317 Followers 680 Following Microfrontend Developer and Tech Leader | Innovator with a Track Record in Next.js, React, and Module Federation | Web3 Enthusiast | Aspiring crypto economistpolvo à galega @coproduto
17K Followers 3K Following CTO na @appcumbuca | Threads de tecnologia no fixado | Inimigo da orientação a objetos | English tweets at @the_coproductsuzuha⚡️🌙 @dystopiabreaker
44K Followers 1K Following cypherpunk interested in zk, AI, XR, privacy techRígille Menezes 🥬.. @RigilleMenezes
797 Followers 959 Following So I'm just trying to learn some things and have fun @gleicegkc ❤Alex Van de Sande (av.. @avsa
45K Followers 2K Following Preventing human-machines conflicts since 2014. Ethereum Foundation Alumni (2014-2018), co-founder of ENS (2017), co-founder of Higher Order Company (2023).Evan Van Ness 🧉 @evan_van_ness
111K Followers 687 Following Venture investooooor at @TxPoolCapital Former Chief Decentralization Officer @ethereum evan on @daimo_eth DM if you want a RT 🧉Camilo de Azevedo @ocamilodev
5K Followers 3K Following 28 y. | 👨💻 DEV. working with Clojure and ClojureScript ADM na @UBLivre ORG na @gambiconfmacabeus 🏳️�.. @bmacabeus
4K Followers 553 Following HTML Developer / Tweets about anything in Portuguese and English / CuriousCat: https://t.co/4biCErcjZ9 / Linktree: https://t.co/0UlctM34PBgkos @geckones
3K Followers 5K FollowingNick Gabe @ImNickGabe
17K Followers 1K Following ✨ Poeta de software, kinda biruta; 🚀 Meu site: https://t.co/otHgvgg6qO;Gabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבוש☀️☀️☀️☀.. @delete_shitcoin
16K Followers 449 Following Larpers who self-style as CEOs or CTOs or VCs are a bigger problem than the establishment. They can’t build anything and will sell you out in 2 seconds.Miguel @miguelgomes4
478 Followers 919 Following 👨💻 functional programming is cool ✨ nix is my waifu and my laifu @nixwm_ 💖kelvin ⚡ @steinerkelvin
503 Followers 1K Following · one of the lucky ten thousand · Free and Open Source · https://t.co/fwLW65kGHqHe4rt Developers @He4rtDevs
22K Followers 183 Following O melhor grupo de estudos para programadores totalmente sem fins lucrativos que você vai conhecer. Da comunidade para a comunidade💜Caleb @doutorcaleb
4K Followers 1K Following Cristão. minimalista bitcoin. Angel. NOSTR: https://t.co/c4FFPBB2z6Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc in Ljubljana • Author of the Introduction to Homotopy Type Theory • Formalisation • Univalent Combinatorics • Agda • Math Twitch • he/himZanfa @Zanfa
234K Followers 1K Following CEO da CapinaCorp, especialista em memes e com um gosto extremamente duvidoso de humor. [email protected]Eric @aporeticaxis
144 Followers 808 Following here for memes and alpha / 'Quaerendo, non certitudinem peto, sed congressum cum ineffabili'桜井 政博 / Masah.. @Sora_Sakurai
1.1M Followers 178 Following ソラ(Sora)代表 ゲームデザイナー/ゲームディレクター 『星のカービィ』『大乱闘スマッシュブラザーズ』など。 すみませんが、内容に関する質問には一切お答えできません。 Please note that I won't be able to answer any questions. YouTube展開中です。Roberta Duarte @import_robs
155K Followers 407 Following Física. Doutoranda em Astrofísica (USP). PhD Candidate. Trabalhando e divulgando black holes e IA. Roteirista no Ciência Todo Dia. TEDx speaker.gamedev da NOSFERATU-.. @tropicaliagame
7K Followers 2K Following por Paulo Franqueira (ele/dele). Artista, GameDev e Programador. Mais conhecido pelo Tropicalia, um bRPG Tupi-Guarani!Peter Jordan @peterjordan100
946K Followers 983 Following Músico, programador e nerdola. Anuncie: [email protected]Burny — Effective O.. @burny_tech
14K Followers 6K Following Transhuman engineer in singularity! Lover of AI & omnidisciplionary metamathemagics! Hypercuriousia! Omniperspectivity! Shapeshifting metafluid! Freedom 4 all!𝔊𝔴𝔢𝔯𝔫 @gwern
42K Followers 88 Following Internet besserwisser; pedantic, mean reply guy. 𝘞𝘢𝘵𝘢𝘴𝘩𝘪 𝘬𝘪𝘯𝘪𝘯𝘢𝘳𝘪𝘮𝘢𝘴𝘶! (Follow requests ignored due to terrible UI.)lara @noblma
204 Followers 179 Following| Gorutão | olha bio.. @GShinobiz
9K Followers 689 Following Artist account: @GoruOp sou fã de One Piece 💀Crémieux @cremieuxrecueil
88K Followers 902 Following I write about genetics, 'metrics, and demographics. Read my long-form writing at https://t.co/8hgA4nNS2A.Blue Bird Back ✨ @BlueBirdBack
790 Followers 488 Following GPT Builder ✨ 100 Days of GPTs 100. Prompt Pro 99. UTest 98. SD 3 Mate 97. VAPI 96. PyCallFunc 95. Groq 94. PySnap 93. Hume Mate 15. SEO HemingwayAdAstraGL (Music Comp.. @AdAstra_GL
15K Followers 279 Following Following Platinum co-developer. 🎼 Music Composer 💻 Programmer & Engineering student 📽️ Filmscore and Videogames lover 🇮🇹 - 🇬🇧 🇺🇸 - 🇪🇸Ju ✨ @jujuppy
89 Followers 383 Following ⚢🏳️🌈 - Fã de vampiros 🧛🏻♀️- @noriwrd 👩❤️💋👩 - 🎮 Gamer ❤️Nintendo: SW-4628-8207-2500 💚Xbox: Jujuppy2pin ≅ π + n |💻 .. @Pinheiro314
8K Followers 3K Following #studytwt & #collegtwt| ⊹₊˚ autista! eng de comp (2/10) — voluntária no laboratório de astrofísica e cosmologia 🌟The Mighty Palm @TheMightyPalm
10 Followers 53 Following I am the Mighty Palm. Palm as in the tree, not the hand thingy. I do my own thing.Monsteretrope @Monsteretrope
346 Followers 156 Following Shop: https://t.co/vx0TaK31ng Free samples: https://t.co/ECDwKB5mYg Bundle: https://t.co/04nauAxNCF #pixelartGrace Kind @kindgracekind
2K Followers 2K Following AI navel-gazer / Ideonomy evangelist / navigator of uncertain watersShaun Ralston @shaunralston
1K Followers 2K Following @OpenAI @SutterHealth @Webvan | BusDev – e/acc. Sonoma County Aficionado. Cyclist. Sticky Bun Seeker. AI Blogger. Technologist. Music Lover. Libertarian.Louis Knight-Webb @LouisKnightWebb
1K Followers 982 Following Modernising legacy code with LLMs @bloopdotai (YC S21)Lorem Impsu 🛸 @loremimpsu
7K Followers 661 Following 🚨Este perfil não tem um pingo de obrigação com os seus sentimentos. Eu desenvolvo alguns aplicativos e choro muito por aqui. @naopermitidodevudio @udiomusic
28K Followers 0 FollowingCreative.Edge @commonstyle
46K Followers 5K Following Creamos videos usando AI. Todavía es una etapa experimental. / Adobe Community Evangelist, Adobe Education Leader / Mr.Creative Edge (日本人)The BA Sensei Cave OO.. @SenseiCaveOOC
594 Followers 61 Following Out of context from the Cave filled with Sensei’s and other blue archive things DM for Credit if it’s yoursMas - Wishlist Artis .. @gentle_mas
3K Followers 70 Following ✨Artis DEMO OUT! https://t.co/Ps9I7O0RJp ☕Support: https://t.co/jXZi1x6vgv Currently working diligently on Artis by myself. 🙂The Spriters Resource @SpritersRes
3K Followers 2 Following Archiving & preserving video game media since 2003! A huge database of video game sprites, models, sound effects and textures, run by @TheVGResource & @Petie88_cadu / músico frustr.. @_____cadu_____
391 Followers 121 Following Programar até ficar velho. No momento, apaixonado em Rust e Python. Mais de 25 anos com UN*X. Aprender todo dia!janniks (λ) @janniksco
556 Followers 1K Following https://t.co/NLf2TvX57a / i like knowledge engines & tools for HCI / 90% shitposts, don’t take it personal / likes are bookmarksArtur Chakhvadze @norpadon
2K Followers 836 FollowingSydney @SardonicSydney
228 Followers 0 Followingdontoverfit @dontoverfit
255 Followers 290 Following Mostly interested in stream learning. Overfitting connoisseurParth Thakkar @parth007_96
2K Followers 2K Following @Meta | Previously @IllinoisCS @MSFTResearch @IBMResearch | LLMs + codeMetaCognized @MetaCognized
281 Followers 1K Following #LandOfTheFree #ObserverEffect session: 056c09aae6138271a49a7cb2166184a691073707b0d1f53cd6c0dc673ab769fb67Green Sleeves (✈️.. @Greeensleeves
123 Followers 91 Following error 418 | thoughts and vulnerable-poasting | where dreams go to dieDaniel Losey 🔀 @DanielJLosey
1K Followers 849 Following Jesus is 👑. Inventor of the first AI virus. Creating Finch, an open source genetic algorithm library.@VictorTaelin thats far, i dont like to carry phones either.. for the money id rather get a flipper zero for cheaper but to each their own.. i thought it needed a phone to like leech data from unless you were around wifi and since i dont live in a city it would be pretty useless to me.. i…
NEW VIDEO - Rabbit R1: Barely Reviewable youtu.be/ddTV12hErTc This is the pinnacle of a trend that's been annoying for years: Delivering barely finished products to win a "race" and then continuing to build them after charging full price. Games, phones, cars, now AI in a box
If this is indeed the next OpenAI model… honestly incredibly bullish for open source models. I briefly tried it and it’s not a significant step above current models
There is a mysterious new model called gpt2-chatbot accessible from a major LLM benchmarking site. No one knows who made it or what it is, but I have been playing with it a little and it appears to be in the same rough ability level as GPT-4. A mysterious GPT-4 class model? Neat!
@VictorTaelin I’m so hyped up for the release of HVM-CUDA!
@VictorTaelin Tua arte? Se sim, tá é lindo <3
@LetMeChatGPThat - on par with GPT-4 or better - obviously much more expensive to run - people assume it’s GPT-2 using some new method (maybe Q*) - I don’t think it’s yet another GPT-4 turbo checkpoint because they had plenty of those and never done stuff like this - model claims it’s GPT-4
@sc_codeUM start writing PowerShell scripts instead
BInius: highly efficient proofs over binary fields vitalik.eth.limo/general/2024/0…
@TheFigen_ Right foot plants near the left side of the lane, left leg, foot and left arm and shoulder completely into the other lane. If I'm judge, #6 is instantly disqualified.
Minha taxonomia de bugs: - o programa faz algo diferente do que ele deveria pelo que foi especificado - o que ele deveria fazer está descrito errado - você não sabia o que ele deveria fazer, nem o seu chefe, nem o cliente
discordo, tem 2 tipos de bug - quando o programa faz um resultado distinto doq vc estipulou - quando vc descreve errado as propriedades do problema, e o programa está certo mas não soluciona "suficientemente"
@VictorTaelin Like, it seems from answers here, like you kinda can? forums.developer.nvidia.com/t/how-to-commu… Not an expert in cuda internals tho
@VictorTaelin Probably would make work scheduling a lot more complicated?
instead of banning AI, why not just ban crime? "it can be used for fraud". ok, let's ban fraud, not AI. "it can be used to make WMDs." ok, let's ban making WMDs. (but also, that info is available online, so...) "it can be used to manipulate elections." ok, let's ban *that*.
Eu desejo toda sorte do mundo ao dono do empreendimento Railander Games