iiinova — where your digital self keeps evolving

m.youtube.com/watch?v=eZ8W... #homa #tcp Gotta be excited about networking. Making computers collaborate efficiently is just so exciting!

m.youtube.com

Homa: The End of TCP for AI Clusters — John Ousterhout, Stanford

YouTube video by AI Engineer

000

Gabriel @thegabriel.eu · 1h

Some vids you may enjoy m.youtube.com/watch?v=zwi5... #zig #radicle Love this display of ambition, kindness and fearless pursuit of exploration. Zig mainline soon on @radicle.dev? 🤩

m.youtube.com

State of the (Tagged) Union Address by Andrew Kelley

YouTube video by TigerBeetle

100

Gabriel @thegabriel.eu · 10h

Receiving lots of complaints about message delivery on @signal.org not working properly...anyone else? Seems to be across Android and Apple phones in the EU region. #signal

000

Gabriel @thegabriel.eu · 12h

Strange! Thanks for fixing!

000

Gabriel @thegabriel.eu · 22h

@offprint.app having stark layout issues on mobile here: blog.thegabriel.eu/a/3murjnle6m... #offprint Could you have a look pls?

101

Reposted by Gabriel

Quint @quint-lang.org · 28/09/2026

We put together a practical reference to formal verification tools: quint.sh/guides/form... If you're getting started, use it to explore the landscape. If you're already an expert, help us make it better.

quint.sh

A Reference of Formal Verification Tools

Compare TLA+, Quint, Lean, Rocq, Agda, Dafny, Verus, Kani, Certora, Alloy, PRISM, AI provers, and more. Choose the right formal method for design, proofs, or code.

321

Gabriel @thegabriel.eu · 28/09/2026

This is awesome! Thanks for curating!!!

010

Reposted by Gabriel

bryan newbold @bnewbold.net · 28/09/2026

Hello World from the PLC organization (plcred.org)! The org was soft-announced back in March at AtmosphereConf. We've been working through logistics step by step and now have a public web presence we can point to.

blog.plcred.org

First steps of the PLC organization

1425767

Gabriel @thegabriel.eu · 27/09/2026

Und die Autorin hat sogar auch einen Bsky account! 😁 @mazzucatom.bsky.social

000

Gabriel @thegabriel.eu · 26/09/2026

"German" politicians 2026. Straight up Nazis. Let's get them back from where they came from... Quickly. So embarrassing

010

Gabriel @thegabriel.eu · 25/09/2026

How much pain would it be to make Delta available as a Nix pkg? Asking for a friend... 😁😛

010

Gabriel @thegabriel.eu · 25/09/2026

Awesome, thanks a lot!

000

Gabriel @thegabriel.eu · 25/09/2026

Any chance to get an RSS feed of the pod too? 😁😇

110

Reposted by Gabriel

Iroh @iroh.computer · 24/09/2026

buzz is jack dorsey's "new groupchat platform for teams of people and agents of all sizes, built to reduce our dependency on slack and github." ...and using iroh to share idle compute and run open models over p2p networks www.iroh.computer/blog/buzz-ag...

iroh.computer

Buzz: share spare compute and run open models together over p2p networks.

How Block is using Buzz, MeshLLM, and iroh to turn the computers in a community into shared infrastructure for AI agents.

1174

Reposted by Gabriel

Galois @galoisinc.bsky.social · 21/09/2026

What if you could change your voice in real time—while mathematically protecting your identity? That’s the idea behind VOXLET, a new privacy-preserving voice transformation technology from Galois and partners. Hear it in action 👇 How it works: www.galois.com/articles/vox...

031

Reposted by Gabriel

Follow the Money EU @ftm.eu · 17/09/2026

Brussels was told to stop deleting von der Leyen’s texts. It’s sticking with auto-delete. The Commission says preserving them for public access requests “cannot be reconciled with the necessary cybersecurity measure”, while a legal expert says they could simply be stored securely elsewhere.

ftm.eu

EU executive will keep deleting von der Leyen’s texts, despite watchdog warnings

Follow the Money - Platform for investigative journalism

054

Gabriel @thegabriel.eu · 16/09/2026

Awesome work! Very excited about this - Congrats to all of you!

020

Gabriel @thegabriel.eu · 15/09/2026

Discovered 12Flowers. Such an amazing magazine. Made me emotional and proud of being European. Love the collective effort to manifest a lively European identity. 12f.eu #12f #europe

020

Gabriel @thegabriel.eu · 13/09/2026

Just some beautiful chickens. Have a nice weekend everyone.

010

Gabriel @thegabriel.eu · 09/09/2026

"Apple - The pRiVaCy Company". They only miss some smart-glasses to complete the most elegant 1984 product range.

000

Gabriel @thegabriel.eu · 08/09/2026

Congrats to the team at @quint-lang.org for launching Quint Studio! Will give it a spin tonight 🤩 studio.quint.sh #quint

studio.quint.sh

Quint Studio — Join the beta

Quint Studio is live. Join the beta now.

130

Reposted by Gabriel

Gateklons @gateklons.eurosky.social · 07/09/2026

As RCS' #1 hater, it makes me happy to see a respected project like @grapheneos.org say the obvious out loud: RCS is not open and relies on a bunch of proprietary services. Not to mention being inextricably linked with the most evil identifier of them all: the phone number.

gateklons.substack.com

Be careful what you wish for: RCS and end-to-end encryption

A big win for Android users in the US but I wish for the rest of the world to be spared this nightmare

064

Gabriel @thegabriel.eu · 07/09/2026

"[...] the Stanford Digital Economy Lab puts agentic coding as much as 1,000 times more token-hungry than a simple code-chat exchange and found the cost of an identical task swinging by up to 30 times between runs [...]" Experts gain more efficiency from models. 😁 www.elastic.co/blog/token-c...

elastic.co

Why your AI bill tripled while token prices fell 75%

Token prices dropped 75%, so why did your agentic AI bill triple? Here's the real math behind agentic AI cost and how IT leaders can measure it.

000

Reposted by Gabriel

Bryan Cantrill @bcantrill.bsky.social · 05/09/2026

The revolt of the reader bcantrill.dtrace.org/2026/09/05/t...

bcantrill.dtrace.org

The revolt of the reader | The Observation Deck

1112431

Reposted by Gabriel

Anil Madhavapeddy @anil.recoil.org · 05/09/2026

The cybersecurity guards in frontier models perfectly illustrate the weird incentives in software engineering. They equally block vulnerability construction _and_ attempts to improve the correctness of software because they are both the same task.

061

Reposted by Gabriel

Martin Kleppmann @martin.kleppmann.com · 02/09/2026

Interactive visualisation of the Raft consensus algorithm, linked with the pseudocode from my lectures — looks amazing!

1422

Gabriel @thegabriel.eu · 05/09/2026

Intro from his personal blog: mitchellh.com/writing/supe...

mitchellh.com

Superlogical

000

Gabriel @thegabriel.eu · 05/09/2026

Just found out about Superlogical, Mitchel Hashimoto's new company. Modern terminal multiplexer built ontop if Ghostty. Very exciting! www.superlogical.com #mitchelh #superlogical

superlogical.com

An announcement from Superlogical

Building the multiplexer for all work.

100

Gabriel @thegabriel.eu · 02/09/2026

Can't say how exciting it is to see the Automerge ecosystem adopted for an incredible amount of usecases. Such amazing engineering!!! #automerge #inkandswitch #localfirst

0163

Reposted by Gabriel

Follow the Money EU @ftm.eu · 01/09/2026

Promises are made to be broken. At least, it seems that way in Brussels. Hundreds of lobbying meetings coincided with key promises being stalled or abandoned. Who got closest to the commissioners, and what happened to the promises that helped put them in office?

ftm.eu

From addictive apps to animal welfare: how Brussels bows to industry pressure

Big promises on issues from animal welfare to Big Tech helped Ursula von der Leyen’s Commissioners win the backing of the European Parliament in 2024. More than a year and a half into their terms, Fol...

0118

Reposted by Gabriel

Follow the Money EU @ftm.eu · 28/08/2026

A Canadian researcher remains detained in Belgium on suspicion of spying for China at NATO. FTM and its media partners can reveal a new development: suspected accomplices may be obstructing the investigation, changing her passwords after her arrest and breaking into her flat.

ftm.eu

NATO spying scandal: Suspect thought to have accomplices obstructing the investigation

A NATO intern arrested on suspicion of espionage may have accomplices attempting to obstruct the investigation, FTM and its media partners can reveal. Belgian investigators noticed suspicious activity...

21710

Reposted by Gabriel

CoMaps @comaps.app · 26/08/2026

Two CoMaps contributors with the Humanitarian OpenStreetMap Team about how CoMaps was used during the earthquake response in Venezuela: hotosm.org/en/news/coma... Also available in Spanish (hotosm.org/es/noticias/...) and French (hotosm.org/fr/actualite...).

text reading "HOT meets CoMaps" with logos of the two organisations

0224

Gabriel @thegabriel.eu · 28/08/2026

May Plan9 rise to conquer the world. Congrats, legend!

000

Gabriel @thegabriel.eu · 26/08/2026

anything discussable regarding your next adventure(s)? :D asking for a friend...

000

Reposted by Gabriel

P(aul) Frazee @pfrazee.com · 24/08/2026

Telling everybody we just got the Nobel Prize

704736456

Reposted by Gabriel

NixOS Foundation @nixos.org · 25/08/2026

NixOS is strong. Nearly 2B requests and almost 1 petabyte of bandwidth every week - the scale behind cache.nixos.org and releases.nixos.org. @AWSOpen is extending its support for the 4th year! discourse.nixos.org/t/aws-nixos-... Big ♥️ to AWS and the Nix Infra team. ❄️

discourse.nixos.org

AWS & NixOS S3 Partnership Continues - Year 4!

Happy Monday, and hopefully a good 4 weeks before NixCon week to everyone! Some very good news for us today. ❄ AWS has committed the next chapter of its support for the NixOS Foundation &…

0473

Gabriel @thegabriel.eu · 24/08/2026

Interesting stuff from Jetbrains! junie.jetbrains.com/docs/junie-l... #ai #LLM #localai #jetbrains

junie.jetbrains.com

Junie Local | Junie

041

Gabriel @thegabriel.eu · 23/08/2026

I like how Jack is described as a "Block Head". Made my day.

020

Gabriel @thegabriel.eu · 23/08/2026

Amazing article! Thanks for sharing your experience and all the insights! Wild times. Fun times!

020

Reposted by Gabriel

Anil Madhavapeddy @anil.recoil.org · 23/08/2026

I've had to respond to multiple OSS security issues recently and the wild thing is that agents can now generate exploits just on the *rumour* of a bug. This throws security embargoes out the window, as the fix is less important than the knowledge of its existence anil.recoil.org/notes/rumour...

anil.recoil.org

Just a rumour of a bug is enough to find a security exploit these days

Thinking through how the conventional OSS security embargoes no longer buy us time, and what open source maintainers might do instead to respond

57222