Links
- the algebra of dependent types
- 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
- 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
- Styling Graphviz with CSS
- 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
- 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
- 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
- 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
- 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