TL;DR summary of stories on the internet
Meteksan Defense is upgrading its development environment to use newer versions of many tools and programming languages, including an upgrade of its C++11 codebase to C++17 for its embedded applications. C++17 has many features for the embedded world that can be helpful such as attributes and enhancements to conditional statements, which improve code development. C++17 […]
Read more »
Wikipedia’s mobile site experienced performance issues due to a piece of JavaScript that could take over 600ms to execute during page load. This resulted in rage clicking, increased bounce rates, and lower search engine ranking. Google considers any task that takes more than 50ms a “long task” that can affect the page’s responsiveness to user […]
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 […]
This blog discusses container runtimes on the Arm64 platform and showcases benchmarking between WasmEdge and Runc. WasmEdge, a WebAssembly runtime, has advantages over container technology, such as smaller binary size, faster start time, and less reliance on the host kernel. However, it is still an immature technology with limited syscalls and unimplemented features. The blog […]
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 […]
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, […]