great episode! interesting insights into Jane Street's development workflow/environment using LLM's. signalsandthreads.com/the-changing... #janestreet #llm #ocaml

Signals and Threads Podcast

Listen in on Jane Street’s Ron Minsky as he has conversations with engineers working on everything from clock synchronization to reliable multicast, build systems to reconfigurable hardware. Get a pee...

signalsandthreads.com

We're delighted to announce that the Eurosky Identity Platform has been officially verified by the Digital Public Goods Alliance as a digital public good (DPG). eurosky.tech/news/eurosky...

The Eurosky Identity Platform is now a Digital Public Good - Eurosky

Eurosky is a European initiative to build and operate sovereign social web infrastructure

eurosky.tech

Any advice for a soon to be PDS selfhoster? Default PDS vs Tranquil?...? #atprotodev #atproto #pds

Dart just "updating" the lockfile is wild. Came to love the Nix ecosystem which powers most of my project environments now. Helps to avoid some intricacies of the different software toolchains's. blog.trailofbits.com/2026/10/14/p... #vcs #sigstore #nix

Package managers have an integrity problem

I tested 25 of the most popular package managers to check whether they detect a compromised package repository injecting malicious code into legitimate packages. Only two verified the integrity of eve...

blog.trailofbits.com

All this while I am reading @agreenberg.bsky.social's "Sandworm"...

Ground News @groundnews.bsky.social · 4d ago

French grocery operator Les Mousquetaires reported 150 affected stores in its Intermarché chain, where refrigerators remained heated for six hours, forcing the disposal of all refrigerated food.⁠ ground.news/article/hack...

Publishing “Cryptographic Right Answers” for developers is a tradition by now. Colin Percival started in 2009, Thomas Ptacek followed up in 2015, and then Latacora carried on in 2018 and 2024. I put together a list updated for the renewed urgency of migrating to post-quantum algorithms.

(Post-Quantum) Cryptographic Right Answers

In the tradition started by Colin Percival and Thomas Ptacek, a set of “Cryptographic Right Answers” updated for the accelerated post-quantum transition timeline.

words.filippo.io

@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 · last wk.

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 · 2w 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 · 3w 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...