User Tools

Site Tools


start

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
start [2018/04/05 21:19]
dave
start [2024/08/10 22:12] (current)
dave [Computing]
Line 8: Line 8:
  
   * [[Linux:​Linux Notes]]   * [[Linux:​Linux Notes]]
 +  * [[Windows: Windows Notes]]
   * [[Software:​Software Engineering Notes]]   * [[Software:​Software Engineering Notes]]
   * [[AWS:AWS Notes]]   * [[AWS:AWS Notes]]
   * [[Math:​Mathematics Notes]]   * [[Math:​Mathematics Notes]]
 +
 +==== Wiki Notes ==
 +
 +  * [[https://​docs.bitnami.com/​aws/​how-to/​generate-install-lets-encrypt-ssl/​|How to configure Letsencrypt in a bitnami image]]
 +  * Convert markdown to mediawiki format: ''​pandoc -w mediawiki input.md -o output.wiki''​
  
 ==== Games == ==== Games ==
Line 24: Line 30:
   * [[3dprinting:​3d Printing Notes]]   * [[3dprinting:​3d Printing Notes]]
   * [[Cooking::​Recipes]]   * [[Cooking::​Recipes]]
 +  * [[QuickRef::​Words I Usually Misspell]]
  
 ==== To Do == ==== To Do ==
  
   * Setup automated backups using [[https://​www.dokuwiki.org/​faq:​backup|this]] as a starting point   * Setup automated backups using [[https://​www.dokuwiki.org/​faq:​backup|this]] as a starting point
-  * Search "​parser combinator"​ +  * Search "​parser combinator"​ 
 +  * Read [[https://​medium.com/​@bobbypriambodo/​starting-an-ocaml-app-project-using-dune-d4f74e291de8|this]] which is a good introductory text for getting started with Dune which was formally called jbuilder but which is actually an OCaml build system. ​  
 +  * Read about the [[https://​jeffreykegler.github.io/​Marpa-web-site/​|marpa parsing algorithm]]
 ==== Quotes == ==== Quotes ==
  
   * "After about 15 years of tragic misfortune, my age is finally catching up to my hairline."​   * "After about 15 years of tragic misfortune, my age is finally catching up to my hairline."​
start.1522988392.txt.gz · Last modified: 2018/04/05 21:19 by dave