Forwarded from epic links / resources (Blast Furnace [cooldown])
Forwarded from epic links / resources (Ρ
Π°Ρ
Π° Ρ
ΠΈΡ
ΠΈ Π΄yap)
Just for fun. No, Really.
Tim Morgan
You may have been directed to this page because you or someone else asked one of the following questions:
βWhy are you doing this?β
βWhat is the purpose of this project?β
βWhat does this project do better than the existing stuff out there?β
https://justforfunnoreally.dev/
Tim Morgan
You may have been directed to this page because you or someone else asked one of the following questions:
βWhy are you doing this?β
βWhat is the purpose of this project?β
βWhat does this project do better than the existing stuff out there?β
https://justforfunnoreally.dev/
Forwarded from My Resources for Learning
Telegraph
Introduction to Smali
This course meant to be an introduction to Smali code. Smali is essentially a Java bytecode. A sentence of Java code corresponds to a sequence of multiple sentences of Smali code. Think about Smali code as an assembly code for Java. The two are very similar.β¦
Forwarded from Alexander Chichigin
OK, more realistically maybe better to start with this one: https://www3.nd.edu/~dthain/compilerbook/
At the very least it's free.
At the very least it's free.
Forwarded from epic links / resources (Ξ»kaletaa.kaletaa)
J_Roger_Hindley,_Jonathan_P_Seldin_Lambda_calculus_and_combinators.pdf
1.5 MB
Lambda-calculus and combinators, an introduction - J. Roger Hindley, Jonathan P. Seldin
Forwarded from epic links / resources (kΞ»letaa)
milner1978.pdf
1.6 MB
A Theory of Type Polymorphism in Programming - Robin Milner
DOI: 10.1016/0022-0000(78)90014-4
DOI: 10.1016/0022-0000(78)90014-4
Forwarded from Muqiu Han
yeah i just started learning coq...with software foundations
https://softwarefoundations.cis.upenn.edu/
https://softwarefoundations.cis.upenn.edu/
PLAI Version 3.2.0 electronic.pdf
3.9 MB
Emailing PLAI Version 3.2.0 electronic.pdf