Richard Eisenberg @RaeHaskell
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 richarde.dev Philadelphia, PA, USA Joined November 2019-
Tweets220
-
Followers3K
-
Following161
-
Likes52
I'm excited to be part of a panel on careers in PL at PLMW at @poplconf. But I'm weighing whether or not to stick around for all of POPL. I'd love to -- but I went 2 for 2 in 2022 for getting covid at conferences. Will there be e.g. a testing protocol? That would go a long way.
Back after a hiatus for Haskell Symposium submission (rejected 😢) and then holidays.
Back after a hiatus for Haskell Symposium submission (rejected 😢) and then holidays.
Simon Peyton Jones’ work to deliver outstanding computing education is recognised in the Queen’s Birthday Honours ahead of the Platinum Jubilee celebrations. 👏🎊 Read more: computingatschool.org.uk/news-and-blogs… #PlatinumJubilee #Congratulations #OBE
I'm writing a paper for Haskell Symposium, using @kosmikus's lhs2TeX for code formatting. My editor: VSCode. And, amazing to say, HLS is finding type errors in the middle of my paper. Very cool!
Apologies to my loyal fans, but this week got away from me -- no @tweagio video. :( I'll make it up with 2 next week! :) One will use criterion to run microbenchmarks on the Wordle code. Don't worry if you haven't kept up on the (long) series -- it will be relevant regardless!
Alert: The GHC Steering Committee is contemplating a proposal that will cause some breakage. We want community feedback to inform whether we should proceed. Read all about it -- and share your thoughts -- at Discourse: discourse.haskell.org/t/feedback-req…
Pleased to share that the videos from the WITS workshop (co-organized with @agdakx and part of @poplconf) are now online, including the keynote by @jonmsterling. Thanks to Apoorv Ingle, the tireless video chair! youtube.com/playlist?list=…
The @haskellfound is seeking a new Executive Director. Come join us and help shape the future of #Haskell! We're eager to get moving, and so the deadline is Feb 22. Spread the word! haskell.foundation/careers/ed.html
This is my favorite tweet in a while.
Excited to make a new series of videos, about a Haskell program to find good Wordle guesses. Should be a good companion example to Haskell learners and an opportunity to learn about data representation choices and optimization for Haskell intermediates. youtu.be/2djr6ZxQ8VA
Haskell weekly is such an important part of the Haskell ecosystem. Hard to believe it's run by a single, passionate person for such a long time. Thank you for all of your hard work @taylorfausak and congratulations on hitting 300 issues!
Haskell weekly is such an important part of the Haskell ecosystem. Hard to believe it's run by a single, passionate person for such a long time. Thank you for all of your hard work @taylorfausak and congratulations on hitting 300 issues!
Want to contribute to GHC? I came across a ticket today that should be nicely addressable by a newcomer. Hint: look in libraries/template-haskell/Language/Haskell/TH/Ppr.hs gitlab.haskell.org/ghc/ghc/-/issu…
We can imagine an operator like `Tuple Int Bool Double` that reduces to `(Int, Bool, Double)` by inferring its arity. But can we do it for unboxed tuples, with their varying representations? @RaeHaskell shows us how, with a couple of twists and turns: youtu.be/kGyiH5Nup-Y
In a fit of evening productivity, I wrote two GHC proposals tonight: github.com/ghc-proposals/… on a new opt-in syntax for lists and tuples that avoids punning, and github.com/ghc-proposals/… on dropping support for -XNoPolyKinds. Video on -XNoPolyKinds due out on Thursday.
Dmitrii Kovanikov @ChShersh
8K Followers 111 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownGraham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Edward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Alexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketnaomi (forgetful func.. @fixedpointfae
6K Followers 575 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKmYaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhTom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageBen Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Michael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Edward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Rahul Yadav @RahulYa23370048
33 Followers 126 Following On trader's path. part time engineer. fall in love with books.serenidad_monotropica @Fernand06180883
9 Followers 271 Following Cryptid 🌈 he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös AnarchyHanumanth Rao @Hanumath_Rao
62 Followers 2K Followingsamuele angheben @SamueleAng50325
2 Followers 20 FollowingGokul Rajiv @gok99_
2 Followers 49 Followingfarsi_rumi @farsi_rumi
0 Followers 1K FollowingcomputationalDebauche.. @computeDecadent
49 Followers 314 FollowingAlecs @KleeneAlgebra
6 Followers 48 Following P = NP • I really like programming languages, formal methods and category theory • MSc Student @UniPadova looking for a PhD position :)Rodolphe Lepigre @rlepigre
31 Followers 111 Following I am a computer science Researcher. I am interested in a lot of things: logic, type theory, but also operating systems and hardware stuff.Sarthak Ojha @Bayestothecore
24 Followers 1K FollowingAbhik @Ryecatcher
19 Followers 4K Followingravah90011 @ravah9001153797
2 Followers 42 FollowingNewton M @manwa_migosi
69 Followers 266 FollowingOzan Erdem @ozanerdem
625 Followers 1K Following Principal Engineer @CerebrasSystems. PhD in AI, Satisfiability and Constraint Satisfaction Problems. Tweets don't necessarily represent my employer's opinions.UM @umukh_3
163 Followers 4K FollowingNNNNTE @NNNNTE
2 Followers 118 FollowingJackie Haynes @jsahaynes
680 Followers 445 Following All things prog. languages and data modelling, java, fp, c++. she/herKB @kimbebop
86 Followers 613 Followingkmc @jebantyk
68 Followers 198 FollowingKenny (Parity account.. @zumalifeguard
782 Followers 3K Following This is a parity account, for a bit of error-detection. I use my computer to code anti-patterns. I use Twitter mostly to unfollow people.Sergey Litvinenko @sergeyltvn
263 Followers 3K Following @AUBGedu '20 Mathematics and Economics @WU_vienna '23 Quantitative Finance RT ≠ endorsement https://t.co/UP4UK7Y7FXWhySo @diddadiddadid
33 Followers 148 FollowingHumber Aquino @goku2
1K Followers 3K Following Passionate engineer who loves to build things. 📚 🏃 🎧 🚴 in-between. @appcues prev: @crazyegg @buffer @sodepsaHercules Lemke Mersch.. @bitmaybewise
417 Followers 894 Following Coding for a living and for fun. Backend Engineer @gitlabBen Rischarde @stswian
25 Followers 245 FollowingShriram Balaji @shrirambalaji
1K Followers 5K Following engineering at @microsoft • tinkering with things on the web, typescript, rust • ⚭ @swetha__ramanriya @hindexisover100
35 Followers 78 Following ruminating, modeling, specifying, simulating, reasoning & interpreting the future of the current thing @avronna_inc ; maths+computing @imperialcollege 🏳️⚧️Andrii Serhiienko @hiienko
9 Followers 37 Following Versatile software engineer with a passion for programming, system architecture, startups, entrepreneurship, and continuous learning. #TechEnthusiastMadhukar YR🕸️ @Mycroft_Homeles
115 Followers 657 Following Professional amateur. CAD Engineer, PhD student. Junk foodie and a movie buff. Yet another Jack of all trades, master of none. He/him.Jacopo Grandi @jack_bigs
59 Followers 383 FollowingTomas Dacik @DacikTomas
25 Followers 406 Followingborgswi @borgswi
75 Followers 634 FollowingFernando Rodríguez @frr149
5K Followers 1K Following Co-Founder at @KeepCoding_ Also on mastodon: @[email protected]tomek grzesiak @tomekgrzesiak2
1 Followers 16 FollowingJotapê @starshipcowboy_
32 Followers 181 FollowingSorawee Porncharoenwa.. @sorawee_p
242 Followers 485 FollowingGuillaume Duboc @duboc_guillaume
221 Followers 132 Following PhD student @dashbit and @IRIF_Paris. Working on typing Elixir.Aram Hăvărneanu @aramh
438 Followers 476 Following Mathematical engineer bringing type safety to the cloud @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.MJ @mikejeuga
154 Followers 748 Following 👨🏾💻 Software Eng 🌍in LDN 🇬🇧| Up for a debate. @SorbonneParis1 Alumn | he/him. I speak for myselfBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Dmitrii Kovanikov @ChShersh
8K Followers 111 Following 🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my ownGraham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Tweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושEdward Kmett⏏️ @kmett
14K Followers 776 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/them (PP by @HuntyDraws).Alexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Shriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketGabriella Gonzalez @GabriellaG439
14K Followers 144 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. I'm a midwife to the hidden beauty in everything (she/her) 🏳️⚧️Yaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLBen Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.Edward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Andrew K. Hirsch @andrewkhirsch
568 Followers 905 Following Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.Yao Li @lastland0
1K Followers 696 Following He/Him. Assistant professor at @Portland_State. Ph.D. @Penn. Programming Languages, Formal Verification, Interactive Theorem Proving. [email protected]Caleb Stanford @calebstanford4
1K Followers 1K Following Assistant Professor at UC Davis. PL + Systems, Coffee, Productive Procrastination. https://t.co/Qqj5b0CPpbHarry Goldstein @hgoldstein95
656 Followers 379 Following (he/him) PhD Candidate at Penn My work combines techniques from PL and HCI to solve software engineering problems. Currently focused on property-based testingMax ⊶ New @maxsnew@.. @ProfMaxNew
1K Followers 225 Following Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️Alexander Granin @graninas
5K Followers 893 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and ArchitectureAndrew Myers @AndrewCMyers
4K Followers 283 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.Noam Zilberstein @NZComplete
167 Followers 98 Following Recovering tech worker turned PhD student @CornellCIS. PL, Logic, Formal VerificationVitaly Bragilevsky @VBragilevsky
3K Followers 342 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…Patrick Bahr @pa_ba
90 Followers 49 Following Associate Professor in Computer Science at IT University of Copenhagen https://t.co/v79TLtWXwCDimitrios Vytiniotis @dvytin
200 Followers 93 FollowingSteve Purcell @sanityinc
4K Followers 694 Following I optimise software and human systems, and make them happier. Account dormant, find me on the fediverse via my homepage instead. 👇Leo Lampropoulos @LeoLambro
1K Followers 656 Following Assistant Professor at UMD | Programming languages, random testing, and formal verificationpaulette d. koronkevi.. @koronkebitch
3K Followers 380 Following preserving types with @wilbowma at @ubc_spl. former @galois intern, former former @IULuddy undergrad (she/her)Johan Jeuring @johanjeuring
489 Followers 230 Following Professor of software technology for learning and teaching at Utrecht University@[email protected] @donsbot
7K Followers 0 Following Not on Twitter anymore. Follow me at https://t.co/TsydQVKe5X and https://t.co/yZojCG7KEOAlan Jeffrey @asajeffrey
1K Followers 377 Following Programming languages. Doctor Who. Comics. Type systems. Being the dad from Magic Trixie. @[email protected] He/him.Jon Purdy @evincarofautumn
436 Followers 187 Following they • PL designer/developer/theorist • math • code • science • HaskellMartijn Bastiaan @ucallbyneed
19 Followers 15 Following Haskell fan | Clash Compiler developer | /u/callbyneedSam Lindley @reifyreflect
648 Followers 294 FollowingHaskell @HaskellOrg
13K Followers 61 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida, @nikivazou & @jaspervdj on behalf of the https://t.co/1sy8nTHi9G CommitteeNicolas Wu @nicolasgwu
501 Followers 123 Following Reader in Computer Science at Imperial College LondonEdward Kmett @edwardkmett
469 Followers 244 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.joomy @joomy
2K Followers 954 Following Formal verification researcher @Bloomberg & PhD candidate @Princeton. Tweets about types, metaprogramming, linguistics. (for 🇹🇷 tweets, see @vowelharmony)Idris Language @idrislang
2K Followers 3 Following The Idris Programming Language. Tweets by @edwinbradySebastian Graf @sgraf1337
296 Followers 272 Following Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]Andrew Fitzgibbon @Awfidius
4K Followers 911 Following Technical Fellow, Graphcore. Love beautiful code, and beautiful hardware to run it on.Sam Derbyshire @samderbyshire
307 Followers 313 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.Chris Smith @cdsmithus
587 Followers 164 Following Software developer and amateur (but published!) ring theorist. Volunteer K-12 math/CS teacher. Haskell enthusiast. He/him.Loris D'Antoni @lorisdanto
6K Followers 730 Following Professor @WisconsinCS, this summer moving to @ucsd_cse. Also Visiting Academic @AWScloud. Helps people write programs that do the thing people want them to do.Morabijn @morabbin
914 Followers 794 Following Haskeller working on @fbinfer @ Meta; Galois Co-Founder; Ex-Head of SCB Strats; Husband; Dad; vintage geek. Views my own. He/him. #BlackLivesMattersclv @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/vM4OgmDjGQCsaba Hruska @csaba_hruska
1K Followers 732 Following I'm into compilers and pure functional programming. I'm doing Research & Development. (GHC, LLVM, ASM, pointer analysis, optimization) FYI: Csaba ⟦ˈt͡ʃɒbɒ⟧Gaël Deest @gael_deest
162 Followers 256 Following Software engineer (Haskell and all-things-lambda addict. PhD on FPGA accelerator design. Secretly hates computers. Openly loathes (most) user interfaces.@[email protected] @wenkokke
1K Followers 487 Following can't walk a straight line between logic and ai ‖ she/her ‖ @mspstrath ‖ https://t.co/Uu7lM0FWna ‖ disabled ‖ no cops, no bordersAndrew Boardman @myShoggoth
628 Followers 514 Following Director of Engineering at @getwellrewarded Former ED of @haskellfound My own opinions and not necessarily those of my employer.José Manuel Calderó.. @josecalderon
2K Followers 838 Following Director @HaskellFound , lecturer @umdcs. Jazz, music theory, compilers + privacy, sometimes I combine them. I can also be found @[email protected] I miss YorkshireCyrus Omar @neurocy
3K Followers 3K Following 🌱 laying foundations for the future of programming @ https://t.co/KNwWLHLDUu 🌿 assistant professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crewThe GHC Steering Committee just accepted a proposal by @RaeHaskell and others that introduces non-punning names for the type of lists and tuples: github.com/ghc-proposals/…
I am pleased to announce that after an extended (and much needed) break from employment, I have just joined @tweagio, where I’ll be working on GHC and other Haskell-related things. (In fact, I technically started last week, but I’m only just getting around to stating it here.)
The GHC Steering Committee thanks @trupill for his two years of service on the committee!
The GHC Steering Committee has just accepted an amendment to the design of modifiers, proposed by @RaeHaskell. github.com/ghc-proposals/…
Just introduced Haskell to a packed class of enthusiastic and amazing undergrads full of questions. Right after a conference full of great interactions, new ideas, and renewed collaborations. This semester is shaping up to be a ton of fun!
TOPLAS is now Gold Open Access. All TOPLAS papers (since the 1979 beginning) are now available to everyone.
just rewrote a bash script in Haskell and omg Haskell is the finest imperative language
In honour of @RaeHaskell’s Stitch, I’m thinking of naming my latest experiment the Small Polarized Abstract Machine.
Ah, glad to see @RaeHaskell's intro to Kinds! youtube.com/watch?v=JleVec… #Haskell
@RaeHaskell @tweagio These videos are really great. Thank you for making and sharing them! I'm honestly impressed by the relatively short amount of time you need to spend on making them given their high quality.
@tweagio @RaeHaskell @RaeHaskell your videos are so great it's unbelievable 🤩
Dose 2 complete. I'm not sure I remember what "normal human interaction" even looks like any more, but I'm cautiously optimistic that I might be able to enjoy doing things with folks other than my wife and my cats at some point in the not so terribly distant future. Imagine that.
Really tired of ct books that treat teaching as an enumeration of definitions and examples
@RaeHaskell videos are by far the best Haskell resource on youtube right now. youtube.com/watch?v=ijicXv…
First jab achievement unlocked. I love science so much.
I adore that @RaeHaskell has been doing these great little explanatory videos.
GHC doesn't support infinite types. But that doesn't stop them from causing trouble. @RaeHaskell walks us through the details: youtu.be/lk-0B3HF6FY
The rebuttal process is where you hope to go from ACDC to ABBA i.e. from "Highway to Hell" to "Take a Chance On Me".
Delighted to share that our paper "Perceus: Garbage Free Reference Counting with Reuse" has been conditionally accepted to #PLDI2021, written with Alex Reinking, @leodemoura, and Daan Leijen. A technical report version is available: microsoft.com/en-us/research…
Watching @RaeHaskell figure out which extension he needs to add using different error messages blows my mind! Please do more of these videos. I am learning a lot.
@RaeHaskell I'd love to be in a position where an internship is an option ! Especially with @RaeHaskell as a mentor.