https://github.com/robinst
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 :)!
security.googleblog.com/2025/11/rust...
security.googleblog.com/2025/11/rust...
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.
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.
A great collaboration between @atlassian.bsky.social and @victorchang.edu.au.
Read the full paper here: https://doi.org/10.1093/bioadv/vbaf226
Authors include: @nibor.org, @egiannoulatou.bsky.social
A great collaboration between @atlassian.bsky.social and @victorchang.edu.au.
(jj is a git-compatible git alternative. You should try it.)
(jj is a git-compatible git alternative. You should try it.)
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.
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.
This is a single command, but it also has an interactive mode with syntax highlighting and completion:
This is a single command, but it also has an interactive mode with syntax highlighting and completion:
Me:
Me:
Also wish the playback position was synced with the page. But will use again.
Also wish the playback position was synced with the page. But will use again.
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: gist.github.com/robinst/97be...
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: gist.github.com/robinst/97be...
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
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
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 :)!
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 :)!