20 random bookmarks

2025-09-29

135.

stupid jj tricks

andre.arko.net/2025/09/28/stupid-jj-tricks

Welcome to “stupid jj tricks”. Today, I’ll be taking you on a tour through many different jj configurations that I have collected while scouring the internet. Some of what I’ll show is original research or construction created by me personally, but a lot of these things are sourced from blog post, gists, GitHub issues, Reddit posts, Discord messages, and more.

2025-07-03

125.

Beamer Viewer

beamerviewer.euxane.eu

This web app displays notes and slides in separate windows,
keeping both synchronised.
It accepts simple, double-width, or double-height PDF presentations:

2025-05-23

110.

honk

humungus.tedunangst.com/r/honk

Take control of your honks and join the federation.
An ActivityPub server with minimal setup and support costs.
Spend more time using the software and less time operating it.

2025-05-06

107.

Debian installation with encrypted BTRFS

chaos.tomaskral.eu/guides/debian-encrypted-btrfs-root

2025-02-04

100.

Running a Debian Sid on Ubuntu

blogops.mixinet.net/posts/incus

2024-12-17

93.

GBA From Scratch With Ferris

lokathor.github.io/gba-from-scratch

2024-11-22

89.

New stuff in Emacs 30

www.mgmarlow.com/words/2024-07-28-emacs-30-news

Reading through the Emacs 30 NEWS file and picking
out the stuff I think is the most interesting.

2024-10-24

85.

Rust Prism

registerspill.thorstenball.com/p/rust-prism

2024-10-21

84.

init.py files are optional. Here’s why you should still use them

dev.arie.bovenberg.net/blog/still-use-init-py

2024-10-16

83.

Damas-Hindley-Milner inference two ways

bernsteinbear.com/blog/type-inference

2024-09-19

77.

Blogging in Djot instead of Markdown

www.jonashietala.se/blog/2024/02/02/blogging_in_djot_instead_of_markdown

2024-08-28

69.

There can't be only one

www.b-list.org/weblog/2024/aug/27/highlander-problem

There's a concept that I've heard called by a lot of different names, but my favorite name for it is …

2024-08-09

64.

Store Code Discussions in Git using Git Notes

wouterj.nl/2024/08/git-notes

Code discussions contain relevant information. Isn’t it a shame that we
keep these in the centralized GitHub/GitLab servers, far away from our
decentralized Git code? As soon as we move provider, we’ll lose all old
discussions! And how do you ever find the pull requests back from 5
years ago? Symfony has implemented a lightweight solution to this problem
years ago using a less-known feature of Git: Git Notes.

2024-06-26

55.

A (more) Modern CSS Reset

piccalil.li/blog/a-more-modern-css-reset
54.

You probably wrote half a monad by accident

gieseanw.wordpress.com/2024/06/25/you-probably-wrote-half-a-monad-by-accident
53.

A reckless introduction to Hindley-Milner type inference

reasonableapproximation.net/2019/05/05/hindley-milner.html

2024-06-18

39.

Understanding a Python closure oddity

utcc.utoronto.ca/~cks/space/blog/python/UnderstandingClosureOddity

2024-06-13

26.

The magic of dependency resolution

ochagavia.nl/blog/the-magic-of-dependency-resolution
25.

Solving SAT via Positive Supercompilation

hirrolot.github.io/posts/sat-supercompilation.html

2024-06-11

7.

NetBSD 10 on a Pinebook Pro laptop

www.idatum.net/netbsd-10-on-a-pinebook-pro-laptop.html

I've been running NetBSD on a RockPro64 since NetBSD 10-BETA, and I'm still happy with it now with NetBSD 10-RELEASE. I'm always looking for hardware to hack NetBSD though, and I recently watched a FOSDEM 2024 video: NetBSD 10: Thirty years, still going strong!. The Pinebook Pro laptop was mentioned at one point, which has the same RockChip SoC as the RockPro64. That reminded me I'd been wanting to give this inexpensive ARM 64 laptop a try.