Stories by adamnemecek

Session Types for Rust

Linear Logic and Linear Algebra (2013) [pdf]

Classical and Quantum Explanations of Magnetic Resonance

NPM whitepaper on Rust usage [pdf]

Talks from Meeting C++ 2018

Quiskit: Open-source quantum computing framework

List of Matrices

On the Turing Completeness of MS Powerpoint [pdf]

Classical and Quantum Explanations of Magnetic Resonance

New communication strategy between gut bacteria and mammalian hosts uncovered

Implementing TCP in Rust – part 1 [video]

Monte Carlo Simulation of Ferromagnetism Written in Rust

Physics and Proof Theory (2012)

Word2vec from Scratch with NumPy

Wikipedia list of matrices

Wikipedia list of matrices

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

28
29
30
31
32
33
34
35
36
37