Doing First Grade Math in Rust's Type System
Felix Prasanna
https://fprasx.github.io/articles/type-system-arithmetic/
Felix Prasanna
https://fprasx.github.io/articles/type-system-arithmetic/
❤🔥1
Anil_Madhavapeddy,_Yaron_Minsky_Real_World_OCaml_Functional_Programming.pdf
8.2 MB
Real World OCaml : Functional Programming for the Masses
Anil Madhavapeddy, Yaron Minsky
full-fledge OCaml tutorial in one book
Anil Madhavapeddy, Yaron Minsky
full-fledge OCaml tutorial in one book
❤🔥1
Bootstrapping a simple compiler from nothing (2002) http://web.archive.org/web/20061108010907/http://www.rano.org/bcompiler.html
https://archive.ph/cD1JK
https://archive.ph/cD1JK
❤🔥2
Godel's_theorem_an_incomplete_guide_to_its_use_and_abuse_Torkel.pdf
876.2 KB
Godel's Theorem: An Incomplete Guide to its Use and Abuse. (2005)
Torkel Franzén
Torkel Franzén
❤🔥2
Scale about software scalability (networked apps, such web service, etc)
❤🔥1
❤🔥1
FunctionalProgramming-p359-hudak.pdf
4.9 MB
Conception, Evolution, and Application of Functional Programming Languages (1989)
Paul Hudak
Paul Hudak
👍1
Forwarded from b
Ulix OS — a Literate Unix
http://www.ulixos.org/
http://www.ulixos.org/
...a fully working system which can be used in operating system courses to show students how OS concepts (such as paging and scheduling) can be implemented.
...can be read like a book
...guided by the implementer's creative process.
Forwarded from b
Compsci Library 📚
Ulix OS — a Literate Unix http://www.ulixos.org/ ...a fully working system which can be used in operating system courses to show students how OS concepts (such as paging and scheduling) can be implemented. ...can be read like a book ...guided by the implementer's…
Implementation of Pipes for the Ulix Operating System
http://www.ulixos.org/publications/ulix-cyron-pipes.pdf
and more PDFs linked
http://www.ulixos.org/publications/ulix-cyron-pipes.pdf
and more PDFs linked
❤🔥2
Compiling Pattern Matching https://compiler.club/compiling-pattern-matching/
❤🔥1
Clean your codebase with basic information theory https://taylor.town/compress-code
taylor.town
Clean your codebase with basic information theory
Cut out everything that's not surprising.
❤🔥3
After 14 years in the industry, I still find programming difficult https://www.piglei.com/articles/en-programming-is-still-hard-after-14-years/
Piglei
After 14 years in the industry, I still find programming difficult | Piglei
piglei's blog
❤🔥3