Stories by adamnemecek

On Education: An institutionalized destruction of virtues

Idris 2 programming language announced

Video Series "Intro to ATS"

Geophysicalflows.jl: Geophysical fluid dynamics pseudospectral solvers in Julia

Video Series “Into to ATS”

Western individualism versus the Eastern spirit of community

Products, coproducts and singular value decomposition (2004) [pdf]

Catlab.jl: Experimental framework for applied category theory

Generating good error messages from code analysis tools is harder than it looks

Berkeley University website on physical rotations

Theoretical Physics Reference

Authors’ Edition of Elements of Programming

StructuredOptimization.jl: Structured optimization in Julia

Zygote: Bridging Machine Learning and Scientific Computing (Slides from EuroAD)

Kronecker.jl: General-purpose toolbox for efficient Kronecker-based algebra

It Ain't Necessarily So: Type Systems for Verifying Musical Correctness

Building and Playing the Go Game with Phoenix LiveView

Aljabar: Linear Algebra Framework in Rust

Escape from H-1B Hell: Things Immigrant Entrepreneurs Can Do to Hack O-1 Visas

Theoretical Physics Reference

19
20
21
22
23
24
25
26
27
28