johnbender.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

Just straight into his own pocket apnews.com/article/elon...

submitted 1 day ago • 0 comments

One the best people in my feed, tech or otherwise. High quality educational content and a genuinely good person.

submitted 1 day ago • 0 comments

After a long hiatus, SIGPLAN Research Highlights are back! The highlights committee[] is thrilled to announce four exceptional PL papers from 2021-2023 awarded in this round! ⇒ [] Azalea Raad, Stephen Kell, Mike Bond and Erez Petrank, @natefoster.bsky.social, @lorisdanto.bsky.social, and me.

submitted 2 days ago • 2 comments

Police & local officials know how to reverse this: More automatic cameras, slower streets, and reliably harsh penalties for reckless driving. Their refusal to act suggests the system isn’t failing; it’s working as intended. These losses are deemed acceptable. www.washingtonpost.com/dc-md-va/202...

submitted 3 days ago • 3 comments

I've set up a periodic web scraper that takes screenshots of certain federal websites every morning to see what has changed: github.com/gtfierro/eo-...

submitted 16 days ago • 0 comments

absolutely savage

submitted 4 days ago • 0 comments

You can’t expect to increase efficiency while also adding reporting requirements. This is the great contradiction of the Republican view of government, to add “regulation” to the public sector while removing it from the private sector and expecting the same result from both.

submitted 4 days ago • 0 comments

(Boosts encouraged!) Hi! 👋 I’m Kat. I’ve been a professional dev for over 15 years. I maintained the NPM CLI for 5 of those. I sat in TC39. I work at Microsoft. I’m self taught w/a film degree and no formal CS edu. Are you new to tech? What do you wish you could ask some1 like me? Literally AMA

submitted 6 days ago • 29 comments

How many federal workers would DOGE need to fire to make up for Musk not paying his fair share of taxes? Answer: 677,000. That's 44% of the entire non-DoD federal workforce. Again, this power grab is not about the budget. It’s about politics.

submitted 6 days ago • 62 comments

periodic reminder that "we have so much old code, surely adding more analyzers to catch bugs in old code is much higher impact than piecemeal writing new code in a memory-safe language" has been repeatedly demonstrated to be a falsehood by the android team security.googleblog.com/2024/09/elim...

submitted 8 days ago • 4 comments

I think the basic problem with this claim about effective use of AI is somehow knowing the right questions to ask in the first place. That is, “zero education” and “the right questions” seem unlikely to coincide. I guess in that case the claim is vacuously true 😇

submitted 9 days ago • 0 comments

Not true. I'll give you some examples of when styles crossed over from womenswear to menswear, and how men have worn straight-up womenswear or just feminine styles in cool ways. 🧵

submitted 11 days ago • 296 comments

Don’t forget he’s a ladder topping gamer too. 😒

submitted 11 days ago • 0 comments

Yo this was me last night grabbing a card for my daughter (I swear I already had my wife covered, mail order flowers are amazing btw) and all three of us dudes had a gooood laugh 😅

submitted 12 days ago • 0 comments

Tesla's stock is ridiculously overvalued, and even a modest consumer boycott could tank the company, which accounts for the majority of Elon Musk's wealth. The divestment movement weakened apartheid South Africa. Let's do that again. slate.com/business/202...

submitted 14 days ago • 239 comments

I pretty regularly get threatened and harassed for riding a bicycle and even though I'm not surrounded by "an ultra-hard stainless-steel exoskeleton," I have yet to have a news outlet reach out.

submitted 14 days ago • 1 comment

I'm speaking on a panel titled "Public philosophy: its impact, challenges, and opportunities" and have 15 minutes. What should I cover with those minutes that would be most helpful for the audience? If you were attending a session like that, what would you want to learn about?

submitted 15 days ago • 7 comments

700M is a rounding error in the budget.

submitted 15 days ago • 0 comments

Here's an example of NSF funding branded by Republicans as "too woke": Delta AI at UIUC's National Center for Supercomputing Applications. My students use these resources for machine learning. Trumpers, Good luck catching up to Chinese AI if you think access to GPUs is too woke

submitted 15 days ago • 1 comment

the “administrative state” in practice is a lot of very hard working, practically anonymous people doing the thankless work of making this country run and a drug-addled dipshit is slandering them in order to steal our money for himself

submitted 16 days ago • 160 comments

On the off chance there are people who follow me who don’t already know how stupid he looks when he talks about computing, this is what Elon Musk sounds like, word salad funneled through an impossibly huge megaphone by and idiot.

submitted 17 days ago • 0 comments

Omg i just discovered that the nation’s social security database is just a file called todo.txt on Jeff’s laptop! Someone should do something. Maybe aggregate the free threaded marshaler or call a RPC with a regex and a little agentic ai. I could do this in a weekend but I’m too busy soloing diablo4

submitted 17 days ago • 29 comments

I hate the way musk thinks he’s a techie. Expert in computers and all this nonsense. He thinks a system in place for decades is missing a checkbox and he’s made some amazing discovery. Embarrassing.

submitted 17 days ago • 20 comments

"After one year of the zone, nitrogen dioxide from traffic was lower, GP visits for respiratory illnesses were down by 25% and those for heart problems decreased by 24%."

submitted 19 days ago • 3 comments

rocq-prover.org Website looks so nice y’all! (Now just imagine if this rebranding hadn’t been necessary)

submitted 19 days ago • 0 comments

Desegregating the field of Computer Science and opening it up (fully) to women is a good idea, and doing so makes the field stronger. Needing to say this obvious fact and to reaffirm this fact publicly is upsetting and sad, but it's important to we all do so. 1/4

submitted 20 days ago • 2 comments

Following a White House anti-DEI order, the National Cryptologic Museum covered up exhibits of women and people of color in its Hall of Honor. The NSA reversed course after former employees mobilized.

submitted 20 days ago • 610 comments

Tech guys believe everyone except them is an NPC, someone just doing a task without trying to improve it, when the reality is that every organization is full of people who are all trying to improve that organization in their own way, including the Federal government

submitted 23 days ago • 16 comments

Pro tip: the key to really delicious turkey bacon is to fry it in pork bacon fat 😅

submitted 24 days ago • 0 comments

Been describing this system we have where we pay some of the most brilliant people alive nearly nothing for ground breaking work and they are otherwise happy to participate for the love of their research but now we’ve decide to highlight how insane that is by not paying them. 😔

submitted 26 days ago • 0 comments

I am one of these NSF postdocs. NSF has frozen everyone’s access to their salaries and research stipends (that were already awarded) with no information about when they might be expected to be unfrozen. It still appears like we are expected to continue doing our work though.

submitted 27 days ago • 40 comments

Post the amazing science things you have done with federal funding.

submitted 29 days ago • 155 comments

I think some people hear “grants” and think that without them, scientists and government workers just have less stuff to play with at work. But grants fund salaries for students, academics, researchers, and people who work in all areas of public service. “Pausing” grants means people don’t eat.

submitted 30 days ago • 1664 comments

Very proud to announce that the first Iris paper received the 2025 Most Influential POPL Paper Award this week. This is a testament to the amazing contributions of a wonderful international network of collaborators. www.youtube.com/live/ZKwpY0g...