haskell

Haskell is a general-purpose, statically typed, purely functional programming language. It is known for its strong emphasis on functional programming principles and features like type inference and lazy evaluation. Purely Functional In Haskell, functions are treated as mathematical functions, meaning they always produce the same output for the same input and have no side effects (they do not modify external state). Statically Typed The type of variables and expressions is checked at compile time, catching many potential errors before runtime. Haskell also features strong type inference, allowing the compiler to deduce types without explicit declarations in many cases. ...

August 16, 2025 · 1 min · Kristian Alexander P

How I Take Notes with Org-roam

jethrokua org-roam configuration

August 16, 2025 · 1 min · Kristian Alexander P

isync

isync (more commonly known by its command name, mbsync) is a command-line utility for synchronizing email mailboxes. Its primary function is to efficiently pull email from a remote IMAP server and store it locally in the Maildir format. It forms a common workflow with Notmuch: mbsync downloads the mail. notmuch new indexes the newly downloaded mail. Links https://wiki.archlinux.org/title/Isync Backlinks kzar/davemail: My email configuration, using mbsync, notmuch, msmtp, msmtpq, pgp, emacs and gnus-alias

August 16, 2025 · 1 min · Kristian Alexander P

kzar/davemail: My email configuration, using mbsync, notmuch, msmtp, msmtpq, pgp, emacs and gnus-alias

notmuch configuration, using isync Links https://github.com/kzar/davemail

August 16, 2025 · 1 min · Kristian Alexander P

Latex

Latex in linux Backlinks Archlinux Emacs installation

August 16, 2025 · 1 min · Kristian Alexander P

org-mode

a mode for document editing, formatting, and organizing within the free software text editor GNU Emacs and its derivatives, designed for notes, planning, and authoring. Backlinks emacs

August 16, 2025 · 1 min · Kristian Alexander P

org-roam

Org-roam is a tool for networked thought. It reproduces some of Roam Research’s 1 key features within Org-mode. Org-roam allows for effortless non-hierarchical note-taking: with Org-roam, notes flow naturally, making note-taking fun and easy. Backlinks Org-roam User Manual How I Take Notes with Org-roam

August 16, 2025 · 1 min · Kristian Alexander P

Org-roam User Manual

Testing org-roam-capture-ref-templates

August 16, 2025 · 1 min · Kristian Alexander P

programming

A programming language is a formal constructed language designed to communicate instructions to a machine, particularly a computer. Programming languages are used to create computer programs, which implement algorithms. Key characteristics and concepts of programming languages include: Syntax The set of rules that defines the combinations of symbols that are considered to be correctly structured statements or expressions in the language. Semantics The meaning of the instructions and how they are executed by the computer. ...

August 16, 2025 · 1 min · Kristian Alexander P

python

Python is a high-level, interpreted, general-purpose programming language. It is known for its clear and readable syntax, which emphasizes code readability and reduces the cost of program maintenance. Key characteristics of Python: Interpreted Python code is executed line by line by an interpreter, without the need for a separate compilation step. This speeds up the development process, as changes can be tested immediately. High-level Python abstracts away low-level details of computer hardware, allowing developers to focus on problem-solving rather than managing memory or system resources. ...

August 16, 2025 · 1 min · Kristian Alexander P