gelisam @haskell_cat
AI Safety ∩ Programming Language Theory. Professional Haskell developer at https://t.co/qG4jsBEIIO, opinions are my own. haskellcat.com Montreal Joined June 2016-
Tweets2K
-
Followers1K
-
Following308
-
Likes5K
> my prediction is that auto-regressive LLMs are doomed Yan LeCun, notorious AI Doomer 🤣
> my prediction is that auto-regressive LLMs are doomed Yan LeCun, notorious AI Doomer 🤣
9
81
709
133K
643
Download Video
gelisam retweeted
One concept I wish more people were aware of is the Tocqueville Effect. Named for Alexis de Tocqueville, this concept describes the curious phenomenon by which people become more frustrated as problems are resolved: As life gets better, people think it's getting worse!🧵
gelisam retweeted
Technology is generally really good. Why should AI be any different? A new video: (youtube link in the reply)
When I was a teen, my government held a public consultation about switching from 1st-past-the-post to a proportional system. I did my research, went, presented approval voting, and was laughed off the stage. I never did politics again. Today, we're still using 1st-past-the-post.
When I was a teen, my government held a public consultation about switching from 1st-past-the-post to a proportional system. I did my research, went, presented approval voting, and was laughed off the stage. I never did politics again. Today, we're still using 1st-past-the-post.
I like to learn about neural networks by working on tiny problems for which there exists a 100% correct solution. Here is an interactive experiment showing how in practice, backprop doesn't find this solution: gelisam.com/local-minima/
My first MCP server, which allows the agent to pick from a selection of shell commands. GitHub Copilot can natively run shell commands, but VS Code asks you to confirm each command. With mcp-cli, you only have to authorize the use of the tool once! github.com/gelisam/mcp-cli
gelisam retweeted
Some people say they liked this one better than previous podcasts. youtube.com/watch?v=0QmDcQ…
gelisam retweeted
New video, about how to work in technical AI Safety research! (link in reply)
This is the Frog Fractions of PuzzleScript! 🐸⅜ 🤯
gelisam retweeted
I created a programming language prototype that harnesses bidirectional type inference to infer JSON schemas for LLM prompt chains that use structured outputs haskellforall.com/2025/05/prompt…
Let's all write a short story with the same prompt! Here is my attempt. gelisam.blogspot.com/2025/03/metafi…
Let's all write a short story with the same prompt! Here is my attempt. gelisam.blogspot.com/2025/03/metafi…
I recommend today's haskle.net puzzle. It looks impossible, but in retrospect, it's blindingly obvious!
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
deech @deech
5K Followers 1K Following
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
piq and 69 others @piq9117
3K Followers 1K Following 🇺🇸 • haskell • CEO @htmx_org • neovim extremist • competitive shooter
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.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Redacted @cercerilla
2K Followers 460 Following
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
Daniel Firth (Inspect... @locallycompact
1K Followers 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
siddhanta pradhanπ² @siddhan54957063
304 Followers 643 Following
Riyo @ymdfield
254 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
Mich E @mr_mich_e
310 Followers 2K Following Christen † - 2 Kor 5:14-15 - Al het goede in mij door God's genade. En opweg naar meer... Normaal mens met talent in ICT (programmeur .NET, PHP, etc.)
simple_life @simplel36861875
33 Followers 929 Following
Musk Private page �... @musk7641
386 Followers 173 Following 1CEO - Spacex 🚀 Tesla =🚘 Founder - The Boring Company Co-Founder - Neuralink, OpenAl
Nikolai Pohodenko @phdnk
4 Followers 65 Following
Anatoly Karp @akarp
2K Followers 4K Following MySQL Infra at Meta. Method coder. Discreet mathematician. Rust enjoyer. Machine learning, physics, economics.
Muntasir R Rahman @muntasirraihan
192 Followers 2K Following Principal Machine Learning Engineer @ Keystone Strategies
Ahmed Hany @__AhmedHany__
35 Followers 4K Following
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness."
Romaric @rorosan_888
560 Followers 7K Following insatiable curious, founder @FindMe_House making houses easily findable phygitally !
Rostyslav Arkadyev @darkb0ne
43 Followers 191 Following
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
keinsell @keinsell_
325 Followers 1K Following
Eric Tchirnhausen @tchirnhaus20039
24 Followers 5K Following Like to try new things you never know; trying to prove all software can be automated 😅 😅 😅 | ML/AI, | C++/Java/Go | GitHub : Dyl777
Sensey @pisensey
61 Followers 1K Following
Research Bites AI @ResearchBitesAI
95 Followers 415 Following Daily feed for trending AI research papers published to https://t.co/IhlgnXL1us
Yongming Han @yongming_han
31 Followers 2K Following
chreke @therealchreke
664 Followers 878 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Bas @basketticode
5 Followers 676 Following
calleum @calleum1
1 Followers 158 Following
kkssxx xx @dmcyer
1 Followers 42 Following
Lena Paul @LPaul58437
34 Followers 574 Following
Jerry Hellden @JerryHellden
751 Followers 7K Following The Last Patriot. Theoretical physicist Aerospace Engineer CEO @AndromedaAspace & @Asupersolut SciTech Author https://t.co/JJ8Gpuajxc
arXiv Daily @Arxiv_Daily
49K Followers 2K Following Daily feed of this week's top research articles published to https://t.co/ULrW4yLt6n. AI Research Papers, Curated by @DeepAI
Marc Gris @MarcGris2
101 Followers 1K Following Data Scientist & MLOps - Musician - and… (humbly aspiring) Philosopher
Raja de Idris @syscallnull
15 Followers 162 Following
Dirk Sonnemann @DirkSonnemann
22 Followers 588 Following
Daniel Andem OROCHI @Jeffrey070311
415 Followers 3K Following
Andrew David Meier @andrewdmeier
113 Followers 2K Following
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Rúnar @runarorama
12K Followers 102 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
deech @deech
5K Followers 1K Following
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Erik Meijer @headinthebox
31K Followers 2 Following
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
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.
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Redacted @cercerilla
2K Followers 460 Following
Daniel Firth (Inspect... @locallycompact
1K Followers 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Luc Tielen @luctielen
1K Followers 123 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Riyo @ymdfield
254 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
chreke @therealchreke
664 Followers 878 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Ryoma Sato @joisino_en
2K Followers 198 Following Assistant Professor at National Institute of Informatics, Japan. Machine Learning and Data Mining.
David Young @roboguy20
504 Followers 1K Following Computer science PhD student focusing in programming languages
Rational Animations @RationalAnimat1
3K Followers 5K Following YouTube channel about truth-seeking, the future of humanity, and much more. With animations and colorful doggos.
Nauseam @ChadNauseam
7K Followers 1K Following If I sound lazy just ignore my tone cause I’m always gonna answer when you call my phone
doyougnu @do_you_gnu
124 Followers 349 Following PhD in programming languages. PL, FP, SAT solvers, Philosophy, and most importantly, dungeons and dragons. all views and claims are my own. (he/him)
Vincent Wang-Maścian... @vinnylarouge
636 Followers 417 Following CS Dr. @ Oxford, aspirant friend of diagrams
Advent @AdventIslands
9K Followers 2K Following Finnish 🇫🇮 gamedev and pixel artist. Current Project: Tiny Dangerous Dungeons Remake Check out my games: https://t.co/r5VBwLdQ2X
Nora Belrose @norabelrose
11K Followers 119 Following AI, philosophy, spirituality. Blending Deleuze and Dōgen. Head of interpretability research at @AiEleuther, but tweets are my own views, not Eleuther’s.
sam pocino is online @sampocino
382 Followers 464 Following Weird math/CS person, any/all | private @spocino_clique
Jacques Carette @jjcarett2
2K Followers 934 Following Computer scientist. Programmer specializing in weird languages. Ex-mathematician. Loves cooking. Dabbles with quantum. Uses generative techniques everywhere.
savannahXYZ @savannahXYZart
139K Followers 2K Following Character Artist on Haste w/Landfall Games | Professional Shitposter | Gamer Mom | Blood type B- She/Her 💗💜💙
Bob Nystrom @munificentbob
28K Followers 2K Following https://t.co/pgWITiHpDF, https://t.co/NSvQZjv923
Prophet @welltypedwitch
3K Followers 544 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/p6LXXU7dGH
Csaba Hruska @csaba_hruska
1K Followers 686 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧
Blender Made Easy @BlenderMadeEasy
2K Followers 202 Following Blender Instructor & Online Course Creator. Come check out my channel for tutorials! https://t.co/uo0OM0cdcF https://t.co/OwLoVIJEVN…
Positron AI @positron_ai
792 Followers 38 Following Developing the next generation of machine learning hardware and software
Brendan Hay @haybrendan
154 Followers 108 Following Haskell/Rust/Nix programmer. Amazonka/Gogol amongst a multitude of other infrastructure projects. #haskell #rustlang #nix #amazonka
Siméon @Simeon_Cps
9K Followers 2K Following Creating more common knowledge on AI risks, one tweet at a time. Founder in Paris. AI auditing, standardization & governance.
Artificial World @ARTiV3RSE
26K Followers 400 Following Unveiling hidden variables. On the brink of AGI. Midjourney expert. Luma Labs Creative Partner.
Liam Goodacre @goodacre_liam
478 Followers 457 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Michael Nielsen @michael_nielsen
109K Followers 6K Following Searching for the numinous 🇦🇺 🇨🇦, currently live in 🇺🇸 Research @AsteraInstitute https://t.co/maezekzRUb https://t.co/2dWwZKrvrn
AI Notkilleveryoneism... @AISafetyMemes
88K Followers 1K Following Techno-optimist, but AGI is not like the other technologies. Step 1: make memes. Step 2: ??? Step 3: lower p(doom)
Alan Zimmerman @alan_zimm
898 Followers 262 Following Long term hacker @[email protected] on fediverse
Jens Petersen 🇵�... @juhp
625 Followers 1K Following [email protected]; @RedHat; @fedora Workstation, @FedoraI18n, @fedorahaskell, @teamsilverblue, @haskellstackage; he/him #stopgenocide
Robert the Otter @roberttheotter
26K Followers 79 Following Just an ordinary otter embracing the Otter Way of Life. TikTok: https://t.co/Q6MDQ6T79l | IG: https://t.co/AZoCScHkGq
Jeffrey Ladish @JeffLadish
14K Followers 1K Following Applying the security mindset to everything @PalisadeAI
Thomas Tuegel @ttuegel
854 Followers 253 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]
Jonathan Castello @Twisol
216 Followers 225 Following Ph.D student under @lindsey. I like concurrency and sustainable codebases. https://t.co/5MtoW8xi5l No, the domain is not for sale, sorry.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
o1lo01ol1o @o1lo01ol1o
365 Followers 607 Following Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / hum
austin 🇵🇸 @stdlib
2K Followers 398 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)
Hanneli T - hannelita... @hannelita
3K Followers 717 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_. Personal views.
David Charboneau @dcharbon
323 Followers 3K Following CTO Mimoto, he/him Interests: Open Source, graph query at scale, category theory, parallelism @[email protected]
Dani @Electricfire13
343 Followers 870 Following
Kowainik @kowainik
2K Followers 2 Following Anyone can change the world. We do. 🌌 OSS organization. #fp #haskell #Learn4Haskell Driven by @vrom911 Buy us a coffee ☕️ https://t.co/5Gs8Sz8s6F
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 729 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCanTrends for United States
51,7 B posts
111 B posts
42,3 B posts
13,5 B posts
20,9 B posts
30,5 B posts
21,8 B posts
2.393 posts
123 B posts
6.591 posts
2.042 posts
9.521 posts
2.197 posts
15,7 B posts
31,3 B posts
3.276 posts
35 B posts
4.445 posts
You might like
João Forte Carvalho ...
@bgamari
2K Followers
Tweag
@tweagio
6K Followers
Well-Typed
@welltyped
6K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Andres Löh
@kosmikus
3K Followers
Matt Parsons
@mattoflambda
5K Followers
Joachim Breitner
@nomeata
2K Followers
Nikita Volkov
@NikitaYVolkov
1K Followers
Michael Snoyman
@snoyberg
6K Followers
Vladislav Zavialov
@int_index
2K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Veronika Romashkina
@vrom911
3K Followers
Dad×2_jack
@Iceland_jack
3K Followers
Oskar Wickström
@owickstrom
5K Followers