- Why Python's integer division floors (2010)
by bshanks on 2/26/24, 11:52 PM, with comments
- Herbgrind analyzes binaries to find inaccurate floating point expressions
by bshanks on 2/26/24, 10:35 PM, with comments
- Common Lisp's block / return-from and unwind-protect
by bshanks on 1/21/24, 1:37 AM, with comments
- Organizing multiple Git identities
by bshanks on 10/15/23, 1:43 AM, with comments
- What’s the Smallest Variety of CHERI? (2022)
by bshanks on 9/12/23, 6:32 AM, with comments
- My Mental Model of Transducers
by bshanks on 9/9/23, 9:35 PM, with comments
- GitHub has too many hidden features
by bshanks on 9/5/23, 10:22 PM, with comments
- Compiler Development: Rust or OCaml?
by bshanks on 8/6/23, 9:05 PM, with comments
- Redpanda’s official Jepsen What we fixed, and what we shouldn’t
by bshanks on 5/14/23, 12:34 AM, with comments
- Repeat yourself, do more than one thing, and rewrite everything (2018)
by bshanks on 3/14/23, 1:25 PM, with comments
- Homeworld 1 in Browser
by bshanks on 1/27/23, 6:01 AM, with comments
- SRFI 226: Control Features
by bshanks on 12/9/22, 2:03 AM, with comments
- ChatGPT passes the 2022 AP Computer Science A free response section
by bshanks on 12/4/22, 10:47 PM, with comments
- (Mastodon) Surviving and thriving through the 2022-11-05 meltdown
by bshanks on 11/12/22, 8:39 AM, with comments
- Burrows–Wheeler Transform
by bshanks on 9/21/22, 4:53 PM, with comments
- What’s the Smallest Variety of CHERI? (2022)
by bshanks on 9/18/22, 6:05 AM, with comments
- Explorations in the Untyped Lambda Calculus
by bshanks on 9/18/22, 2:57 AM, with comments
- Impossibility Theorems in AI Value Alignment (against utility functions)
by bshanks on 9/3/22, 4:47 PM, with comments
- Baby’s First Garbage Collector (2013)
by bshanks on 8/10/22, 1:25 AM, with comments
- Arc and Mutex in Rust
by bshanks on 6/5/22, 4:30 AM, with comments
- On Endianness (2021)
by bshanks on 5/23/22, 6:10 AM, with comments
- Concise Encoding: A secure data format for a modern world
by bshanks on 5/23/22, 6:06 AM, with comments
- Book review: The Little Typer (2021)
by bshanks on 5/22/22, 6:16 AM, with comments
- The Sound of Sorting (2013)
by bshanks on 4/22/22, 7:34 PM, with comments
- The case for a modern language
by bshanks on 1/22/22, 5:58 AM, with comments
- What would it take to recreate dplyr in Python? (2020)
by bshanks on 1/15/22, 7:11 PM, with comments