https://songq.in/dotfiles/helix+confighttps://songq.in/Abouthttps://songq.in/Musichttps://songq.in/posts/The+Right+Tool+for+the+Right+Jobhttps://songq.in/posts/Intro+CS+Pedagogyhttps://songq.in/Book+Reviews/The+Annotated+Turing+by+Charles+Petzoldhttps://songq.in/Book+Reviews/Camino+Island+by+John+Grishamhttps://songq.in/Book+Reviews/A+Time+for+Mercy+by+John+Grishamhttps://songq.in/posts/Albums+for+Ianhttps://songq.in/dotfiles/init.luahttps://songq.in/dotfiles/bashrchttps://songq.in/posts/What+makes+an+upright+bass+interesting%3Fhttps://songq.in/posts/Good+Blogshttps://songq.in/posts/Practical%2C+but+sassy%2C+Philosophyhttps://songq.in/dotfiles/starship.tomlhttps://songq.in/petr+language+specs/type-systemhttps://songq.in/petr+language+specs/Spechttps://songq.in/petr+language+specs/syntax-and-grammarhttps://songq.in/notes/Proof+Nethttps://songq.in/notes/Sequent+Calculushttps://songq.in/notes/Curry+Howard+Isomorphismhttps://songq.in/notes/Linear+Logichttps://songq.in/notes/Strong+Normalization+Propertyhttps://songq.in/notes/Cut+Elimination+Theoremhttps://songq.in/notes/linear+formshttps://songq.in/notes/vector+spacehttps://songq.in/notes/fieldhttps://songq.in/notes/Linear+Algebrahttps://songq.in/notes/Dual+Vector+Spacehttps://songq.in/notes/Monoidal+Categorieshttps://songq.in/notes/Category+Theoryhttps://songq.in/notes/Dual+Objectshttps://songq.in/notes/Compact+Closed+Categoryhttps://songq.in/notes/To+Definehttps://songq.in/posts/Good+Siteshttps://songq.in/notes/System+Uhttps://songq.in/notes/System+Fhttps://songq.in/notes/Hindley+Milner+Algorithmhttps://songq.in/posts/Black+and+Death+Metal+for+Cesar