iiinova — where your digital self keeps evolving

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

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

1225165

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

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.

1164

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

1112331

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

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

Reposted by Gabriel

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

Telling everybody we just got the Nobel Prize

704733457

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

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

Gabriel @thegabriel.eu · 21/08/2026

@mitsuhiko.at i love what all of you at earendil.com do and stand for. Calming and refreshing visions for LLM usage and the tooling around it. Craft for the win! www.youtube.com/watch?v=RKHa...

youtube.com

Meet Pi: The Minimalist, Self-Modifying Coding Agent

YouTube video by CultRepo

010

Reposted by Gabriel

Iroh @iroh.computer · 20/08/2026

Please be aware that this morning at about 07:10 UTC a malicious version (0.3.10, now removed) of the arrayref crate was published. This crate is a transitive dependency of iroh, via blake3 and might have made it onto your (CI) machine if you happened to cargo update between 07:10 and ~08:10 UTC.

1227

Reposted by Gabriel

Gleam Programming Language @gleam.run · 19/08/2026

Did you know? @ucberkeleyofficial.bsky.social has added #Gleamlang to it's CS course!

Graphic with "Did you know... Berkeley University is now using Gleam for one of its Computer Science courses?" and a smiling pink star holding an envelope with a light bulb

415619

Reposted by Gabriel

Tangled @tangled.org · 17/08/2026

Run your own CI, it's worth it. blog.tangled.org/selfhost-ci/

Gabriel @thegabriel.eu · 16/08/2026

had the pleasure to meet some awesome humans in @dholms.at and @pfrazee.com in the Berlin forests a couple weeks ago. Loved our conversations! Was so nice meeting you!

330

Gabriel @thegabriel.eu · 13/08/2026

Flutter is now able "[...] to split your Wasm application into smaller, lazy-loaded modules, optimizing initial load times" 🤩 Super nice stuff! ''' flutter build web --release --wasm --enable-wasm-deferred-loading ''' flutter.dev/blog/whats-n... #flutter #wasm

flutter.dev

What’s new in Flutter 3.47

Modular by design: Standalone UI Packages and Impeller on Desktop

000

Gabriel @thegabriel.eu · 13/08/2026

@solidjs.com guess newsletter signup is currently broken... Or is it just me? 😅😇

000

Reposted by Gabriel

Signal @signal.org · 11/08/2026

Introducing Automatic Key Verification! Complementing the existing safety number system, automatic key verification provides an additional, streamlined way to confirm the privacy of your chats. signal.org/blog/automat... TY @cloudflare.social and @trailofbits.bsky.social our independent auditors 💙🙏

signal.org

Introducing Automatic Key Verification

Signal now offers a feature called “automatic key verification” which complements the existing safety number system. Signal is always end-to-end encrypted, and automatic key verification provides an a...

629178

Gabriel @thegabriel.eu · 10/08/2026

"Quick show of hands: Who thinks their best software is ahead of them?...See we are still optimistic!" - @b5.bsky.social ♥️ www.youtube.com/watch?v=QLr-... #iroh #loficonf #localfirst

youtube.com

Brendan O'Brien — Iroh: syncing terabytes of data, peer-to-peer

YouTube video by Local-First Conf

170

Gabriel @thegabriel.eu · 08/08/2026

Dear Santa: For this Christmas, I would love an Obsidian plugin to publish my files as articles in @offprint.app. Bisou! #dreambig

020

Gabriel @thegabriel.eu · 06/08/2026

Very much looking forward to trying out deltadb from the greats at @zed.dev! Please eat entire.io 's lunch 😁 zed.dev/deltadb

zed.dev

DeltaDB

010

Reposted by Gabriel

kepano @stephango.com · 05/08/2026

if you're using Airtable by Bending Spoons™ consider backing up your data in the unlikely event that the API gets nerfed or maybe even (gasp) paywalled

1689

Gabriel @thegabriel.eu · 02/08/2026

@offprint.app would love to be able to upload a markdown file to create a new article from it...is that on the roadmap? BTW: is there a feature roadmap where i could suggest stuff like this in the future and maybe vote for existing feature proposals? Love your product! Keep up the great work!

130