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.

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.

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

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.

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

Malleable Computing, Emacs, and You

http://yummymelon.com/devnull/images/malleable-computing-emacs/emacs-gh.svg
It all started with a routine task. I use GitHub issues for all of my public-facing projects but my preference is keeping track of things in Org Agenda. To reconcile the two, I would manually copy over the GitHub issue to an Org file, typically the title and description, like an animal. Despite this separation, the duplicated issue allowed me to treat it as a scratchpad for anything I could ...

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.

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.

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.

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.

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 Fairphone 6 is an interesting target for mainline Linux and postmarketOS for a few reasons: Fairphone aims to support its devices for a long time, so the phone could provide a stable base for future work. There are still two main blockers to making the device generally usable: onboard audio and camera support. I am working on a project that needs QR scanning, so I used that as an ...

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.

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.

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.

Full Scale Foldable Wing Extensions

https://mediarenditions.airbus.com/v-Gf8PiU6uWi1lECiYdjONTK18FUH5JLOiuywC6bmtg/resize?src=kpkp%3A%2F%2Fairbus%2F38%2F669%2F669220-p3dvu5wugd.jpg&w=480&h=270&poiX=50&poiY=50&el=true&t=fill-down
Airbus is launching a new flight-test campaign to evaluate high-span wings for next-generation single-aisle aircraft. The campaign will test full-scale wing extensions on an A321neo aircraft over the next three years.

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.

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.

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.

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

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

Critical Minerals: Reducing U.S. import reliance with substitution and recycling

You don't have permission to access "http://www.gao.gov/products/gao-26-108687" on this server.