As the physical data format on the Commodore 1541 5¼-inch floppy disk is defined in software, this article explores different strategies to fit up to 246 KB (compared to the 170 KB defined in the original disk format). By utilizing all four speed zones, increasing the number of tracks on the disk, minimizing gaps, and […]
Read more »
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 […]
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 […]