Stories by mau

AI will make formal verification go mainstream

Simple, Efficient, and Robust Hash Tables for Join Processing

GaLore: Memory-Efficient LLM Training by Gradient Low-Rank Projection

Building a baseline JIT for Lua automatically

Effective Altruism

LLM Basics: Embedding Spaces

Pex: Python EXecutable

Codecov Is Joining Sentry

Msgspec: A fast and friendly serialization library for Python

Cryptomining operation leveraging GitHub Actions

Everything new from GitHub Universe 2022

GPT-3 Armed with Python

Latency in Asynchronous Python

Hamiltonian Cycle Problem is in P

YouTube is now building its own video-transcoding chips

Eytzinger Binary Search

Mitre ATT&CK globally-accessible knowledge base adversary tactics and techniques

Videos with Fewer Intrusive Ads

Electric clocks in Europe have been running slow for over a month

Minio: Private Cloud Storage

1
2