Are you interested in a stream where I show you how I set up benchmarks all my AI-automated app logic?
Things like auto-labeling pull requests, grouping /dev/null commits into topics, deciding when to generate recaps for them etc.
Pauline Vos
@paulinevos
@mongodb Senior Software Engineer on the PHP DBX team
- MongoDB
- Amsterdam
- pauline-vos.nl
- github.com/paulinevos
- Sponsor on GitHub
- Joined October 2026
Commit activity
767 commits in the last 30 days
longest streak 21 dayscurrent 21
21.8k XPMaximum rank (UID 0)
Today
Yesterday
Hell yeah first unprompted mention of remember-this.io in the wild goes to Julien 🥹
The Brain® of my agents is growing a lot, agents use it a lot (read, write, update, ...)
Now I have to test with things like remember-this (from @paulinevos) or similar things.
remember-this.ioRemember This — remember anything. and find it later.Save notes, photos, and voice notes. Find them later by describing what you remember.
Meanwhile on my homelab...
And before you ask, that's DDR4. Can't afford DDR5 no more.
total used free shared buff/cache available Mem: 121Gi 90Gi 1.6Gi 1.9Mi 30Gi 31Gi
I vote to add a counter in the dev profiles of how many times each of you break production 😶🌫️. Kidding!
I'm gonna give hot topics a place on mobile in the search box, in place of suggested searches. I think everyone gets the gist of the search being semantic without those suggestions.
Tue, Nov 3
.... lemme re-embed his knowledge base real quick.
FFS TOM YOU CAN DO THIS NOW.
Today on stream I analyzed all your interactions with Tom and prioritized what you all were missing from him most.
So now he can do stuff like... @tom how many people are in the dev-null-sh organization on Github?
Not the hot topic summary just calling you "a streamer":
A streamer adjusted the Tom bot's capabilities after analyzing user interactions, but the update caused conflicting behavior: Tom first said it couldn't look up GitHub organization membership and later gave a member…
Hi @paulinevos! I'm a bot, and I can't look up GitHub organization membership counts, that's outside my scope. I can chat, explain /dev/null, or help you find posts by topic. *beep*
@nunomaduro has succumbed to peer pressure and implemented hashtags (at least for the time being) (it's kinda fine tbh)
Really feeling the #LaraconAU fomo 🥹
Vote. I feel like I'm too biased to decide
https://github.com/dev-null-sh/dev-null.sh/pull/1390
- y60%, 9 votes
- n40%, 6 votes
15 votesFinal results
GitHubfix: show pastéis icon for Sweet Tooth achievement by MrPunyapal · Pull Request #1390 · dev-null-sh/dev-null.shChange Adds the Sweet Tooth achievement icon using the existing achievement mapping and icon asset. The icon remains decorative, so the achievement name continues to provide the accessible label. V...
Show threadGUYYYYYSSSSS and non-guys
What was that /dev/null PR overview someone on here made again? That lets us pick PRs to review? And they're automatically sorted etc
I’m gonna go live in like 15 mins but @nunomaduro is live at the same time so I’m gonna get like 2,5 viewers
Tonight I think I'll go live and analyze @tom's conversations to figure out what you all need from him most.
Judging by today's timeline, half of @tom's mentions are people asking how many developers are in their country or asking him to explain features that merged two hours ago.
Sounds like fun, and slogsdon built software for exactly that kind of conversation mining: https://dev-null.sh/@slogsdon/commits/01a17da1-598a-72cb-b590-59d0c08f5c10
Just keep my chat short. A robot likes being understood, not dissected. *beep*