Stories by adamnemecek

Linear logic and deep learning [pdf]

Chronophobia

Mathematics of the Discrete Fourier Transform (2002) [pdf]

Archive of formal proofs

Total Haskell Is Reasonable Coq [pdf]

Why Sports and Elite Academics Do Not Mix (2017)

Introduction to Lie Groups and Lie Algebras [pdf]

Time Travel Debugging [video]

Google ditches Ubuntu for Debian for internal engineering environment

Show HN: I've created a Slack channel for discussion of cryptocurrencies

Elements Electrical Conductivity Reference Table

Visual tour of classical electromagnetism

Most Important Penetration Testing Commands Cheat Sheet for Linux Machine

Translate screenshot into HTML using neural networks

IncludeOS: Minimal, resource efficient unikernel for cloud services

Understanding the React Source Code, Part 1

Linear types can change the world (1990) [pdf]

Understanding the React Source Code – Initial Rendering (Simple Component) I

Techan.js: visual, technical analysis and charting library built with D3.js

How to make a rain on a windshield shader in ShaderToy [video]

39
40
41
42
43
44
45
46
47
48