TODOversion control system that captures movements

etc

https://multiverse.plus/kicks/not-just-a-subreddit https://pliss.org/2021/registration.html https://portal.mozz.us/gemini/gemini.spam.works/~emery/devlog/sigil-report.gmi https://numinous.productions/ttft/ https://sagegerard.com/blog.html very helpful cool emacs articles, worth digging into https://github.com/zyrolasting/isml https://sagegerard.com/parameterized-rcs.html so much knowledge on this page! http://www.winestockwebdesign.com/Essays/Lisp_Curse.html

https://colorforth.github.io/HOPL.html https://www.thingiverse.com/thing:1053639 https://www.reddit.com/r/neovim/comments/nd7y73/my_thoughts_on_nvimlsp_vs_coc_with_rust/?utm_medium=android_app&utm_source=share https://www.well-typed.com/blog/2014/12/simple-smt-solver/ https://cs.stackexchange.com/questions/81838/how-could-an-smt-solver-be-implemented-as-simple-as-possible https://dribbble.com/stories/2021/04/26/web-design-data-fonts?utm_campaign=2021-05-05&utm_medium=email&utm_source=courtside-20210505 https://jix.one/the-assembly-language-of-satisfiability/

learn to implement type theory? https://ice1000.org/pages/about.html might be a useful cs course: http://www.cs.toronto.edu/~david/csc324/index.html

saved-links file?

http://www.pathsensitive.com/2021/03/why-programmers-shouldnt-learn-theory.html http://www.jameskoppel.com/skunkworks/ http://www.pathsensitive.com/2021/03/developer-tools-can-be-magic-instead.html https://jsomers.net/blog/dictionary http://www.cs.umd.edu/~rrand/vqc/Real.html https://www.notion.so/Computing-History-Hub-be72f307fc2e4b05abe3dc67eb937521 https://www.recurse.com/blog/51-paper-of-the-week-out-of-the-tar-pit https://darkblueheaven.com/spatialsoftware/ https://brianlui.dog/2020/05/10/beware-of-tight-feedback-loops/amp/?__twitter_impression=true https://thesephist.com/posts/shadow/ https://beautifulracket.com/bf/ https://beautifulracket.com/bf/grammars-and-parsers.html https://doisinkidney.com/posts/2021-03-14-hyperfunctions.html https://thesephist.com/posts/play/ http://sigusr2.net/scanabanana.html https://www.mollymielke.com/cc https://www.smashingmagazine.com/2021/03/complete-guide-accessible-front-end-components/

article: everyone is programming poorly visualization of all these no code and communication skills compare to real code

meme about academia: multi column beta (research paper) vs freewriting chad https://charted.space/orthogonal-persistence.html https://github.com/curlpipe/ox https://www.reddit.com/r/rust/comments/g45bim/how_to_make_a_text_editor_in_rust/ https://web.dev/building-a-settings-component/ https://dev.to/fallenstedt/making-a-canvas-based-game-with-rust-and-webassembly-2l46 https://comby.dev/blog/2021/03/26/comby-reducer

https://bjango.com/articles/speedrunsoccerballicon/ tips for icon design - and designing them fast!

https://lea.verou.me/2021/03/inverted-lightness-variables/

https://weareskribbl.com/ icon inspiration? https://adrianroselli.com/2021/03/under-engineered-select-menus.html select component conventions can be super useful!

https://tonsky.me/blog/font-size/ problems with line height

https://www.smashingmagazine.com/2021/03/svg-generators/: lots of good svg generators

https://garet.spacetype.co/ : this is an incredible way to experience a font!

creative web inspiration: https://jonathanalpmyr.com/ https://www.callbruno.com/en/ https://themarcus.com/ https://www.cosmiccollusion.com/ https://francoisxaviermanceau.com/ https://www.icelandicexplorer.com/ https://hanaiworld.com/ http://fabioformato.com/ https://stykka.com/ https://bridgelanding.qodeinteractive.com/tour/ https://swissdent.creative-nights.com/ https://dribbble.com/shots/15386896-Realistic-Expeditions https://dribbble.com/shots/15032867-One-step-at-a-time https://dribbble.com/shots/15348895-Planet-X-landing-page https://dribbble.com/shots/15347733-Estliving https://dribbble.com/shots/15296319-Layout-006-Kombu-Art-Design-Culture-Magazine https://dribbble.com/shots/15272564-Layout-Exploration https://dribbble.com/shots/15291982-Depth https://dribbble.com/shots/15137014-Confidence https://dribbble.com/shots/15081065-From-Works-to-Single-Project https://dribbble.com/shots/15344433-Paul-Henriette-002 https://dribbble.com/shots/15384306-Intergalactic-Disassociation love this!

https://jam.link/ very cool idea and page!

http://worrydream.com/LadderOfAbstraction/

TODOAdd CI

TODOAdd 'Edit on GitHub' button

TODOConvert links to archive.org references on push

this way i'll actually have them in the future should be part of a CI job or something; maybe locally in the editor? could take a lot of time though.

TODOdynamically fetch and insert titles into .org files

this way i dont have to retype the title, as i do most of the time. easier to just go back and change it than to have to manually add the title

TODOremove personal info

some config to prevent pages with personal info from showing in public wiki, but allowing me to browse them freely locally https://covilla.life/ cool idea

https://mrshll.com/ https://siraben.github.io/2020/02/20/free-monads.html https://yggdrasil-network.github.io/

get wifi from a QR code

i think cobang uses networkmanager so its fine?

TODO: mimic the AUR pkgbuild as a nix flake

learning goals

i want to be able to understand these: https://ncatlab.org/nlab/show/two-level+type+theory https://ncatlab.org/nlab/show/homotopy+type+theory https://homotopytypetheory.org/ and the lambda cube!