Evie

1.6K posts

Evie banner
Evie

Evie

@evie_fp

She/they 🏳️‍⚧️ Haskell, Rust, types // DMs are open

Katılım Eylül 2009
310 Takip Edilen879 Takipçiler
Evie
Evie@evie_fp·
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.ht… DM for more info, I'm open to both contracting and FTE.
English
0
2
4
386
Evie retweetledi
Julian Arni
Julian Arni@jk_arni·
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. 1/n
English
1
2
2
480
Evie
Evie@evie_fp·
Somebody please tell me there's a better way to ensure a goroutine is only started once than having a global bool. Context: it's a plugin. The host calls a predefined function and instantiates my plugin multiple times. I want to have a goroutine that only runs once.
English
2
0
0
300
Evie retweetledi
garnix
garnix@garnix_io·
We just released cradle, a simpler Haskell process library. Let us know what you think: garnix.io/blog/announcin…
English
0
1
6
406
Evie retweetledi
abby
abby@abby4thepeople·
literally crying in the club (my office)
English
191
9K
32K
1.2M
Evie retweetledi
hasanabi
hasanabi@hasanthehun·
every right wing guy donor that made sure college campuses had to host ben shapiro and milo yianapolis "for free speech" is currently calling for the national guard to come take care of 18 year olds who dare speak out against israels unconscionable actions.
English
715
9.6K
52.8K
1.8M
Evie
Evie@evie_fp·
@hithwen I'm in Romania/Eastern Europe. Looks like the EU positions are for specific countries, so I'm guessing it won't work, right?
English
0
0
0
75
Hithwen
Hithwen@hithwen·
@evie_fp Where are you based? We are hiring quite a lot at Datadog
English
1
0
5
139
Evie
Evie@evie_fp·
I'm looking for work ⌛️ 15+ years of technical experience 🧙‍♀️ Haskell, Purescript, nix, Rust, ... 👩‍🔬 Formal methods, theoretical computer science 👩‍💼 7+ years of Team Lead / EM experience eevie.ro/pages/about.ht… DM me for more info, I'm open to both contracting and FTE.
English
6
36
99
11.9K
Evie
Evie@evie_fp·
@OnlyAWorldAway It's either that debate bro mentality or the "but it's so complicated, who knows what's best".
English
0
0
1
91
Evie
Evie@evie_fp·
@hdgarrood It shows such a lack of understanding of what programming is, of the entire field of program verification, being disconnected from CS, etc. But maybe he knows what he's saying and it's just deliberately manipulating? Hyping AI and maybe even pushing programming jobs pay lower?
English
1
0
2
155
Evie
Evie@evie_fp·
@parabeans @tangled_zans Here's an example of what I mean: consider something like "Some animals are humans". In logic, you can plug in "blue" to see whether it's a human and just get ⊥. Same goes for "Spike". OTOH, with `isHuman : Animal → Bool`, you get a type error for "blue, and ⊥ for "Spike".
English
1
0
1
30
Roman Avermann
Roman Avermann@parabeans·
@evie_fp @tangled_zans you "shouldn't" be able to do the same? how come? formation rules have nothing to do with whether the type they construct is inhabited or not
English
1
0
0
22
Evie
Evie@evie_fp·
@tangled_zans You can write any garbled collection of words as a (false) logical proposition, but technically you shouldn't be able to do the same in a type theory because it'd need to typecheck?
English
2
0
2
311
Evie
Evie@evie_fp·
@Potatopolitics The best part is when they backtracked on police labor, which is infinitely ironic.
English
0
1
104
16.1K
Evie
Evie@evie_fp·
@tangled_zans Oh and to get back to the original conversation, wouldn't that logic become a typed logic at least, the moment you do that? Which is not exactly what most logicians would agree is "a logic".
English
1
0
1
58
Zanzi Tangle, now at Monoidal Cafe
@evie_fp If you implement your logic/type theory using dependent types, then neither should type check ;) Btw, do you want an invite to the Monoidal Cafe discord :D
English
2
0
0
263
Evie
Evie@evie_fp·
I was just gonna ask how are things going on twitter, and then I had to solve 5 mouse-and-cheese puzzles to change my handle, so I guess I got my answer.
English
0
0
0
674
Evie
Evie@evie_fp·
Are the people following me still here? Is this thing still on?
English
1
0
5
1.7K
Evie retweetledi
Micky's Arts! (Commissions Open!!)
The Extermination has finally come to an end... So many victims have fallen this year, some deserving their fate, others not. But through the aftermath of this slaughter, a long freight train was making its way. At the sight of the firework, the driver came to watch them...
Micky's Arts! (Commissions Open!!) tweet media
English
3
22
113
3.8K
Evie retweetledi
Mastodon (@Mastodon@mastodon.social)
Mastodon (@[email protected])@joinmastodon·
Mastodon has just passed over 2 million active monthly users, a new record! People are voting with their feet. The future of social media doesn't have to belong to a billionaire, it can be in the hands of its users.
English
1.1K
6.8K
36K
0