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.

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.

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.

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 ...

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.

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.

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.

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.

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.

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.

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.

Mechanical light bulb from 1675 [video]

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 ...

“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.

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.

Show HN: DeepSQL – A self-hostable DBA agent for Postgres and MySQL

https://deepsql.ai/assets/claude-D_ikSYls.png
DeepSQL optimizes database performance, cuts costs by 40%, and provides BI dashboards. It installs on Linux, EC2, or containers, indexes schema, and learns workloads for senior DBAs and data engineers.

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.

Perlin's Noise Algorithm (2023)

https://blog.jaysmito.dev/_astro/perlin-noise-random.B4upt92-_ZHHzBp.webp
Noise is a function that generates values following specific rules, and it can be classified into 1D, 2D, 3D, etc., based on the number of parameters it takes. Perlin noise is a type of noise developed by Ken Perlin in 1983, which uses precalculated unit vectors and a permutation table to generate a smooth, coherent noise pattern.

Introduction to Formal Verification with Lean Part 1

https://framerusercontent.com/images/SGVAzKgV3Z8ZmS9wfKGBKxUfA.png?width=1758&height=1160
Formal verification is a tool used to verify correctness of mathematical statements, and Lean is a functional programming language and theorem prover that can be used to write down proofs in code and get them machine-checked. The tutorial aims to introduce cryptography engineers to the basics of formal verification using Lean by walking through the very basics of Lean and formally verifying ...

Taking OCaml and Eio for a Spin

My first blog post on this website was about Haskell. I've always been interested in functional programming but the complexity of Haskell never seemed worth. I have been vaguely aware of OCaml for a long time but never dipped my toes in. It has been having a bit of a renaissance recently with multicore support, effects and a more systems focussed spin called OxCaml from Jane Street. Now ...

Show HN: Web swing through midtown NYC

GENERATING VOXEL MANHATTAN…
https://www.orangecrumbs.com/hall/assets/social-card.png
5+ submissions · 3+ distinct submitters · 3+ active years · 2 qualifying breakout events from different submitters at least 720 days apart. See exact thresholds and limitations

Passkeys were invented by engineers with zero understanding of consumer brain

https://pbs.twimg.com/profile_images/1755448801957945344/Fh2HNw5Y_200x200.jpg
Passkeys were invented by security engineers with zero understanding of the consumer brain. We had no way to argue its merits since no one understood what they are. As a result, we are now all asked to produce the magic fairy dust to login to apps. It may be on your phone, in your browser, in your operating system, in your body, who knows. But now you’re safe.

Hologram Works. Sponsor What Comes Next

https://hologram.page/images/logomarks/oban-152c42de3d2737b4edac356d7f718b51.svg
Hologram, a full-stack framework, has made significant progress with Elixir running in the browser and a local-first data layer being built. Companies can sponsor Hologram to support its development and gain benefits such as priority on the roadmap and recognition in release announcements.

OpenNode – Bitcoin Payment Processor

https://opennode.com/_nuxt/img/Hero.34316e4.jpg
Get lightning-fast, low-cost bitcoin payments and payouts for your business with our powerful API, ecommerce plugins, or hosted payment pages. We integrated easily with OpenNode's API to accept bitcoin transactions both on- and off-chain with minimal fuss.

LG to ban residential proxies from smart TV apps

https://krebsonsecurity.com/wp-content/uploads/2026/07/smarttv-proxysdks.png
LG Electronics USA plans to suspend apps on its smart TVs that turn devices into residential proxy nodes. The move comes after researchers found 42% of LG apps allowed unknown third-parties to route internet traffic through users' TVs.

Intel Starts Shipping High-NA EUV Silicon

https://substackcdn.com/image/fetch/$s_!sodI!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2Fdf90b04e-f34e-4418-a974-018ec1594feb_4000x2667.jpeg
Intel has started using its High-NA EUV scanner in production, patterning layers on its newest notebook processors. The tool, worth $380 million, is a big step forward in chip production but its long-term economics are still uncertain.

Neo Radar: A browser-based orbital mechanics engine with 41k real asteroids

NEO Radar integrates trajectories from JPL Horizons with full gravitational perturbations from outer planets, providing accurate numbers for mission planners. It also accounts for the keyhole problem in Jupiter-flyby trajectories and includes observation arcs and uncertainty parameters.

ICE shared Medicaid data it wasn't supposed to have with Palantir

https://npr.brightspotcdn.com/dims3/default/strip/false/crop/8197x5465+0+0/resize/1100/quality/50/format/jpeg/?url=http%3A%2F%2Fnpr-brightspot.s3.amazonaws.com%2F31%2F0a%2F985bf9d445ac8eb7b390e32ace09%2Fgettyimages-2277890925.jpg
Medicaid officials improperly shared data with ICE, which was then shared with Palantir, a data analytics firm. A US judge has temporarily paused data sharing and is set to clarify his order in August after federal officials admitted to additional instances of improper data sharing.