Simon Marlow @simonmar
Software Engineer at Facebook, Haskell enthusiast, GHC boiler-room technician Cambridge, UK Joined February 2009-
Tweets1K
-
Followers9K
-
Following264
-
Likes537
Did you know that Haskell is used in production at Meta? 🤯 In our latest article, we talk with Simon Marlow from Meta about their Haskell projects – Glean and Haxl – and his thoughts about Haskell in the industry. Read on our blog: serokell.io/blog/haskell-i…
Calling all #functionalprogrammers especially those based in Australia or nearby timezones! This is a top event with great speakers @deanwampler @simonmar & @kmett #Scala #Erlang #Haskell
Calling all #functionalprogrammers especially those based in Australia or nearby timezones! This is a top event with great speakers @deanwampler @simonmar & @kmett #Scala #Erlang #Haskell
A farewell to Simon Peyton Jones as he leaves Microsoft Research Subject: RE: New horizon I would like to add a few words to what Chris has written. I know I am also speaking for Mads, the current lead designer of C# (cc’d)
Do you want to work on PyTorch? The PyTorch team at Facebook is hiring! Remote in many locations is OK and most things we do are open source. Reach out to me in DMs if you're interested.
We've added Haskell to the list of programming languages supported by Thrift and open sourced the hsthrift package. Haskell Thrift is compatible with all fbthrift languages, allowing your projects to freely communicate with other services in any language. engineering.fb.com/2021/02/05/ope…
The GHC Steering Committee would like to know whether you would like having a new language extension -XGHC2021 that covers lots of existing ones. New -XGHC20xx extensions would come out every 1, 2, or 3 years (cadence under debate). Express your opinion at reddit.com/r/haskell/comm…
Bartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Graham 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}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/oP135HK8LMShriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt 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!Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageDomen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BLzqD 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2JvL 🌊 https://t.co/KiomSAWHVhGabriella 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) 🏳️⚧️Edward Z. Yang @ezyang
10K Followers 970 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Yaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone hey/them (PP by @HuntyDraws).naomi (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/UOuLLmAqKmRick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).KC Sivaramakrishnan @kc_srk
4K Followers 3K Following CTO @tarides_. Profing @iitmadras. Trustee https://t.co/WE1No5QqOA.小邪兽 @SmallEvilBeast
2 Followers 102 FollowingAnnie @xia_a38
729 Followers 2K Following Travel ✈️ |Beach 🌊|Yoga 🧘♀️|Love to read 📚|Hardworking person|Like to explore and experience new things|#windenergy|#travelMartin Coll @colltoaction
29 Followers 303 Following Building a diagrammatic software stack | BCS @ComputacionUBA | Find me on GitHub!Martin Suszczynski @marsusz
35 Followers 52 Followingdaphne mehmet @DaphneMehm84766
0 Followers 12 FollowingNenad Filly Nk @bfilly3
90 Followers 709 Following 50k in debt 800k in 3weeks make over 40k on daily basis DM me and get startedMed K @redmed666
243 Followers 1K Following Security guy, love reverse engineering, like to search and test new stuff https://t.co/w1IRJfEVux || https://t.co/uxYcdaPrfWtarpit42 @tarpit42
5 Followers 79 FollowingErnest Ng @ngernest2
408 Followers 3K Following @Penn ‘23 | Interested in OCaml, Haskell & PL | he/himYIMBY Martial Law Enf.. @RepealTCPA1947
2K Followers 1K Following Another 20 something homosexual neoliberal ghoul, how original. Anti-anti-growth coalition and #YimbyLobby propagandist.Benjamin Prevor @BenjaminPrevor
64 Followers 164 Following Uchicago 21', Software Engineer, Oddball sport enthusiast, FP/Haskell/NixOS enthusiast.Jaume Mateu Mateu @jaumemateumateu
38 Followers 198 FollowingSoata @Soata397726
133 Followers 2K FollowingFetethoat @fetethoat70612
112 Followers 1K FollowingDespoina Magka @MarlaMagka
540 Followers 537 Following Software engineer at Meta London, @MetaAI. PhD Artificial Intelligence, Oxford. Tweets in English, Greek, French, German, Spanish. From Athens.Johnny @Luckyrocky2028
193 Followers 4K Following Stay Hungry, Stay Foolish. 只有自律的人才能得到真正的自由。|No Politics.Azuremis @azuremis
192 Followers 1K Following ᴡᴀᴋᴀɴᴅᴀɴ ғʀ ☥ ᴀɪ ᴍᴀxɪ • ᴛᴇᴄʜɴᴏʀᴀᴛɪ • ᴇ/ᴀᴄᴄ sᴇᴀʀᴄʜɪɴɢ ғᴏʀ ᴛʜᴇ ɢʜᴏsᴛ ɪɴ ᴛʜᴇ sʜᴇʟʟ ☯︎ ᴄʀᴀғᴛɪɴɢ ᴛʜᴇ ɢᴇᴏᴍᴇᴛʀʏ ᴏғ ɪɴᴛᴇʟʟɪɢᴇɴᴛ ᴍᴀᴄʜɪɴᴇs 🧠🤖🔥 ᴏᴘᴇɴ ᴛᴏ ᴍʟ ʀᴏʟᴇsRichard Bouška @richard_bouska
16 Followers 239 Following@[email protected] �.. @_msw_
13K Followers 5K Following Socio-technical Systems Engineer at Amazon | Free and Open Source Advocate | he/him/they/them | Opinions: my own | https://t.co/qdvk841QfrAntonio @jhuno137
68 Followers 178 FollowingRif Ahmed 🇵🇸 @batman_hmcoming
78 Followers 626 Followingابو الحسن ا�.. @Indradamarj
34 Followers 1K Following Hopefully, become a Technical Writer and Mentor. Love Functional Programming.Fabian Herty @herty_fabian
2 Followers 39 Followingmaijohn @maijohn11
22 Followers 459 FollowingLuke McCartney @microdosingnyc
20 Followers 261 Following Computer Science graduate interested in Machine Learning, Programming Languages and German.paulo smit @smit_paulo31419
73 Followers 277 Followingにいかわりな @niikawarin10461
14 Followers 153 FollowingDr. H @rhoeppner
34 Followers 115 FollowingTom B @MasterBombadil
19 Followers 233 Followinggiraffe @ervethtrvm
5 Followers 429 FollowingJose Paez @Ssaent
66 Followers 653 FollowingJames Laird-Smith @JLS_DataScience
266 Followers 365 Following Data Scientist at the @BankofEngland. Previously at the @FinancialTimes and University of Cape Town. 🩴🇿🇦Zvanok @Zvanok2
79 Followers 644 FollowingSrinivas Reddy (త�.. @Srini8085
126 Followers 3K Following తెలుగు, freelance full stack engineer, Python, Javascript, Typescript, Rust . freelancing since a decade when it was not in vogue . Open for freelancing , DMAkceny @Akceny
32 Followers 74 FollowingHarmeet Singh @singh_harmeet13
235 Followers 504 Following A Geek Who Loves his Work, Family, & Friends and Strongly Believe in Humanity.perm @sarlah_dendi
153 Followers 2K FollowingBharat Gera @bharat_gera
520 Followers 4K Following A dreamer in the true sense! UC Berkeley Haas School of Business.Doğan @sepet
308 Followers 421 Following I occasionally tweet about programming. Software Engineer in AWS / EC2. Opinions are my own.Rao Virinchi @raovirinchi
7 Followers 50 FollowingSulofs 🇲🇦 @LahrsNoah
37 Followers 402 Following Web dev. Learning to make music, Game sometimes. Interested in everything computer relatedAlex Lee @AlexLee346006
12 Followers 97 Following@psilospore - Syed Ja.. @psilospore
106 Followers 765 Following PhD Student at the University of Vermont and Software Engineer. I like Functional Programming. I mosly write Haskell these days.Sonya Schriner @SchrinerSonya
31 Followers 271 Following Coffee fanatic interested in Binary Translation and Machine Learningcodergwy @codergwy
5 Followers 103 FollowingBartosz Milewski @BartoszMilewski
32K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Erik Meijer @headinthebox
27K Followers 0 FollowingSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}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/oP135HK8LMShriram Krishnamurthi.. @ShriramKMurthi
19K Followers 4K Following 🦣: @[email protected] ••• @BrownCSDept / @BrownUniversity || @BootstrapWorld || @PyretLang || @racketlang || compsci || education || cycling || cricketTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt 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!Gabriella 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) 🏳️⚧️Edward Z. Yang @ezyang
10K Followers 970 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Yaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Alexis 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, ⚢Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersDan Luu @danluu
45K Followers 45 Following Active on https://t.co/WG71NrsDQk; also trying out https://t.co/DBk2OnBVL1. No longer read replies or notifications here now that tweetdeck is gated.Michael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.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/vM4OgmDjGQMuniHac @MuniHac
363 Followers 149 Following MuniHac is an annual three-day hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globeDragon Ride @DragonRideWales
732 Followers 149 Following The UK’s most legendary sportive set in Bannau Brycheiniog with challenging climbs & rugged views 🐉 Secure access to Final 500 Places: https://t.co/b9uV0VQBfYSteve Yegge @Steve_Yegge
10K Followers 0 FollowingAre EF's socks on rig.. @efsockcheck
2K Followers 97 Following Yes, the answer is yes, they're both white now :(Best for Britain @BestForBritain
195K Followers 6K Following Fixing the problems Britain faces after Brexit. Change Minds → Change Politics ▪️CEO: @pimlicat ▪️Guest tweets: @sturdyAlex ~AA ▪️Insta: @bestforbritainMark Cavendish @MarkCavendish
1.3M Followers 478 Following Professional cyclist from the Isle of Man, riding for @AstanaQazTeam. Fast sprinter, faster talker.Parody Rishi Sunak @Parody_PM
276K Followers 977 Following Just like the real Prime Minister, only honest and with £730million less in the bank. I survive on coffee – feel free to buy me one here ⬇️John Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceCCAshwell 🚴♀�.. @CC_Ashwell
174 Followers 265 Following Twitter Account for Cycle Club Ashwell #cycling #allwelcome #hertfordshire #cambridgeshire #bedfordshire and beyond!Tom Pidcock @tompidcock
91K Followers 218 Following 🇬🇧 23 // Cyclist // Olympic & World Champion @redbulluk @ineosgrenadiers Contact: [email protected]Nadav Rotem @nadavrot
4K Followers 427 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱Luke Rowe @LukeRowe1990
93K Followers 353 Following Cyclist for Team Ineos and Owner of Rowe & King https://t.co/nAq2SiDrza !!! Ice Hockey fan !ITV Cycling @itvcycling
117K Followers 530 Following Official feed for ITV's cycling coverage. @Replies & tweets with #itvcycling may be used on air or online.Cycling Graphs @CyclingGraphs
15K Followers 156 Following IRL 🇱🇻Kārlis Ozols 🚴Working for Lanterne Rouge Media 📩 [email protected]Paul Leyland 🟦 @Brnikat
477 Followers 400 Following General purpose scientist, amateur astronomer. Aspie into most anything technical. Pedantry is something up with which I will always put. Down, not across.Simon Yates @SimonYatess
39K Followers 398 Following Professional Cyclist - Team BikeExchange @GreenEDGEteamRobbie McEwen AM @mcewenrobbie
108K Followers 368 Following former pro bike rider commentating current races on GCN @gcntweetMatt Stephens @RealStephens
70K Followers 2K Following Dad. Eurosport/GCN & RCS cycling commentator, ambassador & digital content Sigma Sports & Zwift Insta: @RealStephens enqs @blackjersey.cc Currency 2129/3064Adam Blythe @AdamBlythe89
54K Followers 593 Following Cycling Commentator and Pundit. Ambassador for @genesisbikesuk , @skodauk,🇺🇦 Ukraine Weap.. @UAWeapons
859K Followers 31 Following Debunking & Tracking Usage/Capture of Materiel in Ukraine. An archive as of 23rd of October 2023.Matthew Pickering to @mpickering_
806 Followers 250 FollowingAtze Dijkstra @atzedijk
44 Followers 15 FollowingBritish Cycling @BritishCycling
182K Followers 1K Following The official British Cycling Twitter account! Join us for the ride to #Paris2024! 🚴🇬🇧Ed Laverack @edlaverack
5K Followers 290 Following 2019 British Hill Climb Champion // Ex-Pro now “Privateer” // Sharing my life as a lover of hills and all things endurance on two wheels⛰️🤩🏴Steve Blackburn (@ste.. @stevemblackburn
2K Followers 976 Following Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. https://t.co/zPlLF6sKVXZwift @GoZwift
87K Followers 2K Following Engaging gameplay, meets an innovative trainer, mixed with a global community. The result? Serious training made fun.Frog and Toad Bot @FrogandToadbot
231K Followers 17 Following Frog & Toad fan page. Tweets every 3 hours. Manual retweets & non-quote/image tweets. Books by Arnold Lobel. Powered by @GimmickBots.James O'Brien @mrjamesob
1.2M Followers 4K Following Buy ‘How They Broke Britain’ here: https://t.co/l1OeqaJPceMoritz 💫 @4ngerman
2K Followers 735 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Jean Leyland @JeanLeyland1
5 Followers 9 FollowingKillian Murphy @killianm
1K Followers 2K Following Irish. Eng Director at Meta working on Developer Platforms, Testing & Verification, DevX, and Open Source.Tour of Britain @TourofBritain
110K Followers 1K Following Britain's biggest bike races. 🚴♀️ Tour of Britain Women (6-9 June) | 🚴♂️ Tour of Britain Men (3-8 September)CombertonVC @CombertonVC
3K Followers 19 Following An outstanding 11-18 school, engaged in the wider education community whilst remaining true to Henry Morris’s vision of serving the needs of its locality.jaspervdj (@functiona.. @jaspervdj
3K Followers 403 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.👩💻 Paige Bai.. @DynamicWebPaige
59K Followers 2K Following ✨Keep it simple, make it scale. AI should be about empowering people, building understanding, & making dreams realities. 👩💻GenAI @GoogleDeepMind ex-@GitHubNathan @Nathan_Hawkes_
110 Followers 331 FollowingRafael López Diez @rafalopezdiez
463 Followers 28 Following Going through life supporting people smarter than me, and finding joy in the journey. Director @ Meta. Tweets in Spanish and broken English.@_julesh_ Looks like they missed the boot sector.
A huge interview from @simonmar by @serokell about production usage of #Haskell at Meta just dropped💥 Lots of interesting insights! But I'm especially happy about reading takes on hiring Haskell Engineers 🤌 serokell.io/blog/haskell-i…
I quit GitHub. I’m proud of GitHub Copilot and GitHub Advanced Security (previously Semmle). Leading the creation of these products was exhilarating. 1 / 3
Now that I also exist on #Mathstodon I will post real math there and restrict my tweets to trolling, so you should expect an approximately 5% change in my Tweet feed.
@astro_jaz "As you will no doubt be aware, the plans for development of the outlying regions of the Galaxy require the building of a hyperspatial express route through your star system and, regrettably, your planet is one of those scheduled for demolition."
My son told me today his top three objectives for spending time with me: 1. Go biking. 2. Beat me at chess. 3. Learn more Java. Only one of these things is going to be an uphill struggle.
Now I've got that feeling once again. I can't explain, you would not understand. This is not how I am.
The first day of ICFP with the Haskell Implementors Workshop was great fun and concluded with the mandatory tasting of some local craft beers.
A cycle ride from Tahoma at Lake Tahoe to Squaw Valley sky resort with Kavi. strava.com/activities/774…
No matter where I look and no matter however often I clean the house, I always seem to find more cat hairs. I am becoming ever more convinced that a significant fraction of the dark matter in the universe is actually made of cat hairs.
(stomach cancer etc.), pre-diabetes, sleep apnea and the change of the type of the foldl function in the Haskell prelude. I'm too busy singing to put anybody down, so I plan to defeat this ailment and carry on hacking and drinking and ranting for some time yet.
British Champion again!🤩 The National Championships is always a special race with a unique style. 9 years after my last title in Glasgow, it seems Scotland’s been good to me again ☺️ 200km, wind, rain, heavy roads =❤️ for me and tough, real racing. Thanks for all the messages 😘
GPT-3 managed to capture @simonmar's productivity level pretty well.