summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJJ2024-10-10 21:56:43 +0000
committerJJ2024-10-10 21:56:43 +0000
commitc215319eb1758c22cde5610b64d2594cd1554e34 (patch)
treedaf7ca52459d50087b69bae8ef0aa0fbd47ef181
parent7f4a96697120ba8b5b42348f42eadcce2a49ed06 (diff)
minor links updatesmaster
-rw-r--r--links.md39
-rw-r--r--textbooks.html4
2 files changed, 37 insertions, 6 deletions
diff --git a/links.md b/links.md
index 671b5d4..8646065 100644
--- a/links.md
+++ b/links.md
@@ -92,7 +92,7 @@ Here are some of the more interesting ones.
* [jenn schiffer](https://jennschiffer.com/)
* [h](http://hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhh.website/)
-### blogs in my rss feed
+### blogs in my blog feed
* [GioCities](https://blog.giovanh.com/)
* [Cadence's Weblog](https://cadence.moe/blog)
* [Faultlore](https://faultlore.com/blah/)
@@ -118,9 +118,11 @@ Here are some of the more interesting ones.
### textbooks
I have a [dedicated page](/textbooks) for textbooks I recommend / have been recommended.
+### internet
+* [Wayback Machine](https://web.archive.org/) - archeology of the internet
+
### books
* [Internet Archive](https://archive.org/) - the digital library of the internet age
-* [Wayback Machine](https://web.archive.org/) - archeology of the internet
* [Project Gutenberg](https://www.gutenberg.org/) - public domain ebooks
* [Standard Ebooks](https://standardebooks.org/) - nicely typeset public domain ebooks
* [Library Genesis](https://gen.lib.rus.ec/) - the modern library of alexandria
@@ -140,9 +142,10 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco
* [Moby Thesaurus](https://moby-thesaurus.org/) - the most comprehensive english-language thesaurus
* [TVTropes](https://tvtropes.org/) - the pop-culture tropes wiki
* [Bulbapedia](https://bulbapedia.bulbagarden.net/) - the wiki for all things pokémon
+* [Minecraft Wiki](https://minecraft.wiki/) - the wiki for all things minecraft
### mathematics
-* [NLab](https://ncatlab.org/nlab/show/HomePage) - type theory, category theory, and homotopy theory
+* [nLab](https://ncatlab.org/nlab/show/HomePage) - type theory, category theory, and homotopy theory
* [1Lab](https://1lab.dev/) - cubical methods in homotopy type theory
* [The Stacks project](https://stacks.math.columbia.edu/) - a reference work on algebraic geometry
* [An infinitely large napkin](https://web.evanchen.cc/napkin.html) - an exposition project for higher mathematics
@@ -150,9 +153,21 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco
### linguistics
* [Glottolog](https://glottolog.org/) - a reference work on the world's languages
* [Lingbuzz](https://lingbuzz.net/) - an article archive / community space for linguistics
-* [ipa.typeit.org](https://ipa.typeit.org/) - type ipa symbols on a standard keyboard
* [ipachart.com](https://www.ipachart.com/) - interactive ipa chart
+* [ipa.typeit.org](https://ipa.typeit.org/) - type ipa symbols on a standard keyboard
* [syntree](https://mshang.ca/syntree/) - simple syntax tree generator
+* [gloss generator](https://neonnaut.github.io/) - compiles plain-text glosses to html / wikitext / gb4e tex
+
+### toki pona
+* [tokipona.org](https://tokipona.org) - the official toki pona website
+* [sona pona](https://sona.pona.la/) - wikipedia for toki pona
+* [pona.la](https://pona.la/) - free subdomains for toki pona projects
+* [nimi.li](https://nimi.li) - an interactive toki pona dictionary
+* [lipu Linku](https://linku.la/) - another toki pona dictionary
+* [zrajm's toki pona dictionary](https://zrajm.github.io/toki-pona-syllabics/dictionary/)
+* [ilo pi ante nimi](https://jan-ne.github.io/tp/transliterator) - name transliteration: tool for different names
+* [toki pona syllabics](https://zrajm.github.io/toki-pona-syllabics/)
+* [mi toki](https://ankiweb.net/shared/info/1713859020) - riley audiovalentine's toki pona anki deck
</div>
<div id="content-3">
@@ -170,15 +185,30 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco
* [MathML](https://w3c.github.io/mathml-core/) - mathematical markup notation. renderable in all modern browsers
* [Wasm](https://webassembly.org/) - an abstract stack machine for safe, cross-platform, cross-language code
* [Uxn](https://100r.co/site/uxn.html) - an aesthetic virtual machine and computing stack
+* [TOML](https://toml.io/en/) - a config file format for humans
+* [KDL](https://kdl.dev/) - a small, pleasing xml replacement
* [Quite OK Image](https://qoiformat.org) - a dead simple lossless image format
* [Quite OK Audio](https://qoaformat.org) - a dead simple lossy audio format
+### languages
+* English - my L1. a beautiful mess of a language
+* Spanish - i like spanish!!
+* [Toki Pona](https://tokipona.org/) - a simple constructed language with 140 words and no inflection
+* [Ido](https://omniglot.com/writing/ido.htm) - a reformed dialect of esperanto, a constructed european auxiliary language
+* [Rust](https://rust-lang.org/) - a widely used, memory safe systems language with excellent tooling
+* [Lean](https://web.archive.org/web/20240927175742/https://lean-lang.org/) - a combination programming language and theorem prover
+* [Racket](https://racket-lang.org/) - a programming language for building programming languages
+* [Modern Java](https://en.wikipedia.org/wiki/Java_(programming_language)) - it's greatly improved. i appreciate it.
+
### ctf
* [godbolt](https://godbolt.org/) - compiler explorer
* [dogbolt](https://dogbolt.org/) - decompiler explorer
* [webhook.site](https://webhook.site) - inspect incoming http requests
* [CyberChef](https://gchq.github.io/CyberChef/) - a cipher cookbook
* [AperiSolve](https://aperisolve.com/) - automated stego solving
+* [factordb](https://factordb.com/) - a database of factorized numbers
+* [libc.rip](https://libc.rip/) - libc database search
+* [CTF search](https://ctfsearch.com/) - search published challenge writeups
### utilities
* [icanhazip.com](https://icanhazip.com/) ([ipv4](https://ipv4.icanhazip.com/), [ipv6](https://ipv6.icanhazip.com/)) - your ip address. nothing else.
@@ -225,5 +255,6 @@ I have a [dedicated page](/textbooks) for textbooks I recommend / have been reco
* [Homestuck](http://www.mspaintadventures.com/sweetbroandhellajeff/) [complete]
* [Cool and New Web Comic](https://mspfa.com/?s=14113&p=1) [inactive]
* [Ava's Demon](https://www.avasdemon.com/) [inactive]
+* [BeanyTuesday](https://beanytuesday.tumblr.com/)
</div>
diff --git a/textbooks.html b/textbooks.html
index ca33dd4..18e01eb 100644
--- a/textbooks.html
+++ b/textbooks.html
@@ -1,6 +1,6 @@
---
layout: main
-title: Textbooks
+title: textbook recommendations
---
<style>
@@ -482,7 +482,7 @@ I do <b>not</b> recommend Strang's linear algebra... out of spite, mostly
<i>Irene Heim & Angelika Kratzer</i>
</p>
<p>
- <a href="https://web.mit.edu/fintel/fintel-heim-intensional.pdf">Intensional Semantics</a>
+ <a href="https://web.mit.edu/fintel/fintel-heim-intensional.pdf">Intensional Semantics</a> <tag>free</tag>
<br>
<i>Kai von Fintel & Irene Heim</i>
<br>