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
https://www.pls-lab.org/

This is a wiki devoted to the intersection between
- the theory and implementation of programming languages,
- their relationship to mathematical and computational logic, and
- the interpretation of both of the above in semantic structures
✍2❀‍πŸ”₯1πŸ˜‡1
Channel photo updated
Compsci Library πŸ“š
Channel photo updated
i-am-computer-nerd.kra
485.8 KB
made using Krita, enjoyy
❀‍πŸ”₯2⚑1πŸŽ‰1
https://lobste.rs/s/2vfx6w/lobsters_interview_with_icefox

> I love the idea of building a world up from nothing, and languages, OS’s and games are all programs that let you do that.
πŸ”₯πŸ”₯πŸ”₯
⚑2
Compiling to Assembly from Scratch
Vladimir Keleshev

https://keleshev.com/compiling-to-assembly-from-scratch/#table-of-contents
πŸ”₯1
disclaimer: not encourage animal abuse
https://samsclass.info/126/proj/PMA131a.htm

Quite interesting guide to change UPX default magic header or corrupting p_info to prevent executable from unpacked.
https://reasonml.github.io/

OCaml alternative syntax aimed for javascript developer,
incase you not prefer OCaml syntax.

"Syntax is like food, some may love berry, other may meat.
At the end, hunger solved with way we love."
Pierce_Types_Programming_Languages.pdf
1.8 MB
Types and Programming Language (2002)
Benjamin C. Pierce

Recommended book to learn about type system
πŸ™1