Evie

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.

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

Been working on this for the past few months, and it's honestly something I wish existed for a long time: painlessly deploy a nixosConfiguration somewhere.

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.

We just released cradle, a simpler Haskell process library. Let us know what you think: garnix.io/blog/announcin…

literally crying in the club (my office)

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.

@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?

@evie_fp Where are you based? We are hiring quite a lot at Datadog

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.

@OnlyAWorldAway It's either that debate bro mentality or the "but it's so complicated, who knows what's best".

@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?

@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".

@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

@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?

@Potatopolitics The best part is when they backtracked on police labor, which is infinitely ironic.

When you for sure know what a right is

@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".

@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

What's the difference between a logic and a type theory?

@tangled_zans Yes absolutely, thank you

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.

Are the people following me still here? Is this thing still on?

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...

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.