2025-07-03
Beamer Viewer
beamerviewer.euxane.euThis web app displays notes and slides in separate windows,
keeping both synchronised.
It accepts simple, double-width, or double-height PDF presentations:
2025-06-13
What I talk about when I talk about IRs
bernsteinbear.com/blog/irsI 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-30
The PGP Problem
www.latacora.com/blog/2019/07/16/the-pgp-problemWhy do people keep telling me to use PGP? The answer is that they shouldn’t be telling you that, because PGP is bad and needs to go away.
2025-05-23
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-15
Writing that changed how I think about PL
bernsteinbear.com/blog/pl-writingEvery so often I come across a paper, blog post, or (occasionally) video that completely changes how I think about a topic in programming languages and compilers. For some of these posts, I can’t even remember how I thought about the idea before reading it—it was that impactful.
2025-01-21
Algebraic Effects for the Rest of Us
overreacted.io/algebraic-effects-for-the-rest-of-us2025-01-17
Earthstar
earthstar-project.orgStorage for private, distributed, offline-first applications. Earthstar is a specification and JavaScript library for building connected applications owned and run by their users.
2024-11-07
Proposal for a Django project template
david.guillot.me/en/posts/tech/proposal-for-a-django-project-templateMy take on what could be a project template for Django advanced usage, with modern tooling (for Python and UI dependencies, as well as configuration/environment management), but not too opinionated.
2024-10-21
init.py files are optional. Here’s why you should still use them
dev.arie.bovenberg.net/blog/still-use-init-py2024-10-10
Gnome Files: A detailed UI examination | datagubbe.se
www.datagubbe.se/gnomefiles2024-09-30
On Leaving Apple
typesanitizer.com/blog/leaving-apple.html2024-07-03
Announcing wcurl: a curl wrapper to download files
samueloph.dev/blog/announcing-wcurl-a-curl-wrapper-to-download-files2024-06-26
A reckless introduction to Hindley-Milner type inference
reasonableapproximation.net/2019/05/05/hindley-milner.html2024-06-24
Microfeatures I Love in Blogs and Personal Websites
danilafe.com/blog/blog_microfeaturesIn this post, I talk about pleasant but seemingly minor features in personal sites
2024-06-21
On testing Go code using the standard library | Henrique Vicente
henvic.dev/posts/testing-goMost 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
Go's 'range over function' iterators and avoiding iteration errors
utcc.utoronto.ca/~cks/space/blog/programming/GoIteratorsAndAvoidingMistakes2024-06-14
litterbox - IRC logger
git.causal.agency/litterbox/about2024-06-13
Building Go programs with Nix Flakes
xeiaso.net//blog/nix-flakes-go-programsMy personal C coding style as of late 2023
nullprogram.com/blog/2023/10/08Avoid Linux locking up in low memory situations using earlyoom
dataswamp.org/~solene/2022-09-28-earlyoom.htmlThis article presents the program earlyoom to prevent a Linux system to lock up in low memory situations.