serious thoughts and empty ideas

What am I?

A blog about serious thoughts and empty ideas. Ideally, topics range from logic, type theory, linguistics, philosophy, and software development. However, the author is very inconsistent, so expect anything that tickles their brain that day. Also expect the occasional objective film or song review.

Who is writing?

The author is an undergraduate in Philosophy and CS. They primarily focus on software verification research and write just about anything to get out of work. They were born @ 375 ppm.

Should I subscribe?

There’s absolutely no reason to! The author gives everything for free. If you want to subscribe do it at your own risk.