Terrence Tao's ChatGPT Conversation about the Jacobian Conjecture Counterexample

https://cdn.openai.com/chatgpt/share-og.png
Use ChatGPT to answer questions, write, create images, complete work, and code—all in one place. Get started for free or download the app.

GigaToken: ~1000x faster Language model tokenization

https://opengraph.githubassets.com/19c4444bdaa2e9455f89b61620c0a76b30f5c5f6ce96e28877ebd119c026524b/marcelroed/gigatoken
Gigatoken is a fast tokenizer for language modeling that supports various CPUs and tokenizers, offering significant speed improvements over HuggingFace Tokenizers. It uses SIMD and caching to achieve 1000x faster byte-pair encoding tokenization.

Malleable Computing, Emacs, and You

http://yummymelon.com/devnull/images/malleable-computing-emacs/emacs-gh.svg
The user automated a task of copying GitHub issues to an Org file in Emacs by leveraging the GitHub command line utility gh and Elisp packages, resulting in a tool called fj. This example demonstrates the malleable computing capabilities of Emacs, allowing users to create new behavior by recombining existing libraries and programs in an improvised fashion.

Quality non-fiction books are the antithesis of AI slop

https://substackcdn.com/image/fetch/$s_!EZXa!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fc0fcdcaf-a0ad-4dd5-a383-47403c929ab7_1364x1212.png
The author reflects on their experience as a library shelver, where they developed a habit of reading random pages from books, leading to a filtered form of auto-didacticism. This experience sparked a passion for non-fiction books, which they believe are in a golden age despite declining readership.

Safari Technology Preview 248 Released

https://webkit.org/wp-content/themes/webkit/images/preview-card.jpg
Safari Technology Preview Release 248 is now available for macOS Golden Gate and Tahoe with various bug fixes and improvements. It includes fixes for VoiceOver, CSS, and JavaScript issues, as well as support for new features like BigInt Math and Digital Credentials.

Medici family mystery may be solved after more than 400 years

https://media.cnn.com/api/v1/images/stellar/prod/francesco-i.jpg?c=original&q=w_1093,c_fill
Scientists have confirmed that Grand Duke Francesco I de' Medici and his wife Bianca Cappello died from malaria in 1587. DNA analysis found genetic traces of the malaria parasite in their skeletal remains, resolving a long-standing debate over whether they were murdered or died from the disease.

Show HN: Bento - An entire PowerPoint in one HTML file (edit+view+data+collab)

Bento/Slides

Are AI Labs Pelicanmaxxing?

A user tested seven AI models on generating SVGs of animals on vehicles, including the famous "pelican on a bicycle" prompt, and found no evidence that labs are optimizing their models to achieve high scores on this benchmark. The results suggest that AI labs may be using a technique called "SVGmaxxing" to improve their overall performance, rather than specifically optimizing for the pelican ...

John C. Dvorak has died

https://pbs.twimg.com/profile_images/1350980458/na_twitter2_200x200.gif
It is with great sadness that we announce the passing of John C. Dvorak, our beloved husband, father, and cherished host of the No Agenda Show at the age of 74. More to follow.

Everyone Should Know SIMD

SIMD allows CPUs to operate on multiple values in parallel, resulting in significant speedups for large datasets. By following a common five-step pattern, developers can easily write SIMD code that is nearly as simple as a scalar loop.

Any text-to-SQL benchmark should address difficulties of real-world data stores

The website is using Cloudflare security and blocked my action, possibly due to a trigger like a certain word or SQL command. I was trying to perform an action when this page came up, and the Cloudflare Ray ID is needed to report the issue to the site owner.

Nobody knows what a used GPU cluster is worth

https://substackcdn.com/image/fetch/$s_!PVG7!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F5a783afd-54c3-4c94-b9ee-510cad590c80_2240x1356.png
Lenders are financing AI infrastructure with debt collateralized by GPUs, whose value depends on operational state, which is invisible to lenders. This creates a risk that lenders cannot measure, resulting in a high premium for the debt.

Making

https://beej.us/blog/data/ai-making/images/nail.jpg
The author feels a strong connection to making things and finds fulfillment in creating projects, but struggles with claiming credit for AI-generated work. They believe there's a difference between making something and asking someone else to make it.

I Inspected My Take-Home Interview Project. It Was a Whole Operation

https://citizendot.github.io/_astro/Screenshot_20260719-211026.DcWSSXgd_1u3gxU.webp
A recruiter reached out with a lucrative Python developer role at a Y Combinator startup, but the job description and pay info raised red flags. The recruiter sent a take-home assignment that contained a malicious script that silently executed a remote payload.

The startup's Postgres survival guide

https://hatchet.run/assets/alexander-DJQH1e6h.jpg
The user is creating a guide for optimizing Postgres performance, covering topics such as indexing, query planning, and autovacuum, and recommends using connection poolers and batching to improve throughput. The guide also touches on advanced Postgres features like row-level locking, partitioning, and triggers, and provides tips for migrating large tables and avoiding table bloat.

Launch HN: Unlayer (YC W22) – Add email and document builders to your app

https://unlayer.com/_next/image?url=%2Fhome-builder-showcase.png&w=3840&q=75
Our platform offers beautiful builders for emails, pages, and documents with AI assistance and developer APIs for seamless content creation. It embeds one or all four builders in your app, providing a unified experience with a helpful layer and full developer surface.

Taking OCaml and Eio for a Spin

The user started learning OCaml, a functional programming language, after being interested in it for a long time. They found Real World OCaml to be a helpful resource, but it lacked exercises, so they used CS3110 as a beginner's course and then moved to RWO for more advanced features.

Fairphone 6 wide camera experimental Linux support

The user successfully enabled the ultra-wide camera on the Fairphone 6 by porting the mainline OV13B10 driver and configuring libcamera for Bayer frame processing and auto-exposure. However, the main and front cameras, autofocus, and full ultra-wide field of view are still not supported due to missing mainline drivers and software ISP limitations.

Nvidia DGX Spark as a daily driver

https://pics.dllu.net/file/dllu-pics/2026-05-16-14-06-47_DSCF8875_e8ac2c2936fe9241c5e3436262d7e6034369ad50_0af4368a28eb7d95-600.jpg
The user bought an NVIDIA DGX Spark for $4000, which is now $4700, and found it to be a power-efficient and quiet general-purpose computer with a decent GPU and 128 GB of unified memory.

Why do we love music? (2018)

The human brain's ability to perceive and enjoy music is linked to the interaction between auditory perception and the reward system, which evaluates the outcomes of predictions and generates emotions. This interaction is essential for musical pleasure, and disruptions in this process can lead to a lack of enjoyment of music.

So Reddit has decided that plain HTML is unsafe

https://www.cole-k.com/img/reddit/old-reddit-login.png
The author is upset with Reddit's decision to limit access to old.reddit.com due to security concerns, claiming it's a pretext to prevent scraping of user-generated content. The author believes Reddit is prioritizing its own interests over community needs.

Ghost Cut – or why Cut and Paste is broken everywhere

https://ishmael.textualize.io/assets/img/blog/ghostcut.gif
The user discusses the flaws in traditional cut and paste functionality, including undo issues and document reflow. They propose a new feature called "Ghost Cut" that allows for a reversible and undoable text move operation.

Businesses with ugly AI menu redesigns

https://bear-images.sfo2.cdn.digitaloceanspaces.com/yap/unnamed.webp
The user visited a Filipino restaurant that revamped its menu with AI-generated designs, which they found disturbing and poorly done. They ordered the spamsilog, a comfort food dish, for $10, but were conflicted about supporting a small business that used AI in its signage.

Can a MUD evaluate LLMs? A $99 proof of concept

https://cruciblebench.ai/social-card.png
CrucibleBench applies a design philosophy to AI evaluation using a MUD with constraints that make behavior measurable. It detects hallucinated actions, measures trust and suspicion, and assesses action efficiency in a persistent text world.

Back to Kagi

User returned to Kagi after trying other search engines due to its unique features and commitment to user privacy. They found Kagi's results quality and customization options superior to alternatives like Google, DuckDuckGo, and Brave Search.

Which streaming service was that on again?

https://www.timwehrle.de/fileadmin/_processed_/5/4/csm_oscar-nord-Sd87V72cJEU-unsplash_f7aef4745c.webp
The author is a movie fan who dislikes the current state of streaming services, which have become fragmented and confusing. They feel that the original promise of streaming has been lost due to the proliferation of multiple services and the return of ads.

Does creatine make you smarter?

https://dynomight.net/img/creatine/the_biglin_brothers_racing.jpg
Creatine is a nutrient that increases short-term energy storage and has been shown to improve strength and sprint performance, but its effects on cognitive function are unclear and may be small. While some studies suggest a benefit, others have found no effect, and the European Food and Safety Authority has concluded that there is no consistent evidence for cognitive benefits from creatine ...

Mechanical light bulb from 1675 [video]

10 REM"_(C2SLFF4

https://beej.us/blog/data/mystery-comment/images/wcas.jpg
The author of the 80s microcomputer game The Wizard's Castle embedded machine code in a REM statement to seed the PRNG, which was not immediately apparent due to the use of non-ASCII encoded glyphs. The machine code was later discovered to be a routine that retrieves a random value from the screen and uses it to seed the PRNG, providing a unique randomly-generated dungeon for each game.

“We have information that Moonshot distilled Fable for the development of K3”

https://pbs.twimg.com/profile_images/2036415476335833088/WPlUcJxT_200x200.jpg
Moonshot AI developed a platform to distill Anthropic's Fable for its K3 model, using U.S. models and evading detection. The US supports open AI innovation, but large-scale covert distillation to steal tech is unacceptable.