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

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

Настольное пособие по тому, как писать в go-way стиле

Amit's guide to math, algorithms, and code for hexagonal grids in games

Some users have expressed discomfort when a knife is plunged into their chest, and this header allows those users to express their personal preferences.

Want to read and reflect somewhere on every chapter one day...
How to remember that i want it?

27 conflicting answers and one weird conclusion. Many books believe they know how you should live. But each book disagrees with the next. In “How to Live”, each chapter believes it knows how you should live. And each chapter disagrees with the next.

Development Platform for building event-driven and distributed systems. Move faster with purpose-built local dev tools and DevOps automation for AWS/GCP.

однажды я заигрался в красивый инструмент, да так, что в какой-то момент потерял суть и начал терять пользу.

Your unofficial guide to dotfiles on GitHub.

I can't get the noise out of my head. People who watch the video express awe and disgust. And that is why Dutch software developer Bert Hubert's experiment is so powerful. It doesn't really uncover something that we shouldn't already know. Something we often choose to ignore. The brilliance is

#1 Locally hosted web application that allows you to perform various operations on PDF files - Stirling-Tools/Stirling-PDF

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.

• In the wonderful solarpunk future, we do not use telepathy

• In the wonderful solarpunk future, we have enough time to not do two things at once

TL;DR В статье рассказывается о том, как мне удалось перевести чтение лент в ВКонтакте, Telegram, Facebook, Instagram, Reddit и почтовых рассылок в единый сервис InoReader. Причем почти без написания своих велосипедов

Я согласен с тем, что логику нужно разносить по сервисам. Но сервисы должны использовать общую шину данных: базу, очередь сообщений, файлы в S3 в конце концов. Гонять друг другу JSON выглядит хорошо в теории, но на практике — фу.

Условный Постгрес выплюнет миллион записей за доли секунды. Забрать этот же миллион из другого сервиса — приключение на неделю. Тут и метрики, лимиты, квоты, сетевые спайки, etc… А когда таких запросов несколько, сервис ложится спать.