Welcome to my blog

This blog keeps some random notes from my day-to-day development. Hope you find something useful here.

Posts

May 27, 2024
Theorem Proving in Lean 4
May 7, 2024
Some notes on learning Lean
Apr 28, 2024
Some notes on cron
Mar 31, 2024
Transformer / GPT Notes
Mar 12, 2024
Is Silver Medal Deserved in Single-Elimination Tournament?
Mar 2, 2024
Multi-Armed Bandit
Feb 25, 2024
24 Points
Feb 7, 2024
GPTs -- Pandas Assistant
Jan 24, 2024
Secretary Problem
Jun 8, 2023
Some notes on using tmux
Jun 8, 2023
Langchain Tracing
Jun 1, 2023
Managing Secrets in Colab
May 19, 2023
Using Colab with Custom GCE VM