~lobsters | Bookmarks (2177)

18 hours ago

Android 16 is here

blog.google

android none
2
20 hours ago

Announcing Multigres: Vitess for Postgres

supabase.com

Today we’re welcoming Sugu, the co-creator of Vitess, to the Supabase team. He is joining Supabase...
Today we’re welcoming Sugu, the co-creator of Vitess, to the Supabase team. He is joining Supabase to build Multigres: Vitess for Postgres. Vitess is a database clustering system for scaling MySQL (it doesn’t work for Postgres). Vitess adds: Sharding Connection pooling Query routing Resiliency and failover Cloud-nat...

databases postgres
1
20 hours ago

Building a Debugger

nostarch.com

c++debugging
1
21 hours ago

Zig-style generics are not well-suited for most languages

typesanitizer.com

plt zig
1
21 hours ago

Green threads explained (intro)

c9x.me

Green threads or userland threads (depending on your generation) provide high efficiency concurrency in a lot...
Green threads or userland threads (depending on your generation) provide high efficiency concurrency in a lot of mainstream languages. To only cite a few, CPython (via external libraries), Haskell, Go and Erlang are users of this technique. This series of short articles will expose the core ideas that rule this conc...

programming
1
21 hours ago

Handles are the better pointers

floooh.github.io

28-Nov-2018: I’ve added a small update at the end on how to prevent ‘handle collisions’ with...
28-Nov-2018: I’ve added a small update at the end on how to prevent ‘handle collisions’ with a per-slot generation counter Original Post: …wherein I talk a bit about how I’m doing dynamic memory management in C and C++ these days which basically replaces raw- and smart-pointers with ‘index-handles’. In my last blog ...

programming
1
22 hours ago

Jean-Raymond Abrial - Wikipedia

wikipedia.org

Jean-Raymond Abrial, father (in particular!) of the Z notation, but also of the B method, and...
Jean-Raymond Abrial, father (in particular!) of the Z notation, but also of the B method, and then Event-B, passed away on May 26. I was surprised to see that this piece of news, which may be of some interest to formal method folks, doesn’t seem to be very well known (there’s not much material on the web). Here are some links (on LinkedIn, sorry):...

formalmethods person
1
22 hours ago

A tale of two Claudes

steveklabnik.com

Two interactions with Claude: one good, and one bad Comments

vibecoding
1
22 hours ago

GitHub - purefunktion/Droneboy: Drone music application for Gameboy

github.com

art retrocomputing
1
23 hours ago

A history of the Internet, part 2: The high-tech gold rush begins

arstechnica.com

Welcome to the second article in our three-part series on the history of the Internet. If...
Welcome to the second article in our three-part series on the history of the Internet. If you haven’t already, read part one here. As a refresher, here’s the story so far: The ARPANET was a project started by the Defense Department’s Advanced Research Project Agency in 1969 to network different mainframe computers t...

historical
1
23 hours ago

Quarkdown

quarkdown.com

compiler latex markdown programming typesetting
1
1 day ago

AI-assisted coding for teams that can't get away with vibes - nilenso blog

nilenso.com

Status: Living document based on production experience Last updated: 5-Jun-2025 AI should be adopted by serious...
Status: Living document based on production experience Last updated: 5-Jun-2025 AI should be adopted by serious engineering teams that want to build thoughtful, well-crafted products. This requires skillful usage of these tools. Our obsession with building high-quality software for over a decade has driven us to fig...

vibecoding
1
June 10

Implementing DOES> in Forth, the entire reason I started this mess - The Boston Diaries - Captain Napalm

conman.org

6809 ans forth assembly compilers concatenative
2
June 9

10th Bevy Meetup - JP - Rapid Team Transition to a Bevy-Based Engine

youtube.com

event rust science & technology video
1
June 9

Qwen/Qwen3-Embedding-0.6B-GGUF · Hugging Face

huggingface.co

Highlights The Qwen3 Embedding model series is the latest proprietary model of the Qwen family, specifically...
Highlights The Qwen3 Embedding model series is the latest proprietary model of the Qwen family, specifically designed for text embedding and ranking tasks. Building upon the dense foundational models of the Qwen3 series, it provides a comprehensive range of text embeddings and reranking models in various sizes (0.6B...

vibecoding
1
June 9

killing X11

tedunangst.com

X11 is supposed to be dead, but people keep using it because apparently it still works....
X11 is supposed to be dead, but people keep using it because apparently it still works. I have a plan to fix this so everyone does what I want.It all starts with a popular toolkit library like QTK. Even if people don’t upgrade X11, if they run a browser, they’re on the upgrade treadmill.I change the internal pixel r...

rant unix
2
June 9

Why doesn’t Rust care more about compiler performance?

kobzol.github.io

Perhaps the most often repeated complaint about Rust is its slow feedback loop and long compilation...
Perhaps the most often repeated complaint about Rust is its slow feedback loop and long compilation times. I hear about it all the time; in Rust podcasts, blog posts, surveys, conference talks or offline discussions. I also regularly complain about it, being a Rust user myself! Recently, in addition to the usual com...

rust
1
June 9

Is Rust faster than C?

steveklabnik.com

performance rust
1
June 9

Radeon Software For Linux Dropping AMD's Proprietary OpenGL/Vulkan Drivers - Phoronix

phoronix.com

Direct link to upstream release notes. Comments

desktop linux graphics linux linux benchmarking linux hardware benchmarks
2
June 9

Your Phoenix application, directly on your Tailnet

github.com

Your Phoenix application, directly on your Tailnet

elixir erlang networking web
1
June 9

Cross-compiling Zig on an old Kindle

samkhawase.com

zig
1
June 9

GitHub - BioRadOpenSource/ish: Alignment-based filtering CLI tool

github.com

Associated preprint: https://www.biorxiv.org/content/10.1101/2025.06.04.657890v1 The “built with Mojo” is there because this tool exists specifically to test...
Associated preprint: https://www.biorxiv.org/content/10.1101/2025.06.04.657890v1 The “built with Mojo” is there because this tool exists specifically to test run Mojo as a language for bioinformatics tool development. Comments

release
1
June 9

Apple Events

apple.com

The big rumour is a visual refresh of the OSes and new yearly versioning scheme. Comments

event ios mac swift
1
June 9

crawshaw - 2025-06-08

crawshaw.io

2025-06-08 This is the second part of my ongoing self-education in how to adapt my programming...
2025-06-08 This is the second part of my ongoing self-education in how to adapt my programming experience to a world with computers that talk. The first part, How I program with LLMs, covered ways LLMs can be adapted into our existing tools (basically, autocomplete) and how careful prompting can replace traditional ...

vibecoding
1