RSS.Social

jutty.dev

follow: @[email protected]

Posts

term.everything: Run any GUI app in the terminal

Capitalization of Initialisms

incplot: great looking plots in the terminal

Half an year on Alpine: just musl aside

Setting up a CI server for Forgejo

The Insecurity of Debian

sptlrx: Synchronized lyrics in your terminal

doxx: terminal docx viewer

Developing an alt text button for my website

Why Lean 4 replaced OCaml as my Primary Language

A visual explanation of Big O notation

grepcidr: filter IP addresses against CIDR specs and networks

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

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

Implementing a basic equivalent of pflog in nftables

A Friendly Introduction to SVG

How to help someone use a computer

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

ANSI Escape Codes Inspector

Bread on Penguins

outside: multi-purpose terminal weather client

BastilleBSD 1.0 Release

OCaml, modules, and import schemes

The Tectonic Typesetting System

In Praise of Links

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

Poline: esoteric color palette generation

gbprod/substitute: Neovim plugin with replace and exchange operators

Why apk-tools is different than other package managers

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

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

the algebra of dependent types

Waypipe: graphical remote access for Wayland applications

Why Algebraic Effects?

Having your compile-time cake and eating it too

Parsing expressions by precedence climbing

FreeBSD VM under Incus on Debian

Linux on a 70's Typewriter

Revisiting an early critique of formal verification

Allowed commands in SSH authorized_keys

Introduction to Linear Types

Two Years of Rust

OEM Support in Linux Mint Debian Edition

End-user Programming

Pitfalls of Safe Rust

clawtype: wearable chorded keyboard and mouse

landrun: unprivileged Linux sandboxes using Landlock

Using elinks to browse the web

Don't Be Afraid Of Types

slipshow: the next-gen version of slides

The road to mainstream Matrix

Verification-First Development

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

Almquist Shell Variants

Beyond Bad Output

termpicker: A color picker for the terminal

Understanding Unix filesystem timestamps

Build your own Command Line with ANSI escape codes

Standards for ANSI escape codes

Dependent Haskell Roadmap

Why ZFS Reports Less Space: Space Accounting Explained

hue.tools

Falsehoods programmers believe about languages

mdo: FreeBSD su alternative without setuid binaries

A timeline of Unix shells

Enjoying Alpine as a daily driver

Post-Quantum Cryptography in February 2025

Five Kinds of Nondeterminism

LabPlot – Scientific plotting and data analysis

laktak/tome: script playbooks with vim

nixbsd: An unofficial NixOS fork with a FreeBSD kernel

Koto Programming Language

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

yassinebenaid/bunster: Compile shell scripts to machine code

One-stop performance analysis using atop

Category Theory Illustrated

Revisiting the NetBSD build system

Canop/rhit: A nginx log explorer

Schemio, a platform for dynamic diagramming

Ideas from "A Philosophy of Software Design"

Cognitive load is what matters

How to properly shut down a Linux system

Web Origami

Artemis - a calm web reader

Conjuring a Linux distribution out of thin air

Telescopic Text

An Undefeated Pull Request Template

How to Pronounce Chinese Names a Little Better

8 months of OCaml after 8 years of Haskell

Demystifying git submodules

December Adventure

Announcing Hurl 6.0.0

Typst as a Language

The "Property Based Testing" series

Linear Types and Exceptions

Dependent Types and the Art of HTTP Headers

Frederik Braun: Modern solutions against cross-site attacks

I ❤ [tmux] shortcuts #2

Functional programming self-affirmations - NorikiTech

How I configure my Git identities | benji

re2c — Regular Expressions to Code

On self-hosting being a patch

Styling Graphviz with CSS

New notes section

MomBoard: E-ink display for a parent with amnesia

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

Configuring SSH Keys for Multiple Accounts

Searching for and navigating Git commits

Debugging Haskell Type Errors | jelv.is

Nobody cares about decentralization until they do

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

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

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

Solene'% : A dedicated administration workstation

against /tmp - Tony Finch

Typst 0.12 is just ... better

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

FFmpeg Explorer

The ultimate guide to Haskell Strings · Hasufell's blog

HTML for People

Statically Typed Functional Programming with Python 3.12

Chris's Wiki :: blog/unix

wrestling the web from corporate control requires making it boring again

Sandboxing Adoption in Open Source Ecosystems

The Reticular Society

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

diffnav: git diff pager based on delta but with a file tree

I Want Process-Aware Types

Alopex Networks Wiki - CrystalNotes

Small Internet protocol roundup

Release tmux 3.5 · tmux/tmux

Debating ifupdown replacements for Debian trixie [LWN.net]

Project Cybersyn - 99% Invisible

Lagrange v1.18: TUI and Misfin

jacek-kurlit/pik: Process Interactive Kill

The First HTML LSP That Reports Syntax Errors | Loris Cro's Blog

Make Your Own Read-Only Device With NetBSD - IT Notes

Critical analysis of Fediverse decentralization promises

Unix command line conventions over time

FenTiger/FedIAM: Login and access control based on open identities

[Meta] Notice on RSS feeds

jatcwang/instant-scala: instant Scala script startup

Deterministic Replay of QEMU Emulation

Hurl 5.0.0, the Parallel Edition

Good programmers worry about data structures and their relationships

Misconceptions about the UNIX Philosophy

The Impressionist Blogging Movement - Jim Nielsen’s Blog

Support PUT, PATCH, and DELETE in HTML Forms

Giving up simplicity

mrusme/reader: for your command line what the 'readability view' is for browsers

A handful of reasons JavaScript won’t be available - Piccalilli

jgs font - Adel Faure

Introducing tori

Differential Analysis: A Summary

aryak/mozhi: Mozhi is an alternative-frontend for many translation engines. - Codeberg.org

JFryy/qq: jq multi-configuration format tool with interactive REPL.

phyphox | F-Droid - Free and Open Source Android App Repository

UserLAnd | F-Droid - Free and Open Source Android App Repository

Sounds of the Forest - Soundmap Timber Festival

Effects Showroom - TerminalTextEffects Docs

Piku

Void on ZFS

Share Paste O2 | F-Droid - Free and Open Source Android App Repository

hackerb9/lsix Like ls, but for images. Shows thumbnails in terminal using sixel graphics.

Moving Beyond Type Systems | Vhyrro's Digital Garden

Capital Offense How to Handle Abbreviations in CamelCase - Approxion

Meeting the BSD family