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.

Breeze PDF is a powerful, free PDF editor that works entirely offline in your browser. No uploads, 100% privacy guaranteed.

Статьи предназначены для максимально легкого вкатывания в плагинописание для Obsidian.
Официально документация Obsidian настоятельно рекомендует использовать TypeScript и npm и использует только такой подход в своем GitHub с примерами. Я же в свою очередь утверждаю, что если вы хотите просто сесть и написать малюсенький плагин, у вас нет необходимости даже в этом стеке.

How to use different git identities for different projects

TempleOS has images in comments btw.

• https://v5.chriskrycho.com/essays/jj-init/
• https://steveklabnik.github.io/jujutsu-tutorial/advanced/simultaneous-edits.html

Very good article about how queueing works, different methods to handle high load. Super cool interactive examples with animations!

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them

if you are unfortunate enough to browse a fandom wiki without an ad blocker, you will experience what i like to call "attention assault"

if you are a fandom wiki owner & you would like to move your wiki content elsewhere, i will offer you my expertise at $0/hour. i know lots about servers, software, and maintenance. just email me - let's get you out of fandom's ecosystem.

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.

The bicycle, as we know it today, was not invented until the late 1800s. Here are some theories about why

Blog post about very small linux distribution and small programs