gabby (@gabriellag439) 's Twitter Profile
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 🏳️‍⚧️

ID: 1729289012

linkhttps://linktr.ee/gabriella439 calendar_today04-09-2013 16:44:17

16,16K Tweet

14,14K Followers

77 Following

gabby (@gabriellag439) 's Twitter Profile Photo

As much as I don’t like Musk I think immigration restrictions are dumb and we shouldn’t kick out anyone who wants to work here

gabby (@gabriellag439) 's Twitter Profile Photo

CEO kissing Trump's ass: "I don't understand why we have trouble recruiting and retaining engineers other than straight white men"

gabby (@gabriellag439) 's Twitter Profile Photo

I'm going to try posting updates about the Nix Steering Committee on my Bluesky account. It's almost the same handle as my Twitter account (Gabriella439)

kognise (@kognise7) 's Twitter Profile Photo

the only explanation i can find on this particularly code signing error is on a docs archive page and just says "the error message means your compiler is outdated" WELL WHAT IF I'M WRITING THE COMPILER APPLE???

gabby (@gabriellag439) 's Twitter Profile Photo

Apparently the NixOS discourse discussion on gender diversity was delisted without any explanation: discourse.nixos.org/t/nix-communit… I mean, maybe the person who delisted the discussion meant well but the lack of transparency into who did it or why is pretty concerning to me

gabby (@gabriellag439) 's Twitter Profile Photo

to a first approximation, functional programming is just taking a few simple primitives (functions, product types, and sum types) and chaining them together in increasingly creative ways

gabby (@gabriellag439) 's Twitter Profile Photo

I wrote up a post summarizing basic knowledge I commonly share with others related to inlining and specialization in Haskell haskellforall.com/2024/11/the-ha…

gabby (@gabriellag439) 's Twitter Profile Photo

I created a programming language prototype that harnesses bidirectional type inference to infer JSON schemas for LLM prompt chains that use structured outputs haskellforall.com/2025/05/prompt…

gabby (@gabriellag439) 's Twitter Profile Photo

I wrote up a post on how to infer the type of plain data with One Simple Trick ™️ haskellforall.com/2025/08/type-i…

gabby (@gabriellag439) 's Twitter Profile Photo

The Steering Committee's statement on the extended duration for the pride NixOS logo: discourse.nixos.org/t/did-nixos-lo…

gabby (@gabriellag439) 's Twitter Profile Photo

I wrote up a retrospective explaining why I ended my Steering Committee term one year early haskellforall.com/2025/09/steeri…

gabby (@gabriellag439) 's Twitter Profile Photo

Yesterday I called for a vote of no confidence on the Nix Steering Committee (which failed) and I wrote up a post explaining why: haskellforall.com/2025/10/nix-st…