• 0 Posts
  • 44 Comments
Joined 3 months ago
cake
Cake day: August 16th, 2024

help-circle

  • 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.















  • 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.





  • Yeah it’s not the same :( Not necessarily MIT, but any ‘good’ college with +500 ranking — like, I would have loved it if I could have attended the local city college here (FUM) and I actually did, for 5-6 semesters but I studied a humanities major (English lit and French lit). I could have attended IAU, all the 8 semesters were paid out via my father’s veteran’s settlement, but I chose not to attend IAU (I was ‘accepted’ into CompEng) because “EWWWW IAU” was a prevalent belief 12 years ago when I was 19. College is all about peer-to-peer communication. Because I’m an asshole, I believed that everyone who went to IAU is a fucking idiot. So I did not attend. 9 semesters of college later, the only computer-related degree I have is 3 semesters in a sci-voc college which is ‘similar’ to America’s ‘community colleges’. Now I have to go to a college much worse than IAU, at the old old age of 31, because I was too proud. It’s almost pathetic that I, a 31 yo, am thinking about college and having to go back (as I explained in the other thread, view my history). But I was proud. Never be proud and never be 19. “You’re no better than the idiots who attended IAU” — you know who told me that? Me. lol. Anyways even the top colleges here like AKU and SSU, these are all garbage compared to US colleges like MIT, despite having rankings in 200+. I should have told myself that “well you never get the best, you should settle”. I have issues settling :*( I dun goof’d man.