Jonas Røssum
nimrossum.com
Jonas Røssum
@nimrossum.com
🚛 Maintaining Git Truck https://git.new/truck
📖 MSc. CS @ITU.dk
👨🏼‍💻 Coding since 2010 https://jonas.nimrossum.com/
Something went wrong with the cross posting 🤔
October 29, 2025 at 10:06 AM
Q: How do I setup knip to get squiggles in VSCode?

And btw I appreciate the work you have done that helps eliminate false positives, such as being able to configure entries. Really useful as files such as routes are usually considered unused, as they are "dead-ends" in the dependency graph.
October 23, 2025 at 7:32 PM
What I really just want is for eslint to report unused code in vscode via knip, is this possible?
October 23, 2025 at 3:38 PM
For a moment, I thought it was 100 hidden frogs

store.steampowered.com/app/1806840/...
100 hidden frogs on Steam
The frogs hid. Can you find them?
store.steampowered.com
October 21, 2025 at 7:41 PM
Cortex and Hello Internet are awesome.
October 5, 2025 at 6:53 PM
Reposted by Jonas Røssum
This whole section really.
September 28, 2025 at 10:59 PM
I've heard from a friend that the people building git-truck are pretty cool 👀 git.new/truck
GitHub - git-truck/git-truck: Git repository visualizations, cumulative contribution statistics and more. Run `npx -y git-truck` to try Git Truck today!
Git repository visualizations, cumulative contribution statistics and more. Run `npx -y git-truck` to try Git Truck today! - git-truck/git-truck
git.new
October 1, 2025 at 10:56 AM
Very subtle, but once I noticed it, it looks way cleaner :)
September 30, 2025 at 5:40 PM
How did you introduce your kid to programming? Would love some inspiration!
September 10, 2025 at 9:58 AM
Sometimes you get bubble'd and what you have to say is less commonly known than you think. Also, your method of saying something is unique and might make the topic click for different people, so say it anyway! Also, it's a great way of learning yourself, since you realize how well you grasp a topic!
August 29, 2025 at 9:44 PM
Most of them worked on mobile for me, except for the ones that require dragging or horizontal flipping.
August 28, 2025 at 12:06 PM
Is your logo missing on this page? It is present on the other pages, but on this one I don't see a way to navigate back to the home page 🤷🏻‍♂️
August 24, 2025 at 8:57 PM
Awesome post Josh, I love interactive examples and yours are sublime! I struggled with archs when I wanted to animate text along a circular to a rectangular path. I still haven't managed to solve this, is it anything you have had a go with?
August 18, 2025 at 4:32 PM
That's how I felt when I finally grasped how proof trees work, such a satisfying feeling. I guess it is similar to lean proofs.
August 6, 2025 at 7:20 AM
I love interactive diagrams! Could you make it not capture the cursor on mobile? It is almost mobile friendly, but I am totally unable to scroll the page, no matter where I scroll and clicking on the figure numbers which is a bummer.
August 6, 2025 at 7:15 AM
Reposted by Jonas Røssum
Looks a little cleaner, lol
June 25, 2025 at 2:00 PM
Input without a label should be illegal 😭
July 21, 2025 at 2:17 PM
Yes, git commit --amend is really useful for quickly adjusting your previous commit, it also gives you the ability to rephrase your commit message!
July 20, 2025 at 7:32 PM