2026-02-02

How to concisely apply an ltac tactic without introducing garbage

2023-06-26

An investigation into how online editors render Python turtle graphics

2022-12-12

A look back at all the video games I've played in my life

2022-09-22

A bit about my significant figures calculator

2022-07-21

I wrote a script to download videos

2022-06-28

Why, if you wear fragrances, you don't wear them for yourself

2022-06-17

A walkthrough of how I listen to good-quality music

2022-06-14

First post