20 random bookmarks

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

117.

What I talk about when I talk about IRs

bernsteinbear.com/blog/irs

I have a lot of thoughts about the design of compiler intermediate representations (IRs). In this post I’m going to try and communicate some of those ideas and why I think they are important.

2025-05-23

112.

Async from scratch 1: What's in a Future, anyway? | natkr's ramblings

natkr.com/2025-04-10-async-from-scratch-1

There are a lot of guides about how to use async Rust from a "user's
perspective", but I think it's also worth understanding how it
works, what those async blocks actually mean.

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-04-24

105.

Instrumenting Axum projects

determinate.systems/posts/instrumenting-axum

2025-03-18

102.

CASCII - ASCII Diagram Builder

cascii.app

A well-equipped ASCII diagram builders freely available on the internet.
It stresses portability, simplicity, and immediateness.

2025-01-07

96.

Write your own tiny programming system(s)!

d3s.mff.cuni.cz/teaching/nprg077

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-15

67.

Writing a C Compiler

nostarch.com/writing-c-compiler

A fun, hands-on guide to writing your own compiler for a real-world programming language.

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-28

57.

Advanced Bash-Scripting Guide

tldp.org/LDP/abs/html/index.html

2024-06-21

49.

On testing Go code using the standard library | Henrique Vicente

henvic.dev/posts/testing-go

Most programming language ecosystems provide assert functions in their testing libraries but not Go's. Go's standard testing package follows a more direct and to-the-point approach.

2024-06-20

46.

Why does SQLite (in production) have such a bad rep?

avi.im/blag/2024/sqlite-bad-rep

2024-06-18

40.

Understanding SPF, DKIM, and DMARC: A Simple Guide

github.com/nicanorflavier/spf-dkim-dmarc-simplified

2024-06-14

33.

A useful shell prompt

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

Featureful zsh prompt.

2024-06-13

21.

Building Go programs with Nix Flakes

xeiaso.net//blog/nix-flakes-go-programs
18.

An easy-to-implement, arena-friendly hash map

nullprogram.com/blog/2023/09/30
17.

Arena allocator tips and tricks

nullprogram.com/blog/2023/09/27

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.

2024-06-09

1.

The Hare programming language

harelang.org

Hare is a systems programming language designed to be simple, stable, and robust. Hare uses a static type system, manual memory management, and a minimal runtime. It is well-suited to writing operating systems, system tools, compilers, networking software, and other low-level, high performance tasks.