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

XKCD Comic. 4 Panels; three people in each. Panel 1 - female in middle: "OUR FIELD HAS BEEN STRUGGLING WITH THIS PROBLEM FOR YEARS." Panel 2 - male with no hair, holding up book: "STRUGGLE NO MORE! I'M HERE TO SOLVE IT WITH ALGORITHMS!" Panel 3 - same male sitting at desk with laptop Panel 4 - Caption: "SIX MONTHS LATER." Male at desk: "WOW, THIS PROBLEM IS REALLY HARD." Female: [Bold text] "YOU DON'T SAY."

xkcd.com/1831/

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

atmo.rsvp/p/atproto.to...

github.com/awslabs/Auto...

Very relevant to my language design project...

Representing Graphs in Prolog YouTube video by The Power of Prolog

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

Oh, yes! Very good source material! 🧑‍🔬🙏

Ooo... I'm building a dependently-typed language currently (among other features)... it's not quite ready for public consumption; but I'd be curious to know what this is from? :)

Tired of dystopian sci-fi? You might like Solarpunk. A recent literary genre imagines what happens when our climate changes—and so do we.

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/

Check out for more: www.deepclause.ai

Implementing a (vibed) LLM Coding Agent in Prolog This is another post on DeepClause, my current side project.

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
👏👍😅

Verifiable Cities | Notion The Use Case Lab is an applied research initiative at the Ethereum Foundation focused on advancing under-explored, high-impact use cases for Ethereum through collaborative prototyping, pilots, and sta...

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

If only there were an open social protocol, where users could be in control of their own feed... 🤔🦋😅

We'll get there... 😉

GitHub - lab-v2/pyreason: An explainable inference software supporting annotated, real valued, graph based and temporal logic An explainable inference software supporting annotated, real valued, graph based and temporal logic - GitHub - lab-v2/pyreason: An explainable inference software supporting annotated, real valued,...

• github.com/lab-v2/pyrea...
• pyreason.syracuse.edu
• www.semanticscholar.org/paper/Lattic...
• www.semanticscholar.org/paper/PyReas...

PyReason and Applications YouTube video by Neuro Symbolic

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.

Arnaud Bertrand (@arnaudbertrand) This strange square 👇 is undoubtedly the most extraordinary work of literature in human history. Yet, unfortunately, barely anyone in the West has ever heard of it. There was this woman poet in 4th c...

substack.com/@arnaudbertr...

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.

Combining TLS and MLS: An experiment We did a thing. We combined TLS and MLS into a hybrid protocol. Of course, when things get serious, full names are in order: We combined the Transport Layer Security protocol and the Messaging Layer S...

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 👇

Invitation cards in front of the ALL CREATURES WELCOME banner AIR • No phone number or email • End-to-end encrypted • No metadata retention • Open-source • Post-quantum secure • Based on Messaging Layer Security (MLS) and open standards • EU-based

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