From Hacker News Front Page · 40 stories
Elliptic Curve with Rank ≥ 30 Discovered
A new elliptic curve, identified as #273, has been found to have a rank of at least 30. This discovery is significant for number theorists working on the Birch and Swinnerton-Dyer conjecture, as high-rank curves are rare and provide valuable data for research.
125M-parameter transformer model autocompletes piano performances on-device
A developer trained a 125M-parameter transformer model to autocomplete piano performances in real-time on an iPhone 15, achieving approximately 108 notes per second. This development demonstrates the potential for on-device AI in creative applications, specifically in music generation, by optimizing MIDI representation and data cleaning.
Collaborative Human Agent Protocol (CHAP) introduced for tracking human-AI interactions
The Collaborative Human Agent Protocol (CHAP) has been released to standardize how human edits and approvals of AI-generated content are recorded. This protocol provides a structured way to store and query decisions made during human-AI collaboration, addressing the current fragmentation of such data across various applications and logs.
os8088 1.0 Released: A Mac-like OS for IBM XT and 286/386 Systems
os8088 1.0, a new graphical operating system, has been released for Intel 8086/8088 processors, offering a Macintosh System 1-style desktop with pre-emptive multitasking. This project demonstrates a modern re-imagining of early graphical interfaces for vintage hardware, providing a functional alternative to historical systems like GEM.
Semiclassical Einstein Equations Derived from Quantum Relative Entropy
Researchers have demonstrated that the semiclassical Einstein equations can be derived from quantum relative entropy and its proportionality to an area variation. This approach generalizes Jacobson's thermodynamic derivation by replacing classical thermodynamic entropy with quantum relative entropy, suggesting a central role for quantum information in quantum field theory in curved spacetimes.
Casio Releases F-B100W, an Update to the F-91W Digital Watch After 40 Years
Casio has introduced the F-B100W, a new digital watch model that serves as an update to the F-91W, which has been available for 40 years. This release brings a modern iteration to a long-standing product line.
Air Theremin Launches Browser-Based Instrument Playable via Webcam or Gyroscope
Air Theremin, a new browser-based musical instrument, allows users to play a theremin using hand gestures detected by a webcam or by tilting a smartphone's gyroscope. This release makes the theremin accessible without specialized hardware, leveraging common device sensors for interaction.
Palomar Registry Launched for Lean Verified Mathematics Submissions
The Palomar registry, an initiative by Lean FRO and ICARM, is now open for submissions of Lean verified mathematics. This registry aims to provide a standardized way to check and catalog formal Lean proofs, addressing challenges in verifying AI-generated proofs and ensuring their accuracy and adherence to best practices.
Tool Automatically Detects and Patches Softlocks in Classic Sierra SCI Games
A new static analysis tool decompiles Sierra SCI games, identifies "walking-dead states" or softlocks where victory becomes impossible, and automatically generates and installs patches to prevent them. This tool operates without game-specific declarations, discovering game parameters from the code itself, and has been tested on four classic Sierra titles.
OpenLogi: A Native, Local-First Alternative to Logitech Options+ for Peripheral Control
OpenLogi is a new open-source application written in Rust that provides native, local-first control for Logitech peripherals, offering an alternative to Logitech Options+. It allows users to remap buttons, control DPI, and manage SmartShift without requiring an account or telemetry, directly interacting with devices over HID++.
UK-developed CosmoCube satellite to use Moon's far side for early universe observation
A UK-developed satellite named CosmoCube will orbit the Moon to study the universe's "dark ages" before the first stars, using the Moon's far side to shield against Earth's radio interference. This mission aims to detect the faint 21-centimeter line signal from hydrogen atoms to understand the early universe and the role of dark matter.
Tower Optical Sells Public Viewers to Private Buyers for the First Time in 90 Years
Tower Optical, a company known for its coin-operated binocular viewers at scenic overlooks, is now selling a limited number of these units to private buyers for the first time in its 90-year history. This marks a shift in the company's business model, previously focused solely on public installations.
3D Fruit Fly Desktop Application Simulates Connectome on macOS
A new macOS application renders a 3D fruit fly on the desktop, driven by a real-time spiking simulation of a subset of the FlyWire connectome. This allows the virtual fly to exhibit behaviors like walking, grooming, and fleeing based on simulated neural activity, providing an interactive visualization of neuroscientific data.
Columbia House, Mail-Order Media Company, Announces September 15th Shutdown
Columbia House, known for its mail-order music and later DVD/Blu-ray club, is shutting down on September 15th. This marks the end of a company that once had 16 million members, reflecting the ongoing shift from physical media to digital distribution.
New macOS Data Protection Keychain for Electron and Node.js applications released
A new package provides secure storage for signed Electron and Node.js applications, utilizing the modern macOS Data Protection Keychain. This allows developers to protect sensitive data with code-signing access groups, device-owner authentication, and iCloud sync, improving security for desktop applications on macOS.
Openleetcode: A Local LeetCode Runner with Repository-Based Tests and Runtimes
Openleetcode is a new local LeetCode runner that allows users to test solutions against open test suites and runtime templates stored directly in the repository. This tool provides a local execution environment for LeetCode problems, offering developers more control over their testing setup.
NeoBrowser is an MCP server for AI models to use real Chrome with logged-in sessions
NeoBrowser is a new MCP server that allows AI models to interact with websites using a real Google Chrome browser and existing logged-in user sessions. This approach helps AI models bypass bot detection and login walls by appearing as a genuine user, unlike typical headless browser solutions.
Local MITM Proxy Controls TLS/HTTP/2 Fingerprints for WAF Bot-Detection Testing
A new local Man-in-the-Middle (MITM) proxy has been released that allows users to control TLS (JA3/JA4) and HTTP/2 fingerprints, HTTP header order, User-Agent, and source IP headers via a single YAML configuration. This tool is designed for authorized security testing of Web Application Firewall (WAF) bot-detection systems.
scScript, a C-like scripting language with integrated scEmacs editor, released for Linux
scScript, a C-like scripting language, has been released for 64-bit Linux, featuring efficient bytecode compilation and a fast virtual machine. It integrates with scEmacs, a display editor, and offers C-like syntax with features such as automatic arrays, dictionaries, and closures. This release provides a new scripting option for developers working on Linux systems who prefer a C-like environment.
Fairphone 6 PostmarketOS gains main camera functionality and emergency call testing approval
A developer has enabled the main camera on the Fairphone 6 running PostmarketOS, including autofocus and color correction, building on previous wide-lens camera work. Additionally, emergency calling tests for Linux phones have been approved for August 18th, moving closer to verifying this critical function.
SecretSpec forks dotenvy into dotenv-ng 1.0 for improved .env file parsing in Rust
SecretSpec has forked the `dotenvy` Rust crate, releasing `dotenv-ng` 1.0 to address issues with `.env` file parsing, particularly regarding secret values and variable substitution. This new implementation aims to provide a more robust and correct way to load `.env` files, which is critical for applications that rely on them for configuration.
Sun Clock Adds PWA Support, Dark Mode, Annual Calendar, and Bug Fixes
Sun Clock, a 24-hour clock displaying solar and lunar information, has been updated with Progressive Web App (PWA) functionality, an annual calendar, dark mode, and various bug fixes. These updates improve the application's accessibility, features, and user experience.
Saggar Terminal for Mac Organizes Sessions and Provides Remote Control
Saggar, a new native macOS terminal application, helps developers manage multiple terminal sessions by tracking their status and prioritizing those requiring attention. It also offers a companion app for remote monitoring and interaction with terminal sessions from a mobile device.
JavaScript Sokoban AI Solver Demonstrates Optimal Solutions for Puzzle Game
A new JavaScript-based AI solver for the puzzle game Sokoban has been released, capable of finding provably optimal solutions for many boards. This solver utilizes an A* search algorithm with several optimizations to efficiently determine the fewest possible moves.
Desktopcolors.com Launches as a Museum for Classic OS Solid Background Colors
Desktopcolors.com has launched, archiving solid background colors from classic operating systems like Windows 95, Mac OS 8, and Amiga Workbench. This resource provides a historical reference for the visual design of early computing environments.
GIMP 3.3.2 Development Release Introduces New Project File Format and Spectral Blending
GIMP announced the upcoming 3.3.2 development release will feature a new zipped XML-based project file format to replace XCF, enabling faster saving and future features like auto-saving. The update also reintroduces Spectral Blending to the MyPaint Brush Tool, which simulates physical pigment mixing.
AGI-64 Interpreter Brings Sierra AGI Games to Commodore 64
AGI-64, a new interpreter, is bringing Sierra's Adventure Game Interpreter (AGI) games to the Commodore 64, with Space Quest 1 already playable. This development allows classic adventure games to run on original Commodore 64 hardware, expanding the retro gaming experience for enthusiasts.
Prolly Rust Library Released for Content-Addressed Ordered Maps
The `prolly` Rust library crate has been released, providing content-addressed prolly tree storage primitives for immutable, ordered key-value indexes. This library offers efficient structural sharing, diff, merge, and bulk loading capabilities for developers working with persistent data structures.
Rhombus 1.1 Released with Annotation Definitions and Binding Form Improvements
Rhombus, a general-purpose programming language, has released version 1.1, introducing new ways to define annotations and improvements to binding forms. This update provides developers with more flexible and readable syntax for language customization and code organization.
Open-source tool detects crypto pump/dump regimes using Binance and Bybit data
An open-source TypeScript pnpm monorepo has been released that detects cryptocurrency pump and dump schemes using public market data from Binance and Bybit. The tool alerts users via Telegram and includes a web interface for reviewing detected events, aiming to create a human-labeled dataset for improving detection accuracy.
Cloudflare reportedly injects analytics JavaScript by default when nameservers are switched
A user reported that Cloudflare automatically injected a JavaScript analytics snippet into their website after switching nameservers to Cloudflare. This behavior requires users to opt-out manually through the Analytics dashboard rather than opting in.
St. Lucie Nuclear Reactor Unit 1 Manually Shut Down After Control Rod Drop
Unit 1 at the St. Lucie Nuclear Power Plant was manually shut down after three control rods dropped into the reactor core while operating at 100% power. The Nuclear Regulatory Commission (NRC) classified this event as a non-emergency, and the plant was stabilized in Hot Standby mode.
Claude's Web and Mobile Interfaces Use System Prompts for Conversation Context and Behavior
Claude's web interface and mobile apps utilize a system prompt to provide current information and guide AI behavior, such as formatting code snippets in Markdown. These prompts are updated periodically to improve responses, but these updates do not apply to the Claude API.
Grafana Agent Observability Plugin Released for Hermes Agent
A new Grafana Agent Observability plugin has been released for the Hermes Agent, enabling the recording of LLM calls and tool executions as generations, and emitting OpenTelemetry traces and metrics. This integration provides observability for AI agents, allowing developers to monitor their performance and behavior within the Grafana ecosystem.
ProofRun Tool Provides Cryptographic Verification for AI Coding Agent Test Results
ProofRun is a new tool that cryptographically verifies whether tests have actually run against the current code state when an AI coding agent reports "all tests pass." It addresses the issue of AI agents potentially reporting stale test results by binding check outcomes to a precise code fingerprint, marking results as STALE if the code changes. This tool provides developers with a reliable, offline mechanism to confirm the recency and validity of test executions reported by AI agents.
Waku: A new native application for managing coding agents built with Rust and GPUI
A developer has released Waku, a native desktop application designed to manage and interact with various coding agents. This tool aims to centralize agent activity, transcripts, and tool usage within a single interface, providing features like session management and code rollback.
Big Pickle Model Achieves 50.8% Task Resolve Rate on SWE Atlas Codebase QnA Benchmark
The Big Pickle model, a free stealth model from OpenCode Zen, achieved a 50.8% task resolve rate on Scale AI's SWE Atlas Codebase QnA benchmark using the mini-swe-agent scaffold. This performance outscored all other entries in the mini-swe-agent scaffold class and most GPT models, indicating its capability in code-related question answering tasks.
ESP32-based FM Radio Project Moves to Custom PCB Design with Enhanced Components
A project to build an FM radio using the TEA5767 tuner is progressing to a custom PCB design, replacing an Arduino UNO prototype with an ESP32 development board and integrating improved audio and display components. This update aims to create a more compact and functional device, addressing power compatibility issues discovered during development.
US Credit Card Debt Nears Record High at $1.26 Trillion in Q2
Americans' credit card debt increased by $21 billion in the second quarter, reaching $1.26 trillion, according to the Federal Reserve Bank of New York. This figure is just below the all-time record of $1.28 trillion set in late 2022, driven by strong consumer spending and rising prices for essentials. The rise in debt indicates potential financial strain for many households, with a notable increase in delinquency rates for balances over 90 days past due.
SugarTrack: An Offline Android Blood Sugar Logbook Released
SugarTrack, a new Android application, has been released to provide an offline logbook for blood sugar tracking. The app stores all data locally on the device, requiring no account or internet connection, which addresses privacy concerns for personal health information.