Stories by adamnemecek

Swift Top Articles for the Past Month (v.Oct 2017)

The Ergonomics of Type Checking (2016)

Ivory seizures hit record levels last year, report says

Writing a GraphQL Service Using Kotlin and Spring Boot

ScalaFiddle: Write Scala in your browser

Your technical skills are obsolete: now what?

Rust to WebAssembly Made Easier

CppCon 2017: Jonathan Henson “Naivety of Cross-Platform, Modern C++ Libraries”

Scalable and serverless media processing using BuckleScript/OCaml and AWS Lambda

CMU 15-819 Homotopy Type Theory

Great Microprocessors of the Past and Present (2003)

Optical Effects in User Interfaces (for True Nerds)

Footage shows young elephants being captured for Chinese zoos

Type Theory: A Modern Computable Paradigm for Math

The type systems of mathematics (2013)

Will Computers Redefine the Roots of Math? (2015)

Philosophy of Mathematics

Darwin-xnu: The Darwin Kernel

Monoids deployed

Lisp, Smalltalk, and the Power of Symmetry

42
43
44
45
46
47
48
49
50
51