Toggle navigation
Home
Blog
Research
Programming
Reading list
Blog posts sorted by tag
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
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
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)
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
2023-01-05
Testing SIMD instructions on ARM with Rust on Android
2022-01-31
Why my Rust benchmarks were wrong, or how to correctly use std::hint::black_box?
2019-11-09
Tutorial: Profiling Rust applications in Docker with perf
python
2017-05-30
Parsing HTTP/2 packets in Python with dpkt
rust
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
2022-10-24
Compiling Rust libraries for Android apps: a deep dive
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
voting
2023-03-27
STV-rs: Single Transferable Vote implementation in Rust
webgl
2017-06-23
A Rubik's cube visualization for GoogleCTF 2017