jaspervdj (@functional.cafe)
@jaspervdj
Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.
ID: 39216185
http://jaspervdj.be 11-05-2009 08:21:24
2,2K Tweet
2,2K Takipçi
371 Takip Edilen
🔎Julia Evans🔍
@b0rk
find me on Mastodon or Bluesky
Alex McLean @[email protected]
@yaxu
#UKRIFLF non-academic @algopattern research fellow @thentrythis Mastodon: post.lurk.org/@yaxu
deech
@deech
Eric Torreborre
@etorreborre
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
𝚠𝚎𝚗𝚍𝚢 𝚍𝚎𝚟𝚘𝚕𝚍𝚎𝚛
@wendydevolder
love helping communities come together. Interested in #community #cloudnative #opensource #devops #devrel
Edward Z. Yang
@ezyang
I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.
Domen Kožar
@domenkozar
❄️ Mainstreaming Nix. 💬 cal.com/domenkozar 🌲 @cachix_org founder 💻 devenv.sh 🌊 oceansprint.org
Edward Kmett
@kmett
Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. calendly.com/ekmett github.com/ekmett 🦋 @kmett.ai
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Joachim Breitner
@nomeata
Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 mastodon.online/@nomeata
Tobi 🇵🇸
@tpflug
[email protected]
David Aerne
@meodai
Self employed Design & Interaction developer at Elastiq Ltd. Color Pimp, Pixel fetishist and cathode ray tube enthusiast.
Luc Perkins
@lucperkins
@DeterminateSys. Nomad. Co-author, Seven DBs in Seven Weeks (7dbs.io). PhD @DukePoliSci. @WestJet is a criminal organization. #RipCity
Evie
@evie_fp
She/they 🏳️⚧️ Haskell, Rust, types // DMs are open
Fraser Tweedale (@[email protected])
@hackuador
cogito ergo coproduct
Hanneli Tavante
@hannelita
Programming Languages, engineering, electronics, Maths, proofs, books, Pokémon, Lego, animals, coffee, bread, plants, @recipl_, ice skating. Personal views.
Matti Palli 🧙♂️
@tritlo
uncertified haskell engineer
Rodrigo Mesquita
@romesrf
GHC contributor; kanjideck.com
patrick
@0xpgr
Open source technology & security enthusiast.
Taylor Fausak
@taylorfausak
Ben Gamari
@bgamari
I work on the Glorious Glasgow Haskell Compiler at @WellTyped.
Shayne Fletcher 🥝
@shayne_fletcher
Kia ora!
Andrew Boardman
@myshoggoth
Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.
Luc Tielen
@luctielen
I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
@[email protected] (John Mastodon fan account)
@morgulbrut
ISO 3103 expert | shitposter | I run Arch BTW | pronouns: he/him or they/them since it pisses off gobshites
ICFP Conference
@icfp_conference
ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Vladislav Zavialov
@int_index
Haskell programmer since 2012; GHC contributor since 2018.
Stephanie Weirich
@fancytypes
Alexis King
@lexi_lambda
computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Michael Peyton Jones🔸
@mpeytonjones
thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Matt Parsons
@mattoflambda
Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
cohost.org/ireneista @[email protected]
@ireneista
You're all dreams, nice dreams. We're an asexual autistic trans-femme plural system. Ad privacy, Internet Safety Labs, ex-Google, they/them. 🏳️⚧️🇨🇦
gabby
@gabriellag439
Author of @dhall_lang, haskellforall.com, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
Alperen Keleş
@keleesssss
METU CENG 21' | PhD Student at @umdcs | Writing at alperenkeles.com/posts | Currently random testing compilers, type systems, databases...
@flaviocorpa.com 🦋
@flaviocorpa
Senior Haskell Engineer @Scrive ♟️Adult chess improver #chesspunks 🏯日本語を勉強中(N3)
Xe Iaso
@theprincessxena
A blogger trying to break into video | xeiaso.net | @xeiaso.net 🦋
Redacted
@cercerilla
Dad×2_jack
@iceland_jack
Haskell
Zanzi Tangle, now at Monoidal Cafe
@tangled_zans
Turning Category Theory into code Find me at: zanzix.github.io @zanzi.bsky.social
Valerie Taerwe
@vtaerwe
@AE_nv intrapreneur - solving digital challenges. Mom & Wife. Founder of @WeGoSTEM & @TheAdaTalks. Tweeting about technology, innovation and diversity.
Juri
@jurichome
Alexander Vershilov
@qnikst
mastodon.social/@qnikst
Koz 'Intersectional Feminist Spectrum Weeb' Ross
@kozross
Intersectional feminist. #3dprinting catboy. On the spectrum. He/him. Also on Mastodon: chaos.social/web/@koz
Julia Chatain
@juliachatain
Dr. | Senior Scientist @SEC_ETH | Future Embodied Learning Technologies (FELT) | Math Ed • HCI • XR • AI • Games | 🐘 @[email protected] | 🦋 @juliachatain
Simon Vergauwen
@vergauwen_simon
#Kotlin since 2015 @arrow_kt maintainer Server, Compose and KMP. Fanatic OSS'er [email protected] Principal Engineer @XebiaFunctional | @47deg
mel
@cigsender
Tom Sydney Kerckhove
@kerckhove_ts
Professional Weirdo Learning American Sign Language
Tim Sears
@cstimsears
Groq On
Nadinda
@nadindadev
🇲🇨 • Turning matcha into code 🍵 • spiraling into endless hobbies
icfpcontest2021
@icfpcontest2021
Programming Contest associated with @icfp_conference and organized yearly since 1998! 2021 Edition was held 9-12 July by @jaspervdj and @alang9g.
Haskell Foundation
@haskellfound
haskell.foundation • a non-profit for building the future of Haskell
Tom Ellis
@tomjaguarpaw
Groq, Haskell, Bluefin, Opaleye
Edward Kmett
@edwardkmett
This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.
naomi (forgetful functor)
@fixedpointfae
25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | octodon.social/@naomi
Simone Comari
@coma_kameleon
Renzo
@renzocarbonara
Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Alex Jenter
@jntrlx
Hi i'm alex, designer and web dev, digital artist. don't smoke, kids In case your into nft's: objkt.com/profile/alexje… typed.art/@AlexJenter
An-phi Nguyen
@phineas_zu
Lead AI Engineer @biognosys. I like stuff, including ML, DL, Stat, CompBio, and instant noodles.
kipply
@kipperrii
"uncanny ability to be mentioned in every slack thread about code that's mysteriously breaking" - claude | alt @kipperriiii
Lizzie Wilson-- @[email protected]
@dgtlselves
live coder // techno-feminist 𐄘𐄗𐄕𐄖𐄓𐄑𐄐𐄓𐄗𐄗𐄗𐄔𐄗𐄑𐄖𐄘𐄘𐄓 contact: [email protected]
vilem ❌
@buggymcbugfix
programming language theory & practice • PhD with @dorchard ongoing • agroecology • no-till • dad to a child on the spectrum • Goodhart's law is real
Leo Lampropoulos
@leolambro
Assistant Professor at UMD | Programming languages, random testing, and formal verification
Graham Hutton
@haskellhutt
Professor at @UoNComputerSci 💻 Haskeller tinyurl.com/PIH-II 📓 YouTuber tinyurl.com/FP-Nott🎙 Food Nerd 🍽 Glaswegian 🏴
Catriona Agg
@cshearer41
Maths teacher and fan of geometric puzzles.
Vanessa McHale
@vamchale
Mainly Haskell, sometimes J/?