Learnings from 100K lines of Rust with AI (2025)

43 pramodbiligiri 2026-05-20 10:28:03 UTC zfhuang99.github.io Llama Share 27

The user built a Rust-based multi-Paxos consensus engine that modernizes Azure's Replicated State Library (RSL) for today's hardware, achieving unprecedented productivity and performance optimization with AI-assisted coding. The user utilized various AI coding agents and developed techniques such as code contracts, lightweight spec-driven development, and aggressive performance optimization ...

Everything in C is undefined behavior

236 lycopodiopsida 2026-05-20 06:28:03 UTC blog.habets.se Llama Share 309

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.

Gemini 3.5 Flash

824 spectraldrift 2026-05-19 18:28:03 UTC blog.google Llama Share 569

Gemini 3.5 Flash is a powerful model combining frontier intelligence with action, delivering exceptional speed and performance for complex tasks. It's ideal for tackling long-horizon agentic tasks, automating workflows, and generating interactive web UIs and graphics.

FiveThirtyEight articles on the Internet Archive

226 ChocMontePy 2026-05-20 02:28:03 UTC fivethirtyeightindex.com Full Share 53

An index of every fivethirtyeight.com article preserved by the Internet Archive.

The weird, wild story of humanity's obsession with gold

13 andsoitis 2026-05-20 09:28:03 UTC economist.com Llama Share 13

Lloyd Blankfein, future Goldman Sachs boss, bought a kilogram of gold as a conversation piece costing $15,000. It mesmerized dinner guests but failed to spark meaningful conversations.

Map of Metal

7 robin_reala 2026-05-20 10:48:03 UTC mapofmetal.com Full Share 1

help support the site! prints now available! buy online Mobile support coming soon. View on desktop or tablet for optimal experience.

I’ve built a virtual museum with nearly every operating system you can think of

807 andreww591 2026-05-19 16:28:03 UTC virtualosmuseum.org Llama Share 174

This virtual museum of operating systems runs on Linux VM for QEMU, VirtualBox, or UTM, with a custom launcher and pre-installed OSes. It includes historical OSes and platforms from 1948 to the present day, with a goal to make them easily accessible and runnable.

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

138 ranit 2026-05-20 02:28:03 UTC bbc.com Llama Share 63

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.

Infomaniak transitions to a foundation model to protect user data privacy

92 darktoto 2026-05-20 06:28:03 UTC news.infomaniak.com Llama Share 23

Infomaniak transferred majority voting rights to a Swiss public-interest foundation to ensure independence and protect its values. This move guarantees the company's sovereignty, privacy, and environmental responsibility forever.

Google changes its search box

575 berkeleyjunk 2026-05-19 19:28:03 UTC blog.google Llama Share 761

Google Search is upgrading with AI, introducing a new intelligent Search box and Search agents that can help with tasks and answer questions. The new features include custom dashboards, generative UI, and expanded Personal Intelligence capabilities.

Show HN: Forge – Guardrails take an 8B model from 53% to 99% on agentic tasks

515 zambelli 2026-05-19 19:28:03 UTC github.com/antoinezambelli Llama Share 177

Forge is a reliability layer for self-hosted LLM tool-calling with guardrails and context management. It scores 86.5% on a 26-scenario eval suite and supports multi-step workflows and long-running sessions.

Remove-AI-Watermarks – CLI and library for removing AI watermarks from images

302 janalsncm 2026-05-19 23:28:03 UTC github.com/wiltodelta Llama Share 176

The tool removes AI watermarks and metadata from images generated by various AI models, including Google Gemini, ChatGPT/DALL-E, and Stable Diffusion. It strips SynthID, C2PA, EXIF, and XMP labels, and prevents AI distortion of facial features.

Apple unveils new accessibility features

682 interpol_p 2026-05-19 12:28:03 UTC apple.com Llama Share 353

Apple is releasing accessibility updates using Apple Intelligence, including improved VoiceOver, Magnifier, Voice Control, and Accessibility Reader. New features include on-device generated subtitles, power wheelchair control with Apple Vision Pro, and an adaptive MagSafe accessory for iPhone.

OpenAI Adopts Google's SynthID Watermark for AI Images with Verification Tool

293 smooke 2026-05-19 20:28:03 UTC openai.com Llama Share 157

OpenAI is strengthening content provenance with a multi-layered model to build trust online, including C2PA conformance and SynthID watermarking. This approach aims to make AI-generated content easier to identify and verify, supporting a more trustworthy information ecosystem.

Mistral AI acquires Emmi AI

269 doener 2026-05-19 19:28:03 UTC emmi.ai Llama Share 82

Mistral AI is acquiring Emmi AI, a leading Engineering AI company, to create the leading AI stack for Industrial Engineering. The acquisition will strengthen Mistral's position as the leading AI transformation partner for industrial enterprises.

Gemini CLI will stop working from June 18, 2026

246 primaprashant 2026-05-19 18:28:03 UTC developers.googleblog.com Llama Share 126

Gemini CLI is being replaced by Antigravity CLI, a unified platform for multi-agent workflows. Antigravity CLI retains key Gemini features and adds asynchronous workflows and a unified architecture.

Incident Report: Railway Blocked by Google Cloud (Resolved)

486 aarondf 2026-05-20 00:28:03 UTC blog.railway.com Llama Share 311

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.

CopyFail: From Pod to Host

25 tptacek 2026-05-20 07:28:03 UTC xint.io Llama Share 3

Copy Fail is a Linux local-privilege escalation vulnerability that allows attackers to rewrite the cached contents of files on a Linux filesystem, enabling them to break out of a namespaced container and gain root access on the host. The vulnerability can be exploited by creating a pod with the necessary permissions and using the Copy Fail primitive to poison a shared lower-layer file, ...

The Invention of Buses

5 surprisetalk 2026-05-20 10:28:03 UTC worksinprogress.co Prefix Share 0

Buses do not seem like the sort of thing that needed to be invented. Anyone can see that the wheel needed to be invented, and that some further innovations were required to build carriages large enough for a substantial group of people to travel in them simultaneously. Once big carriages were invented, however, we might assume that people automatically started running them on regular ...

Simulated Evolution on the PICO-8

16 ibobev 2026-05-20 07:28:03 UTC bumbershootsoft.wordpress.com Llama Share 0

The user ported Simulated Evolution to PICO-8, adapting the simulation and using a spritesheet to track plankton. They also added features like scrolling and a Garden of Eden.

In 1979 engineer Hugh Padgham discovered "gated reverb" – by accident

53 bookofjoe 2026-05-20 03:28:03 UTC producelikeapro.com Llama Share 17

The website is using Cloudflare security and blocked my action, possibly due to a trigger like a certain word or SQL command. I was trying to perform an action when this page came up, and the Cloudflare Ray ID is needed to report the issue to the site owner.

RISC-V and Floating-Point

24 hasheddan 2026-05-20 05:28:03 UTC fprox.substack.com Llama Share 20

RISC-V supports floating-point arithmetic through extensions like F, D, and Q, which provide single, double, and quadruple precision formats. The F extension is mandated for most other floating-point extensions, including half precision and vector floating-point support.

GitHub is investigating unauthorized access to their internal repositories

479 splenditer 2026-05-20 00:28:03 UTC twitter.com/github Full Share 252

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.

Minnesota becomes first state to ban prediction markets

682 ortusdux 2026-05-19 19:28:03 UTC npr.org Llama Share 208

Minnesota Governor Tim Walz signed a law banning prediction market sites, prompting a lawsuit from the Trump administration. The law forces sites like Kalshi and Polymarket to leave the state or face felony charges, amid a growing standoff over regulation.

Nostalgic Kits Central (2024)

25 cf100clunk 2026-05-20 05:28:03 UTC nostalgickitscentral.com Llama Share 12

The era of electronic kits started after WWII with companies like Heathkit, Allied Radio, EICO, and others offering test equipment, amateur radio, and audio kits. These companies played a significant role in encouraging people to pursue careers in electronics and creating a lasting hobby, with Heathkit being the most successful and well-known kit provider.

The Mercury logic programming system

69 Antibabelic 2026-05-20 00:28:03 UTC github.com/mercury-language Llama Share 15

Mercury is a logic/functional programming language with advanced static analysis and error detection. It has a compiler with two backends and works on various operating systems.

Growing Neural Cellular Automata

117 pulkitsh1234 2026-05-19 19:28:03 UTC distill.pub Llama Share 12

Biologists and computer scientists are working together to understand how living organisms develop and regenerate their bodies, and how this process can be replicated in artificial systems. Researchers are using cellular automata models and neural networks to simulate the growth and development of patterns, and are exploring how these models can be used to create self-repairing systems and ...

I’ve joined Anthropic

1343 dmarcos 2026-05-19 15:28:03 UTC twitter.com/karpathy Full Share 560

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.

Lisp in Web-Based Applications (2001)

86 bschne 2026-05-19 20:28:03 UTC sep.turbifycdn.com Llama Share 7

Paul Graham discusses using Lisp in web-based applications, citing its flexibility and suitability for incremental development. He highlights the benefits of Lisp's interactive toplevel, macros, and embedded languages, which enabled Viaweb's rapid development and sophisticated user interface.

Enabling Resizable Bar on RTX 3080 Vbios via GitHub

4 linux_lorax 2026-05-20 08:28:03 UTC github.com/danindiana Prefix Share 3

Enabling Resizable BAR (8 GB BAR1) on an ASUS TUF-RTX3080-O10G-GAMING under Linux, without Windows, without a GUI flash tool, and without bricking the card. This repo documents a multi-attempt Linux VBIOS flash campaign to enable Resizable BAR on an ASUS TUF RTX 3080 10 GB card in a dual-GPU system that also contains an RTX 5080. The RTX 5080 had ReBAR active out of the box; the 3080 did not ...