2021-04-20 00:02:40 +02:00
|
|
|
* [[https://www.c0t0d0s0.de/otdl/otdl.html][~org-habit~ Habit Visualisation]]
|
|
|
|
Allows for creating nice, yearly SVGs showing how bad you are at following habits
|
2023-12-30 19:21:27 +01:00
|
|
|
- [[https://www.redox-os.org/news/open-source-mental-health/][Open Source and Mental Health]]
|
2021-04-20 00:02:40 +02:00
|
|
|
|
|
|
|
* Haskell
|
2021-08-14 00:15:32 +02:00
|
|
|
- [[http://book.realworldhaskell.org/read/systems-programming-in-haskell.html#systems.piping][Extended Example: Piping]]
|
2021-04-20 00:02:40 +02:00
|
|
|
** Aeson
|
2021-08-14 00:15:32 +02:00
|
|
|
- [[https://guide.aelve.com/haskell/aeson-cookbook-amra6lk6#item-tdlbc06e][Aelve Guide | Haskell - Aeson cookbook]]
|
|
|
|
- [[https://www.schoolofhaskell.com/school/starting-with-haskell/libraries-and-frameworks/text-manipulation/json][Parsing JSON with Aeson]]
|
|
|
|
- [[https://www.schoolofhaskell.com/user/Geraldus/algebraic-data-types-adts-with-aeson][Algebraic Data Types (ADTs) with Aeson]]
|
|
|
|
- [[https://artyom.me/aeson][Aeson: the tutorial]]
|
|
|
|
* Functional Programming
|
|
|
|
- [[https://www.cs.uoregon.edu/research/summerschool/summer13/curriculum.html][Oregon Programming Languages Summer School 2013]]
|
|
|
|
- [[http://book.realworldhaskell.org/read/systems-programming-in-haskell.html#systems.piping][Pipes in Haskell]]
|
|
|
|
- [[https://www.microsoft.com/en-us/research/wp-content/uploads/2016/07/remote.pdf][Towards Haskell in the Cloud]]
|
|
|
|
** Talks
|
|
|
|
- [[https://www.youtube.com/watch?v=kEitFAY7Gc8][Elm crash course - Building unbreakable webapps fast]]
|
|
|
|
- [[https://www.youtube.com/watch?v=hZgW4mT1PkE][5 Years of Haskell in Production]]
|
|
|
|
- [[https://www.youtube.com/watch?v=5CYeZ2kEiOI][From Rails to Elm and Haskell - Richard Feldman]]
|
|
|
|
- [[https://www.youtube.com/watch?v=re96UgMk6GQ][Simon Peyton-Jones: Escape from the ivory tower: the Haskell journey]]
|
|
|
|
- [[https://www.youtube.com/watch?v=ZR3Jirqk6W8][Running a startup on Haskell]]
|
|
|
|
- [[https://www.youtube.com/watch?v=6snteFntvjM][LambdaConf 2015 - A Practical Introduction to Haskell GADTs Richard Eisenberg]]
|
|
|
|
- [[https://www.youtube.com/watch?v=DoA4Txr4GUs][Elm Europe 2017 - Richard Feldman - Scaling Elm Apps]]
|
|
|
|
|
|
|
|
*** [[https://www.youtube.com/watch?v=brE_dyedGm0&list=PL0SAo2ZyiTY_BSoiSQdiJipHwQ8xC2jTt][The Massive Haskell Playlist]]
|
|
|
|
- [[https://www.youtube.com/watch?v=6COvD8oynmI][Adventure with Types in Haskell - Simon Peyton Jones (Lecture 1)]]
|
|
|
|
- [[https://www.youtube.com/watch?v=brE_dyedGm0][Adventure with Types in Haskell - Simon Peyton Jones (Lecture 2)]]
|
2021-06-26 19:34:09 +02:00
|
|
|
|
|
|
|
* Rust
|
|
|
|
- [[https://www.youtube.com/watch?v=JCGjjk5ccV0][Rust: Zero Cost Abstractions]]
|
2021-08-14 00:15:32 +02:00
|
|
|
|
|
|
|
* Emacs
|
|
|
|
- [[https://www.youtube.com/watch?v=AyhPmypHDEw][Getting Started with Org Roam - Build a Second Brain in Emacs]]
|