nixpulvis
References
- afl.rs
- Alacritty
- avr-device
- avr-hal
- avr-none Target
- Basics of the Unix Philosophy
- Bootloader
- Category Theory
- Chaperones and Impersonators
- clone(2)
- Contracts for Higher-Order Functions
- Correct Blame for Contracts
- Cross-compilation using Clang
- Efficient Integer Overflow Checking in LLVM
- Exploring Rust on Teensy
- Fibers Under the Magnifying Glass
- fork(2)
- Launching Linux Threads and Processes with clone
- Let's Stop Ascribing Meaning to Code Points
- Measuring Context Switching and Memory Overheads for Linux Threads
- NeoPixels Revealed
- Noto
- OctoWS2811
- Parametric Polymorphism through Run-Time Sealing
- PLT Redex
- posix_spawn(3)
- Programming Languages: Application and Interpretation
- Protection in Programming Languages
- Racket Guide to Contracts
- Racket Macros
- ravedude
- Reflections on Rusting Trust
- Rust on an ARM Microcontroller
- Stateful Contracts for Affine Types
- Surfaces and Signatures
- The Native POSIX Thread Library for Linux
- Thoughts on Trusting Types and Unsafe Code
- Unix Edition Zero
- What Every Computer Scientist Should Know About Floating-Point Arithmetic
- Why Unicode Won't Work on the Internet
- Write Your Own OS
- XTerm
- XTerm Control Sequences
- You Could Have Invented Zippers