Show more

```
inductive Maybe (R: Type u) where
| just (ok: R)
| nothing

inductive Surely (L: Type u) where
| ok
| error (err: L)
```

Show thread

If `Maybe a` is `Just a` or `Nothing`, then Erlang's `ok` or `{error, Reason}` should be called `Surely`.

I was searching for a way to make work with `direnv` again, but found an amazing project ran by a Ukrainian haskeller.

aidkit.shop/en/#first-aid-kit

When `nix shell` fails, `stack init && stack build` ☠️

Can this toot get more boost than favorites? :flan_laugh:

The only way to know is to make it real! :flan_racer:

Choose your side :flan_fox: :flan_fox:

I’ve got my self-hosted Mastodon instance 😗

Hello, @EU_Commission ! The longer member states wait on helping Ukraine decisively, the less food member states will have. The indecision of member states will cause starvation in Europe and beyond.

twitter.com/AlexKhrebet/status

I’m pondering having my own instance of Peertube and Pixelfed too ☺️. It’s so cool to own the content that I generate on the internet.

N🚫 Tobacco Day.

Tobacco consumption is the leading cause of preventable cancer, with 27% of all cancers attributed to tobacco use.

With #EUCancerPlan, we want to create a Tobacco-Free Generation in which less than 5% of the population uses tobacco by 2040.

#WorldNoTobaccoDay

Some bits about design is... Interesting.

`String.t() = binary()` is so bad. False sense of security. Could as well suggest people to annotate "Strings" in the documentaiton!

queries in

Gonna know that schema to make those queries, y'all.

> The first part, the match pattern, must be a tuple that will match the structure of the the data stored in the registry, which is {key, pid, value}. The atom :_ can be used to ignore a given value or tuple element, while the atom :"$1" can be used to temporarily assign part of pattern to a variable for a subsequent comparison. This can be combined like {:"$1", :_, :_}.

VCs recommend cost cutting and layoffs? We're independent and 100% funded by our subscribers so we don't care what VCs say.

Earlier this year we hired Cenk to improve our infrastructure. Now we're looking for the fifth team member to help us improve the product.

plausible.io/jobs/product-engi

hacking on #elixir is really fun! i got a little sidetracked trying to figure out how to pack an otp application into an appimage, but i'm having a lot of fun reading the source for spaceboy and i'm starting to consider rewriting my rc apps and replacing molly-brown with my own framed gemini server. i want to make some bigger changes to spaceboy (titan support for one) so i might end up vendoring the thing or going off on my own adventure for a while.

is good, but not for the reasons you think it is.

I have extra Steam codes for:
- NASCAR Heat 5
- Assetto Corsa Ultimate Edition
- rFactor 2

I will gladly give these away if you are interested.
I can do a gift link or send to your email. Just DM me.

#gaming #simracing #giveaway

Show more
Doma Social

Mastodon server of https://doma.dev.