Michael Kennedy (via Hacker News): For example, how fast or slow is it to add an item to a list in Python? What about opening a file? Is that less than a millisecond? Is there something that makes that slower than you might have guessed? If you have a performance sensitive algorithm, which data structure […]

Jonas Bonér (based on work by Peter Norvig and Jeff Dean from 2012): L1 cache reference 0.5 ns Branch mispredict 5 ns L2 cache reference 7 ns 14x L1 cache Mutex lock/unlock 25 ns Main memory reference 100 ns 20x L2 cache, 200x L1 cache Compress 1K bytes with Zippy 3,000 ns 3 us Send […]

Ryan Jones: Can anyone explain why there’s no “Clear Documents & Data” button? Reinstalling the app just to clear it is dumb. I can see why Apple doesn’t want to make it easier for users to accidentally delete data that they meant to keep. But I would like to at least see a standard system […]

What a great site (and Bluesky account) this is. Just what it says on the tin: all the scenarios for how the NFL playoff seedings can shake out, presented very plainly but clearly. The old-school World Wide Web still has a beating heart.

My thanks to Listen Later for sponsoring this week at DF. Listen Later is a super simple, super useful service that turns articles into podcast episodes. When you sign up, you get a custom email address to send articles to; every article you forward to your Listen Later address is transformed into very human-like narration, and gets delivered to your private podcast feed. You can subscribe to your private Listen Later podcast feed in any podcast app.

In addition to the email gateway, there’s a Shortcut for sending articles from Safari (on Mac or iOS), a web extension for Chrome, and a simple web interface for submitting new articles. It’s very simple and the narrated versions sound great.

Sign up for free and start listening today. New users get $2 in credits to try it out — no commitment. And if you like it, you simply prepay for credits as you go. There’s no subscription — you simply pay for what you use. I wish more services had a pay-as-you-go model like Listen Later’s.