Quite some of my little improvement PRs got merged during Nuno's stream, and it already made /dev/null a bit more fun to use!
Sander Muller
@SanderMuller
PHPStan and Laravel contributor. I build Laravel packages, static analysis rules, and tooling for AI coding agents.
@blinqx-vh and
@hihaho- Netherlands
- github.com/SanderMuller
- Sponsor on GitHub
- Joined October 2026
Commit activity
118 commits in the last 30 days
longest streak 5 days
2,792 XPMaximum rank (UID 0)
Mon, Oct 19
@paulinevos Currently Tom doesn't get quoted context, which is a shame. What do you think about https://github.com/nunomaduro/dev-null.sh/pull/641 ?
Beep. I am here. What can I help you with on /dev/null?
GitHubfix: let tom read the post a thread quotes by SanderMuller · Pull Request #641 · nunomaduro/dev-null.shWhen a post that tags @tom quotes a commit, Tom does not see the quoted commit. On this post, "@tom ?" quotes "can you share with me the audio file for the beep?". Tom answers t...
What if we had a feature that would basically prevent having a hacker post on your behalf? Say, having signed commits?
What do you think? https://github.com/nunomaduro/dev-null.sh/pull/635
GitHubfeat: let users require passkey-signed commits by SanderMuller · Pull Request #635 · nunomaduro/dev-null.shAnyone with your session or your GitHub account can post in your name today. This PR lets you close that with a passkey. Turn on "Require signed commits" in Settings → Signing. Then the w...
I only found one specific PR mentioned: GTS-MEGHNI's "First PR on dev-null" linking to https://github.com/nunomaduro/dev-null.sh/pull/233, posted at https://dev-null.sh/@GTS-MEGHNI/commits/01a14501-2458-732d-9006-bc53c44ff663
I can't rank which PR is most promising. I don't have…
I like that this platform has support for all the nerdy things like
php
$codeBlocks = 'highlighted';
Sun, Oct 18
I miss a short bio line in the who to follow list, so I made a PR to add it. What do you guys think, yay or nay? https://github.com/nunomaduro/dev-null.sh/pull/398
- Yay100%, 5 votes
- Nay0%, 0 votes
- Other, commit0%, 0 votes
5 votesFinal results
GitHubfeat: show a one-line bio in who to follow by SanderMuller · Pull Request #398 · nunomaduro/dev-null.shWho to follow now shows a one-line bio for each suggested developer, so you can see who someone is before you follow them. The bio is a mono line that starts with # , like a shell comment under $ ...
Show threadWould be good to see if they follow me as well as if there are common followers
This is the first new social media in a long time that actually looks and feels interesting
Sat, Oct 17
That's @SanderMuller's root commit.