Stories by adamnemecek

A Higher-Order Logic for Concurrent Termination-Preserving Refinement [pdf]

Group theoretical methods in machine learning (2008) [pdf]

Silicon Graphics' IRIX and Magic Desktop Return as Linux Desktop

Data Visualisation Catalogue

Foundations of Analog Algorihtms [pdf]

Data Visualisation Catalogue

Data Visualisation Catalogue

Foundations of Analog Algorithms [pdf]

Spaghetti sort

Chinese company offering free training for US coal miners to become wind farmers

Deep Learning Is Not Good Enough, We Need Bayesian Deep Learning for Safe AI

Do MVC like it’s 1979

Lollipop: Programming language with support for linear types

Assembly Register Calling Convention Tutorial

How to write a 21st century proof by Leslie Lamport [pdf]

Intel's Itanium, once destined to replace x86 processors, hits end of line

Reverse Engineering Apple Location Services Protocol

Norway's Progress Party calls for ban on circumcision for boys

A Better Software Engineering Course (2014)

Practical Affine Types (2011)

49
50
51
52
53
54
55
56
57
58