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.

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!

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.

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.

Starship's Twelfth Flight Test

https://sxcontent9668.azureedge.us/cms-assets/assets/crew_12_MOBILE_template1_f0071d661e.jpg
Starship's 12th flight test is set to launch on May 21, featuring a new generation of vehicles and engines. The test aims to demonstrate launch, ascent, and landing capabilities, as well as test new Starlink satellites and heat shield technology.

Google Declaring War on the Web

The working class must break the capitalist system's hold through self-reliance and resistance. This is a fundamental fact for social reconstruction and the use-value of the kingdom to the working class.

Qwen3.7-Max: The Agent Frontier

https://qianwen-res.oss-cn-beijing.aliyuncs.com/Qwen3.7/Figures/qwen3.7-max-banner.png
Qwen3.7-Max is a versatile agent foundation model designed for the agent era, capable of writing and debugging code, automating office workflows, and sustaining autonomous execution. It excels in coding, office automation, and long-horizon tasks, demonstrating strong performance across various benchmarks.

Colorado Amended SB051 (Age Verification Bill) to Exclude Open Source Projects

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 ...

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.

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.

SpaceX S-1

SEC limits automated tool requests to prevent network overload and ensure equitable access. Excessive requests may be blocked for 10 minutes before access is resumed.

PopuLoRA: Co-Evolving LLM Populations for Reasoning Self- Play

https://intdev-global.s3.us-west-2.amazonaws.com/public/internet-dev/e5748d60-a03a-489f-9f56-bc6b1c8166cc.png
PopuLoRA is a system that trains co-evolving populations of teacher and student large language models to generate and solve verifiable tasks, resulting in a self-adaptive curriculum that keeps expanding throughout training. This approach outperforms single-agent self-play on code and math benchmarks, suggesting a practical path for self-play and self-improving systems that can generate part ...

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.

Show HN: CPU-only transcription for YouTube, TikTok, X, Instagram videos

https://opengraph.githubassets.com/db84e6a8fc69126278301c04118b82089fe65e6932f7f36e30f0184b7bea9301/kouhxp/yapsnap
yapsnap is a Python tool that transcribes audio and video files into plaintext on a CPU, without GPU or cloud usage. It uses ffmpeg for decoding and a streaming Zipformer2 transducer for recognition, with optional sentence-level timestamps and speed control.

Map of Metal

http://mapofmetal.com/static/img/fbicon.jpg
An interactive map of Metal history and the influential bands that helped shaped the genres we know today

SBCL: the ultimate assembly code breadboard (2014)

https://pvk.ca/images/2014-03-15-sbcl-the-ultimate-assembly-code-breadboard/rotating-stack.jpg
The user is designing a virtual machine with a small stack and exploring techniques to optimize its performance, including specialising primitives for a restricted stack size and using indirect jumps to reduce data shuffling. They are using SBCL to generate domain-specific machine code and experimenting with different control flow primitives, including unconditional jumps, calls, and ...

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.

Sharla Boehm, the programmer whose code underpins the Internet

https://static.scientificamerican.com/dam/asset/5a9f443f-3f81-45be-b67f-aee992511fe4/LostWomenofScience_SharlaPerrine_podcast_art.png?m=1779112116.364&w=600
Sharla Boehm, a math teacher turned computer programmer, created a groundbreaking simulation in the 1960s that laid the foundation for the modern internet. Her work, known as "hot potato routing," allowed messages to be sent through computers without relying on central nodes, making it a crucial technology for the development of the internet.

The OEIS meta sequence and subway stations

A051070 is a sequence about OEIS sequences. a(n) is the n-th term in sequence A_n (or -1 if A_n doesn’t have enough terms). So the first term in A051070 is 1 because A000001 is the number of groups of order n, and that sequence has 1 as its entry in index 1. A000002 is the Kolakoski sequence (what? For another time) and has value 2 in entry 2. The sequence continues: 1, 2, 1, 0, 2, 3, 0, 7, ...

Not alive, but not dead: disembodied human brains used for drug testing

GitHub's take on age assurance for developers

https://github.blog/wp-content/uploads/2026/01/4ba0cd42388a255e04c78e5143548f22e577d68e0f15f68e6a3c76c18b927981-1920x1080-1.png?resize=1600%2C850
Policymakers are advancing age assurance proposals to protect children online, but these laws risk imposing burdens on open source software and developers. Developers must engage with policymakers to ensure laws balance child safety with access to open source development.

Incident Report: May 19, 2026 – GCP Account Suspension

https://s3-us-west-2.amazonaws.com/public.notion-static.com/b43b85f8-b249-4699-b3aa-e7f0c6d9926c/Square-ish_Profile_Picture.jpg
Google Cloud suspended Railway's production account, causing an 8-hour platform-wide outage. Railway is making changes to prevent similar incidents, including removing Google Cloud dependencies and extending high availability database shards.

Meta blocks human rights accounts from reaching audiences in Saudi Arabia, UAE

https://www.alqst.org/assets/alqst/images/logo-new.png
Meta restricted Facebook and Instagram accounts of NGOs and activists in Saudi Arabia and UAE at the request of the governments, violating freedom of expression and access to information. The undersigned organisations call on Meta to be transparent about its human rights assessments and notify affected users with specific details about the restricted content.

Étienne Ghys: The Shape of Letters: From Leonardo da Vinci to Donald Knuth

Formal Verification Gates for AI Coding Loops

https://reubenbrooks.dev/sb-gates-demo.gif
Shen-Backpressure is a tool that uses a small, statically-typed Lisp to enforce invariants in production software by lowering them into guard types in the target language. This approach provides deterministic signals that tell you whether the artifact has the shape you intend, making it a high-leverage tool for production AI coding loops.

Long-term editing of brain circuits using an engineered electrical synapse

https://media.springernature.com/w215h120/springer-static/image/art%3A10.1038%2Fs41583-022-00644-y/MediaObjects/41583_2022_644_Fig1_HTML.png
Electrical signalling across distinct populations of brain cells underpins cognitive and emotional function. However, approaches that selectively regulate electrical signalling between two cellular components of a mammalian neural circuit remain sparse. Here we engineered an electrical synapse composed of two connexin proteins1 found in Morone americana (white perch fish)—connexin 34.7 and ...

Tracking Starbucks' 'widely recyclable' cups: none ended up at recycling

https://images.squarespace-cdn.com/content/v1/5eda91260bbb7e7a4bf528d8/1604412173637-8TRO2ZA4I0UHOMVL2ZSR/Beyond+Plastics+923+x+321.png?format=1500w
A national investigation by Beyond Plastics found that none of the tracked Starbucks cold-beverage cups ended up at a recycling facility, instead going to landfills and incinerators. The findings contradict Starbucks' claims that its single-use polypropylene cups are "widely recyclable" and highlight the need for the company to prioritize plastic-free alternatives.

LoRA and Weight Decay (2023)

https://irhum.github.io/blog/lorawd/assets/lorab.svg
LoRA is a method to fine-tune large language models by adding small adapter weight matrices that modify the original weight matrices. This approach solves a different optimization problem than full fine-tuning, where the solution weights are regularized towards the frozen base model instead of zero.