20 random bookmarks

2025-08-21

129.

A Brief Guide to A Few Algebraic Structures

argumatronic.com/posts/2019-06-21-algebra-cheatsheet.html

I started writing this post because, for whatever reason, I keep forgetting what the difference is between a ring and a group, which is funny to me because I never forget the difference between a semiring and a semigroup – although other people do, because it’s quite easy to forget! So, I wanted a fast reference to the kinds of algebraic structures that I am most often dealing with in one way or another, usually because I’m writing Haskell (which has some reliance on terminology and structure from abstract algebra and category theory) or I’m trying to read a book about category theory and they keep talking about “groups.” Wikipedia, of course, defines all these structures, and that’s fine, but what I need in those times is more of a refresher than an in-depth explanation.

2025-02-04

100.

Running a Debian Sid on Ubuntu

blogops.mixinet.net/posts/incus

2024-12-17

92.

Building GBA Games in Rust

shanesnover.com/2024/02/07/intro-to-rust-on-gba.html

2024-10-16

83.

Damas-Hindley-Milner inference two ways

bernsteinbear.com/blog/type-inference

2024-10-10

81.

Gnome Files: A detailed UI examination | datagubbe.se

www.datagubbe.se/gnomefiles

2024-10-04

80.

Snappy UI Optimization with useDeferredValue

www.joshwcomeau.com/react/use-deferred-value

useDeferredValue is one of the most underrated React hooks. It allows us to dramatically improve the performance of our applications in certain contexts. I recently used it to solve a gnarly performance problem on this blog, and in this tutorial, I'll show you how! ⚡

2024-09-10

71.

run freebsd in qemu on linux

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

2024-07-09

61.

Using use in Gleam

erikarow.land/notes/using-use-gleam

2024-06-26

53.

A reckless introduction to Hindley-Milner type inference

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

2024-06-24

52.

Counting Immutable Beans: Reference Counting Optimized for Purely Functional Programming

arxiv.org/abs/1908.05647

Most functional languages rely on some garbage collection for automatic memory management. They usually eschew reference counting in favor of a tracing garbage collector, which has less bookkeeping overhead at runtime. On the other hand, having an exact reference count of each value can enable optimizations, such as destructive updates. We explore these optimization opportunities in the context of an eager, purely functional programming language. We propose a new mechanism for efficiently reclaiming memory used by nonshared values, reducing stress on the global memory allocator. We describe an approach for minimizing the number of reference counts updates using borrowed references and a heuristic for automatically inferring borrow annotations. We implemented all these techniques in a new compiler for an eager and purely functional programming language with support for multi-threading. Our preliminary experimental results demonstrate our approach is competitive and often outperforms state-of-the-art compilers.

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

48.

build2 | C/C++ Build Toolchain

build2.org

build2 is an open source (MIT), cross-platform build toolchain that aims to approximate Rust Cargo's convenience for developing and packaging C/C++ projects while providing more depth and flexibility, especially in the build system.

2024-06-17

37.

Sqlc: 2024 check in — brandur.org

brandur.org/fragments/sqlc-2024

2024-06-14

31.

CAUSAL.AGENCY(7)

causal.agency

I make mostly IRC software in C. I like OpenBSD but also the GPL. I just want to read books and try to learn to be kinder. When I can I'd like to talk to strangers and experience more magic.

2024-06-13

24.

Category Theory in Context

math.jhu.edu/~eriehl/context.pdf
21.

Building Go programs with Nix Flakes

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

A simple, arena-backed, generic dynamic array for C

nullprogram.com/blog/2023/10/05
17.

Arena allocator tips and tricks

nullprogram.com/blog/2023/09/27

2024-06-11

9.

Exploring Gleam, a type-safe language on the BEAM!

christopher.engineering/en/blog/gleam-overview

From Erlang, to Elixir and now, GLEAM!?

2024-06-10

4.

soju IRC bouncer

soju.im

soju is a user-friendly IRC bouncer. soju connects to upstream IRC servers on behalf of the user to provide extra functionality. soju supports many features such as multiple users, numerous IRCv3 extensions, chat history playback and detached channels. It is well-suited for both small and large deployments.