Amidst this tragedy I can’t help but wonder if this was planned with a cursory intent to avoid civilian casualties and the people at the top were so incurious & lazy they didn’t bother to check and thereby realize a Saturday strike would have the opposite effect. www.theguardian.com/world/2026/f...

To avoid including alternative mobility affordances (ADA compliant sidewalks and bike lanes) as mandated by several ballot initiatives with big $$, the city is instead doing a bad job paving roads to exploit some notional loophole in said ballot initiatives. lapublicpress.org/2026/02/why-...

New Yorkers: if you can do so safely, take a moment to step outside (even on your front stoop) for a moment and appreciate how quiet the city is right now. ❄️ Cities aren't loud. Cars are loud.

It seems the only remaining purpose of the school association in college football is to distinguish it from professional football.

It’s a really great performance and her story is very inspiring. Her 60 minutes interview from before the games is on YouTube.

Random idea for web standards people: An interesting test of a written standard is an implementation. Since we now seem to be living in a world where prototypes are made quickly (AI) one could request such an implementation and view confused interpretations as an opportunity to clarify.

Ancient Aliens meme: *verified compilers*

When one needs to understand the build system to answer questions about outcomes that’s significantly easier for deterministic pipelines. Similarly, I see this same argument made wrt compilers but it is possible to say what a compiler should do to be correct, that’s not true for an LLM.

There’s a substantial portion of the US population that’s having a full mental breakdown right now.

Whenever UB is discussed I rarely ever hear about the reason why it exists and why it’s good: it’s how the compiler tells you about assumptions it needs for optimizations you almost certainly like a whole bunch. Best modern example is stacked/tree borrows in Rust unsafe regions.

There’s also clearly an interesting opportunity to hook up CSmith in a tight loop with the output here to see how well it responds to feedback about output discrepancies

www.anthropic.com/engineering/... Now imagine that we could convey what a correct compiler is in a useful way for this process to leverage. The statement is complex if you care about optimization but it does exist as math.

new CSmith approach just dropped

this has some real “our food product is uranium free” energy, ie no credit awarded

A ride for Alex Pretti is being organized in DC on Saturday, 1/31. Meetup at Dupont Circle Fountain at 1pm, roll at 130. Dress warmly and wear layers. #BikeDC www.instagram.com/p/DUERoBsj6e...

okay I was hoping this was about guaranteed termination

slot pulling outdoors is an under explored business opportunity

It’s a very weird sign of the times but even a cursory understanding of Fed history makes clear that we are well off the rails if the chair is making public addresses about the pressure campaign from the Whitehouse.

We've extended the deadline for workshops at SPLASH/ISSTA 2026 to **January 17**! Please submit your proposals (it's just a small HotCRP form this year, easy!), and we're looking forward to seeing you in Oakland! Link: 2026.splashcon.org/track/splash... @rohan.padhye.org @issta.bsky.social

A friend in Minneapolis just sent me this video. Looks like thousands have come together for a vigil after an ICE agent shot and killed 37-year-old Renee Nicole Good. This was my neighborhood for several years before coming to Portland.

Grateful for these folks who made the effort and showed up to make it clear that this is not okay.

The degree to which empty trays are lefty to back up at the end of airport security conveyor belts is simultaneously fascinating and troubling.

If you are a resident of California, the state now has a portal where you can demand deletion of your personal data from 500+ registered data brokers with a single request form, for free. consumer.drop.privacy.ca.gov

my luke warm take is that if people knew what it meant for a compiler to be correct the broader idea of “abstraction” would be much clearer since its usually the first example they encounter note for nerds: this conflates abstraction/refinement with “less detail” which are not necessarily the same

Jokes on you, I had no goals and thus have completed the set of all such goals.

The presents have been unwrapped, the candles lit, the big meal eaten... now's a great time to play with Miren! Whether it's that holiday cookie app you vibe-coded or something more serious, give Miren a spin! After you've had your fun, come let us know how it went in Discord (miren.dev/discord)!

I'm once again politely asking Bluesky developers to allow us to attach multiple photos and videos in one post.

i am also always hungry

This makes me sad to be alive.

I think we have a winner in the category of "Most Ideal Time for the AI Bubble to Burst"

martin.kleppmann.com/2025/12/08/a... As someone that does manual and automated proofs about software for a living I have a few thoughts. TL;DR it'll help a lot in my day to day, designing the theorem is the crux, and perception of value vs perception of cost is the main problem 1/6

Related: One of the most interesting parts of being in a Waymo is you watch other drivers absolutely rage at it because it generally obeys every speed limit and traffic law, and this pisses off so many drivers who are used to being able to pressure other people into going faster.

my reviews of the Precision Fuel 60g Chew Bar: all the fragrant charm of a urinal cake in a gummy that will take you at least 5 actual minutes to chew through resulting in a glucose spike second only Everest in its height and rate of ascent (they work real good on rides though)

“Two liver spots walk into a bar …”

> 'cause some- times there's a man--I won't say a hero, 'cause what's a hero?--but sometimes there's a man. And I'm talkin' about the sandwich guy here-- sometimes there's a man who, well, he's the man for his time'n place, he fits right in there--and that's the sandwich guy, in DC.

lazy with side-effects

we all aspire to be Fred, a Stair Master

It honestly never occurred to me that “letting your kid do obviously dumb things because they just won’t listen to reason” would be part of a parent’s job description. In retrospect it should have been obvious with even a cursory assessment of my own childhood.

I’ve been frustrated with how we write and manage software for years now. Next week, @miren.dev’s vision of a better way begins!

London is fast becoming a cycling city. As each new piece in the network appears—which has more than quadrupled from 90 to 431 km since 2016—so do new cyclists. Its infrastructure now sees a stunning 1.5 million daily users—a 43% spike since 2019—moving nearly half as many people as the Tube below.🧵

No other JavaScript course gives you the feeling... of JavaScript for Everyone. piccalil.li/javascript-f...

this hits brutally close to home

gotta wonder why the wet floor in that huge “wak min” closet

“Get seated. Get sated.” was right there too

For the next two weeks you can save £60 (about $80) on any Piccalilli course, and you'll get a coupon code that gives you 50% off future courses. If you've been waiting to grab a copy of JavaScript for Everyone, this is the time to do it: piccalil.li/javascript-f...

WE WON. I am *begging* you to take note of who did this. *Not* UCLA admin—they’re still scuttling around behind closed doors, attempting to appease—but FACULTY AND STAFF, led by AAUP.

If sandwich shops don’t start offering a sandwich named “the acquittal” then what are we even doing

yesss let it begin

it remains unclear to me why there isn’t a fund to provide sandwiches for consumption during protest or for “ballistic vest impact” as it where