Ocaml tutorial video playlist Links https://www.youtube.com/watch?v=JTEwC3HihFc&list=PLre5AT9JnKShBOPeuiD9b-I4XROIJhkIU&index=2

OCaml is a high-performance, functional-first programming language with a powerful static type system and type inference. It is pragmatic, blending functional, imperative, and object-oriented features. Core Pillars Strong, Static Type System: Types are checked at compile time, eliminating a huge class of runtime errors. Its standout feature is type inference, where the compiler deduces types for you, so you rarely need to write them. This provides the safety of static types with the feel of a dynamic language. ...

Ocaml book Links https://cs3110.github.io/textbook/cover.html

utop is an enhanced interactive top-level (REPL) for Ocaml. It greatly improves upon the default ocaml REPL with features like: Auto-completion Syntax highlighting Type information for expressions Command history It is the standard tool for interactive OCaml development, typically launched within a project via dune utop.

Flakes are a feature in Nix for managing project dependencies and outputs in a self-contained and purely reproducible way. They use two main files: flake.nix: Declares the project’s inputs (dependencies, like a specific version of nixpkgs) and its outputs (packages, NixOS configurations, dev shells). flake.lock: An auto-generated file that pins the exact Git commit of every input, ensuring that builds are identical for everyone, everywhere. In short, flakes solve the problem of dependency management by locking versions explicitly, making projects truly portable and reproducible. They are the modern replacement for the older Nix channels system. ...

Home Manager is a Nix-powered tool for reproducible management of the contents of users’ home directories. This includes programs, configuration files, environment variables and, well… arbitrary files. The following example snippet of Nix code: Backlinks nixos

nixos NixOS is a Linux distribution that uses a unique, declarative approach to system configuration. Instead of modifying configuration files directly, you define your entire system—packages, services, users, etc.—in a single file (configuration.nix). NixOS then builds the system from that declaration. This provides three main benefits: Reproducibility: The same configuration file always produces the exact same system. Atomic Upgrades: System changes complete fully or not at all, preventing broken states. Rollbacks: You can instantly revert to any previous system configuration if something goes wrong. This reproducibility also includes per-user settings via home-manager. ...

Capture site into Emacs org-mode. Links https://github.com/alphapapa/org-protocol-capture-html

Emacs installation Emacs export to pdf need package texlive-latexextra, and texlive-plaingeneric Latex. Backlinks rustup

Emacs is a powerful, extensible, customizable, self-documenting, and free/libre text editor. At its core, it is an interpreter for Emacs Lisp, a dialect of the Lisp programming language. This allows users to extend and modify the editor for nearly any task, from programming and writing to email, file management, and personal organization (via org-mode). It is famously described as “a great operating system, lacking only a decent text editor.” Backlinks Archlinux Emacs installation [Blog] My Org+Pandoc Workflow : r/emacs org-roam org-agenda alphapapa/org-protocol-capture-html: Capture HTML from the browser selection into Emacs as org-mode content org-mode systemd notmuch Emacs: consult-line-symbol-at-point org-mode hugo