diff --git a/home/links.org b/home/links.org index 1df2480..c8de9bf 100644 --- a/home/links.org +++ b/home/links.org @@ -1,33 +1,113 @@ -* [[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 +#+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 -- [[http://book.realworldhaskell.org/read/systems-programming-in-haskell.html#systems.piping][Extended Example: Piping]] +- [[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://artyom.me/aeson][Aeson: the tutorial]] +- [[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.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)]] - -* Rust -- [[https://www.youtube.com/watch?v=JCGjjk5ccV0][Rust: Zero Cost Abstractions]] - * 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]]