A recent experience with ChatGPT 5.5 Pro

A mathematician used ChatGPT 5.5 Pro to improve the upper bound on a problem in additive number theory from exponential to polynomial in time, with the AI producing a result that was almost certainly correct according to a human expert. The mathematician suggests that the era of human mathematicians solving problems independently may be coming to an end, and that the future of mathematics ...

Internet Archive Switzerland

https://blog.archive.org/wp-content/uploads/2026/05/IA-Switzerland-logo.png
Internet Archive Switzerland launched as a non-profit foundation in St. Gallen to preserve endangered archives and AI models. It joins a global network of mission-aligned organizations to build a distributed digital library.

Using Claude Code: The unreasonable effectiveness of HTML

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

Bun's experimental Rust rewrite hits 99.8% test compatibility on Linux x64 glibc

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

EU Parliamentary Research Service calls VPNs "a loophole that needs closing"

https://cyberinsider.com/wp-content/uploads/2026/05/73592.jpg
European regulators warn that VPNs are being used to bypass online age-verification systems, describing it as a loophole that needs closing. Regulators are considering measures to restrict VPN access to adults only, but this could weaken anonymity protections and create new surveillance risks.

LLMs corrupt your documents when you delegate

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
Large Language Models (LLMs) degrade documents during long workflows, corrupting 25% of content on average. Current LLMs are unreliable delegates, introducing severe errors that silently corrupt documents over time.

Meta's embrace of A.I. is making its employees miserable

Meta plans to track US employees' computer activity to train AI models, sparking employee backlash and concerns over privacy. Employees have no option to opt out of the tracking on corporate laptops.

GrapheneOS fixes Android VPN leak Google refused to patch

https://cyberinsider.com/wp-content/uploads/2026/05/73173.png
GrapheneOS has released an update to fix a VPN bypass vulnerability that leaks a user's real IP address even with Android's VPN protections enabled. The update disables a QUIC connection feature and includes the May 2026 Android security patch level and other security improvements.

I’ve banned query strings

The user doesn't want tracking stuff in URLs and has banned unauthorized query strings on their site. They're testing Caddy's handling of query strings at /no-query-strings.

The hypocrisy of cyberlibertarianism

https://matduggan.com/content/images/2026/05/image.png
The user reflects on the early days of the internet and how the ideology of cyberlibertarianism, which emphasized individual freedom and deregulation, led to the creation of a platform that prioritizes profit over people and has devastating consequences. The user argues that it's time to face the facts that this ideology has failed and that we need to evolve and find a new ethical code to ...

Distributing Mac software is increasing my cortisol levels

https://blog.kronis.dev/user/pages/blog/apple-is-increasing-my-cortisol-levels/01-quarantine.jpg
The author is creating a Go utility to manage Claude Code profiles but is frustrated with Apple's developer program requirements, including a yearly subscription and ID verification process that doesn't work well with their MacBook's webcam.
Clients often add features like chatbots to websites due to fear of looking outdated, not because they're useful. They prioritize appearance over simplicity and usability.

Over 97% of the 'Linux' Foundation's Budget Goes Not to Linux

https://techrights.org/i/2026/05/kernel-money.png
The Linux Foundation allocates only 2.95% of its budget to Linux, sparking concerns about mission creep and openwashing. Critics argue the foundation has strayed from its original purpose, prioritizing other technologies over Linux.

Zed Editor Theme-Builder

https://zed.dev/_next/image?url=%2Fimg%2Ftheme-builder-dark.jpg&w=3840&q=75
Access Zed's theme builder from the desktop and browse available theme extensions. The MeetingScheduler component helps schedule meetings about scheduling meetings.

People Hate AI Art

https://mccue.dev/pages/5-8-26-dinosaur-ai.png
Using AI art in key visuals can signal low social literacy and negatively impact audience perception. Creating original art or commissioning a professional can improve perception and show critical thinking skills.

Getting arrested in Japan

https://images.squarespace-cdn.com/content/v1/605f04a61395e21d304e636a/068a1a20-0ae4-4cc6-8a76-6bb660ac0e41/Murder+Mile.jpeg
Japan's detention system is strict and designed to wear people down mentally and physically, with rules controlling even the smallest details of daily life, and innocent people can be locked inside for weeks or months while proof of their innocence slowly moves through the system. The system is flawed, and people who are arrested can face prolonged isolation, intense interrogation, and poor ...

CPanel's Black Week: 3 New Vulnerabilities Patched After Attack on 44k Servers

https://www.copahost.com/blog/wp-content/uploads/2026/05/9d592da9-48e6-4f09-b972-a73a543c754a.png
cPanel released a second emergency security patch on May 8, 2026, covering three new vulnerabilities: CVE-2026-29201, CVE-2026-29202, and CVE-2026-29203. Two of the three vulnerabilities have a CVSS score of 8.8, indicating High severity.

Forking the Web

Rodrigo Arias Mallo proposes an alternative to the Web with a simple, short specification to ensure diversity of browsers and low development effort. The goal is to create a standardized, non-ambiguous format for exchanging information among humans.

Bun ported to Rust in 6 days

Something went wrong, but don’t fret — let’s give it another shot. Some privacy related extensions may cause issues on x.com. Please disable them and try again.

Show HN: I made a Clojure-like language in Go, boots in 7ms

https://raw.githubusercontent.com/nooga/let-go/main/meta/logo.png
let-go is a Clojure-family language compiler and VM for Go that produces a single ~10MB binary with ~7ms cold start. It supports standalone executables, WASM web apps, and embeds cleanly as a scripting layer for Go programs.

Killswitch: Per-function short-circuit mitigation primitive

Af_alg_sendmsg() is the highest-level entry into the af_alg +sent path. engaging it with retval '-eperm' causes every send attempt to return -eperm to userspace; no caller ever sees +half-initialised state. +* inline functions, freed __init symbols, and anything compiled away cannot

Local privilege escalation via execve()

FreeBSD-SA-26:13.exec is a security advisory that fixes a local privilege escalation via execve() in all supported versions of FreeBSD. The issue is corrected in stable/15, 14.4-STABLE, and 13.5-STABLE branches.

Read Programming as Theory Building

https://codeutopia.net/blog/2026/attachments/Drawing%20-%20Theory%20influences%20code.png
Reading Peter Naur's "Programming as Theory Building" helped the author understand that programming is about building a mental model of a program, its requirements, and how they relate to everything around it. This theory helps explain why writing good software is hard and how various activities like writing clean code, documentation, and automated tests are connected to communicating the ...

PipeDream on the Acorn Archimedes

https://storage.ghost.io/c/19/0d/190dff69-8936-47d7-8b0c-f48a6a36ddb4/content/images/size/w1200/2026/05/title_card_pipedream-1.png
The user explores the RISC OS operating system and PipeDream productivity suite, highlighting their unique features and quirks, including the three-button mouse, drag-and-drop file management, and customizable keyboard shortcuts. Despite the system's elegance and ease of use, the user finds it disorienting and frustrating at times, particularly with the word processing and database functions, ...

The FCC wants your ID before you get a phone number

https://reclaimthenet.org/wp-content/uploads/2026/01/apWThHm7W0xe.png
The FCC approved a proposal requiring telecom providers to verify customers' identities before activating service to stop robocalls. This move could end the era of anonymous phone numbers and affect prepaid services, which often rely on cash payments without ID.

I Will Never Use AI to Code

We're verifying your browser Website owner? Click here to fix

France Moves to Break Encrypted Messaging

https://reclaimthenet.org/wp-content/uploads/2026/01/apWThHm7W0xe.png
France's intelligence delegation recommends breaking WhatsApp, Signal, and Telegram encryption for targeted access to messages. This move is opposed by some lawmakers who fear it could lead to mass surveillance and create vulnerabilities.

Rust but Lisp

https://opengraph.githubassets.com/d0851894ab5c8490a9a5a5be2262b1a2cb159d3e6ba7ca66f6d488a78e89036c/ThatXliner/rust-but-lisp
rlisp is a LISP frontend for Rust that compiles directly to Rust code. It uses s-expressions for syntax and compiles to native Rust with no runtime or GC.

First, the FBI Searched Her Home. Then, She Won a Pulitzer.

FBI searched reporter Hannah Natanson's home for leaked classified information. She was later awarded a Pulitzer Prize for her reporting on the Trump administration's government overhaul.

Aids Creeps Back in Parts of Zambia, a Year After U.S. Cuts to HIV Assistance

Saulo Kasekela died of AIDS in Zambia due to lack of treatment. Zambia's H.I.V. program was cut by the US under Trump, now facing loss of aid.

Vladimir Putin is losing his grip on Russia

https://www.economist.com/cdn-cgi/image/width=1424,quality=80,format=auto/content-assets/images/20260509_BID001.jpg
Russian officials are using less collective language, indicating a shift in power dynamics. Leaders worldwide are framing their struggles in global terms to gain support.

The context window has been shattered: Subquadratic debuts a 12M token window

https://cdn.thenewstack.io/media/2026/05/48f5e0d1-screenshot-2026-05-05-at-09.54.30-1024x602.png
Subquadratic claims its model can handle 12 million tokens, running 52 times faster than dense attention and scoring 83 on MRCR v2. The company's Subquadratic Selective Attention architecture scales linearly in compute and memory with context length.

I caught the car

The author secured a promotion to Senior Software Engineer after two and a half years, but realized the title didn't bring the expected satisfaction. They now prioritize meaningful work, collaboration, and personal growth over external validation.

Show HN: Mochi.js: bun-native high-fidelity browser automation library

https://mochijs.com/mochi-mascot.png
mochi.js is a Bun-native browser automation framework that creates fingerprint-free sessions. It uses a single (profile, seed) pair to derive all fingerprint surfaces through a 48-rule DAG.

"Dirty Frag" (CVE-2026-43284): The Second Linux Root Exploit in Eight Days

https://www.copahost.com/blog/wp-content/uploads/2026/05/5d4732c7-b95e-4aed-ad5a-dc6fb11a1cbe.png
Dirty Frag is a Linux kernel vulnerability that grants root access, publicly disclosed on May 7, 2026, and affects servers not patched since May 8. A working exploit exists, and patching the kernel is the only real fix.

Introduction to Beaver Triples

https://framerusercontent.com/images/iQ8PDzJzneZ3WrZuvf0AH1ODJVg.jpg?width=1280&height=719
The group of friends wants to decide on a restaurant for dinner without revealing individual affordability and food preference scores, using secret sharing and Beaver triples to privately compute restaurant scores. Two members of the group open the final restaurant scores using Lagrange interpolation, revealing the results to the group and deciding on the restaurant with the highest score.

Show HN: Create flashcards with Space CLI

The Space CLI allows creating, searching, and exporting decks directly from the shell, then piping them into LLMs like Claude or ChatGPT for analysis. It syncs with the Space app on Mac, Windows, or Linux, using a local database with no login or API keys required.

The 90 Day disclosure policy is dead

https://blog.himanshuanand.com/images/sashko.png
The 90-day responsible disclosure window is no longer effective due to the rapid development of exploits by AI and LLMs, making it essential to treat every critical security issue as P0 and fix it immediately. The industry should integrate LLMs into their security pipeline for real-time threat intel, automated scanning, and AI-assisted code review to stay ahead of attackers.

User just tricked Grok and Bankrbot to send tokens with Morse code

https://www.cryptopolitan.com/wp-content/uploads/2026/05/User-just-tricked-Grok-and-Bankrbot-to-send-tokens-with-Morse-code.webp
An attacker tricked AI agents Grok and Bankrbot into sending $200K in free tokens by using Morse code, exploiting their autonomy and wallet control. The attack raises questions about AI capabilities in navigating crypto tasks and Web3 independently, adding a new vector for hackers.