Links

• 2025-06-20 In Praise of Links
• 2025-06-18 jarun/pdd: Tiny date, time diff calculator with piggybacked timers
• 2025-06-14 Poline: esoteric color palette generation
• 2025-06-14 gbprod/substitute: Neovim plugin with replace and exchange operators
• 2025-06-10 Why apk-tools is different than other package managers
• 2025-06-10 ifd3f/caligula: user-friendly, lightweight TUI for disk imaging
• 2025-06-10 pastel: A CLI tool to generate, analyze, convert and manipulate colors
• 2025-05-29 the algebra of dependent types
• 2025-05-27 Why Algebraic Effects?
• 2025-05-24 Having your compile-time cake and eating it too
• 2025-05-13 Parsing expressions by precedence climbing
• 2025-05-06 FreeBSD VM under Incus on Debian
• 2025-04-29 Linux on a 70's Typewriter
• 2025-04-19 Revisiting an early critique of formal verification
• 2025-04-17 Allowed commands in SSH authorized_keys
• 2025-04-15 Introduction to Linear Types
• 2025-04-15 Two Years of Rust
• 2025-04-09 OEM Support in Linux Mint Debian Edition
• 2025-04-05 End-user Programming
• 2025-04-04 Pitfalls of Safe Rust
• 2025-04-04 clawtype: wearable chorded keyboard and mouse
• 2025-03-28 landrun: unprivileged Linux sandboxes using Landlock
• 2025-03-27 Using elinks to browse the web
• 2025-03-22 Don't Be Afraid Of Types
• 2025-03-20 slipshow: the next-gen version of slides
• 2025-03-18 The road to mainstream Matrix
• 2025-03-18 Verification-First Development
• 2025-03-17 An interview with Mike Amundsen, Author of 'RESTful Web APIs'
• 2025-03-13 Almquist Shell Variants
• 2025-03-13 Beyond Bad Output
• 2025-03-11 termpicker: A color picker for the terminal
• 2025-03-09 Understanding Unix filesystem timestamps
• 2025-03-07 Build your own Command Line with ANSI escape codes
• 2025-03-07 Standards for ANSI escape codes
• 2025-03-07 Dependent Haskell Roadmap
• 2025-03-04 Why ZFS Reports Less Space: Space Accounting Explained
• 2025-03-04 hue.tools
• 2025-03-02 Falsehoods programmers believe about languages
• 2025-02-27 mdo: FreeBSD su alternative without setuid binaries
• 2025-02-19 Post-Quantum Cryptography in February 2025
• 2025-02-19 Five Kinds of Nondeterminism
• 2025-02-15 LabPlot – Scientific plotting and data analysis
• 2025-01-23 laktak/tome: script playbooks with vim
• 2025-01-21 nixbsd: An unofficial NixOS fork with a FreeBSD kernel
• 2025-01-08 Koto Programming Language
• 2025-01-08 aaronik/treewalker.nvim: Move around your code in a syntax tree aware manner
• 2025-01-07 yassinebenaid/bunster: Compile shell scripts to machine code
• 2025-01-06 One-stop performance analysis using atop
• 2024-12-29 Category Theory Illustrated
• 2024-12-28 Revisiting the NetBSD build system
• 2024-12-27 Canop/rhit: A nginx log explorer
• 2024-12-24 Schemio, a platform for dynamic diagramming
• 2024-12-22 Ideas from "A Philosophy of Software Design"
• 2024-12-22 Cognitive load is what matters
• 2024-12-21 How to properly shut down a Linux system
• 2024-12-21 Web Origami
• 2024-12-21 Artemis - a calm web reader
• 2024-12-13 Conjuring a Linux distribution out of thin air
• 2024-12-11 Telescopic Text
• 2024-12-10 An Undefeated Pull Request Template
• 2024-12-07 How to Pronounce Chinese Names a Little Better
• 2024-12-04 8 months of OCaml after 8 years of Haskell
• 2024-12-04 Demystifying git submodules
• 2024-12-04 December Adventure
• 2024-12-04 Announcing Hurl 6.0.0
• 2024-12-03 Typst as a Language
• 2024-12-03 The "Property Based Testing" series
• 2024-12-02 Linear Types and Exceptions
• 2024-11-28 Dependent Types and the Art of HTTP Headers
• 2024-11-27 Frederik Braun: Modern solutions against cross-site attacks
• 2024-11-26 I ❤ [tmux] shortcuts #2
• 2024-11-26 Functional programming self-affirmations - NorikiTech
• 2024-11-25 How I configure my Git identities | benji
• 2024-11-25 re2c — Regular Expressions to Code
• 2024-11-18 Styling Graphviz with CSS
• 2024-11-13 MomBoard: E-ink display for a parent with amnesia
• 2024-11-09 A mental model for Linux file, hard and soft links | Jayesh Bhoot
• 2024-11-05 Configuring SSH Keys for Multiple Accounts
• 2024-11-03 Searching for and navigating Git commits
• 2024-11-03 Debugging Haskell Type Errors | jelv.is
• 2024-10-31 Nobody cares about decentralization until they do
• 2024-10-29 nickgerace/gfold: CLI tool to keep track of Git repositories
• 2024-10-26 Improving SSH's security with SSHFP DNS records | APNIC Blog
• 2024-10-24 Smarter than 'Ctrl+F': Linking Directly to Web Page Content
• 2024-10-23 Solene'% : A dedicated administration workstation
• 2024-10-22 against /tmp - Tony Finch
• 2024-10-18 Typst 0.12 is just ... better
• 2024-10-14 That's Not an Abstraction, That's Just a Layer of Indirection
• 2024-10-14 FFmpeg Explorer
• 2024-10-11 The ultimate guide to Haskell Strings · Hasufell's blog
• 2024-10-10 HTML for People
• 2024-10-07 Statically Typed Functional Programming with Python 3.12
• 2024-10-05 Chris's Wiki :: blog/unix
• 2024-10-05 wrestling the web from corporate control requires making it boring again
• 2024-10-04 Sandboxing Adoption in Open Source Ecosystems
• 2024-10-04 The Reticular Society
• 2024-10-01 carl: modern version of cal that can incorporate ICal (ics) data
• 2024-10-01 diffnav: git diff pager based on delta but with a file tree
• 2024-09-30 I Want Process-Aware Types
• 2024-09-29 Alopex Networks Wiki - CrystalNotes
• 2024-09-29 Small Internet protocol roundup
• 2024-09-27 Release tmux 3.5 · tmux/tmux
• 2024-09-26 Debating ifupdown replacements for Debian trixie [LWN.net]
• 2024-09-22 Project Cybersyn - 99% Invisible
• 2024-09-22 Lagrange v1.18: TUI and Misfin
• 2024-09-17 jacek-kurlit/pik: Process Interactive Kill
• 2024-09-11 The First HTML LSP That Reports Syntax Errors | Loris Cro's Blog
• 2024-09-10 Make Your Own Read-Only Device With NetBSD - IT Notes
• 2024-09-08 Critical analysis of Fediverse decentralization promises
• 2024-09-06 Unix command line conventions over time
• 2024-09-01 FenTiger/FedIAM: Login and access control based on open identities
• 2024-08-30 jatcwang/instant-scala: instant Scala script startup
• 2024-08-29 Deterministic Replay of QEMU Emulation
• 2024-08-28 Hurl 5.0.0, the Parallel Edition
• 2024-08-27 Good programmers worry about data structures and their relationships
• 2024-08-26 Misconceptions about the UNIX Philosophy
• 2024-08-20 The Impressionist Blogging Movement - Jim Nielsen’s Blog
• 2024-08-19 Support PUT, PATCH, and DELETE in HTML Forms
• 2024-08-06 mrusme/reader: for your command line what the 'readability view' is for browsers
• 2024-08-01 A handful of reasons JavaScript won’t be available - Piccalilli
• 2024-07-02 jgs font - Adel Faure
• 2024-06-28 Differential Analysis: A Summary
• 2024-06-27 aryak/mozhi: Mozhi is an alternative-frontend for many translation engines. - Codeberg.org
• 2024-06-23 JFryy/qq: jq multi-configuration format tool with interactive REPL.
• 2024-06-21 phyphox | F-Droid - Free and Open Source Android App Repository
• 2024-06-21 UserLAnd | F-Droid - Free and Open Source Android App Repository
• 2024-06-14 Sounds of the Forest - Soundmap Timber Festival
• 2024-06-10 Effects Showroom - TerminalTextEffects Docs
• 2024-06-10 Piku
• 2024-06-08 Share Paste O2 | F-Droid - Free and Open Source Android App Repository
• 2024-06-06 hackerb9/lsix Like ls, but for images. Shows thumbnails in terminal using sixel graphics.
• 2024-06-06 Moving Beyond Type Systems | Vhyrro's Digital Garden
• 2024-06-05 Capital Offense How to Handle Abbreviations in CamelCase - Approxion