Haskell Foundation @haskellfound
https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell Joined October 2020-
Tweets313
-
Followers5K
-
Following59
-
Likes269
In this episode of @HaskelInterlude , we interview Jurriaan Hage - a professor at Heriot-Watt University in Edinburgh. He’s known for the Helium Haskell compiler and projects like improvements to the type system, or detection of plagiarism, and more. haskell.foundation/podcast/69
This episode of @HaskelInterlude, we’re joined by Michael Snoyman, author of Yesod, Conduit, Stackage and many other popular Haskell libraries. We discuss newcomer friendliness, being a Rustacean vs a Haskellasaur, and more. haskell.foundation/podcast/68/
In this episode we speak to Alex McLean who created the TidalCycles system for electronic music - implemented in Haskell of course. haskell.foundation/podcast/67/
Better infrastructure, fewer surprises. We’re raising $6K for a dedicated ARM server to support #Haskell’s infrastructure (CI, backups, etc). Let’s build infra you can rely on! Every contribution helps! Donate: donorbox.org/infrastructure… Read more: discourse.haskell.org/t/infrastructu…
In this episode, we learn from Daniele Micciancio about teaching theoretical computer science with Haskell and of course Daniele's field of research - cryptographic algorithms. haskell.foundation/podcast/66/
In this episode we learn about @AndrewDGordon's work including the origins of (>>=), introducing lambdas in Excel, and delve into his current work at Cogna using AI to allow non-programmers to write apps using natural language. haskell.foundation/podcast/65/
The Haskell Foundation is happy to announce that we are teaming up with @digitalocean. Let's thank DigitalOcean for helping us keep Haskell infrastructure sustainable! #DoforOpenSource
New videos uploaded! We have recovered 20 more videos of talks from HaskellX 2018. Check it out! #haskellx #haskellfoundation youtube.com/@haskellfounda…
"I don't know why, but I thought it could be a good idea to use a functional language to design some hardware" A passion for #Haskell, from academia to industry, serves as the leitmotiv of the 56th @HaskelInterlude, featuring special guest @satnam6502 haskell.foundation/podcast/56/
Big news! @HaskellOrg Committee and @haskellfound are uniting to form a single non-profit. This merger strengthens our shared mission to support the #Haskell language, its community, and the future of functional programming. blog.haskell.org/haskell-founda… #FunctionalProgramming
@InputOutputHK Update n°34 from the GHC team at @InputOutputHK engineering.iog.io/2024-09-05-ghc… Highlights: • Upstreaming of patches from Haskell.nix • Philosophies of Optimization chapter of the Optimization Handbook. • Refactor of GHC's linker to add documentation and better types #Haskell
@InputOutputHK Update n°33 from the GHC team at @InputOutputHK engineering.iog.io/2024-08-15-ghc… Highlights: • Fixed documentation in GHC's users guide about JS callbacks • Looking into making the Windows toolchain choices more flexible • Work on adopting memory efficient data structures #Haskell
After a few weeks break, the #Haskell #Unfolder is back with an all-new (and hopefully beginner-friendly) episode. On Wednesday, 2024-09-18 at 1830 UTC, @EdskoDeVries and @kosmikus are going to implement (and solve) tic-tac-toe in Haskell. youtube.com/watch?v=GnlD13…
The Haskell.org Committee and the @haskellfound have joined forces into a single not-for-profit corporation, to advocate for the Haskell language, its ecosystem, and its community. Read the full announcement at blog.haskell.org/haskell-founda… #Haskell
Say hello to blog.haskell.org! discourse.haskell.org/t/say-hello-to… #Haskell
When Garrett Morris met Douglas McIlroy, he advised him, 'Son, go learn Haskell.' And thus began his great adventure with the language! Hear the full interview in episode 53 of the Haskell Interlude podcast haskell.foundation/podcast/53/
Update n°30 from the #Haskell GHC team at @InputOutputHK engineering.iog.io/2024-06-17-ghc… Highlights: • The team attended the @haskellfound Workshop, and #Zurihac2024 • Performance improvements in the compiler and especially the JS backend
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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!
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
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 🏳️⚧️
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
Redacted @cercerilla
2K Followers 460 Following
deech @deech
5K Followers 1K Following
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
João Forte Carvalho ... @bgamari
2K Followers 314 Following Director of Product @Constellation Network
@flaviocorpa.com 🦋 @FlavioCorpa
2K Followers 301 Following Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Paweł Szulc @EncodePanda
3K Followers 656 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Alejandro Serrano @trupill
4K Followers 481 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Steve @ussgarci
0 Followers 19 Following
Ihar Hrachyshka @hrachyshka
4 Followers 284 Following
Eric Tchirnhausen @tchirnhaus20039
23 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
dustyway @dustyway777
16 Followers 195 Following
Laurent @cosmic_quanta
13 Followers 30 Following
1000 Dokuz @Dokuz636
0 Followers 122 Following
云创兽Ai @Sitea2868
6 Followers 109 Following 📊 Why tracking Nasdaq trends? Ask this finance star! open to insights. DM me to share stock signals! 🎯 #NYSE #Markets
Andrei Poplaukhin @Andrei_519
29 Followers 18 Following
Bryan Julian Garzon @yuri4n22
0 Followers 60 Following
Solomon @toothless_hippy
21 Followers 56 Following
方讫 @UnderlingOfNPU
31 Followers 526 Following
PENTAPALLI MANOJ KUMA... @eaglesight02
7 Followers 796 Following
macchiatocanella @avaliiadores
253 Followers 188 Following conta pessoal | arco do odin e do raylib moving to @mirvoxtm
K @kmogggggggggg
1 Followers 66 Following
Christopher Weaver @CWeaver27048
0 Followers 5 Following
Dale Birthright @DaleBirthright5
42 Followers 452 Following God will not be used as a convenience. — CS Lewis The best lack all conviction. God offered to save even Sodom on the merit of a single good man.
Elijah Shen @ElijahShen1
5 Followers 68 Following
Wesley Massuda @massudaw
6 Followers 126 Following
humanlispmachine @lispexmachina
0 Followers 4 Following
Diego G. Teixeira @diegogteixeira
8 Followers 594 Following
Jose Storopoli @jose_storopoli
156 Followers 372 Following Cypherpunk, PhD, Computer Scientist, Bayesian, Stoic. BJJ & Barbell aficionado. "running bitcoin" since 2020. Open source Maximalist. Software Eng @AlpenLabs.
Hidden Harmonic @imnottheceo
19 Followers 361 Following ଘ(✿ ◕‿◕)つ━☆･:*･ﾟ Let's make life fun yet again
siddhanta pradhanπ² @siddhan54957063
304 Followers 642 Following
polytropos @PabloC13193
0 Followers 31 Following
Anna @anya_kshk
11 Followers 34 Following
Byron Alley @byronalley
1K Followers 2K Following Entrepreneur, elixir web dev, business consultant — en/fr/es/ע/中 Also Rust, C, ML, NeoVim. I use tmux btw. CE9BD6F384C1EB129727D9F33F4D259CD2769183
Justin @justinian_the
515 Followers 768 Following Tech | Nature | History | Gaming | Imperator of the Galactic Mainframe
wubixuan @wbx474846718
37 Followers 416 Following
HOPE @ONLY_HOPE69
0 Followers 15 Following
cherry 🏳️⚧�... @cherryramatis
1K Followers 695 Following she/her 🏳️⚧️🏳️🌈| 22y | princess bubblegum fan | software developer | member at @He4rtDevs | trying to be a tech writer
alexzerah @_alexzerah
204 Followers 3K Following Teaching web dev (JS, React, Vue, Node, Creative coding) 🇫🇷 web developper https://t.co/O2tbsRDOwO https://t.co/jLT4PK8rfz
Peter Franks @PeterFrank52125
227 Followers 3K Following
The Grumpy SRE (rob) @grumpy_sre
32 Followers 399 Following All opinions are my own. | SRE @spring_health | 🦣 🏒 Fan | Racketeteer Imposter
Chandan Yadav @chai_chai_man
291 Followers 1K Following Always cooking something. Sometimes on a stove, sometimes on a laptop. Co-founder & CTO @shop_wishlink
CodeRunner @CodeRunner95049
2 Followers 60 Following
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
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
Rúnar @runarorama
12K Followers 102 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
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 🏳️⚧️
Redacted @cercerilla
2K Followers 460 Following
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
Michael Snoyman @snoyberg
6K Followers 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
João Forte Carvalho ... @bgamari
2K Followers 314 Following Director of Product @Constellation Network
Tikhon Jelvis @tikhonjelvis
3K Followers 249 Following I like programming languages. A lot. Tools, types and functions.
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 874 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Barry @chiroptical
559 Followers 277 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
ZuriHac @ZuriHac
2K Followers 48 Following Free yearly Haskell Hackathon in Zurich. Est. 2010. Next edition: 7-9 June 2025.
Google Open Source @GoogleOSS
75K Followers 135 Following Announcing new open source releases, exploring projects, sharing how we approach FOSS, and supporting communities around the world.
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
The Haskell Interlude @HaskelInterlude
586 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
melanie @cigsender
4K Followers 0 Following
Alan Zimmerman @alan_zimm
898 Followers 262 Following Long term hacker @[email protected] on fediverse
@pchiusano@universeod... @pchiusano
6K Followers 126 Following working on @unisonweb Mastodon: @[email protected]
Koz 'Intersectional F... @KozRoss
314 Followers 170 Following Intersectional feminist. #3dprinting catboy. On the spectrum. He/him. Also on Mastodon: https://t.co/ynHMEtgtEx
東京λ倶楽部 @ryotakameoka
1K Followers 1K Following
Torsten Scholak @tscholak
2K Followers 3K Following Lead Research Scientist, Foundation Models Lab @ServiceNowRSRCH. Opinions are not that of my employer.
Julius Marozas @JuliusMarozas
44 Followers 583 Following PhD @ Chalmers Interested in Type Theory, Proof Assistants 🐋 Haskell 🐔 Agda ❄️ NixOS he/him
Max Tagher @MaxTagher
1K Followers 229 Following Co-Founder/CTO @mercury; check it out at https://t.co/veN8OZrnPD 🐀
Mercury @mercury
36K Followers 308 Following Mercury is the fintech more than 200K ambitious companies and entrepreneurs trust with their finances
Haskell IDE team @IdeHaskell
518 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
Chris Smith @cdsmithus
615 Followers 154 Following Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.
Taylor Fausak @taylorfausak
2K Followers 91 Following
Obsidian Systems @obsidian_llc
1K Followers 233 Following Software consultancy specializing in haskell, nix, curiosity, and innovation.
gilmi @_gilmi
883 Followers 58 Following Mostly programming and Haskell. He/Him. 📕 https://t.co/xEErboAizd ⚡ https://t.co/ShceOZc3Y3
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Kirk @KirkCodes
2K Followers 656 Following Likes writing long blocks of code on the beach. Typescript, F#, Elm, SQL, Haskell, Python, C#, it's all cool really. https://t.co/DDfN7mgQOa He/They
Andrew Boardman @myShoggoth
588 Followers 472 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.
EMQ Technologies @EMQTech
3K Followers 304 Following The Unified MQTT Platform for Intelligent IoT Data Streaming
Simon Marlow @simonmar
8K Followers 250 Following Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician
Beth Sears @LizabethSears
416 Followers 1K Following Social impact leader Chief Development Officer@CommonSense Tweets are my own.
Haskell Weekly @haskellweekly
7K Followers 349 Following Haskell Weekly is a hand-picked weekly digest of Haskell news.
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
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
Mighty Byte @mightybyte
412 Followers 146 Following Engineering leader, functional programmer, student of leadership, devotee of skills acquisition who slacklines and rock climbs. It's all about balance!
Andrew Seddon @seddonandrew
1K Followers 2K Following @CircuitHub CEO. Robots making circuit boards.
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
𝚠𝚎𝚗𝚍𝚢 ... @wendydevolder
5K Followers 5K Following love helping communities come together. Interested in #community #cloudnative #opensource #devops #devrel
Skills Matter @skillsmatter
16K Followers 2K Following The community learning platform where technologists learn better, together.
Richard Eisenberg @RaeHaskell
3K Followers 149 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
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 729 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCanTrends for United States
You might like
