20 random bookmarks

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-06-26

123.

Box combinators

mmapped.blog/posts/41-box-combinators.html

In functional programming,
combinator libraries refer to a design style that emphasizes bottom-up program construction.
Such libraries define a few core data types
and provide constructors—functions that create initial objects—and combinators—functions that build larger objects from smaller pieces.

Combinators enable the programmer to use intuitive visual and spatial reasoning
that’s vastly more powerful than linear language processing.
As a result, solving problems with combinators feels like playing with lego pieces.

2025-03-13

101.

Building interactive web pages with Guile Hoot

spritely.institute/news/building-interactive-web-pages-with-guile-hoot.html

2025-01-07

96.

Write your own tiny programming system(s)!

d3s.mff.cuni.cz/teaching/nprg077

2024-09-19

77.

Blogging in Djot instead of Markdown

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

2024-09-18

76.

Typescript is surprisingly ok for compilers

matklad.github.io/2023/08/17/typescript-is-surprisingly-ok-for-compilers.html

2024-09-10

71.

run freebsd in qemu on linux

sethops1.net/post/run-freebsd-in-qemu-on-linux

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-06-18

41.

Comparing Objective Caml and Standard ML

adam.chlipala.net/mlcomp
39.

Understanding a Python closure oddity

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

2024-06-17

37.

Sqlc: 2024 check in — brandur.org

brandur.org/fragments/sqlc-2024
36.

How I learned Haskell in just 15 years - duckrabbit solutions

duckrabbit.tech/articles/learning-haskell.html
35.

OpenBSD, the computer appliance maker's secret weapon

hiandrewquinn.github.io/til-site/posts/openbsd-the-computer-appliance-maker-s-secret-weapon

Between our ESP32 prokaryotic organisms and our 24/7 Internet-enabled megafauna servers, there exists a vast and loosely-defined ecosystem of things the B2B world likes to call computer appliances. Picture a bespoke Pi 4 packaged up neatly with some Python scripts, a little fancy plastic embossing, and maybe a well-guarded id_ed25519.pub in case you end up in hot water during the (long - very long, stable cash flow for generations long) maintenance contract, and you’re in the ballpark.

2024-06-14

33.

A useful shell prompt

blog.meain.io/2022/my-shell-prompt

Featureful zsh prompt.

32.

Putting Go's Context package into context

blog.meain.io/2024/golang-context

2024-06-13

25.

Solving SAT via Positive Supercompilation

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

My personal C coding style as of late 2023

nullprogram.com/blog/2023/10/08

2024-06-11

10.

Self-serve dashboards

briefer.cloud/blog/posts/self-serve-bi-myth

Sales pitches are the only place where “self-serve dashboards" work. In the real world, it's a different story.

Why "business" people don't use metabase/power-bi.

8.

gamja: Simple IRC web client

sr.ht/~emersion/gamja

2024-06-10

3.

On Dependency Usage in Rust

landaire.net/on-dependency-usage-in-rust

Rust and Node aren't bad for encouraging dependency use -- your favorite language's tools just suck.