Nessiness

Below are some links to some nessiness that you may find interesting and/or valuable:

Time-Space Interchange – Quantum mechanics blog of the original Nessiness co-founder, Matthew Weiss. You can also join his weekly meetup group, the Brooklyn Quantum Meetup.
My Senior Thesis – This is a link to my undergraduate senior thesis, On the Completeness of S4 and the Algebra of Possible Worlds, wherein I discuss two different proofs of the completeness of the S4 modal logic system.
Online Encyclopedia of Integer Sequences – Sometimes in life, you encounter a bemusing sequence of numbers. Maybe it's the classic Fibonacci sequence: 1, 1, 2, 3, 5, 8, 13, etc. Well, OEIS is like a "search engine" for sequences, so just plug in your numbers and it will tell you more about them.

Learn You a Haskell – Terrific beginner's guide to Haskell (my favorite functional programming language), replete with wacky illustrations.
Bartosz Milewski – Excellent content on functional programming and category theory. I learned much of what I know from his YouTube lectures and book.
Real Python – Comprehensive set of tutorials for doing all sorts of tasks in Python.
The Rust Programming Language – Learn to program in Rust! This language has some of the best features of C++ (speed, static types), but with much less risk of calamity, thanks to its memory and concurrency safety guarantees.

Stanford Encyclopedia of Philosophy – Scholarly articles about various philosophers and topics, from Abelard to Zhu Xi.
Bertrand Russell Society – Find out more about one of my favorite thinkers, Bertrand Russell, a philosopher/mathematician/logician whose work was foundational in the school of analytic philosophy. His writings continue to have a major influence on my intellectual outlook.

Etymonline – Online etymological dictionary. Great for looking up the origins of words & phrases.
Behind the Name – Similar to the above, but for names. Use this to research the meanings behind prospective baby names, or to see how common your name was in the year you were born.
jisho.org – My favorite online Japanese dictionary. Especially useful is the feature that can identify kanji characters by drawing them or selecting their radicals.

The Princeton Tigertones – The signature all-male a cappella group from Princeton University, established 1946. I was Music Director in 2011-12 and got to travel on multiple singing tours throughout Europe and the US, from street corners in London, to the big stage in Carnegie Hall, to Christmas parties at the White House. Check out the group on YouTube, or book them for your next party!
8-Bit Music Theory – As an enduring fan of video game music, I thoroughly enjoy the deep theoretical analysis of songs from some of my favorite series (Zelda, Final Fantasy, etc.) on this superb YouTube channel.
Early Music Sources – Informative channel on early music, especially the pre-Bach (Renaissance & Early Baroque) era. A good place to start is with this video on tuning and temperament.

Slippi – Play Super Smash Bros. Melee online!
splits.io – Online database of video game speedrun data. Provides statistics that can be used to analyze and improve your times. I wrote a little Python API to query the database.
Songbird Ocarina – Ever wanted to be like Link from Ocarina of Time? Well now you can, with a Songbird Ocarina! Some of the ocarinas are designed to look like the ones from the game; others just look plain cool. The site also offers songbooks with music from Zelda and other video games.

The New Calendar – Throw away your old calendar! And not just the calendar, I mean the whole dang system. The standard 12-month Gregorian calendar is woefully antiquated—for instance, why do the months have such unpredictable lengths? Instead, we should all adopt this New Calendar, designed to divide units of time much more evenly. That is, assuming we can all get used to a 9-day week...