Top HN Daily Digest · Wed, Jul 22, 2026

Renowned mathematician Terence Tao uses ChatGPT to analyze and verify a potential counterexample to the long-standing Jacobian Conjecture recently proposed by Claude Fable. [src]

The discussion highlights how world-class experts like Terence Tao use LLMs as "colleagues" by employing highly specific jargon to steer the model through complex mathematical machinery [4][8][9]. While some argue LLMs are merely performing next-token inference, others contend that their ability to meet an expert's level of reasoning demonstrates a functional form of intelligence [4][5]. A significant portion of the thread debates the unique "impenetrability" of mathematical nomenclature, with some arguing it is uniquely abstract and removed from tangible reality compared to other technical fields like computer science [0][1][3][7]. Additionally, users noted that LLMs can be pushed to solve difficult problems or find counterexamples by simply being instructed to "keep going" or iterate until convergence [2][6].

Nikita Bier criticizes passkeys, arguing that they were designed by engineers who lack an understanding of consumer psychology and behavior. [src]

The discussion highlights a sharp divide between users who find passkeys a seamless upgrade and those who view them as a confusing, vendor-locked mess [0][6][7]. Proponents argue that for average consumers within a single ecosystem like Apple, passkeys offer a frictionless, phishing-resistant experience that "just works" [7][9]. However, critics and engineers point out that the workflow is often opaque, making it difficult to manage credentials across different browsers, share accounts with family members, or recover access if a device is lost [0][4][8]. Many participants contend that the original goal of device-bound security has been compromised by platform vendors and password managers competing for control, resulting in a fragmented user experience [2][3][5].

Bento is an MIT-licensed, single-file HTML presentation tool that allows users to edit, present, and collaborate on slides offline without cloud logins or installations. [src]

Bento is a single-file presentation tool that uses a base64-encoded app shim, File System Access API for local saving, and encrypted CRDTs via Cloudflare for collaboration [0]. While users praised the technical ambition and the "Single-File Web App" architecture [1][4][5], some noted a discrepancy between the "nothing phones home" claim and the presence of Cloudflare tracking beacons [2]. Discussion also touched on potential naming conflicts with an existing database [7] and suggestions to default to a viewing mode rather than an editor for shared links [3][6].

Reddit has begun requiring users to log in to access its "Old Reddit" design, a move the company claims is necessary to prevent abusive scraping and automated traffic that lacks modern security protections. [src]

Users argue that Reddit's move to restrict plain HTML is a manufactured excuse to kill "Old Reddit" [4] or a misguided attempt to stop scrapers that remains ineffective since data is still accessible via JSON [2]. While some acknowledge that scrapers pose a legitimate burden on site infrastructure [8], others view this as part of a broader trend toward aggressive user verification and the decline of open community business models [1][9]. Furthermore, there is a strong consensus that Reddit's value has plummeted due to bot activity, shallow discussions, and "echo chamber" dynamics, leading many to replace the site with LLMs for information [0][5][6].

John C. Dvorak, a pioneering technology journalist and podcaster known for his work in the tech industry, has passed away. [src]

John C. Dvorak is remembered as a "hilarious curmudgeon" and a staple of tech media history, known for his work in *PC Magazine*, *Byte*, and shows like *Cranky Geeks* [3][4][5]. Commenters fondly recall his bold, often contrarian takes and his frequent on-air friction with Leo Laporte on *This Week in Tech* [1][2][9]. While there was some confusion regarding his age, users noted his long-standing dispute with Wikipedia over his birth year, confirming he was 80 at the time of his death [5][7]. Though he was the nephew of the Dvorak keyboard creator, he carved out his own legacy through a unique style of tech punditry that prioritized strong opinions over consensus [0][1][8].

OverpAId is a satirical website promoting a fictional AI "Chief Executive Replacement Engine" to highlight the massive pay disparity between CEOs and workers, arguing that executive roles are more easily automated than frontline jobs while criticizing the lack of corporate accountability in the AI era. [src]

While some argue that top-tier executive talent is indispensable for moving the needle at massive scales [0], others contend that many overpaid CEOs are merely "lucky" individuals with prestigious pedigrees who fail to deliver results [5][7]. A significant portion of the discussion suggests the CEO's primary role is acting as a "human delegate" or a singular point of accountability for B2B contracts and social navigation, a function AI cannot easily replicate [3][4]. However, there is a counter-argument that much of an executive's work is vulnerable to automation, potentially opening the door for "figurehead" entertainers to replace traditional, expensive leadership [1].

LG Electronics plans to suspend smart TV apps that turn devices into residential proxy nodes after research revealed that over 42% of apps on its webOS platform allowed third parties to route internet traffic through users' televisions. [src]

The consensus among users is to never connect smart TVs to the internet, instead using external devices like an AppleTV to avoid "crapware" and privacy risks [0][4][6]. While some argue for boycotting the brand entirely [3], others note that LG produces superior hardware, suggesting that users simply update firmware and then disconnect the network [4]. There is significant concern regarding the prevalence of "quasi-malware" SDKs in LG's app store [5], though some clarify that certain reported issues stem from Windows Update behavior rather than the monitors themselves [8].

An experiment testing seven frontier models found no significant evidence that AI labs are "pelicanmaxxing," or specifically training models to excel at the famous "pelican riding a bicycle" SVG benchmark, as the models performed similarly or better on other animal-vehicle combinations. [src]

Quantitative analysis suggests that AI labs are likely not "pelicanmaxxing" (optimizing specifically for the "pelican on a bicycle" benchmark), as the quality of these images does not significantly outperform other animal-vehicle combinations [0][7]. While some argue that improving SVG generation is a genuine, useful capability for diagrams and spatial reasoning [2][4][8], others contend that LLM-generated SVGs remain aesthetically poor and less efficient than specialized models [5][6]. Disagreements persist regarding whether this skill reflects general programming logic [1][3], with one observer noting that consistent right-facing orientations likely stem from training data biases—such as the standard placement of bicycle drivetrains—rather than a true understanding of physical mechanics [9].

Software engineer Mitchell Hashimoto argues that SIMD is an accessible optimization every developer should learn, demonstrating a five-step pattern—broadcasting constants, vector looping, parallel operations, reduction, and scalar tails—that can provide significant performance speedups over traditional scalar loops with predictable, hand-written code. [src]

While some argue that modern compilers handle vectorization automatically via optimization flags [0][9], others contend that auto-vectorization is often insufficient and requires a fundamental shift from "Array of Structs" to "Struct of Arrays" data layouts to be effective [2][3][4]. Proponents of manual SIMD highlight its power in languages like Zig, though they note that certain built-ins may still fallback to scalar operations for complex functions like trigonometry [1][7]. Despite the performance gains, many developers believe SIMD is a "premature optimization" for most, suggesting that addressing poor data structures, cache locality, and algorithmic complexity should take priority [3][6][9].

Reports indicate that Moonshot utilized data distillation from the Fable model to assist in the development of its new K3 model. [src]

The discussion centers on whether Moonshot’s alleged distillation of Anthropic’s Fable model constitutes "robbers blaming robbers" given that frontier labs originally trained on copyrighted data [1][3]. While some argue distillation is a rational cost-saving measure common in open-source development [0][6], others contend it involves illegal trade-secret misappropriation, breach of contract, and the circumvention of technical safeguards [7][8]. Skeptics also question the timeline of the allegations, suggesting the US government and Anthropic may be motivated by national security interests and the need to protect the economic viability of high R&D costs against foreign competition [5][6][9].