manpacket

joined 1 year ago
[–] [email protected] 4 points 1 year ago

For more brain flipping try looking into hardware description languages (Verilog) or proof assistants (Coq).

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

Is this a new project that was intentionally started in PHP or something legacy? Any interesting benchmarks? Like minimal wire to wire network processing time and where the bottleneck is?

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

I saw md5 checksum implemented in scratch.

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

I would like to hear more

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

Then there's Haskell that would remove (well, used to at some point) your source code file if you made any errors: https://gitlab.haskell.org/ghc/ghc/-/issues/163