Interesting Links
Research
nLab
a collaborative online platform for advanced topics in mathematics, physics, and computer science, with a focus on category theory, homotopy theory, and related areas.
Mathematics in Lean
a comprehensive online resource and tutorial for learning and using the Lean proof assistant to formalize mathematical concepts and proofs.
Beginner's guide to Beluga
an introductory resource for learning the Beluga proof assistant, focusing on its features for mechanizing formal systems with dependent types and bindings.
forall x: Calgary
an open-access textbook that provides an introduction to formal logic, tailored for students with no prior background, covering propositional and predicate logic.
Bread and Circuses
Absurdle
a variation of Wordle designed to be intentionally adversarial.
Rex Parker Does the NY Times Crossword Puzzle
popular blog where Michael Sharp reviews and critiques the daily New York Times crossword puzzle
Fork of Phil
website I've used to make crosswords. Not sure if it is the best but I like the minimalist design.
17776
a multimedia web series by Jon Bois that explores the future of football and humanity through a surreal narrative blending text, images, and videos, set in a world where humans have stopped aging and dying. It's awesome.
QB Reader
Automatic Quizbowl question reader. Good practice for if you wanna start competing.