Technical notes about various topics, sometimes backfilled and updated.

External root disk encryption on the Raspberry Pi

2023-11-27 #hardware

Booting on an encrypted external disk with the Raspberry Pi, with keys on an external medium as a bonus

Read post

Practical async Rust over lunch

2023-11-10 #rust#talk

Slides for an hour-long talk about async Rust.

Read post

Lenovo X1 Extreme fingerprint reader on Arch

2023-08-09 #hardware

Setting up the Synaptics Prometheus fingerprint reader to work with sudo and i3lock

Read post

Zola syntax highlighting with Pygments

2023-07-29 #rust

Replacing syntect with pygments as Zola’s syntax highlighter

Read post

AMD Vega 10 on Linux in 2023

2023-07-18 #hardware

Fixing corrupted display on amdgpu

Read post

`indicatif` progress as `log` messages

2023-06-04 #rust

Outputting indicatif progress messages as log entries

Read post

Creating Polars dataframes from Rust objects

2023-05-28 #rust

Easy creation of dataframes using serde_arrow

Read post

Storing Protobufs in Postgres or MongoDB

2023-05-09 #rust

Storing and querying Protobufs in a JSON-compatible database in Rust, using serde

Read post

Blender, Eevee, Docker and NVIDIA GPUs

2023-04-03 #blender#infra

Getting Blender Eevee’s renderer working headlessly in Docker on an NVIDIA GPU

Read post

Great software

2023-03-01 #software

A list of great open source software I use and recommend

Read post

Voyages au bout de la nuit

2013-09-01 #theatre#video#web

Live projections for a play/performnace

Read post

Illustrations of solids of revolution

2011-09-01 #math#latex

LuaTeX + pstricks + pst-solides-3d

Read post

CS projects for Life Sciences students

2011-09-01 #biology#simulation#3D

Simulations with 3D visualizations, developed to serve as projects for C++ courses

Read post