Stories by adamnemecek

Nalgebra: Linear Algebra Library for Rust

Huawei Was a Czech Favorite. Now? It’s a National Security Threat

Code Review Comments Generator

Dialogical logic programming

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

28
29
30
31
32
33
34
35
36
37