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
Somebody on my timeline recommends a book and it is _not_ If Anyone Builds It Everyone Dies??
Somebody on my timeline recommends a book and it is _not_ If Anyone Builds It Everyone Dies??
44
328
3K
178K
3K
Download Image
gelisam retweeted
> 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 🤣
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 425 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 522 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 822 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
20K 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 • guns
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.
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Redacted @cercerilla
2K Followers 459 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 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Luc Tielen @luctielen
1K Followers 121 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
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
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.
zksri @zkbytes
4 Followers 273 Following
guaraqe @guaraqe
6 Followers 28 Following
Unplug AI 🔌 @UnplugAIUK
4K Followers 6K Following A UK-based campaign group that works to regulate and achieve a moratorium on AI to protect humans, whoever and wherever they are. 🔌
Adithya Kumar @adiovk
2 Followers 36 Following
Mona Lee @vnrsq68837467
20 Followers 100 Following 🌿 "May today be peaceful, easy, and filled with God's blessings. Trust me, tomorrow will be just as beautiful." 🌿
Lucas Silva Barreto @LucasSilva73312
3 Followers 103 Following
Nikos Karagiannidis @dbfunctor
85 Followers 593 Following Senior Data Zookeeper | Lead Data Engineer @Chubb | prev. Principal Data Architect @Cosmote | I solve business problems with data solutions - Views are my own
Jay Allred @JayAllred11
377 Followers 755 Following ‘FEAR IS A LIAR’ WILMINGTON BUSINESS/ PRELAW STUDENT
Rizal the Elder @RizaltheGhost
300 Followers 3K Following She replied: Polygyny is an institution to render family strong,fortified at any moment in any circumstance,steadfast in shadows of tyrants and their demands.
FlexAbraham @flex_abraham
17 Followers 951 Following The Lord is my shepherd there is nothing ✝️♥️🙏🏿 follower of Christ
siddhanta pradhanπ²... @siddhan54957063
483 Followers 952 Following
Riyo @ymdfield
258 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
Mich E @mr_mich_e
315 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 933 Following
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
197 Followers 2K Following Principal Machine Learning Engineer @ Keystone Strategies
Ahmed Hany @__AhmedHany__
29 Followers 4K Following
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
Romaric @rorosan_888
554 Followers 7K Following insatiable curious, founder @FindMe_House making houses easily findable phygitally !
Rostyslav Arkadyev @darkb0ne
43 Followers 192 Following
One Happy Fellow @onehappyfellow
2K Followers 702 Following calmly weaving caml code;; programmers are wizards who forgot their magic;; lack of type safety always comes with a price;; head of @typememetics
Eric Tchirnhausen @tchirnhaus20039
40 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
102 Followers 413 Following Daily feed for trending AI research papers published to https://t.co/IhlgnXL1us
Yongming Han @yongming_han
31 Followers 2K Following
chreke @therealchreke
673 Followers 898 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. F# enjoyer.
Bas @basketticode
4 Followers 692 Following
calleum @calleum1
0 Followers 166 Following
kkssxx xx @dmcyer
0 Followers 42 Following
Lena Paul @LPaul58437
42 Followers 568 Following
Jerry Hellden @JerryHellden
758 Followers 8K Following Futurist Inventor Designer 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
103 Followers 1K Following Data Scientist & MLOps - Musician - and… (humbly aspiring) Philosopher
Raja de Idris @syscallnull
15 Followers 206 Following
Dirk Sonnemann @DirkSonnemann
23 Followers 590 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 425 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 522 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 822 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 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
deech @deech
5K Followers 1K Following
gabby @GabriellaG439
15K Followers 77 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
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.
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
Redacted @cercerilla
2K Followers 459 Following
Daniel Firth (Inspect... @locallycompact
1K Followers 783 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Luc Tielen @luctielen
1K Followers 121 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
ControlAI @ai_ctrl
17K Followers 99 Following Fighting to Keep Humanity in Control. Campaign: https://t.co/tdV4zRrQyJ Newsletter: https://t.co/NN79CEnlBK Discord: https://t.co/m8atF63SIL
Riyo @ymdfield
258 Followers 121 Following Haskellで代数的エフェクトライブラリを作っています: https://t.co/u9Sk1WiEeQ 最近はエッジデバイスでの学習手法に興味があります。あと、Lean4に入門中です。
chreke @therealchreke
673 Followers 898 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
502 Followers 2K 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
122 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 415 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 120 Following AIs aren't people, they're tools we should use wisely. Head of interpretability research at @AiEleuther, but tweets are my own views, not Eleuther's.
sam pocino is online @sampocino
382 Followers 476 Following Weird math/CS person, any/all | private @spocino_clique
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.
savannahXYZ @savannahXYZart
138K 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 543 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 204 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
802 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 399 Following Unveiling hidden variables. On the brink of AGI. Midjourney expert. Luma Labs Creative Partner.
Liam Goodacre @goodacre_liam
478 Followers 460 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Michael Nielsen @michael_nielsen
110K 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
626 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
855 Followers 253 Following Haskell. NixOS. Physics. Intellectual scavenger. Asymptotic perfectionist. @[email protected]
Jonathan Castello @Twisol
215 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
360 Followers 614 Following Haskell, Agda, Idris and Nix. h8ro-cis-wyt: pronouns are ho / hum
austin 🇵🇸 @stdlib
2K Followers 395 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 714 Following Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_. Personal views.
David Charboneau @dcharbon
320 Followers 3K Following CTO Mimoto, he/him Interests: Open Source, graph query at scale, category theory, parallelism @[email protected]
Dani @Electricfire13
340 Followers 797 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/5Gs8Sz8s6FTrends for United States
198 B posts
51 B posts
10 B posts
86,3 B posts
5.712 posts
7.145 posts
15,7 B posts
43,7 B posts
4.905 posts
12,2 B posts
40,6 B posts
24,5 B posts
57,5 B posts
6.966 posts
6.916 posts
7.890 posts
49,6 B posts
11,4 B posts
3.798 posts
6.022 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
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
Dad×2_jack
@Iceland_jack
3K Followers
Oskar Wickström
@owickstrom
5K Followers