TL;DR: setup your new year resolution not only just set a goal, but make a system that had input-process-output to achieve the goal. I think this like programming for achieving thing IRL.
https://medium.com/swlh/dont-just-set-goals-build-systems-8158ac541df
https://medium.com/swlh/dont-just-set-goals-build-systems-8158ac541df
Medium
Donβt Just Set Goals. Build Systems
The Secret To Happiness And Achieving More
β1
Forwarded from epic links / resources (kΞ»letaa)
Combinatory_Logic:_From_Philosophy_and_Mathematics_to_Computer_Science
1.4 MB
Combinatory Logic: From Philosophy
and Mathematics to Computer Science - Alexander Farrugia
https://www.um.edu.mt/library/oar/handle/123456789/38118
and Mathematics to Computer Science - Alexander Farrugia
https://www.um.edu.mt/library/oar/handle/123456789/38118
Forwarded from epic links / resources (kΞ»letaa)
hindley1969.pdf
930.3 KB
The Principal Type-Scheme of An Object in Combinatory Logic - Roger Hindley
DOI: 10.2307/1995158
DOI: 10.2307/1995158
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
Damas1984.Pdf
3.7 MB
Type Assignment in Programming Languages - Luis Damas
damas1982.pdf
263.7 KB
Principal Type-Schemes for Functional Programs - Luis Damas, Robin Milner
DOI: 10.1145/582153.582176
DOI: 10.1145/582153.582176
hmproof.pdf
151.7 KB
A proof of correctness for the Hindley-Milner type inference algorithm - Jeff Vaughan
jbwells-typability.pdf
897 KB
Typability and Type Checking in the Second-Order Lambda-Calculus Are Equivalent and Undecidable - J. B. Wells
Forwarded from Guppi
Modern Operating Systems 4th Edition--Andrew Tanenbaum (1).pdf
6.3 MB
ini textbook sejuta umat tentang OS.
Forwarded from /archive/ (l)
An Introduction to Electronic Warfare.pdf
136 MB