#hackernews

GitHub - Dodaios/ste80-humanizer: STE80 Humanizer: agent skill that removes AI tells and rewrites text 80% of the way to ASD-STE100 (Simplified Technical English), the method Andrej Karpathy shared.

STE80 Humanizer: agent skill that removes AI tells and rewrites text 80% of the way to ASD-STE100 (Simplified Technical English), the method Andrej Karpathy shared. - Dodaios/ste80-humanizer

retrosongbird.com

Retro Song Bird

Relive the sounds of your classic games

psiquantum.com

PsiQuantum Unveils Optical Circuit Switch Technology Built on Advanced, Low-Loss Silicon Photonics Platform — PsiQuantum

PsiQuantum today unveiled its Optical Circuit Switching (OCS) technology, demonstrating how the company’s advanced, low-loss silicon photonics platform can be applied to some of the most significant scaling challenges facing AI infrastructure. 

alsterrunde.com

From Charlemagne to the Kitchen Boy: Reading the Hamburg Rathaus

The Hamburg Rathaus tells the story of its city in more than a hundred small details, and this is my walk through them.

tinylittleoffice.com

Tiny Little Office: the link is the document

A tiny office suite where the link is the document. No accounts. Nothing is saved anywhere unless you choose to keep it on this device.

alexkras.com

Front Page of Hacker News in 5 Easy Steps

First, let me establish some credibility. In the past year a few of my posts made it to the front page of Hacker News, including: Prior to my first Hacker News (HN) breakthrough, my articles have been…

patrick-breyer.de

EU Parliament greenlights Chat Control 1.0 – Breyer: "Our children lose out"

Today, the European Parliament allowed the suspicionless mass scanning of private communications ("Chat Control 1.0") to pass, a measure it had rejected twice in March. Although a majority of voting Members of the European Parliament (MEPs) actually opposed the regulation (314 against, 276 in favor,

GitHub - xoreaxeaxeax/REpsych: Psychological warfare in reverse engineering

Psychological warfare in reverse engineering. Contribute to xoreaxeaxeax/REpsych development by creating an account on GitHub.

makeuseof.com

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

smyck.net

Holocron: The Backup of Last Resort | SMYCK

molily.de

The death of web development education

Rescuing a field from disappearing

alignment.openai.com

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.

4hiroshimas.info

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