Today, we’re open sourcing Ozone, a tool that lets a team of moderators or curators collaboratively review reports, create labels, and inspect content on the atproto network. Later this week, we’re opening up the ability for users to run their own independent…

We're celebrating the World Day Against Cyber Censorship by officially announcing WebTunnel, a new type of Tor bridge designed to assist users in heavily censored regions to connect to the Tor network. Available now in the stable version of Tor Browser.

One of my favorite civil engineering projects!
🌌Get Nebula using my link for 40% off an annual subnoscription: https://go.nebula.tv/Practical-Engineering
🚆Watch "The Logistics of X": https://nebula.tv/thelogisticsofx?ref=practical-engineering

The lean isn’t…

Linux is gaining ground on the desktop as it becomes easier to use and as Microsoft’s attention shifts towards cloud services.

The nonfiction writer Lucas Mann offers advice for essayists worried about whether they have anything interesting to say.

Article Do You Use It? How TidBITS Readers Install macOS Updates - TidBITS says that “Some people even wait until Apple announces or even releases the next macOS version, under the theory that it somehow isn’t fully baked until then.”. I wait until the next…

My 495 bytes language written in Z80 machine code when I was age 9.

Odes & Satires, and other matters of stuff & things.

Our fancy WireGuard setup was accumulating stale peers. Here's what we did about it.

A wide range of real-world applications is characterized by their symbolic nature, necessitating a strong capability for symbolic reasoning. This paper investigates the potential application of...

The 2025 Audi A3 looks sharper and comes with more tech, but you will have to pay a subnoscription for some basic in-car features.

Turn your photos into beautiful art! Personalize your photos into cute cartoons, cool sketches, beautiful oil paintings, dreamy watercolors, and many more. Experience the enchanting magic of art with your own pictures. Powered by our state-of-the-art photo…

The famous mathematician Kurt Gödel proved two “incompleteness” theorems. This is their story. By the 1930s logicians, especially Tarski, had figured out the semantics of predicate logi…

Recently, a former employee of F5 and main contributor of the Nginx project announced the fork Freenginx of the popular web server. The new project was started to address a security dispute and wants to be a drop-in replacement of Nginx, run by developers…

On mutation, how it subtly occurs in single-threaded code, and how it can disrupt the process of upgrading single-threaded code to being multi-threaded.