Tag: Encoding

Free Download Pink 2.0: Encoding Queer Cinema on the Internet by Noah A. Tsika
English | 2016 | ISBN: 0253022754 | 288 Pages | PDF | 67.9 MB
In an era where digital media converges with new technologies that allow for cropping, remixing, extracting, and pirating, a second life for traditional media appears via the internet and emerging platforms.

Free Download Introduction to Dependent Types with Idris: Encoding Program Proofs in Types by Boro Sitnikovski
English | March 18, 2023 | ISBN: 1484292588 | 175 pages | MOBI | 0.86 Mb
Dependent types are a concept that allows developers to write proof-carrying code. Idris is a programming language that supports dependent types. This book will teach you the mathematical foundations of Idris as well as how to use it to write software and mathematically prove properties.