Stories by adamnemecek

The Next Era Ends, the Swift Era Begins

CMU 15-815: Interactive Theorem Proving

Young's Double Slit Interference

Mars: Tensor-based unified framework for large-scale data computation by Alibaba

NumPy Mgrid vs. Meshgrid (2015)

Intergenerational transmission of trauma effects: putative role of epigenetics

Flutter.rs: Build beautiful desktop apps with flutter and rust

Writing a Toy Back End Compiler for PyTorch

Graph Signal Processing: Overview, Challenges and Applications [pdf]

Collection of Links Related SwiftUI

List of Statements Independent of ZFC

Lecture Notes on C∗-Algebras, Hilbert C∗-Modules, and Quantum Mechanics

Emu: Language for Programming GPUs in Rust

x86-64 Instruction Usage among C/C++ Applications [pdf]

Deterministic Behaviours Are Your Attacker's Friend [pdf]

J4RS: Call Java from Rust

Rucene: Rust Port of Lucene

Should version control and build systems merge?

Statistics with Julia [pdf]

Toast: Containerize your development environment tool in Rust

21
22
23
24
25
26
27
28
29
30