Malware_Development_for_Dummies_Hack_in_Paris_30_06_2022_&_01_07.pdf
804.8 KB
Malware Development for Dummies
👍1
Project Oberon: Design of an operating system, a compiler, and a computer [pdf] https://people.inf.ethz.ch/wirth/ProjectOberon/PO.System.pdf
👍2
The Design Principles of the Elixir Type System
Giuseppe Castagna, Guillaume Duboc, and José Valim
https://arxiv.org/pdf/2306.06391v3.pdf
Giuseppe Castagna, Guillaume Duboc, and José Valim
https://arxiv.org/pdf/2306.06391v3.pdf
❤🔥2
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