kSPvhmTOlwvMd7Y7E

joined 1 year ago
[–] [email protected] 1 points 11 months ago* (last edited 11 months 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 11 months ago

All IO related stuff should be a replaceable dependency

But this is very readable tho

[–] [email protected] 3 points 11 months ago (1 children)

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

[–] [email protected] 2 points 11 months ago* (last edited 11 months 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] 3 points 1 year ago
[–] [email protected] -1 points 1 year ago* (last edited 1 year ago)

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

Use global imported variables for configs.

[–] [email protected] 7 points 1 year ago (1 children)

it's «la torture» tho …

view more: ‹ prev next ›