OCaml Infrastructure: How the opam-repository Works

Shira: Anti Phishing Training Platform

Triangle Tessellation with Clamped Parallelograms

TIL: Symlinking NixOS Dotfiles

The standard answer to managing dotfiles on NixOS is home-manager. I've never used it, due to two aesthetic and one practical objection:

Show HN: Open-source .docx editor library for building document apps

Cornelia Biacsics: Contributions for week 19, 2026

On 12 May, 2026 the San Francisco Bay Area PostgreSQL Meetup Group met virtually, organized by Katharine Saar, Stacey Haysler and Christophe Pettus. Alex Yarotsky spoke at the event. The Swiss PGDay Program Committee met to finalize the schedule: Marion Baumgartner Tobias Bussmann Andreas Geppert Johannes Graën Stefan Keller Michelle Willen Community Blog Post: Boriss Mejias about They are blinded by a flag. Are we too?

Who will benefit most from SpaceX IPO? Mostly Elon — and a few from his inner circle

Starchild-1: The First Real-Time Multimodal World Model

Lætitia AVROT: ORDER BY coalesce(x, 0): there is no x

I was reading Markus Winand’s latest post on ORDER BY history last week. If you haven’t read it yet, go read it. Markus is one of the best writers on SQL standards, and this post is no exception. One line stopped me cold. The compatibility table for “expressions on selected columns.” Postgres: partial. PostgreSQL 18: still partial. That itch needed scratching. What the standard says 🔗SQL:1999 lifted a restriction from the original ORDER BY clause.

Waymo halts freeway rides after robotaxis struggle in construction zones

Announcing the Shaw Prize in Computer Science

Shaw Prize will recognize remarkable endeavors in computing.

Announcing Claude Compliance API support with Cloudflare CASB

Cloudflare now integrates with the Claude Compliance API, so that security teams can monitor Claude Enterprise activity directly in the Cloudflare Dashboard.

There’s a real chance you will not have the same job by the end of 2027

Roundtables: Can AI Learn to Understand the World?

Listen to the session or watch below AI companies want to build systems that understand the external world and overcome the limitations of LLMs. Recent developments have brought world models to the forefront of the AI discussion. Watch a conversation with editor in chief Mat Honan, senior AI editor Will Douglas Heaven, and AI reporter…

AI-assisted engineers are burning out, is this fine?

Thoughts on People and Blogs

CVE-2026-47243: Kata Containers guest-root to host-root escape via virtiofs

Show HN: I Made a Claude Skill for Spec-Driven Development (SDD)

In Memoriam: Michael O. Rabin

ACM Turing Award laureate Michael Rabin's professional contributions touch nearly every aspect of computing.

Multi-Stream LLMs: new paper on parallelizing/separating prompts, thinking, I/O

Using Kagi Search with Low Vision

Blog ran on Ubuntu 16.04 for 10 years. I migrated it to FreeBSD

How to open calc.exe from S&Box

SpaceX's IPO Bagship carries full payload of Elon's mistakes

feloxi: Real-time Celery task queue monitoring — Rust/Axum backend, Next.js dashboard, ClickHouse analytics

Mozilla and Adafruit Bring Web Serial Workflows to Firefox

When Rails-way does not work anymore?

Spotify and Universal Music strike deal allowing fan-made AI covers and remixes

Forget ‘TechnoKing’: Elon Musk will really be king at SpaceX

Show HN: Freenet, a peer-to-peer platform for decentralized apps

Web Serial Support in Firefox

Scaling creativity in the age of AI

Storytelling is core to humanity’s DNA, stemming from our impulse to express ideals, warnings, hopes, and experiences. Technology has always been woven through the medium and the distribution: from early humans’ innovation of natural pigments and charcoals for cave paintings to literal representation by the camera. The landscape of storytelling continues to shift under our…

Six search engines worth trying now that Google isn’t really Google anymore

Dependency cooldowns are unfair; we should use phased rollouts instead

Serving Netflix Video Traffic at 400Gb/S and Beyond (2022) [pdf]

Space-Based Solar Power Is On Its Way

Entrepreneurs and nation-states and working to make space-based solar power economically and technically possible.

Bournegol???

Spotify will start reserving concert tickets for fans

Listening

It's much easier to craft attractive offers to your customers by learning to listen well.

The AI Race Is Not a Race: It Is a Game and We Are Playing It Wrong

Building artificial intelligence that recognizes interdependence will get us AI that amplifies collective human wisdom.

BBEdit 16 Is Here

More than 340 local news outlets are limiting the Internet Archive's access

GitHub faces a fight for its survival at Microsoft

A Private pkg Repo Behind Mutual TLS

Convective Capital raises an $85 million fund to build disaster resilience

Was my $48K GPU server worth it?

Modern Compiler Construction in Python

Trump delays AI security executive order: ‘I don’t want to get in the way of that leading’

Rethinking AI Architecture for a World Where Hardware Fails and Hackers Win

A proposed unified architectural framework addresses the convergence of natural system degradation and adversarial threats in industrial AI systems.

Gobee: write eBPF programs in Go, transpiled via clang

Wes mckinney releases multiple bangers

London Mayor Blocks Palantir

What Is Happening to Publishing?

Heretic has been served a legal notice by Meta, Inc

MLX Vulkan Back End

Launch HN: Runtime (YC P26) – Sandboxed coding agents for everyone on a team

Making User-Sequence Data More Cost-Efficient, Faster, and Easier to Use

Authors (listed alphabetically)Ads Feature Engineering Infra team: Ajay Venkatakrishnan, Le ZhangCore ML Infra team: Eric Shang, Pihui WeiML Data team: Connor Votroubek, Yi HeUser Understanding team: Camilo Munoz, Simin LiIf you work on ranking, retrieval, or recommendation systems, you’ve probably asked for some version of the same thing: “Give me the last N meaningful actions this user took, with the right enrichments, in a format that’s easy to train and serve ML models.”On paper...

Yearslong fight over users' right to tweak smart TV software heads to trial

We Reverse-Engineered Docker Sandbox's Undocumented MicroVM API

What 1,281 agent runs reveal about coding agent failure in large codebases

Mounting Git commits as folders with NFS

John Regehr's Integers in C Quiz

Spotify will reserve tickets for top fans of an artists in a bid to drum up engagement

Spotify launches an ElevenLabs-powered audiobook creation tool

Spotify adds AI-powered Q&A and briefing generation features to podcasts

Spotify takes on Google’s NotebookLM with its new app

Michael Keating has died at the age of 79 (1947–2026)

Christophe Pettus: Patch Today: CVE-2026-6473

A critical integer wraparound bug lets unprivileged SQL users trigger heap corruption with potential arbitrary code execution.

Indexing a year of video locally on a 2021 MacBook with Gemma4-31B (50GB swap)

Jan Wieremjewicz: Backrest's back, alright!

Events unfolded quickly over the course of a couple of weeks starting on 27 April 2026, when a message appeared on the pgBackRest project announcing: that the repository would be archived and active maintenance would stop. For many in the PostgreSQL ecosystem, this landed like a shock. pgBackRest is one of the most widely used backup and recovery tools for PostgreSQL, deeply embedded in production environments across enterprises large and small. Now it was suddenly described as “...

Anthropic’s Code with Claude showed off coding’s future—whether you like it or not

The vibes were strong at Code with Claude, Anthropic’s two-day event for software developers in London that kicked off on May 19, the same day as Google’s I/O in Palo Alto. (A coincidence, not a flex, Anthropic staffers assured me.) “Who here has shipped a pull request in the last week that was completely written…

Get your passwords out of Bitwarden while you still can

The Palomar Lights

Coding agents are giving everyone decision fatigue

With much of a software engineer’s time moving from writing code to structuring prompts and reviewing code, the workday is getting denser and more intense. Can AI solve the problems it's causing?

Waymo pauses Atlanta service as its robotaxis keep driving into floods

Advice for 2026 commencement speakers: Don't bring up AI

Google's Antigravity Bait and Switch

L1 instruction cache set conflicts, associativity, and code alignment in Go

Hark raises $700M Series A for its secretive “universal” AI interface

The Path, founded by Tony Robbins and Calm alums, hopes to offer safer AI therapy