Stories by adamnemecek

Dialogical logic programming

RedPRL Proof Assistant

What Is Happening in Piston

Try out walrus operator in Python 3.8

Slang: A Shader Compilation System for Extensible, Real-Time Shading [pdf]

Comparing Piaget and Vygotsky

MIT 6.701: Introduction to Nanoelectronics (2011)[pdf]

Is It Time to Rewrite the Operating System in Rust?

KSL: Kinematics subroutine library

Actor Model of Computation for Scalable Robust Information Systems

Economic, Political and Social Origins of Fascism (1933)

China drove 40% of mobile app spending and nearly half of all downloads in 2018

MIT class Lectures in applied category theory [video]

Human diet causing 'catastrophic' damage to planet – Lancet report

Linear Logical Voting Protocols (2011) [pdf]

CMU 18-645: How to Write Fast Code

Ktcc: C compiler in Kotlin

Some Platforms Thrive and Others Don’t

ACL: Animation Compression Library

Self-driving car object tracking: Intuition and the math behind Kalman Filter

29
30
31
32
33
34
35
36
37
38