tc-ematch(8) extended matches for use with ”basic”, ”cgroup” or ”flow” filters
tc-ematch(8) – Linux manual page ematch(8) Linux ematch(8) NAME top ematch – extended matches for use with ”basic”, ”cgroup” or ”flow” filters SYNOPSIS top tc filter add .. basic match EXPR .. flowid .. EXPR := TERM [ { and | or } EXPR ] TERM := […]
Global Memory Shortage Crisis: Market Analysis
In late 2025, the global semiconductor ecosystem is experiencing an unprecedented memory chip shortage with knock-on effects for the device manufacturers and end users that could persist well into 2027. DRAM prices have surged significantly as demand from AI data centers continues to outstrip supply, creating a supply/demand imbalance. IDC was monitoring the memory situation as we prepared our November device forecasts, and we factored them into the update. The situation, however, […]
Designing Predictable LLM-Verifier Systems for Formal Method Guarantee
Abstract:The integration of Formal Verification tools with Large Language Models (LLMs) offers a path to scale software verification beyond manual workflows. However, current methods remain unreliable: without a solid theoretical footing, the refinement process acts as a black box that may oscillate, loop, or diverge. This work bridges this critical gap by developing an LLM-Verifier […]
Building a macOS app to know when my Mac is thermal throttling
This is the story about how I built MacThrottle. I’ve been very happy with my M2 MacBook Air for the past few years. However, when using an external display, especially a very demanding one like a 4K 120Hz display, I’ve noticed it started struggling more. Since it lacks fans, you can’t hear it struggling, but […]
A new research shows that 21-33% of YouTube’s feed may consist of AI slop
As the debate over the creative and ethical value of using AI to generate video rages on, users are getting interesting results out of the machine, and artist-led AI content is gaining respect in some areas. Top film schools now offer courses on the use and ethics of AI in film production, and the world’s […]
C++ says ”We have try at home.”
Many languages¹ that have exceptions also have a finally clause, so you can write try { ⟦ stuff ⟧ } finally { always(); } A quick checks shows that this control structure exists in Java, C#, Python, JavaScript, but not C++. C++ says, “We have try…finally at home.” In C++, the way to get a […]
Calendar
Calendar 👋 Hello! If you print this page, you’ll get a nifty calendar that displays all of the year’s dates on a single page. It will automatically fit on a single sheet of paper of any size. For best results, adjust your print settings to landscape orientation and disable the header and footer. Take in […]
Rust errors without dependencies
Rust Errors Without Dependencies December 27th 2025 Rust error handling is a complex topic mostly due to the composability it gives you and no ”blessed way” to accomplish this from the community. Popular libraries include, anyhow, thiserror, and eyre are often recommended and for good reason, they’re great libraries! However, personally, I wanted to use […]
Dad’s Fitness May Be Packaged and Passed Down in Sperm RNA
The standard sperm-meets-egg story posits that sperm cells are hardly more than bundles of shrink-wrapped DNA with tails. Their mission is simple: Deliver a father’s genes into a mother’s egg for sexual reproduction. Just about all other aspects of a developing embryo, including its cellular and environmental components, have nothing to do with dad. Those […]
Replacing JavaScript with Just HTML
by Aaron T. Grogg published on Dec 27, 2025 For many years now, JavaScript has been the workhorse of the web. If you wanted to do something that couldn’t be done with just HTML and CSS, you could usually find a way to do it with JS.And that is great! JS has helped push user […]