Posts sorted by tag

accessibility

2026-07-13 Just Let Me Write Digits

analysis

2026-03-02 Quantifying the Swiss marriage tax

android

2023-01-05 Testing SIMD instructions on ARM with Rust on Android
2022-11-09 Detecting SIMD support on ARM with Android (and patching the Rust compiler for it)
2022-10-24 Compiling Rust libraries for Android apps: a deep dive

async

2021-04-08 Asynchronous streams in Rust (part 2) - Cancelling expired requests
2021-04-01 Asynchronous streams in Rust (part 1) - Futures, buffering and mysterious compilation error messages
2020-12-17 Reaching the (current) limits of Rust's type system with asynchronous programming

c++

2017-09-29 Rust from a C++ and OCaml programmer's perspective (Part 2)
2017-09-05 Rust from a C++ and OCaml programmer's perspective (Part 1)

cryptography

2021-11-01 Horcrux: Implementing Shamir's Secret Sharing in Rust (part 2)
2021-11-01 Horcrux: Implementing Shamir's Secret Sharing in Rust (part 1)
2017-06-23 GoogleCTF 2017 - Rubik write-up
2017-05-16 Conferences this semester
2017-04-24 PlaidCTF 2017 - FHE write-up
2016-11-02 How secure is PDF encryption?

ctf

2017-06-23 GoogleCTF 2017 - Rubik write-up
2017-04-24 PlaidCTF 2017 - FHE write-up

docker

2020-09-06 Lessons learned from stracing a password manager in Docker
2019-11-09 Tutorial: Profiling Rust applications in Docker with perf

graphics

2017-01-05 Syntax and validation of PDF graphics

jekyll

2020-05-23 How I blog about math: an update on KaTeX with Jekyll

json

2025-03-03 The power of interning: making a time series database 2000x smaller in Rust

math

2023-03-27 STV-rs: Single Transferable Vote implementation in Rust
2020-05-23 How I blog about math: an update on KaTeX with Jekyll

news

2024-03-14 Making my website 10x smaller in 2024, with a dark mode
2021-03-17 Back online: lessons learned from recovering my website after a data center fire
2020-06-16 Five years of Rust - a full-stack programming language for the next decade(s)
2020-06-16 Five years of Rust - a cross-platform programming language for the next decade(s)
2020-05-23 How I blog about math: an update on KaTeX with Jekyll
2019-11-29 Rust 2020
2017-05-16 Conferences this semester
2016-12-23 Caradoc v0.3 released
2016-09-24 Welcome to my blog!

ocaml

2017-09-29 Rust from a C++ and OCaml programmer's perspective (Part 2)
2017-09-05 Rust from a C++ and OCaml programmer's perspective (Part 1)

open-source

2024-04-08 Thoughts on the xz backdoor: an lzma-rs perspective

parsing

2017-05-30 Parsing HTTP/2 packets in Python with dpkt
2016-10-19 Pitfalls of PDF parsing and guidelines for file formats
2016-10-04 Introduction to PDF syntax

pdf

2017-05-16 Conferences this semester
2017-01-05 Syntax and validation of PDF graphics
2016-12-23 Caradoc v0.3 released
2016-11-02 How secure is PDF encryption?
2016-10-19 Pitfalls of PDF parsing and guidelines for file formats
2016-10-04 Introduction to PDF syntax

perf

python

2017-05-30 Parsing HTTP/2 packets in Python with dpkt

rust

2026-03-02 Quantifying the Swiss marriage tax
2025-03-03 The power of interning: making a time series database 2000x smaller in Rust
2024-12-02 Optimization adventures: making a parallel Rust workload even faster with data-oriented design (and other tricks)
2024-11-18 Optimization adventures: making a parallel Rust workload 10x faster with (or without) Rayon
2024-06-17 Making a const version of Rust's array::from_fn - How hard can it be?
2024-04-08 Thoughts on the xz backdoor: an lzma-rs perspective
2023-03-27 STV-rs: Single Transferable Vote implementation in Rust
2023-01-05 Testing SIMD instructions on ARM with Rust on Android
2022-11-09 Detecting SIMD support on ARM with Android (and patching the Rust compiler for it)
2022-10-24 Compiling Rust libraries for Android apps: a deep dive
2022-01-31 Why my Rust benchmarks were wrong, or how to correctly use std::hint::black_box?
2021-11-01 Horcrux: Implementing Shamir's Secret Sharing in Rust (part 2)
2021-11-01 Horcrux: Implementing Shamir's Secret Sharing in Rust (part 1)
2021-04-08 Asynchronous streams in Rust (part 2) - Cancelling expired requests
2021-04-01 Asynchronous streams in Rust (part 1) - Futures, buffering and mysterious compilation error messages
2020-12-17 Reaching the (current) limits of Rust's type system with asynchronous programming
2020-06-16 Five years of Rust - a full-stack programming language for the next decade(s)
2020-06-16 Five years of Rust - a cross-platform programming language for the next decade(s)
2019-11-29 Rust 2020
2019-11-09 Tutorial: Profiling Rust applications in Docker with perf
2019-08-25 Advent of Code in Rust: lessons learned
2018-02-05 6 months into Rust: what was good in 2017 and what will be better in 2018?
2017-09-29 Rust from a C++ and OCaml programmer's perspective (Part 2)
2017-09-05 Rust from a C++ and OCaml programmer's perspective (Part 1)

security

2020-09-06 Lessons learned from stracing a password manager in Docker

simd

2023-01-05 Testing SIMD instructions on ARM with Rust on Android
2022-11-09 Detecting SIMD support on ARM with Android (and patching the Rust compiler for it)
2021-11-01 Horcrux: Implementing Shamir's Secret Sharing in Rust (part 2)

tutorial

voting

2023-03-27 STV-rs: Single Transferable Vote implementation in Rust

wasm

2026-03-02 Quantifying the Swiss marriage tax

web

2026-07-13 Just Let Me Write Digits
2024-03-14 Making my website 10x smaller in 2024, with a dark mode
2021-03-17 Back online: lessons learned from recovering my website after a data center fire
2020-05-23 How I blog about math: an update on KaTeX with Jekyll

webgl

2017-06-23 A Rubik's cube visualization for GoogleCTF 2017