Stories by adamnemecek

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

CppCon 2017: Bjarne Stroustrup "Learning and Teaching Modern C++" [video]

Marketing for Engineers: Curated list of resources to grow your product

Retrofitting Linear Types [pdf]

Getting started with OpenBSD device driver development [pdf]

43
44
45
46
47
48
49
50
51
52