C/W : political prespective, proceed with cautions.
https://journals.sagepub.com/doi/10.1177/0263276418818877
https://journals.sagepub.com/doi/10.1177/0263276418818877
SAGE Journals
The Human Is Dead โ Long Live the Algorithm! Human-Algorithmic Ensembles and Liberal Subjectivity
The article analyzes the relation of humans and technology concerning so called โintelligentโ or โautonomousโ algorithms that are applied in everyday contexts but are far removed from any form of substantial artificial intelligence. In particular, the useโฆ
Forwarded from epic links / resources (kฮปletaa)
The Schemaverse is a space-based strategy game implemented entirely within a PostgreSQL database. Compete against other players using raw SQL commands to command your fleet.
https://schemaverse.com/
https://schemaverse.com/
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.