website/home/links.org

#+options: num:nil
#+bind: org-export-filter-link-functions (org-export-add-target-blank-to-http-links)


- [[https://www.redox-os.org/news/open-source-mental-health/][Open Source and Mental Health]]
- [[https://www.mermaidchart.com/blog/posts/sequence-diagrams-the-good-thing-uml-brought-to-software-development][Sequence Diagrams: The Good Thing UML brought to Software Development]]
- [[https://www.reddit.com/r/Gentoo/comments/150r74m/guide_hyprland_nvidia_extremely_minimal_gentoo/][[GUIDE] Hyprland + Nvidia + Extremely Minimal Gentoo (Updated & Clean)]]
- [[https://sadservers.com/scenarios][SadServers]]
- [[https://ocw.mit.edu/courses/6-001-structure-and-interpretation-of-computer-programs-spring-2005/video_galleries/video-lectures/][Structure and Interpretation of Computer Programs]]
- [[https://www.reddit.com/r/haskell/comments/17nsueh/book_recommendations_ddd_clean_code/][Book recommendations, DDD, Clean Code]]
- [[https://www.reversinglabs.com/blog/8-cicd-security-best-practices-software-pipeline][8 CI/CD security best practices: Protect your software pipeline]]
- [[https://github.com/GrapheneOS/hardened_malloc][~hardened-malloc~]]

* Rust
- [[https://www.iankduncan.com/articles/2023-08-30-integrating-haskell-and-tokio][Integrating a large Tokio-based Rust library with Haskell]]

* Haskell
- [[https://web.archive.org/web/20231230163412/https://book.realworldhaskell.org/read/systems-programming-in-haskell.html#systems.piping][Extended Example: Piping]]
- [[https://github.com/JeanHuguesdeRaigniac/effects-landscape/blob/main/v1/README.md][Effects Landscape: All Cats are Grey]]
- [[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]]
- [[https://hackage.haskell.org/package/algebraic-graphs][Algebraic Graphs]]
- [[https://timothysamson.github.io/posts/curry-howard/][Curry - Howard - Lambek and the Isomorphism]]
- [[https://www.reddit.com/r/haskell/comments/5uijni/haskell_projects_for_beginners/][Haskell Projects for Beginners]]
- [[https://garba.org/article/general/event-sourcing/event-sourcing.html][Event Sourcing]]
- [[http://blog.sigfpe.com/2008/01/type-that-should-not-be.html][Type that Should not Be]]
- [[https://iagoleal.com/posts/automata-monads/][A Fistful of Automata]]
- [[https://github.com/joe-warren/opencascade-hs][OpenCascade-hs]]
- [[https://www.reddit.com/r/haskell/comments/18d25a5/book_list_opinion_for_revisionselfstudy/][Book list opinion for revision/self-study]]
** Aeson
- [[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://web.archive.org/web/20201121162141mp_/https://artyom.me/aeson][Aeson: the tutorial]]
** [[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)]]

* Functional Programming
- [[https://www.youtube.com/watch?v=kEitFAY7Gc8][Elm crash course - Building unbreakable webapps fast]]
- [[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]]

* Emacs
- [[https://www.youtube.com/watch?v=AyhPmypHDEw][Getting Started with Org Roam - Build a Second Brain in Emacs]]
- [[https://summeremacs.github.io/posts/how-i-use-emacs/][SummerEmacs: How I Use Emacs]]
- [[https://www.masteringemacs.org/article/demystifying-emacs-window-manager][Demystifying the Emacs Window Manager]]
- [[https://www.reddit.com/r/orgmode/comments/13pef7f/exporting_with_custom_accent_markers/][Exporting with Custom Accent Markers]]
- [[https://cpbotha.net/2023/04/11/note-taking-strategy-2023/][Note Taking Strategy 2023]]
- [[https://www.reddit.com/r/emacs/comments/13vsaf2/2023_edition_solid_ways_to_have_your_org/][2023 Edition: Solid Ways to Have Your Org]]
- [[https://www.youtube.com/watch?v=o6rE18Mxu9U][Analyze Your Time with Org Mode]]
- [[https://www.reddit.com/r/emacs/comments/145an1z/caldav_and_carddav_integration_on_emacs/][CalDAV and CardDAV integration on Emacs]]
- [[https://www.reddit.com/r/orgmode/comments/148ilsw/tips_for_using_org_at_work/][Tips for Using Org at Work]]
- [[https://emacs.stackexchange.com/questions/14320/org-mode-links-open-in-new-tab][org mode links: open in new tab]]
- [[https://www.reddit.com/r/orgmode/comments/15779x3/how_i_organize_my_life_in_orgmode/][How I Organize my Life in Org Mode]]
- [[https://www.reddit.com/r/emacs/comments/157t5zn/orgagenda_is_great_with_orgroam/][Org Agenda is Great with Org Roam]]
- [[https://github.com/jdtsmith/indent-bars][~indent-bars~]]
- [[https://rgoswami.me/posts/org-note-workflow/][Org Note Workflow]]
- [[https://www.youtube.com/watch?v=qTlBLGGHqT0][Tailoring Emacs completions with hippie-expand]]
- [[https://github.com/alphapapa/bufler.el][~buffer.el~]]
- [[https://blog.dornea.nu/2023/09/21/emacs-and-the-cybernetic-productivity/][Emacs and The Cybernetic Productivity]]
- [[https://www.reddit.com/r/emacs/comments/170sne1/new_package_vziel_pipe_data_from_emacs_to_the/][vzi.el - Pipe data from emacs to the browser]]
- [[https://www.reddit.com/r/emacs/comments/179t67l/window_management_share_your_displaybufferalist/][Window Management - share your display-buffer-alist]]
- [[https://www.reddit.com/r/orgmode/comments/ick62v/stop_org_from_hiding_other_windows_when/][Stop org from hiding other windows when org-capture, src block edit]]
- [[https://xenodium.com/building-your-own-bookmark-launcher/][Building your own bookmark launcher]]
- [[https://github.com/positron-solutions/user-keys][~user-keys~]]
- [[https://www.reddit.com/r/emacs/comments/18tqpfb/sharing_my_emacs_workflow_and_dotfiles/][Sharing my Emacs Workflow and Dotfiles]]

** ~Org-habit~
- [[https://github.com/Elilif/org-heatmap][~org-heatmap~]]
- [[https://www.c0t0d0s0.de/otdl/otdl.html][~org-habit~]]

* NixOS
- [[https://codeberg.org/joka/nixos-configuration/src/branch/main/README.org][Literate NixOS System Configuration]]
- [[https://xeiaso.net/blog/paranoid-nixos-2021-07-18][Paranoid NixOS]]
- [[https://grahamc.com/blog/erase-your-darlings/][Erase your Darlings]]
- [[https://guekka.github.io/nixos-server-1/][NixOS Server with Impermenance]]
- [[https://www.reddit.com/r/homelab/comments/u1qp32/diagrams_of_my_nixosbased_multisite_homelab/][Diagrams of my NixOS-based Multi-Site Homelab]]

* ZFS
- [[https://vadosware.io/post/everything-ive-seen-on-optimizing-postgres-on-zfs-on-linux/][Everything I've Seen on Optimizing PostgreSQL on ZFS on Linux]]
- [[https://www.youtube.com/watch?app=desktop&v=dwMQXLOXUco&t=5560s][PostgreSQL + ZFS: Best Practices and Standard Procedures]]

* Nomad
- [[https://github.com/democratic-csi/democratic-csi][DemocraticCSI]]
- [[https://www.youtube.com/watch?v=75vF92Vue2U][Nomad Auto-Proxy with Consul-Template and NGINX]]
- [[https://www.youtube.com/watch?v=Khcbr8zkp_Q][How Nomad 1.3 Enables Running Work at the Edge]]

* Consul
- [[https://www.datocms-assets.com/2885/1597077859-consul-life-of-a-packet-service-mesh-v11-digital.pdf][Life of a Packet Through Consul Service Mesh]]

* FileSystems
- [[https://people.cs.uchicago.edu/~haryadi/pdf/sosp05-ironFS.pdf][IronFS]]
- [[https://www.usenix.org/system/files/atc22-lu.pdf][NVMe SSD Failures in the Field: the Fail-Stop and the Fail-Slow]]

* Networking
- [[https://linux-blog.anracom.com/2017/10/30/fun-with-veth-devices-in-unnamed-linux-network-namespaces-i/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – I]]
- [[https://linux-blog.anracom.com/2017/11/12/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-ii/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – II]]
- [[https://linux-blog.anracom.com/2017/11/14/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-iii/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – III]]
- [[https://linux-blog.anracom.com/2017/11/20/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-iv/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – IV]]
- [[https://linux-blog.anracom.com/2017/11/21/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-v/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – V]]
- [[https://linux-blog.anracom.com/2017/11/28/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-vi/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VI]]
- [[https://linux-blog.anracom.com/2017/12/30/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-vii/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VII]]
- [[https://linux-blog.anracom.com/2018/01/05/fun-with-veth-devices-linux-bridges-and-vlans-in-unnamed-linux-network-namespaces-viii/][Fun with veth-devices, Linux bridges and VLANs in unnamed Linux network namespaces – VIII]]
- [[https://www.cloudnull.io/2019/04/running-services-in-network-name-spaces-with-systemd/][Running local services in network namespaces with systemd]]

* GameDev
- [[https://math.stackexchange.com/questions/679835/minkowski-difference-of-two-convex-polygons][Minkowski Difference of Two Convex Polygons]]
- [[https://www.cs.usfca.edu/~galles/cs420/lecture/intersection.pdf][2D Game Physics]]