An OpenAI model has disproved a central conjecture in discrete geometry

https://images.ctfassets.net/kftzwdyauwt9/5O7KVsXhc0D5jWwgWv4AY3/2d2bf4cac37fe3d2fea4173f5e85fabb/Light_Mode.svg?w=3840&q=90
An AI system has autonomously resolved the planar unit distance problem, a longstanding open problem in combinatorial geometry. The proof uses algebraic number theory to create unit-length differences among points in the plane.

GitHub confirms breach of 3,800 repos via malicious VSCode extension

https://www.bleepstatic.com/content/hl-images/2026/05/20/GitHub.jpg
GitHub was breached after an employee installed a malicious VS Code extension, exposing 3,800 internal repositories. The company removed the extension and secured the device, with no evidence of customer data being affected.

Show HN: Rmux – A programmable terminal multiplexer with a Playwright-style SDK

https://camo.githubusercontent.com/a3ada846bedfe40620d2306baa64bb2b4cc57487be6b10d38a5095419833f514/68747470733a2f2f726d75782e696f2f726d75782d6865616465722e737667
RMUX is a Rust multiplexer for the agentic era, offering detachable, scriptable, and inspectable sessions with a tmux-compatible CLI and native Ratatui integration. It's a fresh public preview with 90 tmux-compatible commands implemented, but bugs are expected.

Haskell Foundation 2026 Update

José, the longest-serving executive director, is stepping down in June 2026, and the Board is restructuring the Haskell Foundation to focus on technical work and member engagement. The Foundation will have a new committee and a part-time role for financial sustainability, with a reduced Board composition.

Show HN: I reverse engineered Apple's video wallpapers

https://opengraph.githubassets.com/63c9caebc60b0c4b952aac6cbf936a2c2d1d2d7b2adc71c8f7251204a784af0e/kageroumado/phosphene
Phosphene is a macOS app that plays video files as desktop and lock-screen wallpaper. It uses Apple's private WallpaperExtensionKit framework for gapless looping and power-aware playback.

Vivaldi 8.0

https://vivaldi.com/wp-content/uploads/hero-8.0b.png
Vivaldi 8.0 offers a unified design with more control, capability, and choice, featuring a new look and improved interface. The browser includes six preset layouts and a wide range of customizable settings to adapt to individual preferences.

New features in GCC 16: Improved error messages and SARIF output

You don't have permission to access "http://developers.redhat.com/articles/2026/04/28/gcc-16-improved-error-messages-sarif-output" on this server.

The Letter S, by Donald Knuth (1980) [pdf]

A l t h e ruler-and-compass program can be used to draw arcs from points i and j. m c s y r o n d g p u k w f x v - q, 5, z / b'0 ; th ere is no need for

DOS Zone

https://cdn.dos.zone/mp/hubicon_2.png
Игры на русском языке и сделаные в СССР и СНГ В этом разделе мы собрали лучшие игры сделанные в России и СНГ, а так же мировую классику переведенную на русский язык. Enjoy classic games completely free and without ads on dos.zone! Support us to keep these ad-free, timeless experiences open for everyone. Join the mission today!

Typewise (YC S22) Is Hiring an AI Growth Engineer (Zurich or Remote)

https://bookface-images.s3.amazonaws.com/small_logos/037b66c1bbe3365f03b5de5fac263f8ea652ae3f.png
Typewise, a Swiss-American deep tech company, is rebuilding its customer service platform and needs an AI Growth Engineer to make it discoverable through creative, non-paid, AI-powered means. The ideal candidate will own the outcome, build AI-powered systems, and iterate ruthlessly to prove what works.

Flipper One Tech Specs

https://images.archbee.com/3StCFqarJkJQZV-7N79yY/c3AmfS5rPX-DtC0UV8Ll__tech-specs-main.png?format=webp
The Flipper One has 8 cores, 4 high-performance and 4 efficiency, up to 2.2 GHz. It has various interfaces including PCIe, USB, SATA, and more.

Anthropic is expanding to Colossus2. Will use GB200

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.

All the bugs they found

The user wrote a small WASM runtime in Go called Epsilon, which was extensively tested but found to have several security vulnerabilities, including sandbox escapes and type-related issues. The user used a combination of scripts and AI models, including Gemini 3.1 Pro, to discover the bugs, which included a stack height misalignment bug and a host function signature mismatch bug.

How fast is N tokens per second really?

The tool simulates LLM throughput by rendering code and reasoning sentences at varying token rates. It approximates BPE-style tokenization, showing how different content types affect perceived performance.

Archaeologists find Egyptian mummy buried with the 'Iliad'

https://cdn8.openculture.com/2026/05/17220527/iliadfragment-1024x678.png
A 1,600-year-old Roman-era tomb in Egypt contained pages from Homer's Iliad. The ancient Egyptians valued Greek literature, using it as a cultural passport and even crediting it with curative properties.

Simulating Infinity in Conway's Game of Life with Modern C++

https://ryanjk5.github.io/assets/2026-05-14-GOLDE/life_in_life.gif
The author of GOLDE, a cellular automata editor and simulator, implemented the HashLife algorithm to simulate trillions of generations instantly using modern C++23 features. The author overcame technical challenges such as implementing a quadtree data structure, memoizing node lookups, and supporting arbitrary step sizes in the simulation loop.

What is a Demand Coop

Cahootz is a network of co-ops that pools and directs spending power to build communal businesses and assets. It aims to reduce economic leakage by coordinating demand and creating long-term ownership within communities.

OpenAI Is Preparing to File for an IPO Soon

Please enable JS and disable any ad blocker

Saying goodbye to asm.js

https://spidermonkey.dev/assets/img/odin.jpg
Mozilla is disabling asm.js by default in Firefox 148 and plans to remove it due to WebAssembly's success and maintenance costs. Users are encouraged to recompile asm.js content to WebAssembly for faster execution and smaller binaries.

Your Most Improbable Life

https://substackcdn.com/image/fetch/$s_!M8Bc!,w_1456,c_limit,f_auto,q_auto:good,fl_progressive:steep/https%3A%2F%2Fsubstack-post-media.s3.amazonaws.com%2Fpublic%2Fimages%2F4bc22894-371f-4465-99d2-5fe645079647_1024x1024.png
To become the most improbable person you can be, align yourself with the universe's grand arc of increasing unlikeliness. By embracing your unique talents and traits, you'll occupy your own niche, reduce competition, and make yourself less replaceable by AIs.

Reviving old scanners with an in-browser Linux VM bridged to WebUSB over USB/IP

A web app called yes-we-scan.app allows users to access old USB scanners via their browser. It uses v86 to emulate an x86 CPU and SANE to connect to scanners over USB/IP.

Show HN: I made a tactical map-based WWII submarine simulator (public beta)

https://silentshark.app/alpha/assets/engine-telegraph-face-D5fITW-c.png
N12345678E1011121314151617S1920212223242526W2829303132333435

Recreate famous water profiles using supermarket bottled water

Simple mixing recipes for brewing, coffee, baking, and aquariums using waters from your local supermarket. 1 Pick the water you want — Pilsen for pilsner, Melbourne for flat whites, San Francisco for sourdough. 3 Combine in the ratio we give you. That’s it. No chemistry degree required.

The famous O3 "GeoGuessr" prompt did not work

https://www.seangoedecke.com/static/4113a246112c8b6db424a58af58a9a90/1c72d/kelsey-geoguessr.jpg
The OpenAI o3 model was found to be surprisingly good at geolocation, but its capabilities were not fully understood until a benchmark was created to test its performance. The benchmark showed that the model's performance was not significantly improved by a complex prompt, suggesting that the prompt's effectiveness was overestimated.

Google’s AI is being manipulated. The search giant is quietly fighting back

https://ichef.bbci.co.uk/images/ic/480xn/p0nm547y.jpg.webp
Google and other AI companies have been updating their policies to address the issue of AI manipulation, but experts say it's still a serious problem and people are finding new ways to fool the system. The best defence against AI manipulation is to be cautious and remember that AI tools can give biased or inaccurate information, so it's essential to verify the information through multiple sources.

Intuit to lay off over 3k employees to refocus on AI

https://techcrunch.com/wp-content/uploads/2026/05/GettyImages-2261740845.jpg?w=1024
Intuit is laying off 18,200 employees to simplify its corporate structure and focus on AI efforts. The move comes as the tech industry cuts over 100,000 jobs this year, citing AI project refocusing.

Qian Xuesen: The missile genius America lost and China gained (2025)

Qian Xuesen, a Chinese scientist, was deported to China in 1955 after being accused of Communist ties in the US. He went on to develop China's space and nuclear programs, creating technologies that now threaten US naval dominance.

The Interview That Ships to Production: replacing whiteboards with pull requests

https://www.angellist.com/_next/image?url=https%3A%2F%2Fcdn.sanity.io%2Fimages%2Fq8bht0jl%2Fproduction%2F1c4e67201fcf93dcc38092fa20c6860cea3b9701-800x800.jpg%3Ffit%3Dmax%26auto%3Dformat&w=3840&q=75
AngelList's interview process involves coding challenges where candidates improve the platform's codebase, demonstrating skills and teamwork. The process is self-improving, with each candidate's contributions making the platform better for the next one.

Numexpr: Fast numerical array expression evaluator for Python, NumPy, Pandas

https://opengraph.githubassets.com/c29a83624a44820dd17b043d73a46693a671cbb81a69d6e25d52a4959a30d23b/pydata/numexpr
NumExpr is a fast numerical expression evaluator for NumPy. With it, expressions that operate on arrays (like '3*a+4*b') are accelerated and use less memory than doing the same calculation in Python. In addition, its multi-threaded capabilities can make use of all your cores -- which generally results in substantial performance scaling compared to NumPy. Last but not least, numexpr ...

Why is Inkwell stuck in review

https://s3.amazonaws.com/micro.blog/opengraph/2026/05/19/5871173.png
The user's iOS app, Inkwell, has been repeatedly rejected by Apple due to various issues including design problems, lack of reporting and blocking features, and trademark concerns. The user has made numerous changes and appeals, but is still waiting to hear back from Apple, citing concerns about the company's use of its control over iOS app distribution to enforce a trademark that has been ...