btw when Knuth dies Professor DROFNATS gonna be sad :(

Bro he’ll never die. Chomsky will never die too. I’m serious. If Chomsky ‘stops living in his body’ his ideas for linguistics (not his political shit-flinging) will still be alive. When Knuth dies his programs and his algorithms and his books (especially his books) will still be alive. This is true about every single scientist or scholar. I did not even know Dijkstra was dead! He died when I was 9! But I just found it out, even though I love his works with C.A.R. Hoare, especially “Structured Programming”. I just might write a simple guide on the Hoare triple! So no scientists never die. Ken Thompson won’t die either. Bro will live in shell forever.

Which C compiler where you using???

Yeah tom7 did a video on ‘badness’ in TeX: https://www.youtube.com/watch?v=Y65FRxE7uMc I am learning ins-and-outs of TeX because I am implementing it in OCaml. btw, tom7 is a really stand-up fella. His thesis on “Modal types for Mobile Code” seems very interesting. He mentions it in the video. This is the thesis: https://www.cs.cmu.edu/afs/cs.cmu.edu/Web/People/tom7/papers/modal-types-for-mobile-code.pdf

(mobile code is ‘network’ code, basically JavaScript – Tom’s work, I believe, is concerned with formal verification of web code – if you are a webdev, read it!)

I have not looked at METAFONT. I really wanna design a font with it one day. It was the first font creation software I hear.

Truly, truly literate text! :D

Only a small porition is OCaml. I’m making a C compiler in it and it could come useful. Did you know creators of OCaml (at least LeRoy) have created an entirely-verified C compiler called CompCert? Yeah mechanically verified with Coq! Ocaml is currently the best language for making compilers. Seeing as it is functional and Church-Rossier confluence applies to its expressions because its got no statements, but it’s got classes too and inheritnce so you can do stuff like visitor patterns, which is impossible in pure functional languages like Haskell.

I’m definitely doing a Rust compiler, one day. Maybe a subset? I’ll use c9x.me’s QBE. The good thing about Rust is, it’s like a functional language, but it’s really an imperative language. As for memory safety, this is the part that I hate because I like to use my chunky pointers to assure safety. So most of the times I’ll end up using C for my systems programs. But I have written several Rust programs before.

Thanks.