Compsci Library ๐Ÿ“š
225 subscribers
13 photos
86 files
434 links
Resource about my compsci study, random topic related mostly about system, compiler and programing language.
Download Telegram
Forwarded from GOJO
๐—ช๐—ถ๐—ป๐—ฑ๐—ผ๐˜„๐˜€ ๐—ฅ๐—ผ๐—ผ๐˜๐—ธ๐—ถ๐˜ ๐—ฑ๐—ฒ๐˜ƒ๐—ฒ๐—น๐—ผ๐—ฝ๐—บ๐—ฒ๐—ป๐˜ ๐—ณ๐—ผ๐—ฟ ๐—ฅ๐—ฒ๐—ฑ ๐—ง๐—ฒ๐—ฎ๐—บ๐—ถ๐—ป๐—ด ๐—ฎ๐—ป๐—ฑ ๐—”๐—ฑ๐˜ƒ๐—ฒ๐—ฟ๐˜€๐—ฎ๐—ฟ๐˜† ๐—˜๐—บ๐˜‚๐—น๐—ฎ๐˜๐—ถ๐—ผ๐—ป ๐Ÿ”ฑ

๐Ÿ”— Part 1:-
https://idov31.github.io/2022/07/14/lord-of-the-ring0-p1.html

๐Ÿ”— Part 2:-
https://idov31.github.io/2022/08/04/lord-of-the-ring0-p2.html

๐Ÿ”— Part 3:-
https://idov31.github.io/2022/10/30/lord-of-the-ring0-p3.html

๐Ÿ”— Part 4:-
https://idov31.github.io/2023/02/24/lord-of-the-ring0-p4.html

๐Ÿ”— Part 5:-
https://idov31.github.io/2023/07/19/lord-of-the-ring0-p5.html
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
โคโ€๐Ÿ”ฅ2
Doing First Grade Math in Rust's Type System
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
โคโ€๐Ÿ”ฅ1
โคโ€๐Ÿ”ฅ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
โคโ€๐Ÿ”ฅ2
Scale about software scalability (networked apps, such web service, etc)
โคโ€๐Ÿ”ฅ1
Forwarded from Ronny Gunawan ๏ธ
โคโ€๐Ÿ”ฅ1
List of math problem, you can submit your (math) problem too.

https://teachyourselfmath.app/
โคโ€๐Ÿ”ฅ1
FunctionalProgramming-p359-hudak.pdf
4.9 MB
Conception, Evolution, and Application of Functional Programming Languages (1989)
Paul Hudak
gold diamond mines for PL related QA thread :

https://groups.google.com/g/comp.lang.misc
๐Ÿ‘1
Forwarded from b
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 creative process.