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.

Very long, detailed, thorough guide on how to make Windows 11 less annoying, more productive and more ergonomic, with numerous changes and tweaks focused on privacy, security and usability, including reasons not to use Windows 11, pros and cons compared to earlier versions of Windows, tools needed before installation, USB media creation, how to skip online account creation, post-install questions, autoplay configuration, personalization, Firefox as default browser, app startup, offline maps, account sign-in options, time and language, gaming, entire privacy & security section in Settings - general, diagnostics and feedback, inking and typing, activity history, search permissions, and resource access, unnecessary services, cloud search, use of Winaero Tweaker to remove various options and features, Copilot, unnecessary apps, use of winget and Powershell to remove apps, Microsoft Edge removal, Open-Shell start menu alternative, autostart entries via Autoruns, optional removal of Windows Defender, optional configuration of Windows Update, Windows Explorer and taskbar tweaks, some other recommendations, and more

If I ever end up using Windows on a personal machine, I'll follow this guide

Автор убирает рекламу и логотипы вообще со всего и делает это очень красиво

Splits whole screen by named squares and moves cursor there.
Note: Windows and Linux support are still in development.
explanation: https://youtu.be/FYV4HbW2XCI

What git config settings should be defaults by now? Here are some settings that even the core developers change.

• Shipping is really hard and you have to make it your main priority

• Shipping doesn’t mean deploying code, it means making your leadership team happy

• You need your leadership team to trust you in order to ship

• Most of the essential technical work is in anticipating problems and creating fallback plans

• Scale back your implementation work as you approach launch so you’re free to jump on last-minute problems

• You should constantly ask yourself “can I ship right this second?”

With a sufficient number of users of an API, it does not matter what you promise in the contract: all observable behaviors of your system will be depended on by somebody.

A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux and Web - koodo-reader/koodo-reader

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

По сути, выражение s[~i] эквивалентно выражениям s[-i - 1] и s[len(s) - i - 1], однако является более красивым и компактным вариантом записи.

Similarly, one might begin to talk instead of watching talk-shows and to play instead of watching game shows — To value the entire spectrum of sensations as necessary members of the whole that is the deliberate existence, with its potential for failure, awkwardness, loneliness, harm and death included.

Create an infinite amount of straightforward and readable git manual pages.

Service that generates random man pages mocking Git’s dense documentation style.

WTF Notebook gives me a place to park the impulse to fix it now, damn it! until I have more context for deciding what to work on first. Instead, for two weeks, I just write things down.