Proof and Learning

2023-11-29
5 minute read

A Monte Carlo Tree Search for Reward-Friendly Optimization Problems

2023-09-30
13 minute read

Spindle 0.1 is out!

2023-07-17
7 minute read

Kani and CUDA

2023-05-16
5 minute read

Resetting from Italy

2023-04-26
2 minute read

The Slanting Tower of Ghirlandina

2023-04-16
1 minute read

Imperative to functional

2023-04-14
2 minute read

First day of nice weather

2023-04-12
1 minute read

Becoming a better dev

2023-04-02
2 minute read

Rust's `match` is liberating

2023-02-15
1 minute read