Stories by adamnemecek

Growing a software architecture with types

Calculating e by Hand

The information capacity of a single photon (2012)

Linear Logical Algorithms [pdf]

Correspondence of Linear Logic and Geometric Algebra (2000)

Comcast spends dollars backing Seattle mayoral candidate

Compile Idris to Vimscript, like you always wanted

Compile Idris to Vimscript, like you always wanted

Building Serverless Functions with Kotlin

Wedge – The Geometric Algebra game

Geometric Calculus (video series)

Low Hanging Fruit of Programming Language Design

Five Stages of Accepting Constructive Mathematics – Andrej Bauer [video]

Finger Tree – The ultimate data structure?

Trump admin. to reverse ban on elephant trophies from Africa

Opening the Black Box of Deep Neural Networks via Information

Understanding LSTM and its diagrams

Scripting the Haiku GUI with hey

Functional Programming Jargon in Scala

How Rust Gets Polymorphism Right [video]

41
42
43
44
45
46
47
48
49
50