TL;DR summary of stories on the internet
Archive.org experienced an hour-long outage due to tens of thousands of requests per second for their public domain OCR files launched from 64 virtual hosts on Amazon’s AWS services. Despite the efforts of engineers who worked on the holiday weekend, joy was short-lived as another 64 addresses started the same activity and caused another hour […]
Read more »
Tom Hanks, one of the most successful actors in Hollywood, discusses his latest venture- publishng a novel about the making of a movie. Hanks, in an interview recorded for The New Yorker Radio Hour, discussed how he was frustrated by the gatekeepers of the Entertainment Industrial Complex who barred reporters from watching how a film […]
This is a free book on using Lean 4 as a programming language written by David Thrane Christiansen. The book is now complete and includes an introduction to the key ideas of dependent type theory. The book features code samples tested with Lean 4 release nightly-2023-05-22. Each release adds new chapters starting in June 2022, […]
Octopuses may be solitary creatures, but groups of the cephalopods are emerging from their hiding places off the coast of Australia where they are building intricate structures out of shells, according to a study in the journal Marine and Freshwater Behaviour and Physiology. Dubbed Octlantis, the tiny “village” of approximately 15 animals, formed over a […]
Changes to deposit insurance schemes are being discussed by bank watchdogs following recent bank failures. One option that has been put forward is forcing more US banks to fund more of their loans and investments by issuing long-term debt rather than through deposits. This acts as an extra layer of protection for customers, meaning long-term […]
Apache Baremaps simplifies the process of creating, publishing, and operating online maps by providing a toolkit and infrastructure components. You can easily consolidate your spatial datasets in PostGIS by creating custom data pipelines using Baremaps, which supports several popular formats such as OsmPbf, ShapeFile, GeoPackage, and FlatGeoBuf to integrate with your existing workflows. You can […]
Lua is a simple, powerful, and versatile “little language” that is easy to learn and use. It has eight types and very few syntax rules to follow, making it an accessible programming language that can be embedded almost anywhere, from software like Redis and NGINX via OpenResty to games like World of Warcraft and Roblox […]
The release of a report by the National Toxicology Program (NTP) into the potential neurotoxic harm of water fluoridation was delayed last year due to intervention by health and dental organizations with strong support for the policy of adding fluoride to drinking water. Records obtained by law firm food & Water Watch under a Freedom […]
Emacs 29 features tree-sitter support, a powerful parsing library that allows more accurate syntax highlighting, indentation, and editing. However, it is an optional feature that requires users to compile Emacs from source or wait for someone else to compile it. Installing and configuring tree-sitter is a bit cumbersome and involves installing language grammars separately, but […]
Libuv has introduced support for io_uring file operations, which provides a significant increase in throughput on Linux systems. The io_uring approach is used if the kernel is new enough, otherwise, the traditional thread pool method would be used. All file operations are run on the thread pool by default, and the thread pool size can […]