ReyLambda @rey_lambda
Haskell. Learning. Zettelkasten. Education. Reynaldo Cordero. HaskellMAD. Madrid, Spain Joined February 2022-
Tweets16
-
Followers11
-
Following67
-
Likes203
La Policía detecta que proxenetas marroquíes captan a niñas llegadas a Ceuta para prostituirlas a cambio de comida elmundo.es/espana/2026/08…
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…
It's not every day that you can attend a workshop on dependently-typed languages from a more industrial/mainstream perspective. By attending @Lambda_World you have this, more workshops, and maybe the best food and atmosphere of all programming-related conferences!
We are glad to announce Juanjo Madrigal @jxm_math and Jorge Mayoral to our panel of speakers of @Lambda_World They will give a workshop on Agda and Lean! More here: lambda.world/speakers/?spea… #FunctionalProgramming #Agda #Lean
@ThePollLady the reason why he was imprisoned
I just published Pair Programming with ChatGPT & Haskell link.medium.com/2Pwo6VktTwb #Haskell #ChatGPT #Mathematics
wow, a 62kloc Steam game in Haskell .. and it uses Three Layer Cake pattern github.com/incoherentsoft…
🙏 Finally, AI helping me to solve real problems - convincing others why #Haskell is the best programming language 😌
FOSDEM Haskell Devroom - proposals needed! discourse.haskell.org/t/fosdem-haske…
Software Transactional Memory is the best kept secret of functional programming. When STM was invented, many imperative languages tried to use it to solve concurrency problems. They failed because they couldn't control side effects. Haskell quietly incorporated it.
La ausencia de mi hija Kira es insoportable. No merecía morir, ni sentirse despreciada. Me mantiene en pie la promesa que le hice en vida, defenderla siempre. El #bullying institucionalizado en las escuelas debe acabar. Por una ley contra el acoso escolar. change.org/NoEsCosaDeNiños
Asistir a OpenSym y OSS, si estás en Madrid del 7 al 9 de septiembre, te puede salir gratis. Solicita inscripción gratuita en este formulario: docs.google.com/forms/d/e/1FAI… Programa conjunto: oss2022.github.io/program/schedu… Lugar: Círculo de Bellas Artes oss2022.github.io/venue.html (pf, RT)
OpenSym (Intl Symposium on Open Collaboration) and OSS (Intl Conference on Open Source Systems) joint edition in Madrid, Sept 7-9. Maybe you can attend for free (including lunch): just fill in this form docs.google.com/forms/d/e/1FAI… See you there!
This presentation is perfect for those new to the FP domain, so get ready to learn and exchange ideas with our Haskell enthusiast and team! 🤓✍🏻 Sign up here and invite your friends who are interested in learning more about tech! 🚀 meetup.com/stack-builders…
Have you wondered about how #functionalprogramming can help you in software development? David Mazarro will be giving a talk in Spanish about FP and its benefits in our upcoming event on June 23rd in #Madrid.
Pues…creo q me superó el optimismo de verlo vestido de blanco, una pena😔😔😔
🐢⚪️"NO tengo ninguna DUDA de que MBAPPÉ jugará en el MADRID". 💥@javibalboa85, contundente en #ChiringuitoMbappé.
Es un lujo poder participar en @civio Enlace al encuentro explicando el pleito contra la Administración central del Estado en el que pedimos el código fuente del software con el que las administraciones públicas deciden nuestros derechos youtube.com/watch?v=4D5zqN…
YAP – Your Alpha Pr... @yapitonsol
26 Followers 471 Following The cult of the loudest voice. Alpha isn’t silent Born on @Solana 📢 Threads = Power. YAP = Cult.
Forever Open Source @fscgo
322 Followers 1K Following JavaScript & TypeScript Dev Manager for Ark Southern's MultiCoinCharts. Feel free to D/M questions; it's what I'm here for.
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Grausheigh @grausheigh12157
62 Followers 7K Following
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 427 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Renzo @renzocarbonara
2K Followers 2K Following Author of @atopbook, building software with types and functional programming.
Profesor secundario @profsecundario
52K Followers 2K Following Doctor en Historia y profe de secundaria. EL GRAN FRAUDE: https://t.co/sSBn0M51fL FUEGO SAGRADO: https://t.co/2rCSECDmvD
Daniel Firth (Inspect... @locallycompact
1K Followers 814 Following Haskell, Nix, Mathematics @ https://t.co/VjGooH6UaG
Flora Package Index @flora_haskell
207 Followers 8 Following Flora is a package index for the #Haskell ecosystem. We are moving to the Fediverse: @[email protected]
NeoHaskell @NeoHaskell
231 Followers 0 Following A programming language for the AI era; built for verifiable correctness, traceable decisions, and software with an auditable history.
nick - @NeoHaskell �... @NickSeagull
715 Followers 1 Following Building the language that keeps the 💩 generation machine on a leash, and software predictable • @NeoHaskell creator • CTO at hosq
The Cultural Tutor @culturaltutor
1.7M Followers 67 Following You can't step in the same river once. Paperback OUT NOW ↓
Physics In History @PhysInHistory
1.1M Followers 0 Following Photos from the history of physics | © with mentioned Archives. Shared for educational purposes. Einstein portrait © Ullsteinbild. Subscribe for curated papers.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Silent Movie GIFs @silentmoviegifs
163K Followers 616 Following I like to watch silent movies, and then make gifs from them. Created by @dmchoull
PUNS @ThePunnyWorld
629K Followers 5 Following Follow for the most hilarious puns and dad jokes! Not affiliated with any of my tweets.
Matti Palli @tritlo
4K Followers 2K Following uncertified haskell engineer | certified researcher my views represent those of my employer
Brooke Fitzwater, PhD... @Oceanfilly
12K Followers 995 Following It's me, the sea lady. Biologist/Photographer/Artist/Jedi I study Sexual Selection & Host Sex/Parasite Interactions #TeamFish #NeurodivergentinSTEM
Matt Parsons @mattoflambda
5K Followers 598 Following Haskell jock. Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Production Haskell @prodhaskell
1K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
Haskell Foundation @haskellfound
5K Followers 58 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Taylor Fausak @taylorfausak
2K Followers 88 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
Andres Löh @kosmikus
3K Followers 469 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Xebia @Xebia_Global
6K Followers 490 Following Xebia is a global, award-winning, AI-first consulting, software engineering, and training company.
gilmi @_gilmi
859 Followers 57 Following Mostly programming and Haskell. He/Him. 📕 https://t.co/xEErboAizd ⚡ https://t.co/ShceOZc3Y3
Alexander Granin @graninas
8K Followers 876 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker 📖 Book: Functional Design and Architecture
gelisam ⏸️ @haskell_cat
1K Followers 324 Following AI Safety ∩ Programming Language Theory. Part-time technical alignment researcher, full-time Haskell software engineer at https://t.co/qG4jsBEIIO, opinions are my own.
Erik Meijer @headinthebox
37K Followers 0 Following
Gabriele Keller @gckeller
1K Followers 427 Following Professor of Software Technology, @UniUtrecht, (functional) programming languages, type systems, parallel computing @[email protected]
Raúl Raja @raulraja
5K Followers 2K Following Interested in AI, Functional Programming & Formal verification. CTO @AIPredictable
Lambda World @Lambda_World
3K Followers 274 Following An international conference for Functional Programming enthusiasts. October 29-30, 2026 - Palacio de Congresos de Torremolinos, Málaga, Spain.
Jorge Galindo @Jorge__Galindo
5K Followers 1K Following I build things across very different worlds: AI at @AIPredictable, music at @OneRecordClub, and craft beer at @lailustrebar. Should've been a carpenter.
Vladislav Zavialov @int_index
2K Followers 258 Following Haskell programmer since 2012; GHC contributor since 2018.
Veronika Romashkina @vrom911
3K Followers 692 Following 💻 Software Engineer (FP) 🦄 Creator @kowainik 🖋 @bind_the_gap 👩🏫 #Learn4Haskell 🍷 You can sponsor me on GitHub: https://t.co/BjVCyBuF9R
Niki Vazou @nikivazou
3K Followers 462 Following Research Associate Professor at IMDEA && Haskell Enthusiast && developer of LiquidHaskell.
jaspervdj (@functiona... @jaspervdj
3K Followers 368 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @DigitalAsset, @haskellfound, @ZuriHac.
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Richard Eisenberg @RaeHaskCaml
3K Followers 144 Following Type system grease monkey and language designer for Haskell and OCaml. I want type systems to save us from software errors. Works at @JaneStreetGroup. He/him
Brian McKenna @puffnfresh
8K Followers 2K Following Computational trinitarianist. Talk to me about programming languages. The parrot is real. λΠ
Impure Pics @impurepics
6K Followers 0 Following No to dysfunctional programming https://t.co/AzKirvGfEQ
Dmitrii Kovanikov @ChShersh
74K Followers 248 Following Dysfunctional Programming account #1. Senior SWE. I still write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
🌑 Qamarade Hécate... @TechnoEmpress
2K Followers 1K Following People can't do functional programming if they're getting carpet bombed.
Graham Hutton @haskellhutt
9K Followers 707 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Hillel @hillelogram
19K Followers 1 Following Developer educator at @AntithesisHQ. Formal methods, software history, chocolatiering. Newsletter: https://t.co/YrRPK2p8Pc Book: https://t.co/omGN29k6LJ
Satnam Singh @satnam6502
23K Followers 3K Following Scottish-Punjabi-American working at @HarmonicMath. Cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Alexis King @lexi_lambda
13K Followers 28 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢Trends for United States
You might like
