A big collection of useful questions to ask potential employers.

Style your webpage like Edward Tufte’s handouts.

Hazel, a live functional programming environment with typed holes

This repository contains a curated collection of 300+ case studies from over 80 companies, detailing practical applications and insights into machine learning (ML) system design. The contents are o…

What are the principles we can use to build LLM-powered software that is actually good enough to put in the hands of production customers?

Extracted system prompts from ChatGPT (GPT-5.4, GPT-5.3, Codex), Claude (Opus 4.6, Sonnet 4.6, Claude Code), Gemini (3.1 Pro, 3 Flash, CLI), Grok (4.2, 4), Perplexity, and more. Updated regularly.

Haptic input knob with software-defined endstops and virtual detents

Multi-Cloud Security Auditing Tool

Security policies for Tailscale

Protocol buffers definitions for Swift Homomorphic Encryption

🦩 Tools for Go projects

Enabling the Windows Subsystem for Linux to include support for Wayland and X server related scenarios

A basic guideline on implementing auth for the web

The easiest way to access AWS.

A collection of various non-quota limits with GitHub

⭐ Vim for Visual Studio Code

HarfBuzz text shaping engine

Indented document literals for Rust

🤖 Just a command runner

NativeLink is a Nix-powered, open source, high-performance build cache and remote execution server, compatible with Bazel, Soong, Pants, Buck2, Reclient, and other RE-compatible build systems. It o…

Borgo is a statically typed language that compiles to Go.

Type-safe, K-sortable, globally unique identifier inspired by Stripe IDs

Open-source graph database, tuned for dynamic analytics environments. Easy to adopt, scale and own.

Test helpers for VSCode textmate grammars

Reckless logging. Low-latency, high-throughput, asynchronous logging library for C++.

Intuitive find & replace CLI (sed alternative)

Fast website link checker in Go