Arnaud Spiwack @aspiwack
Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpN assert-false.science/arnaud/ Joined March 2019-
Tweets5K
-
Followers680
-
Following22
-
Likes544
Speaking a cappella with the children, I suddenly remembered this masterpiece. It's from the very early days of Youtube, but it's still here. We enjoyed watching it together youtube.com/watch?v=TSBIAG…
0
0
0
180
0
I'll be streaming some Final Fantasy: Worlds Collide momentarily. Trying this curious seed-of-the-week with a Ninja Turtle theme. Stream starts at 00.15 UTC twitch.tv/notnotarnaud
This video, by Retro Game Mechanics Explained, is a *remarkable* piece of documentation. It's long, very in depth yet quite clear and didactic. youtube.com/watch?v=UdD26e…
I'll be streaming some Final Fantasy VI: Worlds Collide in a few minutes. Trying to relax with some random palettes and tunes. Stream starts at 00.45 UTC twitch.tv/notnotarnaud
The Mandelbrot effect is the collective false memory that the Mandelbrot effect is something else.
You know these glass jars with glass stoppers that use the friction of ground glass to provide a seal? They're really cool, I wish we'd use them more.
Metroid Fusion is otherwise probably the most visually stunning game in the Metroid Series. The game feel is also amazing. But what every sequel seems to have taken from it is how much they love the chatty computer…
Metroid Fusion is otherwise probably the most visually stunning game in the Metroid Series. The game feel is also amazing. But what every sequel seems to have taken from it is how much they love the chatty computer…
The latest AVGN video reignites my frustration with the storytelling in recent Metroids games. What started as an atmospheric series with barely any word at all hasn't been able to stop yapping since Metroid Fusion. When will quiet Metroid Games come back? youtube.com/watch?v=8-7nun…
Edward Kmett @kmett
16K Followers 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
Zanzi Tangle, now at ... @tangled_zans
3K Followers 327 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Jacques Carette @jjcarett2
2K Followers 933 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
Rick @rickasaurus
10K 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.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Brendan @Amoeba314
33 Followers 394 Following Just a wee cell sack trying to learn and survive these chaotic and dangerous waters
PinePathWanderer @Fifa13Rumours
41 Followers 217 Following 刺繍の愛好者です。皆さんが好きかどうかは分かりませんが、「これは丑い」とは言わないでいただけますか、これは私の国の伝統芸術なのです。 お願いします。
chreke @therealchreke
666 Followers 879 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
James Caldwell @jlcaldwell2
39 Followers 227 Following Professor Emeritus, Department of Computer Science, University of Wyoming.
ℙierangelo ℂecche... @pierangelocecc
709 Followers 4K Following Software developer, loves FP and dynamical systems. Family guy, occasionally party guy. Amateur guitarist, amateur baker
Ilya @Zlonast
12 Followers 230 Following
Takashi Suwa @en_gfngfn
279 Followers 298 Following A doctoral student at Kyoto Univ. and a software engineer. Interested in program verification, type theory, etc. ( ja: @bd_gfngfn ) he/him (or they/them)
PatrickWales @patpaterish
15 Followers 156 Following Open source, GHC contributor, Haskell, HLS🐣🐣🐣 Freelancer
Sliosaw @SliosawXu3je_1
68 Followers 2K Following
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical 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.
Yusuke Matsushita @shiatsumat
2K Followers 2K Following 京都大学 白眉第15期 特定助教 / ソフトウェア科学者 / 代表作 RustHorn https://t.co/itiqfxlkyd / 作曲と即興 https://t.co/DkVawvtflf
Arandeep Wong @a5da8230
13 Followers 3K Following
Agam @agambrahma
731 Followers 6K Following Foolish stuff ... I read _all_ the things :-) Email: [email protected]
Enis Bayramoğlu @enobayram
121 Followers 52 Following
dimaheve @dimaheve
27 Followers 146 Following Opinions not my own (Outsourced to entities I can't disclose).
Lewis Brown @lewiswbrown
337 Followers 3K Following dev (haskell👍), trader, homesteading farmer, #voluntaryist. evolutionary complex systems & the illusion of control likes + retweets are 🤔, maybe 👍
Tom @tomstructured
23 Followers 505 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
hellwolf @hellwolf2025
114 Followers 211 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.
One Happy Fellow @onehappyfellow
2K Followers 686 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
surbhi @surbhiDooBeeDoo
107 Followers 1K Following traveling through life in this infinite space time continuum holding on to whatever the cosmic energy conspires into it https://t.co/1TZHYjyQ15
Andrey Prokopenko @marunarh
168 Followers 428 Following
CoolBasedName @iuAiqsFskk7ixIU
0 Followers 65 Following
Ershad @3R5H4D
132 Followers 2K Following
Reynald Affeldt @ReynaldAffeldt
210 Followers 52 Following
Guillaume Duboc @duboc_guillaume
390 Followers 196 Following PhD student @dashbit and @IRIF_Paris. Working on typing Elixir, see (https://t.co/9nSI9EmtXl)
Raphaël Lopoukhine @RaphLopoukhine
784 Followers 770 Following Press+editorial manager @Fidh_en Responsable du bureau éditorial et des RP @fidh_fr - views are my own Il/Lui - He/Him - Он/Его
orphée @orpheeeeeee
18 Followers 151 Following
junxan @jmatsushita
487 Followers 1K Following Balancing creative/constructive, in human/organisational/technological development
ambre pieds ❤️... @ambrep13
6 Followers 89 Following ‼️PAYPAL ONLY‼️ je vends mes pieds en fonction des prix que vous me proposez !! // i sell my fit with the prices you will propose !!
Pigou Parker @PigouParke37199
18 Followers 462 Following
neuroevolutus @neuroevolutus
22 Followers 3K Following
wasabi @wasabi__315
275 Followers 547 Following :: (PhD Student at ScienceTokyo, traP, Haskell, Agda, OCaml)
Juan Pablo Yamamoto @si_compila
103 Followers 117 Following 💻 scientist & mathematician / I ⌨️ code and ✍ proofs / Sharing the knowledge 📚
_pierre_75015 @_pierre_75015
256 Followers 3K Following
Laurent @laurent_tokyo
0 Followers 48 Following
Rihards Krišlauks @_rihards
204 Followers 196 Following
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Janhavee Shinde @SJanhavee
113 Followers 7K Following
Edward Kmett @kmett
16K Followers 823 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Timothy Gowers @wtgow... @wtgowers
48K Followers 183 Following Mathematician. Professeur titulaire de la chaire Combinatoire au Collège de France. Also fellow of Trinity College Cambridge.
Gro-Tsen @gro_tsen
7K Followers 92 Following Eclectic mathematician, irritable geek, boring homosexual, procrastinator extraordinaire, overworked dilettante and full-time human being. I tweet in fr&en.
Dominic Orchard @dorchard
2K Followers 689 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Alex Kavvos @lambdabetaeta
724 Followers 886 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Reynald Affeldt @ReynaldAffeldt
210 Followers 52 Following
Terrible Maps @TerribleMaps
1.7M Followers 1K Following The home of terrible maps with a pinch of humour [email protected]
Mitchell Hashimoto @mitchellh
142K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Nicolas Hervieu @N_Hervieu
48K Followers 91 Following Droit public & droit européen des droits de l’homme || Enseignant à @sciencespo & @UnivEvry. Entre autres.
Arlen Cox @arlencox
172 Followers 192 Following Researcher in formal methods, photography nerd and musician
Ryan Newton @rrnewton
544 Followers 301 Following Software engineer and researcher, studies deterministic parallelism, containers, compilers.
Prof Francois Balloux @BallouxFrancois
144K Followers 1K Following Director @UGI_at_UCL. Interest in Infectious disease epidemiology, pathogen genomics, global health, and all sorts of other stuff.
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
Simon Peyton Jones @simonpj0
5K Followers 3 Following
Matthieu Sozeau @mattam_
253 Followers 87 Following CS researcher @INRIA, #Coq dev, type theory advocate and diletante artist.
Tom 7 @tom7
8K Followers 362 Following lexicographic NES AIs, alphabetical star wars, video games, fonts, album-a-day, expert mode running, chiptune, programming languages, etc.
Noam Zeilberger @noamzoam
737 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
Roberto Di Cosmo @rdicosmo
5K Followers 6K Following Scientist professor hacker writer citizen. Committed to building a better world through science technology and community. Director @swheritage. Follow ≠ endorse
Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / Head of Engineering @nomadiclabs / #tezos / #smartrollups / #ocaml / #functionalprogrammingTrends for United States
1.170 posts
3.963 posts
67,7 B posts
46,9 B posts
10,6 B posts
91,9 B posts
635 B posts
4.554 posts
212 B posts
1.535 posts
3.289 posts
60,4 B posts
42,4 B posts
2.496 posts
You might like
João Forte Carvalho ...
@bgamari
2K Followers
Graham Hutton
@haskellhutt
8K Followers
gelisam
@haskell_cat
1K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Andrey Mokhov
@andreymokhov
2K Followers
Matti Palli 🧙�...
@tritlo
3K Followers
Jeremy Gibbons
@jer_gib
2K Followers
Vladislav Zavialov
@int_index
2K Followers
〚Dan R. Ghica〛
@danghica
1K Followers
Bruno Gavranović
@bgavran3
9K Followers
Lennart Augustsson
@Augustsson
2K Followers
Dominic Orchard
@dorchard
2K Followers
Dad×2_jack
@Iceland_jack
3K Followers