superfast text to speech in any voice

Reverse engineered Raspberry Pi Compute Module 5

Automatic verification of LLVM optimizations

A superoptimizer for LLVM IR

make interactive livestreams using the browser

seqax = sequence modeling + JAX

KenLM: Faster and Smaller Language Model Queries

Create real electronics with Typescript and React

[WIP] Indistinguishability/Ideal Obfuscation (iO) Library based on https://eprint.iacr.org/2021/1334.pdf

We're living in Obfustopia

Chickens are scary

DSL for Halo2 circuits

The New York Review of Computation

Product skeleton creator for UniMUD

Dockerizing anvil to run on digital ocean

A blazingly fast, local, Ethereum block explorer built on top of Erigon

An implementation of model parallel GPT-2 and GPT-3-style models using the mesh-tensorflow library.