Leo Gorodinski @eulerfx
Co-Founder / CTO https://t.co/ULhUdcCcQH @AlvysTeam, former engineer @JetTechnology github.com/eulerfx Solana Beach, CA Joined May 2008-
Tweets4K
-
Followers2K
-
Following778
-
Likes20K
Evaluating the Infinite 🧵 My latest paper tries to solve a longstanding problem afflicting fields such as decision theory, economics, and ethics — the problem of infinities. Let me explain a bit about what causes the problem and how my solution avoids it. 1/20
Grothendieck unpublished notes: a thread.⤵️
current big gap in AI capabilities: knot theory. recognizing knot types, even in"standard presentation" (from knot tables) is very difficult, even for the best models right now.
Today, I decided to try again at using generative AI (GPT-5 and Grok 4) to assist with a math/physics research problem. For context: I've been developing and testing a new first-order, flux-conservative formulation of the Einstein equations that can be evolved... (1/6)
Today, I decided to try again at using generative AI (GPT-5 and Grok 4) to assist with a math/physics research problem. For context: I've been developing and testing a new first-order, flux-conservative formulation of the Einstein equations that can be evolved... (1/6)
From a sports bar idea to a $65M Asset-Brokerage — Adam Blanchard shares top tips from how he scaled Tanager Logistics & Double Diamond Transport to fighting freight fraud in Congress, & how to build a winning team. Listen now! hubs.ly/Q03Dd8T50
Neural networks are grown, not programmed. What does that growth process look like? Like this! This is a small language model (3M) across training, visualised with a new interpretability technique: susceptibilities. We call this handsome critter the rainbow serpent.
Built by a fleet owner & tech innovator, Alvys is the modern TMS solving what legacy systems couldn’t. Smarter. Faster. Since 2020. Time to ditch outdated tools? Level up at: hubs.ly/Q03yrNgz0 #Alvys #FreightTech #LogisticsInnovation #TMS #TruckingTech #ModernTMS
Now accepted at Quantum Studies: Mathematics and Foundations link.springer.com/journal/40509 our: ++++++++++++++++++++++++ ++ The Quantum Monadology ++++++++++++++++++++++++ ncatlab.org/schreiber/show… Thanks to the referees for their hard work and diligence, we appreciate it.
I originally wrote this library to er.. re-answer a stack overflow question. It has since been used for everything from analyzing high energy physics data to machine learning to computer graphics to pick and place machines to keeping flying cars aloft with people in them. The…
I originally wrote this library to er.. re-answer a stack overflow question. It has since been used for everything from analyzing high energy physics data to machine learning to computer graphics to pick and place machines to keeping flying cars aloft with people in them. The…
@eulerfx We did it mostly by bragging about @AlvysTeam ! 👊
Today I decided to try using o1 to assist with some math/CS research. Here's how it went. For context: I'm currently developing an automated theorem-proving framework in Scheme, and attempting to produce formal proofs of correctness for some advanced numerical algorithms. (1/10)
10 years ago today, I launched the Math3ma blog. At the time, I wasn’t sure the site would resonate with anyone, but I’ve been amazed by all that’s happened over the past decade! To celebrate, here’s a new post on category theory and language models 🥳math3ma.com/blog/magnitude…
I want to explain in down-to-earth terms what this paper is about, since it ultimately boils down to what I think are some really concrete and fundamental questions. 1/n
I want to explain in down-to-earth terms what this paper is about, since it ultimately boils down to what I think are some really concrete and fundamental questions. 1/n https://t.co/wcbJ9vFOFD
I'm often described (due to my work on computable physics) as being an advocate for the Simulation Hypothesis. But I'm not. In fact, I think the Hypothesis is nonsensical, and that the most famous argument in its favor actually proves the opposite of what it purports. (1/10)
The apparent "philosophical problems" of quantum mechanics are not unique to QM at all: they are in fact the same problems that arise whenever one attempts to construct an abstract model of reality. We can see these problems already in high school-level mechanics. (1/14)
++++++++++++++++++++++++++++++++ ++ The idea of ++ ++ Topological Quantum Computation ++ ++++++++++++++++++++++++++++++++ for laypeople with just a basic inkling of ordinary quantum computation A thread. (link at the end)
What would it mean to replace TCP? We've been using TCP for almost 50 years, since it was designed for ARPANET in the late 70's. Back then, network links struggled to send kilobits per second, now, they send gigabits per second--literally a million times more flow. Through all…
I wrote down literally everything I've learned about the journey from startup founder ($0) to scaleup CEO ($25billion). This thread is the on the lessons in LEADING. Several more threads coming on different topics.
What happens if your CPU gets something wrong? If it wakes up one day and decides 2+2=5? Well, most of us will never have to worry about that. But if you work at a company the size of Google, you do, which is why this paper on "mercurial cores" is so fascinating. What the…
Greg Young @gregyoung
29K Followers 2K Following
Vlæd Zá 🤡 @vzarytovskii
1K Followers 873 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7.
Rinat Abdullin @abdullin
4K Followers 298 Following Technical Advisor. I help to build ML-driven products. Newsletter: https://t.co/qB9sJSI7q5
Sergey Tihon has gone... @sergey_tihon
4K Followers 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
Rick @rickasaurus
9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Alexey Zimarev 🇳�... @Zimareff
3K Followers 393 Following Head of Product @eventstore, author of Hands-On Domain-Driven Design with .NET Core. Creator of https://t.co/EPIgbC0WDQ Views are my own.
Vaughn Vernon @VaughnVernon
25K Followers 214 Following Software Architect and Modeler | #DDDesign | Systems Transformation | Simplicity | Writes Code | Actor Model | @kalele_io @kalele_domo | em dashes—my own
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Will Smith @TIHan
1K Followers 880 Following Senior Engineer at Alvys / Formerly @Microsoft on .NET JIT Compiler, F# and Xamarin https://t.co/nnxPikBE4o
Vagif Abilov #StopWar... @ooobject
2K Followers 1K Following
Adam Granicz @granicz
2K Followers 1K Following CEO, IntelliFactory - Your Functional Experts, Caltech CS
Tomas Jansson @TomasJansson
1K Followers 1K Following Principal Software Engineer at Elkjøp Nordic, previously VP engineering at Unacast and consultant for 10 years. F# enthusiast, Puluminary, former Microsoft MVP
Christian Findlay @CFDevelop
12K Followers 5K Following #Flutter 💙 #dotnet | Agitating for improvement and crusading against nonsense as Director of @nimblesite
Jake Scott @jakejscott
835 Followers 2K Following
Talfu @Talfu720418
17 Followers 891 Following
Γ(z) @gammaofzeta
12K Followers 2K Following Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.
Slouawmkaw @Slouawmkaw6201
97 Followers 2K Following
LindaWilmott @sQ3N06s33U572G
1 Followers 255 Following
JulieEvan @bm3kkkQ3N6kB5GS
7 Followers 287 Following
Jeff Dean | Personal @JeffDeanP
7K Followers 907 Following Chief Scientist, Google DeepMind & Google Research. Gemini Lead. Opinions stated here are my own, not those of Google. TensorFlow, MapReduce, Bigtable, ...
Yswalelmo @Yswalelmo20123
41 Followers 2K Following
Hammad shahid @Hammadshah950
4 Followers 66 Following Fonuder @ Nexque Agency | 🚀 World Top 10% Designers and Developers in our Team | 🎯 954+ Projects Delivered | 💻 420+ Satisfied Clients from 🌍 45+ Countries
Vinayak Kumar @vinayak7631
2 Followers 243 Following software developer, AI full stack developer, python, MERN, fastAPI, DevOps, Gen-AI
Flora @Voorpi0852219
52 Followers 2K Following The strongest actions for a woman is to love herself, be herself, and shine amongst those who never believed she could.
TBJ @The_TBJ
185 Followers 1K Following
Mohamed Barakat @math_barakat
1K Followers 2K Following Professor of mathematics, (all views personal, retweets and likes do not imply endorsement)
Fred Grier @fredmgrier
3K Followers 6K Following Business + San Diego | Real Estate Associate @JLL | Past: Tech Journalist for 500+ tech/bio startups | @UCSanDiego @UofSanDiego MBA MSRE
Zach Stevens | The Br... @zstvns
588 Followers 515 Following I help SaaS teams turn traffic into revenue 🤘 Co-Founder https://t.co/QGraqCgVV5
Corey Haines @coreyhainesco
21K Followers 6K Following SaaS Marketing • Cofounder https://t.co/JVrVSo5exB • Cofounder https://t.co/mXLrmF80Tc • Founder https://t.co/2BX8XdebxX
Joe Conway @itsjoeconway
5K Followers 188 Following Founder: https://t.co/jaLWTnnsDO | Founder: @stablekernel (exited) | Author: iOS Programming: The Big Nerd Ranch Guide | OSS: Aqueduct | All-Big Ten T&F @ Wisco
debidatta gouda @debidattagouda
33 Followers 412 Following
Isabella @eV4i393d6NIGxy
23 Followers 1K Following
Audeheep @Audeheep02232
26 Followers 1K Following
Mitchel Auer @AuerMitche14240
41 Followers 2K Following
Domesticated Brain @rasangarocks
63K Followers 67K Following This is the official twitter account for web site called Domesticated Brain. We are sharing various kinds of #computer #tutorials and latest #technology news.
Heeilou @Heeilou200
32 Followers 2K Following
Stuart Bright @stuartbright
22 Followers 254 Following
JK @chnessGame
109 Followers 455 Following
🚀 Sober Success fo... @SoberCoaching
2K Followers 2K Following Empowering ambitious entrepreneurs with sobriety benefits 🙌 Real strategies for discipline + clarity to level up yourself AND your business💪DM for a free call
Ugaootah @Ugaootah33028
29 Followers 984 Following
Alberta Gleason @AlbertaGle65453
112 Followers 4K Following
Summer @Tronaf828
33 Followers 998 Following
Mahmut Arslan @mahars80
13 Followers 161 Following
Marc Andreesen 🇺�... @pmarrca__
296 Followers 7K Following Yes, I can see some risk that your threat to jail internet company executives for not censoring aggressively enough to backfire.
Velinda Galdamez @GaldamezVelinda
1K Followers 3K Following
Stephen Petit @truckpr
4K Followers 2K Following PR guy at SiefkesPetit. Covered in dog hair, smells like horse. Profile pic: Seattle Mariner Randy Johnson, SI, 3/31/97 🇨🇦🇺🇸 #SaveOurSonics
Hip Hop Library @hiphoplibrary
4K Followers 8K Following Current Events and History for Hip Hop Heads #HIPHOP4LIFE #hiphoped #knowledge
Y Sayed @SayedDigit
18 Followers 146 Following Passionnée de logistique | Créatrice numérique | Animatrice @digidispatch 🚀😺
Sourya Bhattacharya @SouryaStudy
14 Followers 473 Following
Erin Murphy @wosnitza_j78128
24 Followers 102 Following
Alexander @Alexand52645890
160 Followers 4K Following
Qiepi @Qiepi6088931
31 Followers 1K Following
Greg Young @gregyoung
29K Followers 2K Following
David Fowler @davidfowl
140K Followers 1K Following Distinguished Engineer at Microsoft on .NET, Creator of NuGet, SignalR, https://t.co/PiydKAsC8g Core, Aspire and Barbadian 🇧🇧, Tennis Player, Father, other half @symonefowler
Don Syme @dsymetweets
11K Followers 3 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
Vlæd Zá 🤡 @vzarytovskii
1K Followers 873 Following C++ compiler (prev. F# compiler) @ Microsoft. Opinions are mine. Russia is a terrorist state! Make fascists afraid again. Fuck bigots. 1+3+1+2=7.
Rinat Abdullin @abdullin
4K Followers 298 Following Technical Advisor. I help to build ML-driven products. Newsletter: https://t.co/qB9sJSI7q5
Sergey Tihon has gone... @sergey_tihon
4K Followers 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Miguel de Icaza ᯅ�... @migueldeicaza
97K Followers 5K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Erik Meijer @headinthebox
31K Followers 2 Following
Tomas Petricek (find ... @tomaspetricek
9K Followers 931 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
Rick @rickasaurus
9K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
Alexey Zimarev 🇳�... @Zimareff
3K Followers 393 Following Head of Product @eventstore, author of Hands-On Domain-Driven Design with .NET Core. Creator of https://t.co/EPIgbC0WDQ Views are my own.
Vaughn Vernon @VaughnVernon
25K Followers 214 Following Software Architect and Modeler | #DDDesign | Systems Transformation | Simplicity | Writes Code | Actor Model | @kalele_io @kalele_domo | em dashes—my own
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Internal Tech Emails @TechEmails
583K Followers 882 Following Internal tech industry emails that surface in public records. 🔍
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Will Smith @TIHan
1K Followers 880 Following Senior Engineer at Alvys / Formerly @Microsoft on .NET JIT Compiler, F# and Xamarin https://t.co/nnxPikBE4o
Fernando 🇮🇹🇨... @Franc0Fernand0
46K Followers 236 Following Dad and husband • Software Engineer for 15+ years • Algorithms, Distributed Systems, System Design, Computer Vision
Satnam Singh @satnam6502
20K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Mary Ann Azevedo @bayareawriter
41K Followers 6K Following Freelance writer @CrunchbaseNews, @ThisWeekInFintech, @CrainCurrency. Ex-@TechCrunch. Believer in the power of kindness. [email protected].
Julian Schrittwieser @Mononofu
20K Followers 100 Following Member of Technical Staff at Anthropic AlphaGo, AlphaZero, MuZero, AlphaCode, AlphaTensor, AlphaProof Gemini RL Prev Principal Research Engineer at DeepMind
Vintage Maps @vintagemapstore
337K Followers 8 Following Exploring the world through the lens of cartography and design. 🗺️ Vintage maps, propaganda posters, modern infographics, and heraldry.
Toby Ord @tobyordoxford
26K Followers 154 Following Senior Researcher at Oxford University. Author — The Precipice: Existential Risk and the Future of Humanity.
Michael Kofman @KofmanMichael
433K Followers 364 Following Senior Fellow, Carnegie Endowment. Defense analysis with a focus on the Russian and Ukrainian militaries.
Хаджимурат ... @HGatsalov
6K Followers 35 Following The Official Gatsalov Khadzhimurat Twitter Page. Freestlye Wrestler, 5x World Champion, 2004 Olympic Champion.
Tuomas Hietanen @Thoriumi
487 Followers 665 Following CTO at Fund Ourselves, Founder of Helsinki F# community
Terence Crawford @terencecrawford
505K Followers 419 Following Father First!!! 3X WBO Champion 3X lineal Champion!!! 2X UNDISPUTED CHAMPION WBA,IBF,WBO,WBC @crowncoinsc Ambassador
Secretary Kennedy @SecKennedy
1.1M Followers 2 Following Official page of @HHSGov Secretary Robert F. Kennedy, Jr.
Javier Toledo @javier_toledo
801 Followers 1K Following CTO & co-founder at @theagilemonkeys. Husband of @alicia_robaina and 2x dad.
Cindy McCain @WFPChief
137K Followers 1K Following Mother, humanitarian, Arizonan. Serving as the 14th Executive Director of the @UN World Food Programme, @WFP.
Vivek Galatage @vivekgalatage
10K Followers 538 Following 20+ yrs of building browsers • chromium, webkit contributor • enjoys compilers, systems, languages, teaching • founding eng @browsercompany • views are personal
Rep. Marjorie Taylor ... @RepMTG
5.1M Followers 751 Following Christian, Mother, American, Business Owner, and Congresswoman representing Georgia’s 14th District |Chairwoman @DOGECommittee | AMERICA ONLY 🇺🇸
Marjorie Taylor Green... @mtgreenee
1.6M Followers 2K Following Congresswoman for GA-14, Christian, Mom, Small Business Owner, Proud American 100% Pro-Life Pro-Gun Pro-Trump | AMERICA ONLY🇺🇸 https://t.co/S8mJPFXYX0
Konrad Muzyka - Rocha... @konrad_muzyka
114K Followers 610 Following Independent Defence Analyst focusing on Russia and Belarus / Director of https://t.co/cRvidHQ0j7 Normal caveats apply
Julian @julianboolean_
1K Followers 713 Following experimental cozy face account honor is in trying anyway “unnervingly flexible” - @g_leech_
Institute for the Stu... @TheStudyofWar
752K Followers 3K Following ISW is a policy research organization focused on U.S. national security. Email: [email protected].
Damian Płaza @raimeyuu
1K Followers 5K Following Problem Solver/Solution Problemer. Engineer, baptized in control engineering. Passionate about people, software design, and modeling. Functional-first thinker.
Olya @w0lya
678 Followers 727 Following
WallSense @CinematicLands
38K Followers 13 Following Art, emotion, nature, and connections. A celebration of beauty, intimacy, and the art of feeling
Eva Miranda @evamirandag
3K Followers 1K Following Chair @la_UPC IcreaAcademia @icreacommunity @adw_goe @unigoettingen @CRMatematica @AvHStiftung @UniCologne living in a "mote of dust suspended in a sunbeam".
Tivadar Danka @TivadarDanka
84K Followers 513 Following I make math and machine learning accessible to everyone. Mathematician with an INTJ personality. Chaotic good.
Γ(z) @gammaofzeta
12K Followers 2K Following Anti-speciesism 🌱, deep ecology. Mathematical physics. I like puzzles and riddles.
Reed Strength & Mobil... @CoachGeoffReed
35K Followers 906 Following Trainer | Helping you increase strength, mobility, and resilience to injury | My Athletic Longevity programs are on the ATG Online App 👇
Convex @convex_dev
16K Followers 299 Following The backend platform she tells you not to worry about.
Daniel Friedman @dfried00
558 Followers 30 Following
Marc Bowes @marcbowes
841 Followers 119 Following I work for @AWSCloud (Aurora DSQL) & my opinions are my own.
Jack Vanlightly @vanlightly
4K Followers 233 Following @confluentinc thinking about event streaming. Ex @Splunk, @VMware https://t.co/3axXZezyy4, https://t.co/voJWmL4KM6 Credit: ESO/B. Tafreshi
Bonehead Truckers @boneheadtruckrs
9K Followers 321 Following Ethnic American 🇺🇸 An advocate for truck drivers and truck driver safety. Creator of the Bonehead Truckers brand.
Towards Data Science @TDataScience
245K Followers 2K Following The world's leading publication for data science and artificial intelligence professionals. Submit an Article ✍️ https://t.co/57pIMegK1o
Natalie Vais @natalievais
3K Followers 1K Following GP @sparkcapital // databases, distributed systems, and developer tools // formerly @AmplifyPartners @GoogleCloud @Oracle // fight on 🌎🌱
KneeOverToesGuy @kneeovertoesguy
206K Followers 239 Following Knee Ability Zero to Pro: https://t.co/hTLLgOMSrh Equipment & Shoes: https://t.co/y61zp6agzX
Robert McLaws @robertmclaws
6K Followers 3K Following Founder & CEO of BurnRate (@BurnRate_io). Helping GTM leaders understand finance. Award-winning @dotnet engineer. Former Microsoft MVP. @dotnetfdn member.
Dr Maria Violaris @maria__violaris
7K Followers 436 Following Quantum physicist & sci commer | Quantum computing @OQC_Tech | PhD @UniofOxford | Outreach @qqq_iop | Founder @quantuminfosoc | Prev. @IBM @Qiskit @PhysicsWorld
Joe Lonsdale @JTLonsdale
237K Followers 490 Following I'm an entrepreneur, investor, & philanthropist. I founded @PalantirTech @Addepar @UAustinOrg @8VC & other mission-driven orgs. Bold policy @InstituteCicero
Inna Vishik @InnaVishik
3K Followers 579 Following Associate Professor of Physics and Astronomy at UC Davis Spectroscopies of quantum materials Scientist, mother, and techno-optimist
San Diego Web Cam @SanDiegoWebCam
5K Followers 298 Following Live 4K views of #SanDiego, the bay, Oceanside, Lake Otay & Pacific Ocean. Chat & hear #NOAA & #MarineRadio. Watch #USNavy, #CruiseShips, #parades on YT.
Tech Sales Guy @TechSalesGuy3
14K Followers 460 Following Building GTM programs for tech companies | Follow for tips on cold outreach, outbound and partnerships
Igor Baković @bakovic_igor
190 Followers 291 Following A working category theorist, working on foundations of mathematics, logic and theoretical computer science.
Unison | @unison-lang... @unisonweb
5K Followers 5 Following Friendly programming language from the future Open source https://t.co/hDNFLjJ8Yy Cloud platform: https://t.co/fFWPp8vU2t https://t.co/KPdfGUPVDa
[email protected] | (sp... @k0nn0v
453 Followers 496 Following Independent security and formal methods researcher. Formal specs of Web3 protocols (incl. consensus) in TLA+/Quint/Lean. Fuzzing protocol specs. Writing papers.Trends for United States
You might like
