Links

Academia

Math3ma
The website of Tai-Danae Bradley, category theorist with an interest in AI and language modeling. I recommend her "Language, Statistics and Category Theory" series!
ACL Anthology
Official site of the Association for Computational Linguistics, housing tons of papers. My research interests lie in SCiL, SIGMOL, and BriGap, check those out!
Society for Computation in Language
The premier association for the study of language from a mathematical and computational perspective; there's a lot of cool work going on and they meet every year!
BriGap, Bridges and Gaps between Formal and Computational Linguistics
Given the divergence of natural language processing from methods grounded in formal syntax and semantics that previously dominated it, there isn't as much discussion between the symbolic linguist types and the machine-learning data science types. BriGap is here to close that gap!
DELPH-IN
A suite of programs for the Head-driven Phrase Structure Grammar formalism, including the Linguistic Knowledge Builder and English Resource Grammar!
Fluid Construction Grammar
A formalized variant of Construction Grammar that focuses on language acquisition and change; implemented in Common Lisp!
LINGUIST List
A hub for academic linguists, filled with information about linguistic research!
World Atlas of Linguistic Structures
A website conglomerating all of the interesting syntactic and morphological features of languages all over the world!
Diversity Linguistics Comment
The blog of typologist Martin Haspelmath, one of the maintainers of the WALS, and his opinions!
General Ontology for Linguistic Description
A formalization of descriptive linguistics terminology.
Lexical-Realizational Functional Grammar
A constraint-based morphosyntactic formalism melding realizational morphology and Lexical-Functional Grammar, with a great ability to handle oligosynthetic and polysynthetic languages!
forall x: An Introduction to Formal Logic (on the Open Logic Project website)
A free introduction to formal logic, taking you all the way from propositional/truth-functional logic to proving soundness and functional completeness!
Open Logic Project
If you've finished/outgrown forall x, Open Logic Project also offers a free intermediate-advanced logic book too, taking you from set theory through model theory, incompleteness, lambda calculus, computability theory, and more!
Logic Matters
The blog of one Peter Smith featuring five open-access books about formal/mathematical logic, Gödel's theorems and category theory!
How to Design Programs
An introduction to programming using the *SL teaching languages, which are more limited versions of the Lisp dialect Racket. I'm going through it right now to learn functional programming proper before I move onto the Racket Guide!
The Racket Guide
The guide/documentation for Racket, a dialect of Lisp/Scheme made for building programming languages on top of it, and even has integrated logic programming embeddings like Racklog. Great for building stuff related to formal languages and logic/formal semantics!

Media (Games, music, etc)

Cave Story Tribute Site
A tribute site to the game Cave Story/Doukutsu Monogatari released in 2004 by Daisuke "Pixel" Amaya. I've beaten this game about 20 times or so. It's one of the best games ever made, and it's free; GO PLAY IT NOW!!!
Ron Jarzombek's Official Website
My favorite guitarist, maybe, of all time. His work is overrepresented in my metal shirt collection, with 6 out of 12 of my shirts being from projects he was a part of (3 Blotted Science shirts, 2 Spastic Ink shirts, 1 Watchtower shirt). He has a compositional style all to his own, and made a good number of videos about his really cool methods, even recently wrote a book about it called "The Application of 12-Note Writing Systems".

Friends

akaneko.red
My buddy Serberozen's website, featuring tons of fun JavaScript demos and programs.
YCoz
My buddy Dante/Kawamori's website, he just started it; go check it out!
The Zoso Project
My buddy Zoso's site, with writings about global happenings as well as translation work; he's currently working on a translation of the autobiography of Adachi Kenzou, a Japanese politician who participated in the assassination of Queen Min of Korea, as well as a Chinese military novel.
Deluoode
An awesome forum dedicated to the Science Adventure series (I'm DrSchnautz on there)
arka.li
This is my buddy Arkadag's website. He puts up some cool pics from his travels in Europe and Central Asia, some retro PC restorations, and other stuff!

Back to container section

Back to main page