jutty.dev - Links

The two kinds of error

2026-03-04T23:09:50-03:00

Printing OCaml Data Structures

2026-03-04T22:42:08-03:00

World History Atlas

2026-03-04T16:57:12-03:00

Making WebAssembly a first-class language on the Web

2026-02-28T02:54:47-03:00

trolley: Run terminal apps anywhere

2026-02-24T21:13:07-03:00

Git Rebase for the Terrified

2026-02-15T00:59:23-03:00

How Terminals Work

2026-01-22T11:46:28-03:00

Handling secrets (somewhat) securely in shells

2026-01-21T15:43:41-03:00

Three Inverse Laws of Robotics

2026-01-20T01:33:11-03:00

CheriBSD: capability-aware OS for Morello, RISC-V and QEMU

2026-01-05T01:16:09-03:00

Stop Forwarding Errors, Start Designing Them

2026-01-05T01:12:28-03:00

Assorted less(1) tips

2026-01-03T12:19:53-03:00

You can make up HTML tags

2025-12-31T00:35:22-03:00

treemd: Terminal markdown tree-based navigation

2025-12-22T15:15:09-03:00

Rethinking sudo with object capabilities

2025-12-22T01:43:00-03:00

layoutz: Haskell TUI library

2025-12-12T11:32:55-03:00

mosaic: OCaml TUI library

2025-12-12T11:32:17-03:00

The Cloudflare Outage May Be a Security Roadmap

2025-11-20T01:42:59-03:00

Just enough Makefile to be dangerous

2025-11-16T19:10:56-03:00

Man Pages (Part 1)

2025-11-15T18:09:50-03:00

Website and blog building tools

2025-11-15T17:03:38-03:00

Directory of Open Access Books

2025-11-09T12:14:05-03:00

Automated PDF Generation with Typst

2025-11-09T11:59:22-03:00

FreeBSD OCI Containers introduction

2025-11-04T11:51:27-03:00

Underappreciated top

2025-10-31T00:48:57-03:00

Postgres for Everything

2025-10-30T16:42:23-03:00

rsync_cmd: edit locally, build remotely

2025-10-30T16:34:23-03:00

Keep Android Open

2025-10-28T21:53:23-03:00

defuddle-cli: Extract clean html, markdown and metadata from web pages

2025-10-26T21:40:21-03:00

feedlynx: Collect links to read later into an RSS feed

2025-10-26T12:26:47-03:00

Scripts I wrote that I use all the time

2025-10-23T02:46:15-03:00

pdfly: CLI tool to manipulate PDF files

2025-10-15T02:54:42-03:00

Octothorpes Protocol: site-independent hashtags

2025-10-15T02:09:52-03:00

Introducing oui: standalone installers for OCaml

2025-10-09T20:43:05-03:00

We Move As One

2025-10-09T04:16:19-03:00

How to actually test your readme

2025-10-09T04:00:54-03:00

CHERI with a Linux on top

2025-10-06T03:00:51-03:00

Accessible by Design: Improving CLIs for All

2025-09-23T18:34:33-03:00

Baby Steps Accessibility - Color Contrast of Text

2025-09-23T18:16:56-03:00

Reverse centaurs are the answer to the AI paradox

2025-09-18T10:59:58-03:00

Dot-slash revisited

2025-09-17T00:38:57-03:00

asciinema 3.0

2025-09-16T21:37:49-03:00

Gemini Protocol Quickstart

2025-09-16T13:07:29-03:00

term.everything: Run any GUI app in the terminal

2025-09-09T11:42:19-03:00

Capitalization of Initialisms

2025-09-06T00:32:40-03:00

incplot: great looking plots in the terminal

2025-09-03T01:10:51-03:00

Setting up a CI server for Forgejo

2025-08-27T01:18:36-03:00

The Insecurity of Debian

2025-08-27T00:58:03-03:00

sptlrx: Synchronized lyrics in your terminal

2025-08-26T23:41:41-03:00

doxx: terminal docx viewer

2025-08-26T21:49:50-03:00

Developing an alt text button for my website

2025-08-26T17:08:38-03:00

Why Lean 4 replaced OCaml as my Primary Language

2025-08-26T17:04:25-03:00

A visual explanation of Big O notation

2025-08-26T00:38:39-03:00

grepcidr: filter IP addresses against CIDR specs and networks

2025-08-20T01:26:16-03:00

gcli: Git(hub|lab|tea)/Forgejo/Bugzilla CLI tool

2025-08-16T21:59:10-03:00

pspg: Unix pager for PostgreSQL, MySQL CSV, TSV and more

2025-08-16T21:55:26-03:00

Implementing a basic equivalent of pflog in nftables

2025-08-16T00:42:08-03:00

A Friendly Introduction to SVG

2025-08-15T10:32:33-03:00

How to help someone use a computer

2025-08-15T10:24:11-03:00

ethersync: Editor-agnostic, real-time collaborative text editing

2025-07-29T11:32:02-03:00

ANSI Escape Codes Inspector

2025-07-26T02:28:00-03:00

Bread on Penguins

2025-07-14T18:34:23-03:00

outside: multi-purpose terminal weather client

2025-07-13T20:35:57-03:00

BastilleBSD 1.0 Release

2025-07-10T01:29:31-03:00

OCaml, modules, and import schemes

2025-07-02T20:49:34-03:00

The Tectonic Typesetting System

2025-07-02T20:45:43-03:00

In Praise of Links

2025-06-20T14:05:14-03:00

jarun/pdd: Tiny date, time diff calculator with piggybacked timers

2025-06-18T22:40:49-03:00

Poline: esoteric color palette generation

2025-06-14T20:07:25-03:00

gbprod/substitute: Neovim plugin with replace and exchange operators

2025-06-14T19:53:14-03:00

Why apk-tools is different than other package managers

2025-06-10T21:17:25-03:00

ifd3f/caligula: user-friendly, lightweight TUI for disk imaging

2025-06-10T17:11:55-03:00

pastel: A CLI tool to generate, analyze, convert and manipulate colors

2025-06-10T17:03:27-03:00

the algebra of dependent types

2025-05-29T00:32:09-03:00

Why Algebraic Effects?

2025-05-27T22:22:25-03:00

Having your compile-time cake and eating it too

2025-05-24T18:58:45-03:00

Parsing expressions by precedence climbing

2025-05-13T23:26:52-03:00

FreeBSD VM under Incus on Debian

2025-05-06T03:18:31-03:00

Linux on a 70's Typewriter

2025-04-29T19:51:06-03:00

Revisiting an early critique of formal verification

2025-04-19T00:53:46-03:00

Allowed commands in SSH authorized_keys

2025-04-17T20:56:14-03:00

Introduction to Linear Types

2025-04-15T17:19:58-03:00

Two Years of Rust

2025-04-15T15:21:27-03:00

OEM Support in Linux Mint Debian Edition

2025-04-09T19:52:51-03:00

End-user Programming

2025-04-05T22:18:40-03:00

Pitfalls of Safe Rust

2025-04-04T19:37:22-03:00

clawtype: wearable chorded keyboard and mouse

2025-04-04T19:21:17-03:00

landrun: unprivileged Linux sandboxes using Landlock

2025-03-28T20:34:29-03:00

Using elinks to browse the web

2025-03-27T17:37:24-03:00

Don't Be Afraid Of Types

2025-03-22T13:33:16-03:00

slipshow: the next-gen version of slides

2025-03-20T21:53:40-03:00

The road to mainstream Matrix

2025-03-18T23:36:24-03:00

Verification-First Development

2025-03-18T21:26:19-03:00

An interview with Mike Amundsen, Author of 'RESTful Web APIs'

2025-03-17T17:52:16-03:00

Almquist Shell Variants

2025-03-13T22:32:48-03:00

Beyond Bad Output

2025-03-13T22:31:53-03:00

termpicker: A color picker for the terminal

2025-03-11T22:02:09-03:00

Understanding Unix filesystem timestamps

2025-03-09T14:52:25-03:00

Build your own Command Line with ANSI escape codes

2025-03-07T21:55:40-03:00

Standards for ANSI escape codes

2025-03-07T21:26:21-03:00

Dependent Haskell Roadmap

2025-03-07T17:11:14-03:00

Why ZFS Reports Less Space: Space Accounting Explained

2025-03-04T17:09:59-03:00

hue.tools

2025-03-04T14:54:54-03:00

Falsehoods programmers believe about languages

2025-03-02T12:07:14-03:00

mdo: FreeBSD su alternative without setuid binaries

2025-02-27T01:25:49-03:00

Post-Quantum Cryptography in February 2025

2025-02-19T22:16:13-03:00

Five Kinds of Nondeterminism

2025-02-19T19:18:12-03:00

LabPlot – Scientific plotting and data analysis

2025-02-15T18:42:03-03:00

laktak/tome: script playbooks with vim

2025-01-23T23:20:35-03:00

nixbsd: An unofficial NixOS fork with a FreeBSD kernel

2025-01-21T17:32:00-03:00

Koto Programming Language

2025-01-08T21:31:31-03:00

aaronik/treewalker.nvim: Move around your code in a syntax tree aware manner

2025-01-08T03:31:48-03:00

yassinebenaid/bunster: Compile shell scripts to machine code

2025-01-07T00:07:58-03:00

One-stop performance analysis using atop

2025-01-06T00:39:14-03:00

Category Theory Illustrated

2024-12-29T19:08:10-03:00

Revisiting the NetBSD build system

2024-12-28T22:26:03-03:00

Canop/rhit: A nginx log explorer

2024-12-27T00:37:00-03:00

Schemio, a platform for dynamic diagramming

2024-12-24T00:28:30-03:00

Ideas from "A Philosophy of Software Design"

2024-12-22T17:33:54-03:00

Cognitive load is what matters

2024-12-22T16:46:15-03:00

How to properly shut down a Linux system

2024-12-21T18:14:32-03:00

Web Origami

2024-12-21T12:22:49-03:00

Artemis - a calm web reader

2024-12-21T00:40:57-03:00

Conjuring a Linux distribution out of thin air

2024-12-13T16:59:18-03:00

Telescopic Text

2024-12-11T18:48:21-03:00

An Undefeated Pull Request Template

2024-12-10T22:39:33-03:00

How to Pronounce Chinese Names a Little Better

2024-12-07T11:14:25-03:00

8 months of OCaml after 8 years of Haskell

2024-12-04T00:00:00+00:00

Demystifying git submodules

2024-12-04T00:00:00+00:00

December Adventure

2024-12-04T00:00:00+00:00

Announcing Hurl 6.0.0

2024-12-04T00:00:00+00:00

Typst as a Language

2024-12-03T00:00:00+00:00

The "Property Based Testing" series

2024-12-03T00:00:00+00:00

Linear Types and Exceptions

2024-12-02T00:00:00+00:00

Dependent Types and the Art of HTTP Headers

2024-11-28T00:00:00+00:00

Frederik Braun: Modern solutions against cross-site attacks

2024-11-27T00:00:00+00:00

I ❤ [tmux] shortcuts #2

2024-11-26T00:00:00+00:00

Functional programming self-affirmations - NorikiTech

2024-11-26T00:00:00+00:00

How I configure my Git identities | benji

2024-11-25T00:00:00+00:00

re2c — Regular Expressions to Code

2024-11-25T00:00:00+00:00

Styling Graphviz with CSS

2024-11-18T00:00:00+00:00

MomBoard: E-ink display for a parent with amnesia

2024-11-13T00:00:00+00:00

A mental model for Linux file, hard and soft links | Jayesh Bhoot

2024-11-09T00:00:00+00:00

Configuring SSH Keys for Multiple Accounts

2024-11-05T00:00:00+00:00

Searching for and navigating Git commits

2024-11-03T00:00:00+00:00

Debugging Haskell Type Errors | jelv.is

2024-11-03T00:00:00+00:00

Nobody cares about decentralization until they do

2024-10-31T00:00:00+00:00

nickgerace/gfold: CLI tool to keep track of Git repositories

2024-10-29T00:00:00+00:00

Improving SSH's security with SSHFP DNS records | APNIC Blog

2024-10-26T00:00:00+00:00

Smarter than 'Ctrl+F': Linking Directly to Web Page Content

2024-10-24T00:00:00+00:00

Solene'% : A dedicated administration workstation

2024-10-23T00:00:00+00:00

against /tmp - Tony Finch

2024-10-22T00:00:00+00:00

Typst 0.12 is just ... better

2024-10-18T00:00:00+00:00

That's Not an Abstraction, That's Just a Layer of Indirection

2024-10-14T00:00:00+00:00

FFmpeg Explorer

2024-10-14T00:00:00+00:00

The ultimate guide to Haskell Strings · Hasufell's blog

2024-10-11T00:00:00+00:00

HTML for People

2024-10-10T00:00:00+00:00

Statically Typed Functional Programming with Python 3.12

2024-10-07T00:00:00+00:00

Chris's Wiki :: blog/unix

2024-10-05T00:00:00+00:00

A hypermedia rabbit hole in which I quickly fell.

wrestling the web from corporate control requires making it boring again

2024-10-05T00:00:00+00:00

In an age where web is essential, we need a universal web browser for minority platforms. One that focuses on keeping HTML+JS working rather than chasing things like “WebVR” and collaborating with the ads industry. Unfortunately, I think the system has been set up to ensure that small players are no longer possible. Let’s hope I’m proven wrong. </blockquote>

Sandboxing Adoption in Open Source Ecosystems

2024-10-04T00:00:00+00:00

The Reticular Society

2024-10-04T00:00:00+00:00

In necroreticular flows which cut across algorithmically distributed gigs and connected places of work, the number of lives integrated together corresponds to the interoperable potential of the reticular society’s optimization and domination, subsuming life and in so doing circulating death. </blockquote>

carl: modern version of cal that can incorporate ICal (ics) data

2024-10-01T00:00:00+00:00

This is superb in conjunction with vdirsyncer</a>, which I’ve been using for a long time for exactly the purpose of having a local directory of .ics</code> files for each of my Nextcloud DAV calendars.
If you like this, you may also like khal</a>.
diffnav: git diff pager based on delta but with a file tree 2024-10-01T00:00:00+00:00 I Want Process-Aware Types 2024-09-30T00:00:00+00:00 Alopex Networks Wiki - CrystalNotes 2024-09-29T00:00:00+00:00 Small Internet protocol roundup 2024-09-29T00:00:00+00:00 Release tmux 3.5 · tmux/tmux 2024-09-27T00:00:00+00:00 Interesting changes</a> include: “Display hyperlinks in copy mode and add copy_cursor_hyperlink</code> format to get the hyperlink under the cursor.”</li> “Add a prefix timeout option.”</li> “Add mirrored versions of the main-horizontal</code> and main-vertical</code> layouts where the main pane is bottom or right instead of top or left.”</li> “Add --enable-jemalloc</code> to build with jemalloc memory allocator (since glibc malloc is so poor).”</li> “Add N</code> to search backwards in tree modes.”</li> “Use default-shell</code> for command prompt, #()</code> and popups.”</li> “Add a command-error</code> hook when a command fails.”</li> </ul> Debating ifupdown replacements for Debian trixie [LWN.net] 2024-09-26T00:00:00+00:00 Project Cybersyn - 99% Invisible 2024-09-22T00:00:00+00:00 Lagrange v1.18: TUI and Misfin 2024-09-22T00:00:00+00:00 jacek-kurlit/pik: Process Interactive Kill 2024-09-17T00:00:00+00:00 The First HTML LSP That Reports Syntax Errors | Loris Cro's Blog 2024-09-11T00:00:00+00:00 Make Your Own Read-Only Device With NetBSD - IT Notes 2024-09-10T00:00:00+00:00 Critical analysis of Fediverse decentralization promises 2024-09-08T00:00:00+00:00 Unix command line conventions over time 2024-09-06T00:00:00+00:00 FenTiger/FedIAM: Login and access control based on open identities 2024-09-01T00:00:00+00:00 jatcwang/instant-scala: instant Scala script startup 2024-08-30T00:00:00+00:00 Deterministic Replay of QEMU Emulation 2024-08-29T00:00:00+00:00 Hurl 5.0.0, the Parallel Edition 2024-08-28T00:00:00+00:00 Good programmers worry about data structures and their relationships 2024-08-27T00:00:00+00:00 Misconceptions about the UNIX Philosophy 2024-08-26T00:00:00+00:00 The Impressionist Blogging Movement - Jim Nielsen’s Blog 2024-08-20T00:00:00+00:00 Support PUT, PATCH, and DELETE in HTML Forms 2024-08-19T00:00:00+00:00 mrusme/reader: for your command line what the 'readability view' is for browsers 2024-08-06T00:00:00+00:00 A handful of reasons JavaScript won’t be available - Piccalilli 2024-08-01T00:00:00+00:00 jgs font - Adel Faure 2024-07-02T00:00:00+00:00 Differential Analysis: A Summary 2024-06-28T00:00:00+00:00 aryak/mozhi: Mozhi is an alternative-frontend for many translation engines. - Codeberg.org 2024-06-27T00:00:00+00:00 JFryy/qq: jq multi-configuration format tool with interactive REPL. 2024-06-23T00:00:00+00:00 phyphox | F-Droid - Free and Open Source Android App Repository 2024-06-21T00:00:00+00:00 UserLAnd | F-Droid - Free and Open Source Android App Repository 2024-06-21T00:00:00+00:00 Sounds of the Forest - Soundmap Timber Festival 2024-06-14T00:00:00+00:00 Effects Showroom - TerminalTextEffects Docs 2024-06-10T00:00:00+00:00 Piku 2024-06-10T00:00:00+00:00 Share Paste O2 | F-Droid - Free and Open Source Android App Repository 2024-06-08T00:00:00+00:00 hackerb9/lsix Like ls, but for images. Shows thumbnails in terminal using sixel graphics. 2024-06-06T00:00:00+00:00 Moving Beyond Type Systems | Vhyrro's Digital Garden 2024-06-06T00:00:00+00:00 Capital Offense How to Handle Abbreviations in CamelCase - Approxion 2024-06-05T00:00:00+00:00