GabriellaG439 Profile Banner
gabby Profile
gabby

@GabriellaG439

Followers
15K
Following
41K
Media
347
Statuses
17K

Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️‍⚧️

San Jose, CA
Joined September 2013
Don't wanna be here? Send us removal request.
@GabriellaG439
gabby
11 months
There's a new "Containers" chapter out for my "#NixOS in Production" book. In fact, I've actually published a few new chapters since I last mentioned the book on Twitter, including stuff on :. - Terraform.- Integration testing.- CI/CD. Enjoy!.
Tweet card summary image
leanpub.com
A handbook for using NixOS at work, authored by a prominent open source contributor with years of professional NixOS experience
5
21
179
@GabriellaG439
gabby
3 months
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
Using bidirectional type inference to infer JSON schemas for prompts with structured outputs
1
11
69
@grok
Grok
1 day
Generate videos in just a few seconds. Try Grok Imagine, free for a limited time.
496
472
4K
@GabriellaG439
gabby
9 months
I wrote up a post summarizing basic knowledge I commonly share with others related to inlining and specialization in Haskell.
haskellforall.com
Answers to common Haskell questions related to inlining and specialization
1
8
68
@GabriellaG439
gabby
9 months
yeah i think i'll mostly stick to bluesky for now. i'll still crosspost blog posts here, though.
0
0
8
@GabriellaG439
gabby
9 months
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.
4
5
136
@GabriellaG439
gabby
9 months
Apparently the NixOS discourse discussion on gender diversity was delisted without any explanation: 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.
Tweet card summary image
discourse.nixos.org
2022: 90.0% men 2023: 77.1% men 2024: 83.7% men edit: literally why would someone flag this lol
2
0
43
@GabriellaG439
gabby
9 months
RT @kognise7: the only explanation i can find on this particularly code signing error is on a docs archive page and just says "the error me….
0
1
0
@GabriellaG439
gabby
9 months
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).
0
0
14
@GabriellaG439
gabby
9 months
might as well give bluesky a try since quite a few people i'm following are also trying it out.
2
0
15
@GabriellaG439
gabby
9 months
CEO kissing Trump's ass: "I don't understand why we have trouble recruiting and retaining engineers other than straight white men".
5
1
91
@GabriellaG439
gabby
9 months
RT @7783__: ❤️
Tweet media one
0
3K
0
@GabriellaG439
gabby
9 months
i am a sucker for blood on the clocktower.
2
0
6
@GabriellaG439
gabby
9 months
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.
@politvidchannel
PoliticsVideoChannel
9 months
BREAKING: Elon Musk could lose his U.S. citizenship and be deported by Biden
Tweet media one
5
1
58
@GabriellaG439
gabby
9 months
anyone want some haribo gummy bears? i'm not gonna eat them.
5
0
18
@GabriellaG439
gabby
9 months
happy halloweeen!
Tweet media one
2
0
87
@GabriellaG439
gabby
9 months
don't get me wrong; money is important and having more money generally tends to make people happier (and being poor sucks ass). however, lasting happiness tends to be diversified, illegible, and centered and sacrificing all that for money is putting the cart before the horse.
0
1
21
@GabriellaG439
gabby
9 months
i just advised a bright and talented friend to stay away from using a memecoin to cash out on their personal brand. besides (literally) selling themselves short, "get rich quick" schemes are not good for one's mental and emotional well being even when the scheme succeeds.
4
2
57
@GabriellaG439
gabby
9 months
Just a reminder to vote again in the Nix Steering Committee election (deadline is November 3) if you originally voted using CIVS. You should have gotten an email ping, but basically the vote had to be redone using OpaVote.
0
0
10
@GabriellaG439
gabby
10 months
for me, one of the telltale signs for bad process is when the team drops it under pressure. for example, if you skip a weekly team meeting when the team needs to be “heads down” then consider deleting the meeting. good process makes a team more effective under pressure, not less.
15
18
352
@GabriellaG439
gabby
10 months
If you're not sure how to vote on a lot of local issues or races I highly recommend ballotpedia: One of my favorite features is that for any given issue they will often provide summaries from and links to various local editorials for and against the issue.
1
0
11
@GabriellaG439
gabby
10 months
RT @Quelklef: purescript tip #2: instead of writing. guard b (f x y z). write. guard b f x y z. This is equivalent due to the monoid instan….
0
2
0