TL;DR summary of stories on the internet
Media queries are a CSS language feature that allows an author to conditionally apply CSS rules according to characteristics of the device or window in which an application is being viewed. Responsive design can be accomplished through a combination of techniques including conditionally applying CSS rules with media queries and choosing layouts which are flexible […]
Read more »
The author reflects on the importance of receiving feedback, but cautions that not all feedback is helpful or constructive. They categorize feedback into three groups: 1-2 star feedback comes from people who don’t understand or relate to the project and should be avoided, 3-4 star feedback comes from people who get the vision and can […]
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 […]
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 […]