Bookmarks

Programming Languages

Rust

• The Rust Programming Language
• The Cargo Book
• Working with strings in Rust
• Malachite
• Building a microkernel in Rust
• hk - an operating system kernel written in Rust

Swift

• The Swift Programming Language (6)
• Swiftly: A Swift toolchain installer and manager, written in Swift
• Swift Testing
• Package Manager
• Swift on Raspberry Pi: Building Natively and Cross Compiling

Zig

• Zig Language Reference
• Zig standard library
• zg provides Unicode text processing for Zig projects

Python

• uv

Typescript

• Visual Types

Others

• Par Language
  • Documentation

Kubernetes

• A better Kubernetes, from the ground up

Unicode

• It’s Not Wrong that "🤦🏼‍♂️".length == 7
• Breaking Our Latin-1 Assumptions

Interesting Projects

• Ink & Switch
• Fossil: simple, high-reliability, distributed software configuration management system.
• Clawd

Data Formats

• Concise Binary Object Representation (CBOR)

Arbitrary precision math

• Go math/big package

Effects

• Kyo

Conferences

• POPL22 Research Papers

Cloud Providers

• Hetzner

Technology

• Blue Current Solid-State Silicon Battery
• RevForce 2-stroke engine