David Fox @SeeReason
50 years of vibe coding. Haskell, automated reasoning, computational semantics, meta programming. Wrong ELF type. also @ddssff. United States Joined August 2016-
Tweets4K
-
Followers207
-
Following633
-
Likes1K
@786Swords @KareemRifai Wait why is Mao spinning in his grave?
0
0
0
5
0
View Details
@JohnSmithltzpw @BenNollWeather Science is calling the record of the last hundred years what it is. Non science is bringing up the last two billion years for no reason.
@8LeggedElephant @BenNollWeather Ever considered learning to disagree without acting like a child?
@LucaAmb There's human writers and then there's humans that write.
@DaveMcEntee @AskVenice It is also about where the training data came from.
@AverageLiberal7 @TerribleMaps New York almost makes sense.
@AbiluTangwa @PCarterClimate Maybe find a better word
@CLT_Exam @the_culturist_ High school topic. How many trade schools teach US History?
@haskellfound I’m concerned you are seeking this person on X.
@BoredElonMusk Technology will muddle through.
@amaldorai @osamejiosaeleye @GergelyOrosz That’s not the government, that’s just some guy.
@InfoWorld Seems to boil down to providing architectural guidance, but how will people learn about that in the non coding future?
Glad this has been cleared up
"dick measuring contest" implies the winner is not the one with the biggest dick, but whoever measures most accurately
@Powerguy1972 @mali_serrano Climate change has also been around forever, often caused by organisms who discover new modes of energy harvesting. We are one such organism.
@TroonToon @KiwiEV Especially when there’s a barrier at the finish line.
David Fox retweeted
Well, this is the weirdest thing I've seen all year. This was a race against bipedal robots but someone used a video filter to make them resemble humans. As you do. 😂 That's enough internet for today.
@The_Cling_On @ImBreckWorsham I doubt the US owned this meat.
LetsMatch Squad @letsmatchdovee4
8 Followers 596 Following Code your own AI matchmaker. Date better, 10x faster
mia x but extremely l... @miaxswki5qqsz
1 Followers 49 Following online to flirt a little but make you smile 🌹
AHMED EL SAKKA @Sakka313313
338 Followers 5K Following
isla @islaclark455
1K Followers 835 Following
Muhammad @Muhammadvcw0jy
219 Followers 4K Following Free Palestinian🙏🙏 life lessons don't pick sides until you know the full story some people are really skilled at make others bad 😭😭
Agira Brookman @brooskemilaro
13 Followers 490 Following I'm currently an E-6 dogs handler for united state Air Force I also work as system analyst, I have a dogree!
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming.
_Adam Mancini @_AdamAncini4
76 Followers 2K Following Full-Time Futures Trader ES intraday, also swing trade ETFs 2-7 day holds. Fully transparent approach. Posts for my notes only!
Sophie James @SophieJame19574
0 Followers 5 Following
StarLilyMartin @Uisaupol876
37 Followers 2K Following Rising above the challenges Finding joy in the little things
Alice @rieharu86
712 Followers 7K Following I'm a limited partner, entrepreneur, divorced, raising my daughter solo. I enjoy the beach, hiking, gym, and yoga, and refuse discussions on crypto, porn, or in
AthenaGill @l06t7N8O5aJWz
63 Followers 1K Following
Stought @StoughtWL2v7I8
39 Followers 4K Following
Simon Thompson @thompson_si
4K Followers 1K Following CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.
Alexander Granin @graninas
8K Followers 875 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
Johnny @fokker65
4K Followers 7K Following 🇺🇸Christian. MAGA. Happily Married. America first. Pro-life. 2A. Trump was right about everything. Devoted husband, proud dad, and grandfather
Keely @9R85UpGhyU6xdi
62 Followers 7K Following
어흑 @OUD2CpOeCyO6p
65 Followers 7K Following
p1xelHer0 @p1xelHer0
1K Followers 3K Following
A Type of Programming @atopbook
2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.
SusanBarrett @cdHx7g51NKo1D2
61 Followers 7K Following
Thoshee @Thoshee225785
65 Followers 5K Following
Str @AstreaAkmi
236 Followers 4K Following
Rendeigh @Rendeigh131531
41 Followers 4K Following A strong woman is one who is determined to do what others are determined not to do.
ElvaDuBois @H53U8jI4370EeDA
70 Followers 7K Following
全球经典10级号1 @WK998aXzTPVll
19 Followers 2K Following
marcel 💪 💫 @mrclbschff
816 Followers 1K Following Principal MLE / Mathematician, Father of two. Deep Learning / NLP / Computer Vision / GPUs / MLOps / OCaml curious. AuDHD SxE
Kurt Seebauer @KurtSeebauer
133 Followers 1K Following
Chris Henson @_chenson__
1K Followers 3K Following CS PhD student @DrexelCCI working on formalization in Lean. Maintainer of https://t.co/waYLdE0QGI. Student Researcher @GoogleDeepMind
sk @he_is_you
26 Followers 2K Following
neuroevolutus @neuroevolutus
20 Followers 3K Following
Guillermo @memoselyk
170 Followers 2K Following
Philip Zucker @SandMouth
2K Followers 2K Following Computer Friend, Not a Bird. https://t.co/hnYqnXLnqW
roadside_picnic @poadside_ricnic
9 Followers 2K Following
Navier Stokes @NavierSt0kes
202 Followers 3K Following
Kathleen Jackson @theharut0
226 Followers 1K Following
ruth @Terry1671867
154 Followers 2K Following I’m available for FaceTime fun with best sexting and masturbate video also down for hook up both incall and outcall telegram ( @meddy_dion)
Michael Mroz @mjvmroz
185 Followers 543 Following Logical systems, abstraction and type theory enthusiast | engineering @mercury
COATUE @coatuemgmt
26K Followers 147 Following Coatue is a technology investment platform powering innovation across all stages. https://t.co/3wGjwI58jt
The Haskell Interlude @HaskelInterlude
670 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
max seddon @maxseddon
351K Followers 5K Following moscow bureau chief @FT. in soviet russia, news reports you: [email protected]
Michael Kofman @KofmanMichael
436K Followers 418 Following Senior Fellow, Carnegie Endowment. Defense analysis with a focus on the Russian and Ukrainian militaries.
Mick Ryan, AM @WarintheFuture
364K Followers 1K Following Strategist, Leader & Author | Retd Army Major General | @CSIS | Senior Fellow for Military Studies @LowyInstitute | Futura Doctrina substack | #BannedInRussia
John Spencer @SpencerGuard
359K Followers 2K Following War Scholar | Chair of War Studies Madison Policy Forum | Executive Director @urbanwarfareins | UWP podcast | Thoughts/Posts my own RT/Quote/Like ≠ Official Gov
Shashank Joshi @shashj
236K Followers 2K Following Washington bureau chief, The Economist. Formerly defence editor. Signal: shashank.96
Isabelle Khurshudyan @ikhurshudyan
79K Followers 2K Following senior enterprise reporter/writer at @cnn. @UofSC grad. instagram also @ikhurshudyan. Signal: ikhurshudyan.27 email: [email protected]
Dr. Ian Garner @irgarner
73K Followers 6K Following Prof of Russian Studies @ Pilecki Institute | FrHistS | Russian media, war, and propaganda 🇨🇦
Phillips P. OBrien @PhillipsPOBrien
218K Followers 2K Following Professor of Strategic Studies, @univofstandrews; Author of War and Power (Summer 2025) https://t.co/al9SES8ncC
Dan Lamothe @DanLamothe
168K Followers 5K Following Military affairs @washingtonpost. State-school alum @UMassJournalism & @merrillcollege. Straight outta Chicopee, MA. Grateful American. Signal: danlamothe.30
Viktor Kovalenko @MrKovalenko
54K Followers 197 Following Author of Ukraine Decoded on Substack. Veteran officer of the Ukrainian Army. Former news reporter. Buy me a coffee at https://t.co/globITDG72
Siobhán O'Grady @siobhan_ogrady
30K Followers 3K Following @nytimes correspondent in Ukraine. previously @washingtonpost bureau chief in Kyiv and Cairo. it’s pronounced Sha-VON.
Paolo G. Giarrusso @Blaisorblade
2K Followers 1K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/Haskell
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 763 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Devon Stewart @blast_hardchese
573 Followers 745 Following Father. Scala, Haskell, Linux. Tweets are my own and may not reflect the views of my employer. Keep circulating the tapes!
Jonathan Brachthäuse... @__protected
901 Followers 394 Following Researcher in computer science, all things effects, author of the Effekt language (https://t.co/HrYL6Fvffa), Professor at Uni Tübingen. https://t.co/lvCLTiKbL1
ARIA @ARIA_research
18K Followers 57 Following Advanced Research + Invention Agency. Empowering scientists to reach for the edge of the possible. Bluesky: https://t.co/xnQZGN9YCg
Alex Kavvos @lambdabetaeta
1K Followers 1K Following computer scientist (moonlighting as category theorist). associate professor at @bristolcs @BristolUni
James Payor @jamespayor
405 Followers 305 Following I think about AI and where it's going. I'm also trying to make a new dependently-typed programming language. Married to @sbwzp
Shriram Krishnamurthi... @ShriramKMurthi
24K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Daniel 🦔 @DanielW_Kiwi
4K Followers 3K Following Husband, father and software developer from the bottom of the world in NZ that likes F# a little too much.
Simon Thompson @thompson_si
4K Followers 1K Following CS researcher. Refactoring, smart contracts. Functional programmer in Haskell, Erlang, OCaml. University of Kent, UK; Eötvös Loránd University Budapest.
A Type of Programming @atopbook
2K Followers 2K Following A book for the new, the old and the undiscovered programmer. By @renzocarbonara.
John Ky @newhoggy
427 Followers 1K Following
Egbert Rijke @EgbertRijke
3K Followers 1K Following Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
Jeff Cheah @JeffHappily
272 Followers 516 Following Life can only be understood backwards; but it must be lived forwards.
Barry @chiroptical
541 Followers 270 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
p1xelHer0 @p1xelHer0
1K Followers 3K Following
Sam Derbyshire @samderbyshire
292 Followers 282 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.
Matt Teichman @ElucidationsPod
2K Followers 3K Following Host of the Elucidations Podcast. Programmer @ UChicago DLDC. Adjunct Associate Professor of Computer Science. Emergent Ventures fellow. Views mine. 🦒
Marc E. Elias @marceelias
841K Followers 185 Following Founder @democracydocket. Chair of Elias Law Group. My dog's name is Blue.
András Kovács @andrasKovacs6
904 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Chris Smith @cdsmithus
632 Followers 154 Following Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.
The Culturist @the_culturist_
1.6M Followers 1K Following "Tradition is not the worship of ashes, but the preservation of fire." An independent culture publication — read / support us here 👇
NixOS @nixos_org
13K Followers 87 Following
Matthew Green @matthew_d_green
158K Followers 1K Following I teach cryptography at Johns Hopkins. Mostly on BlueSky these days at https://t.co/GI4QlxYTdk.
Kristin Rutenkolk @Wire_Daemon
212 Followers 188 Following Formal Methods, Programming languages, Specifications. she/her 🏳️⚧️
Dependent Types @dependent_types
1K Followers 2 Following Mostly an automated feed from the Dependent Types reddit
José Manuel Calderó... @josecalderon
2K Followers 863 Following looking for things to do! formerly: @HaskellFound, faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found jmct@bluesky I miss Yorkshire
Logic & Applications @LogicPractice
28K Followers 8 Following Logic and applications of logic from @JohnDCook
marcel 💪 💫 @mrclbschff
816 Followers 1K Following Principal MLE / Mathematician, Father of two. Deep Learning / NLP / Computer Vision / GPUs / MLOps / OCaml curious. AuDHD SxEYou might like
Nikita Volkov
@NikitaYVolkov
1K Followers
gelisam ⏸️
@haskell_cat
1K Followers
Vladislav Zavialov
@int_index
2K Followers
Chris Smith
@cdsmithus
632 Followers
Scotty Bon
@daniel_l_mills
426 Followers
James Brock
@jamesdbrock
602 Followers
Ian Jeffries
@seagreen__
625 Followers
moritz ✨
@angerman
3K Followers
Avi Dessauer
@AviDessauer
319 Followers
Morabbin
@morabbin
799 Followers
Ghislain Atemezing
@gatemezing
571 Followers
Spencer Janssen
@spencerjanssen
424 Followers