In this game, we will build the basic theory of the natural numbers {0,1,2,3,4,...} from scratch. Our first goal is to prove that 2 + 2 = 4. Next we'll prove that x + y = y + x. And at the end we'll see if we can prove Fermat's Last Theorem. We'll do this by solving levels of a computer puzzle game called Lean.

I argue for wider usage of delimiter-first in the code. three friends [tic, tac, toe] becomes three friends ・tic ・tac ・toe.

Author proposes to replace modern browsers with the following architecture. You make HTTP requests, server return you WASM blobs, they get executed. No built-in DOM.

DOM and its three languages are among the best technologies ever made, despite being so misused. It not being the default way will probably be disastrous. Think about accessibility!

But the idea is cool 🤔

A few basic rules for buying and using computers can save anyone significant amounts of money and produce the confidence required to try new things with computers.

A markdown-like journal language for plainly writing logs , gantt charts , blogs , feeds , notes , journals , diaries , todos , timelines , calendars or anything that happens over time .

Trigger warnings for movies, TV, books, video games and more!

I’ve completely eliminated the alarm clock from my morning routine for about six months. The biggest impacts it's had on my life are: I’ve become a morning person. I wake up feeling great and feel less sleepy during the day.

Paced web reader (pwr) - an esoteric feed reader and workflow for keeping up to date online.

Fast, modern and advanced photo management suite. Free and open source Nextcloud app.

Вывели с клиентом универсальную «инструкцию к терапии». На случай, если кому-то это нужно. Как часто и бывает, у него была популярная мечта сначала что-то поменять в голове, а потом зажить по-новому.

When a player starts a session, they are the car driver, and each person that joins is seated in one of the other three passenger seats.

Players are automatically connected via voice chat.

The radios stations are real-life internet radio streams and several of them are available in the game world.

If you had the choice to sculpt a leg chair out of wood or write a full-fledged audio engine, complete with kernel drivers and whatnot, inside an app for controlling monitor brightness, what wou… Wait, no, that's not a question, you would do the leg chair for sure. There's no way that other thing makes sense.

Gemini is a new internet technology supporting an electronic library of interconnected text documents. Gemini isn't about innovation or disruption, it's about providing some respite for those who feel the internet has been disrupted enough already. We are out to build a lightweight online space where documents are just documents, in the interests of every reader's privacy, attention and bandwidth.

Blog post about very small linux distribution and small programs