kSPvhmTOlwvMd7Y7E

joined 2 years ago
[–] [email protected] 1 points 2 years ago* (last edited 2 years ago)

Unfortunately sometimes the code base is fuckd up beyond repair, it can't even be tested. that's why i submitted 3000 line PR ☠️

[–] [email protected] 2 points 2 years ago

All IO related stuff should be a replaceable dependency

But this is very readable tho

[–] [email protected] 3 points 2 years ago (1 children)

Aw, of course, go ahead Microsoft's OCaml, we ll definitely visit you

[–] [email protected] 2 points 2 years ago* (last edited 2 years ago) (1 children)

It's not "every system" which proves all truth is inconsistent right? Propositional logic, and first order logics are both sound, and complete. The article talks about propositional logic, so in my understanding, it should be complete and sound too.

[–] [email protected] 2 points 2 years ago
[–] [email protected] -1 points 2 years ago* (last edited 2 years ago)

Why every class creates its own logger? That might make sense, but looks suspicious

Use global imported variables for configs.

[–] [email protected] 8 points 2 years ago (1 children)

it's «la torture» tho …

view more: ‹ prev next ›