TODO.md

TODO

Features

• https://toml.io/en/

• https://talonvoice.com/

  • https://talonvoice.com/docs/

• https://huggingface.co/Mozilla/whisperfile

• https://www.flowvoice.ai/

• get youtube-dl to work and download the Bret Victor video

• quick way to ingest/snapshot wikipedia articles

Ingest

• https://www.youtube.com/watch?v=8pTEmbeENF4

• https://arxiv.org/pdf/1810.08061

• https://en.wikipedia.org/wiki/Memex

• https://worrydream.com/refs/Bush_1945_-_As_We_May_Think_(Life_Magazine).pdf

• https://worrydream.com/refs/Bush_1967_-_Memex_Revisited.pdf

• https://dl.acm.org/doi/pdf/10.1145/3617232.3624873

• https://www.theatlantic.com/magazine/archive/1945/07/as-we-may-think/303881/

• https://web.mit.edu/6.001/6.037/sicp.pdf

• https://fredrikbk.com/publications/copy-and-patch.pdf

• https://writings.stephenwolfram.com/2024/08/whats-really-going-on-in-machine-learning-some-minimal-models/

• https://web.archive.org/web/20160528014857/http://www.complex-systems.com/pdf/15-1-1.pdf

• https://wpmedia.wolfram.com/sites/13/2018/02/15-1-1.pdf

• https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

• https://en.wikipedia.org/wiki/Steensgaard%27s_algorithm

• https://en.wikipedia.org/wiki/RP_(complexity)

• https://en.wikipedia.org/wiki/ZPP_(complexity)

• https://en.wikipedia.org/wiki/Hindley%E2%80%93Milner_type_system

• https://en.wikipedia.org/wiki/System_F

• https://www.youtube.com/watch?v=THwUfywGGgs

• https://blog.dottxt.co/coding-for-structured-generation.html

• https://en.wikipedia.org/wiki/Agda_(programming_language)

• https://x.com/VictorTaelin/status/1837925011187027994

News

• https://news.cornell.edu/stories/2024/08/biohybrid-robots-controlled-electrical-impulses-mushrooms
• https://www.reuters.com/technology/artificial-intelligence/openai-co-founder-sutskevers-new-safety-focused-ai-startup-ssi-raises-1-billion-2024-09-04/

Links

• https://cranelift.dev/

• https://legion.stanford.edu/overview/index.html

• https://github.com/mxgmn/MarkovJunior

• https://chapel-lang.org/

• https://en.wikipedia.org/wiki/Fortress_(programming_language)

• https://vtss.doc.ic.ac.uk/research/gillian.html

• https://en.wikipedia.org/wiki/Poincar%C3%A9_conjecture

• https://en.wikipedia.org/wiki/Curry%E2%80%93Howard_correspondence

• https://en.wikipedia.org/wiki/Interaction_nets

• https://arstechnica.com/science/2024/08/hydrogels-can-learn-to-play-pong/

• https://deprogrammaticaipsum.com/

• https://gist.github.com/VictorTaelin/ea437a1bcdcbe026c61c434114ce7b34

People

• https://de.wikipedia.org/wiki/Dieter_Rams