20 random bookmarks

2025-06-20

Reposted 122.

Cursed Knowledge | Immich

immich.app/cursed-knowledge

Things we wish we didn't know

2025-06-17

119.

Debugging tricks for IntelliJ

andreabergia.com/blog/2025/06/debugging-tricks-for-intellij

I have been using IntelliJ Idea at work for a decade or so by now, and it’s been a reliable companion. JetBrains IDEs have a bit of a reputation for being slow, but their feature set is incredible: powerful refactoring tools, a great VCS UI (though I like magit even more!), a huge number of supported frameworks, integration with just about any testing library for any language, code coverage tools, powerful debuggers, etc.

2025-05-28

114.

SAT Live!

localhost:4000

2025-05-23

111.

share_target - Web application manifest

developer.mozilla.org/en-US/docs/Web/Progressive_web_apps/Manifest/Reference/share_target

The share_target manifest member allows installed Progressive Web Apps (PWAs) to be registered as a share target in the system's share dialog.

2025-05-15

108.

Writing that changed how I think about PL

bernsteinbear.com/blog/pl-writing

Every 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-02-04

100.

Running a Debian Sid on Ubuntu

blogops.mixinet.net/posts/incus

2025-01-09

97.

if got, want: A Simple Way to Write Better Go Tests

mtlynch.io/if-got-want-improve-go-tests

2025-01-07

96.

Write your own tiny programming system(s)!

d3s.mff.cuni.cz/teaching/nprg077

2024-11-20

88.

On "Safe" C++

izzys.casa/2024/11/on-safe-cxx

2024-11-04

86.

Writing secure Go code

jarosz.dev/article/writing-secure-go-code

Security testing starts with understanding vulnerabilities. The CVE website lists known software flaws. The OWASP Top Ten highlights common weaknesses. With this knowledge, we can improve our Go development. This article shows how to put in place robust practices. They are to: fuzz inputs, verify dependencies, and use static analysis tools (SAST).

2024-07-09

61.

Using use in Gleam

erikarow.land/notes/using-use-gleam

2024-06-27

56.

plainweb

www.plainweb.dev

plainweb is a framework using HTMX, SQLite and TypeScript for less complexity and more joy.

2024-06-19

45.

Avoiding complexity with systemd

mgdm.net/weblog/systemd

Using systemd to avoid having to write some risky code

2024-06-17

36.

How I learned Haskell in just 15 years - duckrabbit solutions

duckrabbit.tech/articles/learning-haskell.html

2024-06-14

29.

pounce - IRC bouncer

git.causal.agency/pounce/about

2024-06-13

25.

Solving SAT via Positive Supercompilation

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

API Tokens: A Tedious Survey

fly.io/blog/api-tokens-a-tedious-survey

Comparison between types of API tokens.

17.

Arena allocator tips and tricks

nullprogram.com/blog/2023/09/27
15.

OpenBSD extreme privacy setup

dataswamp.org/~solene/2024-06-08-openbsd-privacy-setup.html

In this article, you will learn how to install and configure OpenBSD to reduce its network activity over clearnet

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.