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 ✌️

Understanding Probabilistic Computing with Clojure https://clojure-diary.gitlab.io/2025/12/05/understanding-probabilistic-computing-with-clojure.html #math #mathematics

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 🦋

Wow! This is actually *really* useful as a teaching tool.

"We don't just want to survive — we want democracies to thrive. We are not just defending what we have, but building what we want the future to look like [...] Taiwan is ready to work with all of you. Together, we can ensure that freedom not only endures but prevails." Listen: youtu.be/BdW-ctCo1wo

Actually quite good 😊

"A united democratic response would be much more difficult to break down for authoritarians. Here, Taiwan has much to contribute [...] We are also willing to bear our share of burden, and do not take our security partners' support for granted." Hear Tsai Ing-wen's full speech: youtu.be/y-6GkCVY6Qk

livetweet on the psvita using twb.preloading.dev

nekomimi.pet/wisp.place-monorepo Monorepo for Wisp.place. A static site hosting service built on top of the AT Protocol. ⭐️ 34

Once again reminded how great the {tidytext} package is for doing text analysis with #rstats. Check out this plot of average sentiment across each episode in all 9 seasons of The Office! Here's the code: gist.github.com/andrewheiss/...

Chatted with an OG Internet guy at the @atproto.boston meetup today. Asked him about the last time he saw so much community excitement and engagement for a protocol. He said http and html.

it has been great working with bunny.net! I recommend them often, and would build on their CDN again in a heartbeat

Announcing ATmosphereConf 2026, coming to Vancouver March 26th to 29th. We've got the full announcement and future news and updates on our new site news.atmosphereconf.org/3m3cwwz4mpk2j

This is pretty cool y’all ;-)

Just made first contact with Gleam through these beautiful docs on the Lustre web framework. Awesome job putting this all together 👏🎉🙏 @hayleigh.dev