February 2025 updates

Chrome extension that asks you to do exercises

Notes on analysis

Note: Belief elicitation without verification

Note: Are users’ upvotes and downvotes enough to remove duplicate posts? Not quite

LLM-based proof checker for codebases

May 2024 updates

New notes:

• Database query API generation
• Distributed algorithms
• Kolmogorov complexity in computational complexity
• Project ideas
• Statistics

sqlafunccodegen: Generate type-annotated Python functions that wrap PostgreSQL functions

January 2024 updates

Have paper books with no digital version? Get them scanned into a PDF

Read the web in simplified English spelling: this Chrome extension translates pages to “Cut Spelling”

The ultimate guide to the Canadian accent

Find the optimal credit card based on your spending

Trivial Paleo recipes for meal replacement powder and dry cereal

Alternative to BackgroundTasks in FastAPI

March 2023 updates

New note: Tricky grammar

New note: Interviewing programmers

New note: Problem solving strategy in math and beyond

Convert images to the solarized color scheme

UNESCO World Heritage Site map

Optimal alcohol

Search for apartments within walking distance of a location

January 2023 updates

A great idea: let people use your yard as a vegetable garden and receive a percentage of the produce

Lifting CrossHair (automatic bug finder) from Python to SQL via SQLGlot

Photo gallery: Toronto

New note: Global keyboard shortcuts for editing like in emacs, screenshots, and media controls

November 2022 updates

“10 years ago, the Peking University genius Liu Zhiyu, who gave up MIT and chose to be a monk, how is it now?”

Algorithm for showing overlapping hints in keyboard-driven browser extensions

FastAPI add-on that integrates the dry-python “returns” library

Xonsh users can use any-nix-shell to stay in xonsh when running nix shell

Kaomoji search engine