My brilliant wife! www.nytimes.com/2025/09/21/s...

Just got around to watching stage 16 of the Vuelta and I swear I’m not crying. An Egan Bernal stage win is all I wanted from this sport for the last few years. After nearly dying in an awful training accident he’s back to winning. Incredible person, amazing cyclist, brilliant win.

Today's video introduces my coverage of program semantics, from Chapter 4 of our Programming Language Pragmatics text: PLP 4.1: Program Semantics and Abstract Syntax Trees - youtu.be/7JrF4TeavZM For more content, check out the whole playlist: tinyurl.com/PLP5vids

I’ve been riding in Waymos for weeks now and interacted with them in my bike. It’s a really big deal for safety and Tesla could jeopardize that.

what stage of capitalism is this

concurrency is when:

A journalist tried out Tesla's "Robotaxi" in Austin. Two human interventions on their first ride. The "robotaxi" ignored two Do Not Enter signs and tried to drive the wrong way down a one way street! The Austin rollout is a stock pump. Tesla doesn't have self-driving software.

how brave to unironically declare that throwing a sandwich at a guy wearing tactical armor is assault

I know I’ve been very pro Waymo on here, so let me say something on the record: there is no way in hell I am going to step foot in one of these, and you shouldn’t either. www.statesman.com/business/tec...

JavaScript for Everyone is a course designed to teach you not just the how, but the why of JavaScript — the kind of deep-magic knowledge that can otherwise take years to develop. For the next two weeks, you can pre-order for £149, saving £100 off the full price of £249. piccalil.li/javascript-f...

strong Boston-Globe-review-of-fire-and-ice vibes here 🏆

Somebody on LinkedIn said what we're all thinking.

I am delighted to announce the v0.11 release of Logic for Programmers! The changelog is ENORMOUS: complete rewrites of databases, decision tables, contracts, and an *entirely new chapter* on proving code correct! Over 20% more content than v0.10, so check it out today! leanpub.com/logic/

okay but for real Butlerian Jihad when

Cellphone use while driving is so normalized that drivers don't even hide it. With driver mode & hands free, there's no excuse but enforcement is non-existent & our elected 'leaders' would sooner pick on people using active mobilty than address these dangerous behaviours. h/t @tomflood.bsky.social

a great example of this is transitioning away from car dependence with better public transit infrastructure if you propose doing things like banning cars from certain places, you'll get a lot of people, including many leftists, opposing it, because poor people need to drive

Something not limited to Sean Duffy is how people will get into their cars and think nothing of the risk they face of death or injury, which is several orders of magnitude greater than your risk of being hurt on public transit. Driving a car is the most dangerous thing most people do each day.

conservatives love it because it owns the libs by destroying their property value liberals love it because it’s innovative art centrists love it because it creates jobs in construction, continuous polishing, and research into drone polishing infrastructure

www.cesarsotovalero.net/blog/i-am-sw... Switching to Python to leverage AI is a thing other people have predicted but as a person who works on purpose built languages for niches where expressivity is king it is sad. What hope have we for new ideas when ubiquity is all? 😔

let’s gooooooo!

And yet people who know the president made a fair few dollars betting on this very thing in the market. 🤔

GoFundMe has set up a page for the Texan flood victims. Each campaign has been verified by the company's Trust & Safety experts, which means you know your money is going directly to families. Please consider donating if you can. Their stories are heartbreaking. www.gofundme.com/c/act/flood-...

“Red states don’t care about blue states” “Texas voted for this” Hey did you know millions of different people live in states and they’re all individuals who each have their own differing views and actions

Been thinking about getting a gravel bike since most of my rides are long mellow dirt roads but even with a 2x setup I can’t get a gear ratio that will work for me. My local climbs I’m using the 34/52 on my MTB. ~190 lbs, FTP hovering above 300 watts, and GRX is 31/36 at best?What am I missing?

Not for nothing but they also ignored the reconciliation requirement via their interpretation of a technicality that effectively renders the “budget neutrality over 10 years” requirement moot for most cases. Surprise Rs only like rules and care about the deficit when it benefits them!

The provenance memory model for C gustedt.wordpress.com/2025/06/30/t...

kinda cooking on police 1 and 2 here

This is your 41th monthly reminder that critical mass has been reached and the reaction continues. We must not back down from projects that give us safe infrastructure for mode choice. #BikeDC ggwash.org/view/99877/b...

upper east side and upper west side went for Cuomo, a totally unpredictable outcome there 🙄

The number one thing that spam callers could do to increase their chances of getting past the “hello” phase is to filter background conversations from their input. Everytime I hear call center chatter it’s auto-hangup. On the other side this is a good heuristic for automation.

Dad cyclist cannon: 1. “Morning!” to everyone within a 1000 foot radius 2. “Good morning to you too pup” 3. Pat stomach, “All the carbs I need!” 4. Them walking: “How’s it going?” You climbing: “Ask me again when I get to the top” 5. Passing someone on a climb: “VERY slowly on your left” 1/2

6/21, Los Angeles: A neighborhood volunteer documenting ICE was stopped by agents in an unmarked car, surrounded, and threatened by masked agents while they filmed him on their phones.

I don't know that it means overmuch since people who seem disenchanted with AI aren't, afaict, arguing that we can't be rivaled in intellectual power but I found this interesting. (Also you should reading Turing's Cathedral it's a very good book that is only partly about Alan Turing).

“Then they came for themselves and I didn’t speak up because I was stoked” - Martin Niemöller, 1946

Are self-driving cars a miss? Maybe this is relative to expectation but living in LA they seem pretty capable and impressive? I’ve also been lead to believe they are safer per mile than people driving cars.

this is my politics

burrito bus == taco truck but yes I agree we need more

Not true. I see you're a luxury watch dealer. I'm also interested in watches. Let me show you how free and easy migration has allowed you to earn a living. 🧵

Cars are part of the established order and being outside that bothers some people. “Once upon a time, the American Dream was … two and a half thriving, college-bound kids, a dog or cat and not one, but two cars in the garage” abcnews.go.com/Business/ame...

I think a big part of the reason some people love bikes and other people hate bikes is this shared understanding that the bicycle itself is a symbol of rebellion and anti-establishment independence.

LAPD when they think no one’s looking

Same.

an early, actually cool iteration of The Matrix

Moshe Vardi nails it in this article: cacm.acm.org/opinion/big-... Big Tech owes much of its success to decades of public investment in research, which is now under serious threat. Please speak up in whatever way you can: reach out to your representatives, write an op-ed, post, share...

gotta jingle the keys 🔑🪇👶