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.

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

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.

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.

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.

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.

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.

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.

Mechanical light bulb from 1675 [video]

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.

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.

Perlin's Noise Algorithm

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.

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

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

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
I bought an NVIDIA DGX Spark! It’s actually quite a competent general purpose computer while being super tiny and power efficient. It basically just has an ARM CPU, a decent NVIDIA GPU (with the same number of CUDA cores as the RTX 5070), 128 GB of unified memory, and a 4 TB SSD. DISCLAIMER: I work at NVIDIA but I bought this with my own money and the opinions are my own. I didn’t get ...

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.

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.

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.

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.

Hologram works. Elixir runs in the browser

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.

I tried to record music onto a cassette tape using modern tech

https://swiftrocks.com/images/posts/cassettemusic/found.jpg
The user found a 1978 Panasonic RQ-2106 shoebox cassette tape recorder for under 10 euros and fixed its fast-forward button by gluing a snapped cog back into place. They then used an adapter to connect the recorder to their Mac and guitar amp to amplify the sound and record music from Spotify.

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.

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.

ScreenWall – Turn old phones into synced widgets for your space

ScreenWall is browser-based software for reusing old phones, tablets, and monitors to create clocks, status boards, and ambient screens. It allows users to pair devices from their browser and create synced installations without installing anything.
https://platform-fools.com/posts/2026-04-27-nvlink/images/inference_tg_x16_nvlink_vs_shm.svg
The author tested NVLink on two RTX 3090s and found it provides a 30% boost in prompt processing speed for tensor parallel inference and a nearly 3x improvement in FSDP training. However, the benefit is largely due to enabling P2P over PCIe, which is disabled by Nvidia on consumer GPUs.