Top stories

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.

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.

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!

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.

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.

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.

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.

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.

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.

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.

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!

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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!