#hackernews

GitHub - AL-255/FM-1-RE: Reverse Engineering of the M-VAVE FM-1 Pocket Synthesizer Firmware

Reverse Engineering of the M-VAVE FM-1 Pocket Synthesizer Firmware - AL-255/FM-1-RE

arXiv.org

Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs

Autoformalisation is increasingly used to verify mathematical texts, including those generated by AI, as in OpenAI's announced proof of blow-up of solutions to the Navier-Stokes equations. In this process, an AI system translates the text from a natural language (NL) into a formal language such as Lean. Once this translation is done, the argument expressed in the formal language can easily be mechanically verified. The purpose of this article is to demonstrate why this process may offer no confi

Holocron: The Backup of Last Resort | SMYCK

molily.de

The death of web development education – Rescuing a field from disappearing

Rescuing a field from disappearing

An agent used DNS to reach an external chatbot · OpenAI Alignment

Research on aligning AI with human values and intent, and reports documenting model failures.

Global Warming at 4 Hiroshima Atomic Bombs Per Second

The earth

GitHub - PostHog/jeeves: Jeeves – Reasoning improves Jev-like decision models

Jeeves – Reasoning improves Jev-like decision models - PostHog/jeeves

Four CHI ’26 papers I wish I wrote

In the very first paper session at CHI 2026, I found myself thinking, “I wish I wrote this paper!” And then I found myself thinking that a few times more. Since I’m on the hunt fo…

Software occlusion culling in Block Game

My GPU is the integrated Radeon Vega 8 that comes with my AMD Ryzen 7 5700G CPU. I tell you this so you know that my workstation is not a graphical computing powerhouse. It is, in fact, quite weak. To its credit my integrated GPU shows up as 48% faster on UserBenchmark than the GPU in my low end hardware target; a laptop I bought in 2012.(Side note: I’m aware of accusations of inaccuracy surrounding UserBenchmarks, but it’s not that serious. I just think it’s funny that an iGPU I picked up recen

Phyllotaxis: An audio-reactive LED display | Hacker News

The systems that no one will test | Terra Incognita

This happened to me in 2020, and it has been on my mind again lately. During the worst of the pandemic, I found a vulnerability in a system that gave me access to the Brazilian federal system, and with that access I was able to retrieve information on any Brazilian (think of 200+ million people

Simulating Airband AM Radios

Yet another programming blog. Thoughts on software and related misadventures.

PacBench

PacBench: how well a model and harness can recreate Pac-Man from a single prompt.

OilPrice.com

U.S. Strategic Petroleum Reserve Falls to Lowest Level Since 1982 | OilPrice.com

The U.S. Strategic Petroleum Reserve has fallen to its lowest level since 1982 as emergency oil exchanges and the prolonged Hormuz disruption erode America’s supply buffer.