Read this incident report, equal parts scary and insanely funny A several package compromise orchestrated over two weeks, thwarted only because our package ecosystems are so fucking flawed, *another* unrelated malware used too much ram. We are cooked. nesbitt.io/2026/02/03/i...

I think I'm going to go through a Prolog Sicko arc, inspired by this article. unplannedobsolescence.com/blog/prolog-...

THIS WEBSITE IS SOOO CUTE @scottlanoue.com comail.at

Verified tableaux: from modal logics to modal fixpoint logics. link.springer.com/article/10.1... #CoqProver #ITP #Logic

What works and doesn't selling formal methods in industry. ~ Mike Dodds. youtu.be/Z2bTpsO4fcc #FormalMethods

Great minds and all that austegard.com/fun-and-game... Blog post: muninn.austegard.com/blog/two-but... For those in the back row: muninn.austegard.com/blog/two-but...

You and me both! I wanted to be able to click around and explore the paper's Figure 1. robbobobbo.com/projects/eml...

I vibecoded a site to convert mathematical expressions to EML trees and visualize them! https://eml.gracekind.net

April 29th! Come talk about atproto! Featuring demos by @bad-example.com, @hypha.coop, and more. atmo.rsvp/p/atproto.to...

Very relevant to my language design project...

Representing graphs in Prolog. ~ Markus Triska. youtu.be/5fAWYqM9v8k #Prolog #LogicProgramming

Sci-fi has always provided heady alternatives to everyday realities. But for the past few decades, a big chunk of sci-fi has gravitated toward dystopia, which, while valuable, can grow wearisome. @clivethompson.bsky.social offers an exciting new literary genre to counter our despair.

When I published yesterday's infographic about the word 'friend', people were surprised that it's related to the first part of 'Friday' and its cognates. As my graphic explained, this part stems from the Proto-Germanic goddess name *Frijjō, which in Old Norse became 'Frigg'. On my other ... 1/

deepclause.substack.com/p/implementi... #prolog #llm #ExplainableAI

I'm _personally_ morally opposed to short-form videos (research more than suggests they're brain rot, so...); BUT, were it, must it to exist, I'm glad for them to exist on an open social protocol. And for that, I support what @buildwithtori.com and @skylight.social team are building 👏👍😅

Over the next few months we’re inviting city and regional governments, as well as builders and organizations actively engaged in municipal innovation to submit expressions of interest. Full Details → www.usecaselab.org/verifiable-c...

Another neat project using formal logic or "symbolic approaches" to enhance reasoning, explainability, and general correctness of modern statistical learning approaches: www.youtube.com/watch?v=EZ2H... #xAI

These are the icy mountains of Pluto. It took 9 years to get these magnificent images… and 4.8 billion kilometers.

A year ago, many cities thought surveillance contracts were non-negotiable. In 2025, they learned otherwise. At renewal time, elected officials chose their constituents over vendors. That shift? It's the surveillance resistance we needed. eff.org/deeplinks/2...

With centralized social media platforms, users can only push for change by lobbying companies or governments. @jay.bsky.team, CEO of @bsky.app, explains why open social is about giving people the tools to build solutions themselves, rather than just asking for them. Ep with @rabble.nz, out now.

We did a thing. We combined TLS and MLS into a hybrid protocol. Why? Because sometimes you need connections that last for weeks, quantum-resistant security, or simpler certificates. The experiment is open-source. Here's the story 👇

We will be at #39C3 and we brought something exciting: Invitation codes for the beta phase of Air, our new secure messenger based on MLS! ✨ Hit us up if you’d like to join the beta with your friends. You can also follow @air.ms, where we’ll post updates over time.

🌠 We are coming to #39C3 🌈 We are eager to chat, connect, and hack, especially because the next DWeb Camp will be happening near Berlin on Jul 8-12 2026! 👀 Ping @tommi.space (DECT 9848) if you want to meet! 🌻 #DWeb #DWebCamp #CCC

Most defintely a good time if you’re into decentralizing the internet and protocol work of the sort ✌️

And a two-parter in #javascript Why Recursive Data Structures? https://raganwald.com/2016/12/27/recursive-data-structures.html

Functional Quadtrees... In #clojure !!! https://lbjgruppen.com/en/posts/functional-quadtree-clojure 🤟🏼

Functional Quadtrees https://lbjgruppen.com/en/posts/functional-quadtree-clojure https://news.ycombinator.com/item?id=46147341

Last week a CDC webpage about vaccine safety was edited. Using the "Changes" feature of the Wayback Machine we can see a "before and after" comparison: web.archive.org/web/diff/202... The Internet Archive's Wayback Machine is the change control system the web never had.

Blaine's talk is SO GOOD @blaine.bsky.social - I'm going to get his slides too, and we should embed the hertzog video. Speaking of great talks, will we have more or less tears at this year's #ATmosphereConf?

MIT study finds AI can replace 11.7% of U.S. workforce | Discussion

AWS is 10x slower than a dedicated server for the same price [video] | Discussion

tl;dw: AWS underperforms and overpriced compared to other VPS services (Hetzner demo’s in this video) Damn. Going to try Hetzner for next server need. Hate to think how much I’ve wasted throwing at aws.

leaflet.pub/leaflet a tool for shared writing and social publishing ⭐️ 241

On December 4, 2007, in the Usenet group “Friends of the Friendless,” someone wrote: “Happy Friendsgiving Y’all!” And that is the first recorded use of ‘Friendsgiving’ in print.

Hey y'all, we just released a new SDK for working with Lexicons in TypeScript! 🥳 It focuses on improving DX and some of the pain points of the current tooling (see my previous post below). It's currently in beta and we'd love to get your feedback 🙇‍♂️ www.npmjs.com/package/@atp...

Protect your valuable JavaScript projects from supply chain attacks: github.com/LavaMoat/Lav...

The next lab from my tiny systems course is up. Learn how to write your own small implementation of the logic programming language Prolog in #fsharp! www.youtube.com/watch?v=KC7A...

vitorpy.com/tangled-cli Rust CLI for tangled ⭐️ 25

baileytownsend.dev/pds-moover Client side no frills atproto account migrator in your web browser ⭐️ 84

What if color harmonies were a continuum? Not fixed rules, and you could glide through them just by interpolating?

zio.sh/atfile 📦➔🦋 Store and retrieve files on the ATmosphere ⭐️ 29

The Federal Communications Commission (FCC) has rolled back a previous ruling that required U.S. telecom carriers to implement stricter cybersecurity measures following the massive hack from the Chinese threat group known as Salt Typhoon.

Eurosky Live in Berlin was this week (great to see so many cool people!), and I wrote about building open social networking protocols is about more than just building an alternative to Big Tech's platform power

archive.ph/7KxFR 🦋