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.

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.

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.

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

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

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.

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.

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.

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.

Map of Metal

http://mapofmetal.com/static/img/fbicon.jpg
help support the site! prints now available! buy online Mobile support coming soon. View on desktop or tablet for optimal experience.

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.

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.

Apparently Google hates us now

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.

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.

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

Everything in C is undefined behavior

The author argues that all nontrivial C/C++ code has undefined behavior due to the language's lack of memory safety features. This makes it unfair to blame programmers for mistakes.

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.

Node.js 26.0.0 (Now with Temporal)

https://nodejs.org/en/next-data/og/release/Node.js%20%E2%80%94%20Node.js%2026.0.0%20(Current)
Node.js 26 is released with Temporal API enabled by default, V8 engine updated to 14.6, and Undici to 8.0.2. It will be the Current release for six months before entering long-term support in October.

LoRA and Weight Decay (2023)

https://irhum.github.io/blog/lorawd/assets/lorab.svg
LoRA (Hu et al., 2021) is a now popular alternative to the full finetuning of a Large Language Models (LLMs): instead of tuning the billions of weights of the full model, we add small “adapter” weight matrices that modify the original weight matrices, and tune those instead. This blogpost dives deeper into a curious behavior: although LoRA is commonly seen an drop-in for full finetuning, its ...

Testing distributed systems with AI agents

https://opengraph.githubassets.com/7efc7b50d50e391970cbcfe11e262e56b9047db13b45e98e1aa7533640509cf1/shenli/distributed-system-testing
Two AI coding skills design and run claim-driven tests for distributed systems, producing a test plan and findings report with 9-state verdicts. The skills work with various agents and reuse the system's toolbox, ensuring safety, durability, and idempotency.

Stable Audio 3

https://arxiv.org/static/browse/0.3.4/images/arxiv-logo-fb.png
Stable Audio 3 is a family of fast latent diffusion models for variable-length audio generation and editing. It supports inpainting and can generate music and sounds in under 2 seconds on an H200 GPU or a few seconds on a MacBook Pro M4.

Handling the great code forge fragmentation

https://www.alexselimov.com/posts/forge_fragmentation/cover.webp
Github's fragmentation is inevitable as users move to alternatives like Codeberg, self-hosted Forgejo, and Gitlab. A vouching system like Hashimoto's Ghostty could set the tone for how Github's decline happens, requiring a consistent username and barrier of entry to ensure high-quality contributors.

Tennessee man jailed 37 days for Trump meme wins settlement after lawsuit

https://www.fire.org/sites/default/files/styles/417xy/public/2026/05/Screenshot%20of%20Larry%20Bushart%20social%20media%20post%20with%20Donald%20Trump%20meme.png.webp?itok=x1Xsq8pg
Larry Bushart, a retired Tennessee law enforcement officer, won an $835,000 settlement after being jailed for 37 days for posting a meme. The settlement comes after Bushart filed a federal civil rights lawsuit against the county and sheriff behind his arrest for violating his constitutional rights.

When Fast Fourier Transform Meets Transformer for Image Restoration (2024)

https://raw.githubusercontent.com/deng-ai-lab/SFHformer/main/image/introduce.jpg
Researchers proposed SFHformer for image restoration tasks, achieving state-of-the-art results on ten tasks. The framework incorporates Fast Fourier Transform into Transformer architecture for efficient restoration.

Show HN: Hocuspocus 4 – self-hosted Yjs collaboration backend

https://camo.githubusercontent.com/9b1602bd44e1aa3c19d04ff357b96fee10014574c5988183185a72ab30342cc1/68747470733a2f2f756e6176617461722e696f2f6769746875622f7565626572646f736973
The Yjs CRDT WebSocket backend for conflict-free real-time collaboration in your app. - ueberdosis/hocuspocus

Show HN: Lance – image/video generation and understanding in one model

https://raw.githubusercontent.com/bytedance/Lance/main/assets/logo/lance-logo.webp
Lance is a 3B native unified multimodal model that supports image and video understanding, generation, and editing within a single framework. It is efficient at 3B scale and delivers strong performance across various benchmarks with a staged multi-task recipe and training from scratch.

Japan is gripped by mass allergies. A 1950s project is to blame

https://ichef.bbci.co.uk/images/ic/480xn/p0nlh5dq.jpg.webp
Japan's widespread planting of two fast-growing tree species in the 1950s has led to severe hay fever issues due to high pollen levels. The government is now working to replace these monoculture forests with more diverse ecosystems to alleviate the problem.

Autoregressive next token prediction and KV Cache in transformers

https://miro.medium.com/v2/resize:fit:1000/1*_FPCspfeclUS78OMzBKwbQ.png
An autoregressive language model generates text by processing input through a stack of decoder blocks, using a KV cache to store information about the prompt. The KV cache allows the model to generate long sequences efficiently by reusing previously computed information, reducing the cost of generating each new token.

Smartmedia Card Spec Opened, available free (2000)