diff options
| -rw-r--r-- | links.md | 39 | ||||
| -rw-r--r-- | textbooks.html | 4 |
2 files changed, 37 insertions, 6 deletions
@@ -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> |