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.
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.
Mercury: Ultra-fast language models based on diffusion
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!
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.
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.
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.
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.
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.
François Chollet: The Arc Prize and How We Get to AGI [video]
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.
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.
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!
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.
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.
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.
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.
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.
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.
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.
CPU-X: CPU-Z for Linux
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.
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.
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.
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.
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.
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.
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.
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.
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!