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!
- 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!
- 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!
Friends
- akaneko.red
- My buddy Serberozen's website, featuring tons of fun JavaScript demos and programs.
- BlackYandex
- My buddy Dante'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)