Profile avatar
thebenku.bsky.social
Working on a PhD at @uwcse/@uwplse. Interested in formalizing and improving testing adequacy metrics. ⅒x developer. Dabble in music. Lapsed Armenian. I maintain github.com/bkushigian/desktop-postflop and github.com/bkushigian/pious
77 posts 58 followers 128 following
Regular Contributor
Active Commenter
Posts 21 Comments 29

submitted 11 hours ago • 0 comments

I think I need to de-broligarch my life. No more Amazon, no Twitter, no Netflix (AWS), no Hulu. I might not be able to de-google at first but it's a good goal.

submitted 1 day ago • 0 comments

Whenever I Cmd+Space and type "blue" my mac always shows "Bluetooth File Transfer" instead of "Bluetooth" as the first response. I've never intentionally used it, but I keep accidentally opening it because I just auto-hit "Enter" after "blue" Very minor and very aggravating in equal proportions.

submitted 2 days ago • 0 comments

Me, when I play with Legos

submitted 3 days ago • 0 comments

Time series of a fuzzer's branch coverage

submitted 14 days ago • 0 comments

Me getting genai to help me code

submitted 19 days ago • 0 comments

As far as I can tell there is only one place in all of Seattle open for breakfast before 6am (excluding fast food). This is crazy to me.

submitted 21 days ago • 0 comments

all I know is that had President Biden forced out the FAA chief under pressure from his top adviser and his corrupt motives, and then the next week there was a plane crash that killed more than 60 people, Republicans would be howling that it was an impeachable offense.

submitted 28 days ago • 451 comments

I'm just a guy staring at instrumented JVM bytecode trying to understand what it's doing

submitted 30 days ago • 0 comments

If I'm 8 pages into your paper and I haven't learned a single interesting thing, you've failed.

submitted 33 days ago • 0 comments

Reading 2 papers/class is a strain for me. It's exhausting to keep my attention on a paper I don't really care about for an hour, and afterwards I'm too tired to focus and it's hard to work for the rest of the day. And if it's later in the day I often can't make myself read at all.

submitted 36 days ago • 1 comment

Poker solver UIs need to be fundamentally rethought.

submitted 51 days ago • 1 comment

New blog post on Equivalent Mutant Suppression from my ISSTA 2024 publication. Discover how we found more than 4x as many equivalent mutants as SOTA in less than 1/2000th the time! uwplse.org/2025/01/06/e...

submitted 52 days ago • 0 comments

Russell's Resolution: I resolve to not keep any of my New Year's resolutions.

submitted 58 days ago • 0 comments

I'm going to go to a courthouse and relabel all the bathrooms "Jury Duty"

submitted 58 days ago • 0 comments

A brief history of gravity

submitted 60 days ago • 0 comments

Hmmm...that doesn't seem right

submitted 62 days ago • 0 comments

Outrageously soft games on [UNDISCLOSED SITE]. This is essentially $100nl w/ $0.20 antes.

submitted 78 days ago • 1 comment

Windows is so bad. It has hard frozen 2 times this week. Now it is forcing me to update (a very recent update so I'm not that far behind). I was kinda in the middle of something important but Windows decided I had to sit around for 30 minutes. No other OS does this.

submitted 78 days ago • 0 comments

Shit y'all I might just be an ideas guy

submitted 79 days ago • 0 comments

I love battling HU and having other people snap sit out. It is such a stoke to my ego.

submitted 80 days ago • 0 comments