Stories by adamnemecek

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]

How the embeddability of Lua impacted its design (2011)

Microservices in Golang – Part 5 – Event Brokering with NATS

With Ivory Ban Final, China Steps Forward; U.S. Steps Back

40 41 42 43 44 45 46 47 48 49