Torus Blog
Home
Writings
Tags
About
Personal page for pieces of technical writing (with a hint of lyricism), personal projects logs, portfolio, contacts, etc.
Find me on
,
and
.
Writings
2025-05-29
Game development experiments and Jam participation
2025-05-29
Simply-typed Lambda Calculus [Part 1]
2025-04-17
Make sheet music from any track
2025-04-07
The RL Agent for Survivors-like game [Part 1]
2025-04-02
LLM surgery for debugging [Part 1]
Projects
Various Type Systems Implementations in Rust
: WIP Implementing type systems from TAPL and Beyond
RL-agent for Survivors Games
: WIP to build an agent for playing bullet-heaven games
minesweeper-rs
: Minesweeper written in Rust, using Macroquad and compiled into WASM