#hackernews

Apple should be ashamed of its hostile App Store rating system

MakeUseOf

This 50MB operating system can resurrect your old PC

My dying Dell Inspiron runs like new with this forgotten Linux distro.

GitHub - lzprograma/Chip-Hexa: Experimental 16-core processor architecture exploring hexagonal interconnects, energy efficiency, and performance-per-cost optimization.

Experimental 16-core processor architecture exploring hexagonal interconnects, energy efficiency, and performance-per-cost optimization. - lzprograma/Chip-Hexa

Wind and solar overtake fossil fuels in Germany for the first time | Hacker News

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

US sanctions force The Netherlands off Microsoft and toward alternative NixOS-based software ecosystem — trial programs running now, first release expected at end of 2027

The U.S. imposed sanctions on the International Criminal Court, preventing it from using ubiquitous U.S.-based software.

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

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

Md Ismail Šojal 🕷️ (@0x0SojalSec) on X

The Cyber-OSINT model that You can run locally. - MoE (26B total, 4B active, 262K ctx) trained on 6,500 OSINT/CTI instructions. - SFT for cyber threat intel and investigative work. - Threat-actor attribution. - IoC pivoting. Geolocation. - Admiralty source grading. - 262K context.

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

Gergely Orosz (@GergelyOrosz) on X

Oh my god, Firebase’s SDK started to crash ALL iOS apps that were using it, for ALL sessions, just like that, no way for any of these apps to do anything… How amateur is all of this from any SDK, but especially one from a company with as high of an engineering bar like Google…

Phyllotaxis: An audio-reactive LED display | Hacker News