Neil Mitchell (neildmitchell @🪡) @ndm_haskell
Haskell/Rust programmer. Views expressed are my own. ndmitchell.com Cambridge/London, UK Joined March 2010-
Tweets4K
-
Followers5K
-
Following169
-
Likes8K
Missed the first lecture of our series?🫣 Do not fear! You can catch up with @EGMitchell's talk "Using spatial point process analyses to quantify the behavioural ecology behind trace fossils" on our channel: youtu.be/cW3Glw_zN0I?fe… #palaeoecology #palaeobiology #palaeontology
starlark-rust is a Starlark (simplified deterministic Python) implementation as a Rust library. We use it heavily in the Buck2 build system. Yesterday it graduated to github.com/facebook/starl…, having previously been in facebookexperimental. Nice to see our library growing up!
We just open sourced github.com/facebookincuba…. Useful if you're using the Buck2 build system and want to build a CI that only reruns the minimal subset of things that might have been changed by a PR. Essential on huge projects!
WhatsApp uses #Buck2 to build its Erlang codebase. Andreas explains how in youtu.be/E1_txkn7YKA?si…
We’ve open sourced DotSlash, a tool that makes large executables available in source control with a negligible impact on repository size, thus avoiding I/O-heavy clone operations. #opensource engineering.fb.com/2024/02/06/dev…
How did I manage to end up owning one of these? A specialist tool for producing a specific type of confusing chart, in one specific size, by hand.
#Haskell linter HLint 3.8 now out with GHC 9.8 support (thanks to @shayne_fletcher for tirelessly keeping up with GHC). github.com/ndmitchell/hli…
Just released a new Hackage release for the #Haskell search engine Hoogle - hoogle.haskell.org. I've maintained this project for 19 years, it gets 750K hits a day, but it's not had any great improvements in a while, and PRs are backing up. Anyone interested in helping?
Just released #Haskell `safe` library - has various wrappers over partial functions. E.g. tail has tailDef (return a default), tailNote (better error message), tailMay (return a Maybe). v0.3.20 adds tailErr, alias for tail that doesn't warn on GHC 9.8. hackage.haskell.org/package/safe
The GHC Haskell Compiler adding new warnings is always a pain. There's no way to suppress the warning for new without CPP or .cabal changes, which is burdensome. I like the Rust approach where the unknown suppression warning can itself be suppressed.
CircuitHub is hiring Haskellers! discourse.haskell.org/t/circuithub-i… I've collaborated with CircuitHub engineers for years on Opaleye (their database library rel8 uses Opaleye as a backend). I'm sure it's a great place for Haskellers to work.
Buck2 and OCaml work together beautifully - you need the dynamic dependencies to infer intra-library dependencies. Talk with @shayne_fletcher at OCaml workshop: youtube.com/watch?v=l4X4Bx…
Rust 1.75.0 is now available! 🦀✨ Traits now support `async fn` and `-> impl Trait` (with some limitations), the compiler got faster, `version =` in Cargo.toml is now optional, and many small functions have been stabilized! Check out the announcement: blog.rust-lang.org/2023/12/28/Rus…
We published version 6.0.0 of the fast_float library: really fast number parsing, compatible with the C++ std::from_chars standard (actually used in GCC 12+). It is a single header you can drop in your project. Brings in fast integer parsing. github.com/fastfloat/fast…
Oh, they've added a fence since @EGMitchell and I camped next to it.
Oh, they've added a fence since @EGMitchell and I camped next to it.
Thanks for letting us Buck2 folks join in the BazelCon community day. A great series of talks.
Thanks for letting us Buck2 folks join in the BazelCon community day. A great series of talks.
Haskell's import syntax has improved a lot over the last few years. A lot of Haskell source code is formatted in the former style, with all the spaces at the front... I just think it looks so much nicer when `qualified as` comes after the module name!
I wrote about a few minor reference-counting tricks: chadaustin.me/2023/11/refere…
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/oP135HK8LMTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴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!Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Domen 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) 🏳️⚧️Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following @haskellfound data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone #Haskell they/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/UOuLLmAqKmMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Software Engineer @referentiallabs. Gay. Immigrant. Loves: #OptionsTrading #FunctionalProgramming #economics #mathematics #systems #JohnWatersYaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryPaweł Szulc @EncodePanda
3K Followers 644 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsEdward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Anshul Singh @anshulsingh103
5 Followers 2K FollowingJanhavee Shinde @SJanhavee
55 Followers 2K FollowingSang Dao @SangDao811932
173 Followers 1K Following小邪兽 @SmallEvilBeast
2 Followers 102 FollowingSamuel "curry-howard .. @SamuelAinsworth
3K Followers 3K Following prev: @BrownUniversity, @uwcse/@uw_wail phd, curr: research scientist @cruise. 0.1x engineer, 10x friend. spondyloarthritis, cars ruin cities, open sourceMartin Coll @colltoaction
27 Followers 302 Following Building a diagrammatic software stack | BCS @ComputacionUBA | Find me on GitHub!Old Flame @khoind
34 Followers 303 FollowingNixOS Asia @nixos_asia
100 Followers 119 Following NixOS Asia is a community of Nix and NixOS users, promulgated initially from the Indian subcontinent.🐍Furkan Onder🐍 @fsyscall
4K Followers 4K Following @thepsf Triage Member | Focusing on CPython #LKD #Python #ArchLinux #Django #eBPFDarth Goblin @0xc0dejug
550 Followers 442 Following building @union_build and https://t.co/hH3b4hfNsp. dictated by code. financial coadvices. trapped in the simulation.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 AnarchyEmilio González @emi0x7d1
0 Followers 137 Followingkaruson @karusonn
71 Followers 444 Followinglambdasofthecosmicsla.. @Cosmic_Lambdas
1 Followers 77 Following An attempt of a selftaught journey in: - Functional Programming - Programming Language Theory - Type Theory - Proof Assistantsk @weylperson
538 Followers 482 Following AdS/CFT | Hilbert’s sixth, logic, and category theory | backend SWE + Haskell stan | clutch city sports fanshashidhar honnungar @shashidhar_honn
40 Followers 853 FollowingLijun Chen @LijunCh90579979
2 Followers 24 FollowingBill @6ub
44 Followers 98 FollowingBrad Zacher @bradzacher
667 Followers 358 Following Computer scientist Cider drinker Dungeon Master @TSESLint Maintainer Software Engineer @Canva (prev @Meta) @[email protected] bsky https://t.co/lJj9MJcOyE孙笑川 @analyticlogic
0 Followers 81 FollowingPatrickWales @patpaterish
12 Followers 137 Following Open source • Haskell • Editor Structural equation🐣🐣🐣FuriousSheep @FuriousSheep
60 Followers 191 Following A lamb in the FP flock. Elm/Haskell. Being nice is not optional. He/theyAlkuatov Nurlan @nalkuatov
1 Followers 20 FollowingYoung YG Moremonee @haircut_king200
4 Followers 66 Following Haircut king 👑 @Prince_Barbering_Shop💚 I welcome you all to my DM please feel free 😍😍 in for home service & more🖐️JR Rudnick @redscout
79 Followers 397 FollowingChris Blom @ChrisBlom473115
10 Followers 77 Followingkovariance @kovariance
67 Followers 2K Followingkate @katewang1111
40 Followers 782 FollowingVitaly Bragilevsky @VBragilevsky
3K Followers 342 Following Developer Advocate at @JetBrains (@rustrover, @JetBrains_Fleet). Author of Haskell in Depth https://t.co/gLENKWVA9E…Ahmed Elemam @ahmdelemam
20K Followers 418 Following Staff Backend Engineer talks about #backend #databases #data_intensive #system_design #software_architecture صانع محتوي يستهدف ولاد الحلال opinions are my ownMosab | مُصْعَ�.. @mos3abof
5K Followers 4K Following عيش • حرية • عدالة اجتماعية • An exhausted geek/problem solver wannabe • I stand with the oppressed • Cycling • Woodworking • my opinions • #FreePalestineSalah Elhossiny @salahelhossiny0
544 Followers 3K Following AWS ML Hero || AWS ML Specialist || AWS Community Builder || Technical writer @logrocket https://t.co/hiUSBllVkO https://t.co/qCCuwXj98GAhmed Elawady @ahmedaelawady
23 Followers 188 FollowingÓli @olafurbogason
329 Followers 1K Following Co-founder @bygenki, traveller, multilingual 🇮🇸🇺🇸🇯🇵🇪🇸🇩🇪, musician and improv comedian to name a few-iansJavier Honduvilla Cot.. @javierhonduco
945 Followers 690 Following Software engineer 👨💻(low level, perf, high scalability, etc). Into photography, travelling, and complaining when paella has chorizo. @[email protected]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/oP135HK8LMTweag @tweagio
5K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Graham Hutton @haskellhutt
7K Followers 694 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴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!Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}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) 🏳️⚧️Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Joachim 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/9Sjz02h8dLYaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.Edward Z. Yang @ezyang
10K Followers 971 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]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/vM4OgmDjGQ🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 944 Following 🪬 Former CTO of @haskellfound 🧘 Core Eng Honcho @kadena_io 🪷 https://t.co/KikQ4pozJg 🐑 I love sheep ✨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 YorkshireHaskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of HaskellMark Cuban @mcuban
8.8M Followers 2K Following Dunking on the pharma industry with @costplusdrugs.com, the lowest prices on meds anywhere. check it out !bazelbuild @bazelbuild
6K Followers 33 Following Build and test software of any size, quickly and reliablyAndreas Herrmann @andrherr
9 Followers 10 FollowingDave Viner @dviner
230 Followers 390 Following papa, internet dreamer and doer. @MetaOpenSource and Developer tools at Facebookaustin 🇵🇸 @stdlib
2K Followers 405 Following we altered the flow of time, so that the world might once again feel small (bg: Roses, Butterfly and Puppies, by Nagasawa Rosetsu)Bruce Dawson @BruceDawson0xB
11K Followers 176 Following On bsky as randomascii. Not here anymore. Come to bsky, or my blog, or https://t.co/38wlfFCH2a Google employee. ETW expert. LGBTQ+ supporter.Dan Luu @altluu
5K Followers 1 Following Chatty alt of @danluu. Mainly on https://t.co/V3Q53o3vC3 and https://t.co/00xlxH8ipr.Gergely Orosz @GergelyOrosz
249K Followers 2K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.Thorsten Altenkirch @taooftypes
2K Followers 163 Following Addicted to the internet but I am enjoying it. Mostly.Andy Gordon @AndrewDGordon
2K Followers 989 Following Computer scientist focused on AI & HCI, esp programming languages. Chief science officer at Cogna. Ex partner at Microsoft. Honorary prof at U Edinburgh.Dare Obasanjo🐀 @Carnage4Life
149K Followers 1K Following Opinions about product management, technology news and inclusivity in tech. Diversity is about demographics, inclusion is about creating a sense of belonging.Anil Madhavapeddy @avsm
6K Followers 1K Following Professor of Planetary Computing @Cambridge_CL 🇮🇪 @[email protected]Simon Peyton Jones @SimonPeytonJon1
53 Followers 0 FollowingNadav Rotem @nadavrot
4K Followers 427 Following Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱Alex Selby @alexselby1770
7K Followers 486 Following Mathematician. Intend to use Twitter until/unless it's obviously broken, but there's a backup me at https://t.co/PoFZukYROS.Deep Time Ecology @DeepTimeEcology
876 Followers 452 Following Deep time ecology group @CamZoology looking at how ecology impacts evolution from the first animals to our modern oceans. PI @EGMitchellAlastair Reid @alastair_d_reid
3K Followers 354 Following Researcher at Intel Strategic CAD Labs. Formal methods, security, computer architecture, ... He/him. Tweets are my own.Haskell IDE team @IdeHaskell
551 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering itLawrence Lomax @insertjokehere
495 Followers 801 Following Mobile & Generalist Engineer, Developer Productivity @metaMeta Open Source @MetaOpenSource
158K Followers 568 Following Empowering diverse community through open source technology.Ming Khan @Ming_tfk27
711 Followers 485 Following PhD student from Bangladesh at @CamZoology & @BAS_News via @CornellEAS and @PaleoFAU. Tweets about science, activism, inclusion, debate, all my homes. she/herNile Stephenson @NileStephenson
228 Followers 223 Following PhD candidate in Zoology Dept. at Uni of Cambridge studying Ediacaran & soft coral ecology. Enjoy reading, music, running. he/himArtem Pianykh @artem_pyanykh
471 Followers 133 Following Static analysis & compilers at Меtа https://t.co/l9w7XQDcmMPerformance Summit @perfsummit1
351 Followers 77 Following Semi-annual event for software performance enthusiasts interested in learning and speaking about research and development in software performance space.Pantsbuild @pantsbuild
1K Followers 65 Following Ergonomic, hermetic, user-friendly software build system for Python, Go, Java, Kotlin, Protobuf, Scala, Shell. Pants lets you fearlessly scale up your codebase!John Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospacerust-analyzer @rust_analyzer
14K Followers 3 Following Empowering language server for @rustlang. Support at https://t.co/eMVqPirYpaDan Rose @DanRose999
112K Followers 507 Following chairman coatue ventures / 20 years at facebook and amazonbaris @barisacar
47 Followers 233 FollowingDaniel Azzopardi @desva0
76 Followers 124 FollowingLaurent - @llb@floss... @laurent_le_brun
85 Followers 143 Following Software engineer at Google. Working on an IDE. Previously worked on Bazel and F#. Designer of Starlark. Demoscener (LLB / Ctrl-Alt-Test).Engineering at Meta @fb_engineering
281K Followers 201 Following Engineering at Meta is a technical news resource for engineers interested in how we solve large-scale technical challenges at Meta.Mike Schroepfer @schrep
104K Followers 278 Following Partner @Gigascale, Sr Fellow (Formerly CTO) @Meta, founder @AdditionalVent, . Investing in tech and science to fight climate change. AISam Tobin-Hochstadt @samth
4K Followers 1K Following Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]Sean Gillespie @swgillespie
300 Followers 409 Following computers - he/him - seattle, wa @[email protected]Boz @boztank
110K Followers 1K Following CTO @Meta. Leading Reality Labs and working on AR, VR, AI, and more. Built v1 of FB News Feed, Messenger, Groups, Mobile Ads. TweetDelete 6moEngFlow @engflow
319 Followers 13 Following Faster builds and tests, insights & cost savings, accelerated Bazel migration toolkit: created by core Bazel engineers (@a16z company). Keep engineers in flow!Josef Svenningsson @J_Svenningsson
170 Followers 222 FollowingWe now have Llama3 and as you have come to expect from us it is blazingly fast. Try it. groq.com
Currently migrating a codebase that uses lenses and it's just all the ^.. traversed . traversed .. mess.
Interested in the community ecology of coral reefs? We have a @NERCscience REP summer internship looking at coral recolonisation post cyclone damage: nercdtp.esc.cam.ac.uk/programme/reps
Personally, I do think Rust would have helped, if only because you wouldn't be using autoconf in that case 😂
@PhD_Genie It's easy to publish any paper, at least in maths. First, submit to the Journal of Universal Rejection, which rejects everything. Then submit the paper and rejection letter to Rejecta Mathematica, which only publishes rejected articles. Simples!
Fantastic week at @dalefortcentre for the Evolution and Behaviour first year @CamZoology
Stepping down from cabal release coordination glitchbra.in/post/stepping_…
After spending all day banging head on difficult problem, it is kind of nice to peek at the issue tracker and fix five issues in half an hour
I'd a great call with someone who's deciding which grad school to apply to in a foreign country. We used csrankings.org to look at profs in his area of interest. I think my perspective helped him think through his choices. DM me if you'd like my help in this way.
Excited that Cogna funding is announced this week!
Cogna's AI-powered SaaS raises £3.76M to improve industry problem-solving buff.ly/4a2IfaQ
What if natural language really is the new programming language? We’re designing the future of end-user programming, and now, we’re looking for curious #computerscience minds to join us in making it happen. #programmingjobs #hiring #techjobs #GenAI linkedin.com/pulse/edge-pos…
Had a great time today giving the keynote at S-REPLS 14th edition cl.cam.ac.uk/events/s-repls… at @JaneStreetGroup in London, on "Graded Types and Algebraic Effects" (slides dorchard.github.io/slides/granule…) lots of Granule demos; v0.9.5.0 out now! github.com/granule-projec…
@tomjaguarpaw @yandereidiot @4ngerman As an empirical observation, doing backports to old major versions is a pain, and most maintainers of non-critical software are not willing to do them. This is an important social fact for this discussion!
Meet our youngest female volunteer at #SallamLab as a scale next to the Basilosaurus fossil in #Egypt #FossilFriday #International_Womens_Day #InternationalWomensDay #WomensDay #WomenEmpowerment
A little trick I've been doing lately: writing #![doc = include_str!("../README.md")] at the top of my crates. That ensures the crate documentation and the GitHub repo page stay in sync, and saves me from writing essentially the same thing twice.
It was so much fun - such great questions :)
Missed the first lecture of our series?🫣 Do not fear! You can catch up with @EGMitchell's talk "Using spatial point process analyses to quantify the behavioural ecology behind trace fossils" on our channel: youtu.be/cW3Glw_zN0I?fe… #palaeoecology #palaeobiology #palaeontology
A potential fpcastle.com
The imposing Kelvinside House on Beaconsfield Road in the west end of Glasgow. It was built in 1874 as part of the westward expansion of Glasgow in the late 1800s. #glasgow #glasgowbuildings #architecture #buildingphotography #architecturephotography
@Iceland_jack @ndm_haskell @hvrgnu @augustsson @bgamari @a We're getting both in GHC 9.10