@justincormack.bsky.social the bsky link on your website seems broken 😅 Just fyi

Love the fundamental critique. It's not just the downtime, Copilot and so on. The whole thing is a centralized disservice. Protocols > Platforms! www.gnu.org/philosophy/w... #github #gnu

I will just never understand how institutions/big projects end up blogging on #medium. Polluted with bad nudging and required login. @offprint.app maybe there could be something arranged?

Here in Germany there are also no bribes. Just lobbying! And some "tax loopholes"... geohot.github.io//blog/jekyll... #lobbying #treason

Unison Cloud, our distributed computing platform, is now open source: www.unison-lang.org/blog/unison-... ✅ Service deploys in seconds. ✅ Fast, typed, inter-service communication ✅ High level, multi-node structured concurrency programming model ✅ Typed storage ...and more

I like Deno. Not the cloud lockin stuff, but the engineering ideas behind it. Big props to the whole team! Hope your project evolves in ways that complement user agency and not only CF customers. blog.cloudflare.com/deno-joins-c... #deno #cloudflare

Deno is joining Cloudflare

The Deno team is joining Cloudflare to radically simplify self-hosting Workers and Durable Objects, so developers can use the same primitives in more places.

blog.cloudflare.com

Our Centre for Cryptographic Trust Infrastructure (CCTI) is among the funded projects!

Advanced Research + Invention Agency (ARIA)@aria-research.bsky.social · 4d ago

With the capability to coordinate securely, AI agents could act reliably on our behalf, unlocking a whole range of interactions that were previously inaccessible. Meet the first teams we’re backing to build the open-source tools to make it happen: https://link.aria.org.uk/ST-Creators

@tangled.org is your Mailserver down? Can't verify a new email currently...

Guess I will be a Software Mandala Engineer then 😁 www.galois.com/articles/dra... #galois

Incredible work! #gleam

Gleam Programming Language@gleam.run · 6d ago

Gleam v1.19.0 is out now! gleam.run/news/gleam-d...

Hmm turso.tech/blog/turso-i... #turso #sql #supabase

Turso is joining Supabase to give every agent its own database

Supabase is acquiring Turso. The platform keeps running, Turso Database stays open source, and together we are building instant databases for every agent.

turso.tech

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? 🤩

State of the (Tagged) Union Address by Andrew Kelley

YouTube video by TigerBeetle

m.youtube.com

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

Made my day 😂 geohot.github.io//blog/jekyll... #geohot #dyson

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

Jev, Clef, ...? blog.cloudflare.com/clef-decisio... #ai #decisionmodels

Introducing Clef: our open-source decision models, and new RL fine-tuning platform

We are introducing Clef and Clef-flash, open-source decision models hosted on Workers AI for high-speed classification and agentic workflows. Also launching: a new reinforcement learning platform that...

blog.cloudflare.com

geohot.github.io//blog/jekyll... #geohot #capitalism

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.

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.

quint.sh

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.

First steps of the PLC organization

blog.plcred.org

The Dutchies ❤️ NixOS-based Linux for their government in the works! tweakers.net/reviews/1533...

Nederland maakt soeverein alternatief voor Windows en Office op basis van Linux

De Nederlandse overheid maakt een eigen digitale werkomgeving op basis van de Nederlandse Linux-distributie NixOS. De ontwikkelaars geven een kijkje in de keuken.

tweakers.net

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

Zentrum für Politische Schönheit@politicalbeauty.bsky.social · 2w ago

Der is wirklich so im rbb aufgetreten: Das ist der "AfD-Sprecher" für Berlin, den die rechtsextreme Partei am Wahlabend ins Fernsehen schickt. Der rbb präsentiert ihn als "strahlenden" Wahlsieger. Der Irrsinn im öffentlich-rechtlichen Fernsehen nimmt einfach kein Ende.

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...

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.

iroh.computer

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...

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.

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

Follow the Money - Platform for investigative journalism

ftm.eu

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

Zed@zed.dev · 4w ago

Delta is now in public beta. It’s a multiplayer environment for coding with agents and reviewing what they build, with every code change linked to the conversation that produced it. Anyone can download it today on macOS, Linux, and Windows: delta.dev/download

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

Just some beautiful chickens. Have a nice weekend everyone.

if you know, you know #rust

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

TechCrunch@techcrunch.com · last mo.

Apple Watch’s new AI features are normalizing the idea that technology is always listening