@nibor.org - Robin Stocker

12 Dec 2025 06:06 +0000

Me solving 2025’s last Advent of Code puzzle https://media.tenor.com/UUN0ojdX0voAAAAC/shocked-surprised.gif?hh=398&ww=498

17 Oct 2025 03:28 +0000

So in Java, sometimes you can have pretty long/deeply nested type signatures (yes, I'm doing something complicated :P). In @intellijidea.com, when you look at the types using Cmd+hover, why does the tooltip show everything on one super long line? Same question for Cmd+P to show arguments.

26 Sep 2025 09:15 +0000

A tool I helped create a few years ago. It was pretty straightforward to write (~one week with a few devs) but apparently it’s really useful for certain types of research! A great collaboration between @atlassian.bsky.social and @victorchang.edu.au. [contains quote post or other embedded content]

21 Aug 2025 10:29 +0000

`jj undo`, I love you. (jj is a git-compatible git alternative. You should try it.)

05 Aug 2025 11:17 +0000

For a field with type Map, do you prefer naming it fooToBar, or barsByFoo? (Assuming that e.g. just bars is not clear enough.)

22 Jul 2025 08:07 +0000

This was a really interesting episode about databases but also UX trade offs. (No prior knowledge of DB internals required.) https://open.spotify.com/episode/56ZiKPj5mxc4nt0m8cvrSO

22 Jul 2025 07:59 +0000

It me [contains quote post or other embedded content]

20 Jun 2025 13:33 +0000

Released a new version of commonmark-java 🎉: https://github.com/commonmark/commonmark-java/releases/tag/commonmark-parent-0.25.0

12 Mar 2025 08:16 +0000

Used `jj absorb` recently and it’s so good! I had some work that was already in PR, and some work on top for later PRs. I needed to address some feedback for the PR. So just made the changes on top, then absorb -> changes are automatically put into the right commits.

10 Feb 2025 08:19 +0000

Used duckdb.org for the first time today. Just to do an inner join of two CSV files, but I'll try it again next time for some ad-hoc data processing. This is a single command, but it also has an interactive mode with syntax highlighting and completion:

04 Feb 2025 11:24 +0000

Oh nice, there's a libification project for Git, including a Rust library! It's still early days but at some point this could replace usages of libgit2.org https://lore.kernel.org/git/cover.1723054623.git.steadmon@google.com/

07 Jan 2025 06:27 +0000

I've started using the "Commit Mono" font and I'm really liking it for both editor and terminal (used to use Source Code Pro, JetBrains Mono, SF Mono). Anyone else? https://commitmono.com/

07 Jan 2025 04:06 +0000

Thought this ASCII art diagram for binary addition using logic gates was neat. (From #adventofcode day 24. x and y are input digits, z is result.)

07 Jan 2025 03:25 +0000

Siri: “Foo sent a long notification, read it?” Me: https://media.tenor.com/pPxnm115AAcAAAAC/shhh-shush.gif?hh=404&ww=498

05 Jan 2025 03:54 +0000

Can we have Bluesky trends but less American please?

29 Dec 2024 03:43 +0000

Just listened to this article using iOS Safari’s new “Listen to Page” feature. It doesn’t do a bad job, but there’s some words it gets hilariously wrong, like “codebase”, “builtin”, “unfortunately”, “github” (jittub). Also wish the playback position was synced with the page. But will use again. https://fishshell.com/blog/rustport/

16 Dec 2024 09:35 +0000

The new Siri voice (Australian) after the latest iOS update sounds weird. Not as cheerful or friendly as the previous one. Anyone else?

14 Dec 2024 03:35 +0000

So apparently the only way to delete all photos in Google Photos is to shift-select a bunch of pages, press Delete, wait, repeat.

05 Dec 2024 12:28 +0000

Trying out Mermaid instead of Graphviz to visualize things for Advent of Code this year, e.g. the rules in day 5 #adventofcode

28 Nov 2024 09:29 +0000

Also on #adventofcode, merged all my yearly individual repos into one. In the merged repo, each year is a subdirectory and I linearised the history because the commits were all chronological anyway. Script I used to do the merging: https://gist.github.com/robinst/97bef229d5440208b97d9a449243bd27

28 Nov 2024 09:24 +0000

Who’s doing Advent of Code? What language? I’m doing it in Java again. A bit boring I know, but will try newest version with the new language features (e.g. record patterns). #adventofcode

26 Nov 2024 10:47 +0000

Intro post: Have you ever done a `git push` and it printed a nice link for you to create a pull request (see screenshot)? That was me! One of my first 20% projects when I was working on Bitbucket at Atlassian. GitHub later copied it – glad they did because I use it almost every day :)!

12 Nov 2024 11:15 +0000

Ran this to find a few more people that I used to follow on Twitter. Recommend to press "Resume Scanning" a few times. [contains quote post or other embedded content]