☭. evie
@eviefp.bsky.social
they/she
commie & queer activist
apprentice field mathematician, functional programming enjoyer
DMs are open
commie & queer activist
apprentice field mathematician, functional programming enjoyer
DMs are open
Are there any FP books aimed at beginners, that focus on CS theory instead of being a language tutorial?
TAPL is a decent example, but it needs gentler start to introducing notation at the very least.
TAPL is a decent example, but it needs gentler start to introducing notation at the very least.
October 20, 2025 at 7:36 AM
Are there any FP books aimed at beginners, that focus on CS theory instead of being a language tutorial?
TAPL is a decent example, but it needs gentler start to introducing notation at the very least.
TAPL is a decent example, but it needs gentler start to introducing notation at the very least.
Well, that was a fun 11 hours or Hades 2 & refactor.
One room of Hades for every commit/module.
One room of Hades for every commit/module.
October 11, 2025 at 9:45 PM
Well, that was a fun 11 hours or Hades 2 & refactor.
One room of Hades for every commit/module.
One room of Hades for every commit/module.
My idea of a fun Saturday: split my neovim nix config into sub-modules.
October 11, 2025 at 10:27 AM
My idea of a fun Saturday: split my neovim nix config into sub-modules.
AuDHD woman, surprised that fidget toys help them focus during meetings. More after the break.
October 9, 2025 at 9:21 PM
AuDHD woman, surprised that fidget toys help them focus during meetings. More after the break.
Reposted by ☭. evie
Lazy evaluation means that you won't get raptured until the very moment where Anubis needs to weigh your soul on the scale
September 24, 2025 at 12:05 PM
Lazy evaluation means that you won't get raptured until the very moment where Anubis needs to weigh your soul on the scale
These monolithic corporate, closed-source tools with little to no usable documentation (looking at you azure/sonarcloud/etc.) almost make me understand why people end up using LLMs.
September 16, 2025 at 2:27 PM
These monolithic corporate, closed-source tools with little to no usable documentation (looking at you azure/sonarcloud/etc.) almost make me understand why people end up using LLMs.
Reposted by ☭. evie
absolutely incredible find on wplace
August 29, 2025 at 6:27 PM
absolutely incredible find on wplace
Turns out it's important to try disaster recovery sometimes.
I just found out I did not correctly write down the password for my backed up yubikey certificates, so I could not recover anything if the yubikey broke.
I just found out I did not correctly write down the password for my backed up yubikey certificates, so I could not recover anything if the yubikey broke.
August 28, 2025 at 9:56 PM
Turns out it's important to try disaster recovery sometimes.
I just found out I did not correctly write down the password for my backed up yubikey certificates, so I could not recover anything if the yubikey broke.
I just found out I did not correctly write down the password for my backed up yubikey certificates, so I could not recover anything if the yubikey broke.
Well, looks like I'm running neovim main, because this is annoying github.com/neovim/neovi...
Also is there a way to just override `pkgs.neovim-unwrapped` rather than copy/pasting that bit from `nixpkgs` and manually updating the fetchGit bit?
Also is there a way to just override `pkgs.neovim-unwrapped` rather than copy/pasting that bit from `nixpkgs` and manually updating the fetchGit bit?
August 21, 2025 at 9:44 PM
Well, looks like I'm running neovim main, because this is annoying github.com/neovim/neovi...
Also is there a way to just override `pkgs.neovim-unwrapped` rather than copy/pasting that bit from `nixpkgs` and manually updating the fetchGit bit?
Also is there a way to just override `pkgs.neovim-unwrapped` rather than copy/pasting that bit from `nixpkgs` and manually updating the fetchGit bit?
Reposted by ☭. evie
Let’s say I had 3000 lines of #erlang code and I wanted to hire someone to re-write than in #gleamlang. Is there someone who would be willing to do that? How much would you charge for that?
August 21, 2025 at 9:28 PM
Let’s say I had 3000 lines of #erlang code and I wanted to hire someone to re-write than in #gleamlang. Is there someone who would be willing to do that? How much would you charge for that?
I'm really getting tired of this "you MUST vote for the lesser evil".
And this isn't only true for the US. It's true for pretty much any capitalist "democratic" country where liberals and conservatives are the primary two options that swap seats every few years.
And this isn't only true for the US. It's true for pretty much any capitalist "democratic" country where liberals and conservatives are the primary two options that swap seats every few years.
August 15, 2025 at 2:55 PM
I'm really getting tired of this "you MUST vote for the lesser evil".
And this isn't only true for the US. It's true for pretty much any capitalist "democratic" country where liberals and conservatives are the primary two options that swap seats every few years.
And this isn't only true for the US. It's true for pretty much any capitalist "democratic" country where liberals and conservatives are the primary two options that swap seats every few years.
Playing PC games with my daughter sure is a fun milestone to reach.
Been doing this for a few months now, and we've now graduated to minecraft, and it's really fun to build stuff/play with her.
Been doing this for a few months now, and we've now graduated to minecraft, and it's really fun to build stuff/play with her.
August 13, 2025 at 7:55 PM
Playing PC games with my daughter sure is a fun milestone to reach.
Been doing this for a few months now, and we've now graduated to minecraft, and it's really fun to build stuff/play with her.
Been doing this for a few months now, and we've now graduated to minecraft, and it's really fun to build stuff/play with her.
Should I be worried that I keep switching to running more and more software from the main/dev branch?
It just feels relatively safe to do so, since I can very easily revert my NixOS flake configuration back.
It just feels relatively safe to do so, since I can very easily revert my NixOS flake configuration back.
August 13, 2025 at 12:14 PM
Should I be worried that I keep switching to running more and more software from the main/dev branch?
It just feels relatively safe to do so, since I can very easily revert my NixOS flake configuration back.
It just feels relatively safe to do so, since I can very easily revert my NixOS flake configuration back.
"LLMs must be much nicer with a language like Haskell, because the compiler can discard a lot of hallucinated code through compile errors"
That is true, and yet I /never/ use LLMs.
I'll pass on spending double the amount of time fixing and reviewing statistically hallucinated code.
<rant thread>
That is true, and yet I /never/ use LLMs.
I'll pass on spending double the amount of time fixing and reviewing statistically hallucinated code.
<rant thread>
August 2, 2025 at 10:33 PM
"LLMs must be much nicer with a language like Haskell, because the compiler can discard a lot of hallucinated code through compile errors"
That is true, and yet I /never/ use LLMs.
I'll pass on spending double the amount of time fixing and reviewing statistically hallucinated code.
<rant thread>
That is true, and yet I /never/ use LLMs.
I'll pass on spending double the amount of time fixing and reviewing statistically hallucinated code.
<rant thread>
I am yet again surprised by how crazy good the Haskell is.
I just did a major refactor (1k LOC diff on a very small codebase) with no tests and it pretty much worked perfectly as soon as it compiled.
I just did a major refactor (1k LOC diff on a very small codebase) with no tests and it pretty much worked perfectly as soon as it compiled.
August 2, 2025 at 8:16 PM
I am yet again surprised by how crazy good the Haskell is.
I just did a major refactor (1k LOC diff on a very small codebase) with no tests and it pretty much worked perfectly as soon as it compiled.
I just did a major refactor (1k LOC diff on a very small codebase) with no tests and it pretty much worked perfectly as soon as it compiled.
Reposted by ☭. evie
FP developers 5 years ahead but no one listens b/c they think our syntax is cringe
August 2, 2025 at 4:50 PM
FP developers 5 years ahead but no one listens b/c they think our syntax is cringe
I saw this in a twitch chat a week ago and I'm still thinking about it
Economics is just astrology for men.
Economics is just astrology for men.
July 29, 2025 at 8:26 AM
I saw this in a twitch chat a week ago and I'm still thinking about it
Economics is just astrology for men.
Economics is just astrology for men.
Formal verification/unit testing: let's basically write the requirements twice (in a slightly different way), to make sure we're getting it right.
Vibe coding: how about we use a wildly imprecise, informal language to vaguely describe the requirements instead?
Vibe coding: how about we use a wildly imprecise, informal language to vaguely describe the requirements instead?
June 17, 2025 at 9:36 PM
Formal verification/unit testing: let's basically write the requirements twice (in a slightly different way), to make sure we're getting it right.
Vibe coding: how about we use a wildly imprecise, informal language to vaguely describe the requirements instead?
Vibe coding: how about we use a wildly imprecise, informal language to vaguely describe the requirements instead?
Reposted by ☭. evie
This was a profoundly disappointing article to read, and I'm surprised that you wrote it. I'm even more surprised that Kurt insisted you post it on the company blog. I will revise my expectations of fly.io going forward.
But out of respect, I will spend some time and tell you why I am disappointed.
But out of respect, I will spend some time and tell you why I am disappointed.
June 3, 2025 at 2:25 AM
This was a profoundly disappointing article to read, and I'm surprised that you wrote it. I'm even more surprised that Kurt insisted you post it on the company blog. I will revise my expectations of fly.io going forward.
But out of respect, I will spend some time and tell you why I am disappointed.
But out of respect, I will spend some time and tell you why I am disappointed.
Hello friends, I am looking for work:
⌛️ 15+ years of technical experience
🧙♀️ Haskell, Purescript, nix, ...
👩🔬 Formal methods, theoretical computer science
👩💼 7+ years of Team Lead / EM experience
eevie.ro/pages/about....
DM for more info, I'm open to both contracting and FTE.
Reposts appreciated!
⌛️ 15+ years of technical experience
🧙♀️ Haskell, Purescript, nix, ...
👩🔬 Formal methods, theoretical computer science
👩💼 7+ years of Team Lead / EM experience
eevie.ro/pages/about....
DM for more info, I'm open to both contracting and FTE.
Reposts appreciated!
About Evie
Things you may want to know about me and working with me.
eevie.ro
May 12, 2025 at 8:04 AM
Hello friends, I am looking for work:
⌛️ 15+ years of technical experience
🧙♀️ Haskell, Purescript, nix, ...
👩🔬 Formal methods, theoretical computer science
👩💼 7+ years of Team Lead / EM experience
eevie.ro/pages/about....
DM for more info, I'm open to both contracting and FTE.
Reposts appreciated!
⌛️ 15+ years of technical experience
🧙♀️ Haskell, Purescript, nix, ...
👩🔬 Formal methods, theoretical computer science
👩💼 7+ years of Team Lead / EM experience
eevie.ro/pages/about....
DM for more info, I'm open to both contracting and FTE.
Reposts appreciated!
Reposted by ☭. evie
Gerd Zellweger complained that GitHub Actions kind of suck. We agree, and think Nix is the right way to do CI. Read more here: garnix.io/blog/what-co...
Garnix Blog: What Comes After GitHub Actions?
A response to Gerd Zellweger's "The Pain that is GitHub Actions"
garnix.io
March 21, 2025 at 4:11 PM
Gerd Zellweger complained that GitHub Actions kind of suck. We agree, and think Nix is the right way to do CI. Read more here: garnix.io/blog/what-co...
Reposted by ☭. evie
We're releasing garnix modules today! At first blush, this looks a lot like the type of PaaS you are already familiar with: Heroku, Render, or Fly. You pick a repo, give us a couple of details about it, and we build, test and deploy it
Garnix Blog: garnix modules
How CI can be faster, more reliable, and more useful
garnix.io
February 28, 2025 at 1:19 PM
We're releasing garnix modules today! At first blush, this looks a lot like the type of PaaS you are already familiar with: Heroku, Render, or Fly. You pick a repo, give us a couple of details about it, and we build, test and deploy it
It's often unclear what the right balance is between
mocking everything to "just make sure this calls this other function" (maybe with the right arguments?) and,
"setup the world for this one test".
The former end up being uninteresting, while the latter turn out to be very brittle.
mocking everything to "just make sure this calls this other function" (maybe with the right arguments?) and,
"setup the world for this one test".
The former end up being uninteresting, while the latter turn out to be very brittle.
January 22, 2025 at 2:53 PM
It's often unclear what the right balance is between
mocking everything to "just make sure this calls this other function" (maybe with the right arguments?) and,
"setup the world for this one test".
The former end up being uninteresting, while the latter turn out to be very brittle.
mocking everything to "just make sure this calls this other function" (maybe with the right arguments?) and,
"setup the world for this one test".
The former end up being uninteresting, while the latter turn out to be very brittle.