Extended the static analyzer (-fanalyzer) with handlers for the mktemp family. Added argument validation, three new warning flags, and success/failure path bifurcation enabling fd leak and double-close detection. Three patches accepted for GCC 17.

Building a compiler from Scheme to native x86_64 assembly in OCaml with register allocation. Under development.

Survey platform with a real-time LLM conversational agent for L2 English research, in collaboration with Universitat de Barcelona. Rails application with speaking tasks, FastAPI service using OLMo2, Whisper, and piper-tts.

Top-down shooter in Go with infinite procedural world generation. Collision detection and pathfinding implemented from scratch.

Fixed bugs in IEEEReal.scan and Word.toInt related to incorrect overflow handling, bringing behavior into compliance with the Standard ML specification.

Contributed several packages to GNU Guix, a functional package manager for GNU/Linux systems.