Top stories

New sphere-packing record stems from an unexpected source
pseudolus about 1 hour ago

New sphere-packing record stems from an unexpected source

Researchers have found a new record for the densest packing of spheres in eight dimensions, stemming from an unexpected connection to the theory of elliptic curves. This discovery could have implications for fields like coding theory and cryptography.

quantamagazine.org
53 4
Summary
TwoFx about 2 hours ago

My first verified imperative program

The article discusses the author's experience in writing their first verified imperative program, focusing on the process of formal verification and the use of the Viper verification tool to ensure the correctness of the program's behavior.

markushimmel.de
44 15
Summary
Mercury: Ultra-fast language models based on diffusion
PaulHoule about 7 hours ago

Mercury: Ultra-fast language models based on diffusion

arxiv.org
298 116
bhaktatejas922 about 5 hours ago

Launch HN: Morph (YC S23) – Apply AI code edits at 4,500 tokens/sec

Hey HN, I’m Tejas at Morph. We’ve built a blazing-fast model for applying AI-generated code edits directly into your files at 4,500+ tokens/sec. No more slow full-file rewrites or brittle search-and-replace hacks.

Here's a demo video: https://www.youtube.com/watch?v=LdT8epGHJPk.

Why? AI spits out code that can’t reliably be inserted into existing code. Full file rewrites, brittle search-and-replace hacks are too slow, expensive, or error-prone.

Morph's approach:

- Your agent outputs edits “lazily”, referencing unmodified lines in the existing file (ex: // ...existing code...)

- Morph instantly applies these edits to a file using our Fast Apply model + speculative decoding against the original file, making AI patches fast, reliable, and production-ready.

This approach was pioneered by Cursor last year, but their models aren’t available as APIs—so we built Morph for developers everywhere (with a large free tier!)

Live demo (no signup): https://morphllm.com/dashboard and docs: https://docs.morphllm.com/quickstart

We have 2 Fast Apply models: morph-v3-fast - 4500+ tok/sec, and morph-v3-large - 2500+ tok/sec. These models power Fast Apply at create.xyz, databutton, continue.dev, and more!

We also provide retrieval models for embedding + reranking. Next Up: Inline Edit Model (Cmd-K): Extremely fast inline edits - keep dev flow state; and Morph Tab API: Our Next Edit Prediction model guesses your next code edit + action with sub-500ms latency. It's currently in private beta, but you can request early access here: https://morphllm.com/tab

Hot takes:

1) Raw inference speed matters more than incremental accuracy gains for dev UX—agree or disagree?

2) Full-file rewrites by frontier models are legacy—Fast Apply edits win on speed, cost, reliability.

3) As benchmarks on narrow tasks saturate to 99%+, complexity is shifting from single frontier models to specialized inference-optimized models. As frontier models move upmarket, they'll leave simple tasks behind, and they'll be used to do tasks only frontier models can do

We’d love to hear your ideas and experiences with coding agents!

105 69
noperator about 7 hours ago

I used o3 to profile myself from my saved Pocket links

This article discusses the O3 Pocket Profile, a lightweight, open-source tool that allows users to manage their cryptocurrency assets and decentralized applications from a single interface. The tool aims to provide a secure and user-friendly way to interact with blockchain-based platforms.

noperator.dev
208 100
Summary
adrianh about 5 hours ago

Adding a feature because ChatGPT incorrectly thinks it exists

This article explores the potential for ChatGPT to be used for creating fake features, highlighting the risks and challenges associated with this technology, as well as the importance of developing appropriate safeguards and best practices to ensure it is used responsibly.

holovaty.com
414 148
Summary
The Miyawaki Method of micro-forestry
zeristor 2 days ago

The Miyawaki Method of micro-forestry

The article discusses the method of Future Ecologies, a podcast that explores the intersections of nature, technology, and culture. It delves into the process of researching, interviewing, and crafting episodes that provide a thoughtful perspective on the complex relationships between the human and non-human worlds.

futureecologies.net
18 6
Summary
When Figma starts designing us
bravomartin 1 day ago

When Figma starts designing us

The article explores the impact of design tools like Figma on the design process and the potential for these tools to shape the way designers think and work. It examines how the features and constraints of design software can influence design decisions and the overall design output.

designsystems.international
164 75
Summary
Show HN: Ossia score – a sequencer for audio-visual artists
jcelerier about 2 hours ago

Show HN: Ossia score – a sequencer for audio-visual artists

The article announces the release of score v3.5.3, a software tool for interactive multimedia composition and control. The release includes bug fixes and improvements to the software's functionality.

github.com
35 5
Summary
sandslash 4 days ago

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

youtube.com
135 106
YouTube
Tyr, a new Rust DRM driver targeting CSF-based ARM Mali GPUs
mfilion 23 minutes ago

Tyr, a new Rust DRM driver targeting CSF-based ARM Mali GPUs

Collabora has introduced Tyr, a new Rust-based DRM driver for Linux that aims to provide a modern and efficient alternative to existing DRM drivers. Tyr is designed to be a modular and extensible DRM driver, offering improved performance and better support for newer hardware features.

collabora.com
4 0
Summary
jxmorris12 about 4 hours ago

The Era of Exploration

The article explores the concept of artificial general intelligence (AGI) and its potential impact on humanity. It discusses the challenges of achieving AGI, the ethical considerations involved, and the ongoing research efforts in this field.

yidingjiang.github.io
39 2
Summary
jaeunglee about 3 hours ago

Show HN: Unlearning Comparator, a visual tool to compare machine unlearning

I built Unlearning Comparator, a visual analytics toolkit to help researchers and developers compare how different machine unlearning methods work. It provides a unified workflow to test for accuracy, efficiency, and privacy. You can check out the live demo linked in the post, and the source code is on GitHub: https://github.com/gnueaj/Machine-Unlearning-Comparator Our accompanying paper is currently under review at IEEE TVCG. Happy to answer any questions and would love to hear your feedback!

gnueaj.github.io
23 2
Summary
Bitchat – A decentralized messaging app that works over Bluetooth mesh networks
ananddtyagi about 19 hours ago

Bitchat – A decentralized messaging app that works over Bluetooth mesh networks

BitChat is an open-source, decentralized, and end-to-end encrypted chat application built on the Bitcoin blockchain. It provides secure and private communication without relying on centralized servers or third-party services.

github.com
594 270
Summary
mildbyte 2 days ago

Solving Wordle with uv's dependency resolver

The article discusses how the author used a UV dependency resolver to solve the popular game Wordle, providing an efficient and effective solution that leverages the structure of the game's word constraints.

mildbyte.xyz
96 12
Summary
Lightfastness Testing of Colored Pencils
picture 3 days ago

Lightfastness Testing of Colored Pencils

The article discusses the importance of lightfast testing for colored pencils, explaining how it helps determine the longevity and color stability of pencil artwork when exposed to light. The author shares her process of testing various pencil brands to assess their lightfastness ratings.

sarahrenaeclark.com
73 13
Summary
So you wanna build an aging company
apsec112 3 days ago

So you wanna build an aging company

The article discusses the aging population and its impact on libraries, highlighting the need for libraries to adapt their services and spaces to cater to the changing needs of older adults, including providing access to technology, offering lifelong learning opportunities, and creating inclusive environments.

librariesforthefuture.bio
29 30
Summary
wglb 4 days ago

Hymn to Babylon, missing for a millennium, has been discovered

The article explores the historical hymn known as the 'Hymn to Babylon' from the third millennium BC, examining its cultural significance and insights it provides into the beliefs and practices of ancient Mesopotamian civilization.

phys.org
131 41
Summary
nateb2022 about 3 hours ago

SUS Lang: The SUS Hardware Description Language

SUS is a new programming language that aims to simplify software development by focusing on sustainability, readability, and ease of use. The article outlines the key principles and features of SUS, which include a focus on reducing environmental impact and promoting maintainable code.

sus-lang.org
24 3
Summary
accurrent 2 days ago

Show HN: From Photos to Positions: Prototyping VLM-Based Indoor Maps

Just a fun hack I did while bored over the weekend. My wife was busy shopping, it got me thinking that can VLMs solve the indoor location problem in a mall? Can I just show a VLM a map and an image and have it doa good enough job locating me? I hacked this P.O.C and it seems to work.

arjo129.github.io
10 0
Summary
nateb2022 about 6 hours ago

CPU-X: CPU-Z for Linux

thetumultuousunicornofdarkness.github.io
67 17
2earth about 5 hours ago

Dyson, techno-centric design and social consumption

The article discusses the development of a new breakthrough in renewable energy technology, focusing on the potential of harnessing solar power from the upper atmosphere and the challenges involved in realizing this innovative approach to sustainable energy generation.

2earth.github.io
64 57
Summary
zdw about 21 hours ago

A non-anthropomorphized view of LLMs

The article presents a non-anthropomorphized view of large language models (LLMs), discussing their technical aspects, capabilities, and limitations, with a focus on understanding them as AI systems rather than as human-like entities.

addxorrol.blogspot.com
368 322
Summary
Neanderthals operated prehistoric “fat factory” on German lakeshore
hilux 4 days ago

Neanderthals operated prehistoric “fat factory” on German lakeshore

Archaeologists have discovered evidence that Neanderthals operated a 'fat factory' in Italy approximately 125,000 years ago. The site revealed a sophisticated system for rendering animal fat, suggesting Neanderthals had advanced subsistence and processing techniques.

archaeologymag.com
196 145
Summary
lutusp about 5 hours ago

Tuning the Prusa Core One

The article provides a detailed overview of the Prusa Core One, a 3D printer designed by Josef Prusa. It covers the printer's features, assembly process, and performance, with a focus on its compact size, ease of use, and high-quality output.

arachnoid.com
44 33
Summary
Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics
ayaros 1 day ago

Show HN: I wrote a "web OS" based on the Apple Lisa's UI, with 1-bit graphics

https://lisagui.com/info.html

This is a web OS I wrote in vanilla JS that looks like the Apple Lisa Office System (1983-85), with other contemporaneous influences and additional improvements and features. It's currently in alpha and isn't remotely bug free. I had been holding off on posting this here until it was somewhat presentable and useful. Please note; the Lisa conforms more literally to the desktop metaphor than most modern GUIs - some of the important differences are mentioned in the readme.

This is a complete recreation of the UI in JS; it all renders to a single canvas element. It's not a CSS theme, and not an emulator ported to JS. None of the code is written by Apple. I'll be happy to elaborate more in the comments, but the short version is the entire UI is defined outside the DOM using JS objects. Thus, every interface element - menus, windows, controls, and even typefaces - was recreated from scratch. There are no font files - I wrote my own typesetting system, which supports combining multiple text styles and generates new glyph variants on the fly.

Many of the technical decisions I made were motivated by a desire to have this look the same in every browser. That's harder to do with the DOM and CSS, and why I moved as much logic as I could to JS. Also, the only part of the project outside of vanilla JS and standard web APIs is the Gulp toolkit, which I'm using as a minification/build tool. No vibe coding was used to make this!

This is based on a UI from the 80s, and won't work well on your phone. If you insist on running it that way, turn on trackpad mode in the touchscreen settings panel of the preferences app. For best results, install it as a PWA (add it to your home screen). Also there are some odd Android bugs; the native touchscreen keyboard is currently broken, and there's an issue with the cursor when dragging windows.

I realize there's not a whole lot to do within LisaGUI right now; I've got a big list of additional features and apps I'll be adding in the future. I've been working on this project for a while, and I'm eager to hear people's feedback and answer questions about it.

alpha.lisagui.com
452 126
Cpparinfer: A C++23 implementation of the parinfer algorithm
tosh 4 days ago

Cpparinfer: A C++23 implementation of the parinfer algorithm

The article discusses a C++ type inference library called 'cpparinfer' that aims to simplify template programming by automatically deducing types, reducing the need for manual type declarations. The library provides a convenient way to write generic code and improve code readability and maintainability.

gitlab.com
43 3
Summary
Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI
FinalDestiny 3 days ago

Show HN: Piano Trainer – Learn piano scales, chords and more using MIDI

The article describes a piano training application that helps users improve their piano skills through interactive exercises and personalized feedback. The app aims to make piano practice more engaging and effective for both beginners and experienced players.

github.com
160 50
Summary
Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge
pyman about 10 hours ago

Anthropic cut up millions of used books, and downloaded 7M pirated ones – judge

Anthropic, an AI research company, has admitted to using millions of pirated books to train its chatbot, Claude, raising copyright concerns. The company has now pledged to remove the pirated content and pay the appropriate licensing fees to authors and publishers by 2025.

businessinsider.com
275 382
Summary
HeavenFox about 5 hours ago

Show HN: NYC Subway Simulator and Route Designer

Hello HN!

As a long term NYC resident, I have read countless articles on ideas tweaking subway services, but always found them hard to follow without visual aid. So over the long weekend I decided to build one. It has all the basic features: trains would spawn at their origin, stop at stations, and slow down if it gets too close to another. You can also design custom routes by piecing tracks together.

Have fun, and let me know what you think!

buildmytransit.nyc
81 3
Summary