⚡ Fast DEFLATE compression in Lean
The headline challenges common assumptions about programming-language performance, but the available evidence is incomplete and does not establish a definitive speed comparison.
The article provocatively argues that Lean can outperform Rust in a compression benchmark. It compares a Lean-based DEFLATE implementation with the pure-Rust miniz_oxide library on the 212 MB Silesia corpus and reports that the Lean version produced a slightly smaller compressed file. However, the provided excerpt shows only Rust’s elapsed time and ends before Lean’s final timing result.
🔗 Read more 🔗
🍪 Kill The Cookie Banner
The proposal could move online consent from repetitive website prompts to a browser-level preference, reshaping both the user experience and the economics of behavioral advertising.
The campaign argues that cookie banners are primarily designed to pressure users into accepting tracking, rather than being inherently required by EU privacy law. It supports a European Commission proposal for automated privacy-preference signals, allowing devices to communicate whether users accept, reject, or limit tracking. The site warns that industry lobbying may derail the proposal and urges people to contact national and European representatives.
🔗 Read more 🔗
🤖 London Gatwick has launched a robotic airport parking service
Beyond convenience, the system could help Gatwick accommodate more vehicles within its existing footprint—an important advantage as the airport prepares for future growth.
London Gatwick has introduced the UK’s first robotic airport-parking service in partnership with Stanley Robotics. Passengers leave their vehicle in a private cabin and keep their keys, while an autonomous robot lifts the car by its tyres and stores it securely. The advance-booking service is expected to begin customer operations in August, reducing drop-off times and increasing parking capacity.
🔗 Read more 🔗
🧠 It’s not empowering to hand off the details
The essay offers a valuable counterpoint to frictionless-AI narratives by presenting judgment—not generation—as the scarce skill that ultimately determines output quality.
The author challenges the idea that AI enables people to produce excellent work without understanding the underlying details. He argues that expertise develops through sustained attention to nuance, and that effective AI delegation requires enough knowledge to determine which details can safely be handed off. From this perspective, outsourcing the entire process is not empowering because it removes the person’s meaningful contribution.
🔗 Read more 🔗
🔒 SQLite WAL Mode Can Lock Short-Lived Readers
The case demonstrates that WAL is not automatically the best option for every read-heavy system; connection lifetimes and process topology can matter more than conventional concurrency guidance.
The article explains why SQLite databases using WAL mode can occasionally return locking errors even for short-lived, read-only connections. Readers must still coordinate through WAL shared-memory files, while opening or closing connections may briefly require exclusive locks. With the default busy timeout set to zero, these operations can fail immediately. For a workload with extremely rare writes and many independent reader processes, switching back to DELETE journal mode eliminated the errors.
🔗 Read more 🔗