This document has been published in the Federal Register. Use the PDF linked in the document sidebar for the official electronic format.

Rust is an incredible powerful programming language. It is fast, compiled, without a runtime and it brings new concepts of safety to programming. It is the most beloved language for five years in a ...

I originally created this as a short to-do list of study topics for becoming a software engineer, but it grew to the large list you see today. After going through this study plan, I got hired as a ...

Applications such as simulating complicated quantum systems or solving large-scale linear algebra problems are very challenging for classical computers, owing to the extremely high computational cost.

The explosive growth of omics data generated in individual laboratories around the world presents new challenges that require innovative computational tools. Modern indexing techniques for assembly, ...

The discussion on Tom’s recent post about ETCS, and the subsequent followup blog post of Francois, have convinced me that it’s time to write a new introductory blog post about type theory. So if ...