Adding a feature because ChatGPT incorrectly thinks it exists

Mercury: Ultra-fast language models based on diffusion

Abstract page for arXiv paper 2506.17298: Mercury: Ultra-Fast Language Models Based on Diffusion

# [derive(Clone)] Is Broken

Not just `#[derive(Clone)]`, but all of the standard trait derives are

Show HN: NYC Subway Simulator and Route Designer

The Two Towers MUD

Epanet-JS

Celebrating a little bit of legacy from Placemark and a new product for hydraulic simulation

I used o3 to profile myself from my saved Pocket links

Welp, Pocket shuts down tomorrow despite our pleas for it to stay. While migrating1 all of my saved articles, I noticed that I’ve got almost 900 saved articles spanning nearly 7 years. That’s a goldmine of stuff-I-like data! Some quick analysis using xsv2: 𝄢 unzip pocket.zip && xsv headers part_000000.csv 1 title 2 url 3 time_added 4 tags 5 status 𝄢 xsv sample 1 part_000000.csv | xsv flatten title The Uncertain Future of American Libraries url https://mek.

My first verified imperative program

One of the many exciting new features in the upcoming Lean 4.22 release is a preview of the new verification infrastructure for proving properties of imperative programs. In this post, I’ll take a first look at this feature, show a simple example of what it can do, and compare it to similar tools.,One of the many exciting new features in the upcoming Lean 4.22 release is apreview of the new verification infrastructure for proving properties of imperativeprograms. In this post, I’ll take a first look at this feature, show a simpleexample of what it can do, and compare it to similar tools.

CU Randomness Beacon

Generate random values extracted from quantum correlations in a way that can be verified by anyone.

What is going on in Unix with errno's limited nature

What Microchip doesn't (officially) tell you about the VSC8512

When Figma starts designing us

The subtle ways in which design tools shape how we think and what we make

The Miyawaki Method of micro-forestry

The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green-space enthusiasts, industry, and government,The Miyawaki Method of micro-forestry is a viral sensation: sprouting tiny, dense, native tree cover in neighbourhoods all around the world. With the promise of afforestation at a revolutionary speed, this planting technique has become the darling of green-space enthusiasts, industry, and governments alike —yet few professional or academic ecologists have commented on its efficacy, or even seem to have heard of it! In this episode, we deba

LookingGlass: Generative Anamorphoses via Laplacian Pyramid Warping

ChatGPT testing a mysterious new feature called 'study together'

The mode is apparently the chatbot's way of becoming a better educational tool. Rather than providing answers to prompts, some say it asks more questions and requires the human to answer.

New sphere-packing record stems from an unexpected source

After just a few months of work, a complete newcomer to the world of sphere packing has solved one of its biggest open problems.

The chemical secrets that help keep honey fresh for so long

Honey is a natural sweetener, and bacteria loves to feast on sugar. But honey is remarkably resistant to spoilage. What's behind its ability to beat the bugs?

Why are there no good dinosaur films?

running on jurassic park's fumes for over 30 years

François Chollet: The Arc Prize and How We Get to AGI [video]

Enjoy the videos and music you love, upload original content, and share it all with friends, family, and the world on YouTube.