Stories by adamnemecek

Saltie: Rocket League Distributed Deep Reinforcement Learning Bot

Embracing the Laws of Physics: Three Reversible Models of Computation

Saltie: Rocket League Distributed Deep Reinforcement Learning Bot

On topological quantum computers

Capsicum

China’s brightest children are being recruited to develop AI ‘killer bots’

Everything You Need to Know About Networking on AWS

Verifying Concurrent Programs Using Contracts (2017) [pdf]

Of Algebirds, Monoids, Monads, and Other Bestiary for Large-Scale Data (2013)

String Representations and String APIs

How an Ethiopian army taught invading Italians a lesson

How many angels can dance on the head of a pin?

Codepilot.ai has been open sourced

Mathematical Components: formalized mathematics for the Coq system

How brutalism has shaped games

Damn Vulnerable iOS Application

Azul: Ruat desktop UI framework

Notes on Type Layouts and ABIs in Rust

Composability, homogeneity, and language-based systems

Awesome Object Capabilities and Capability-Based Security

31
32
33
34
35
36
37
38
39
40