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

Tool to convert JSON into Go structures.

Johnny.Decimal is designed to help you find things quickly, with more confidence, and less stress.

• 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?”

Server racks as home furniture.

Testcontainers is an open source library for providing throwaway, lightweight instances of databases, message brokers, web browsers, or just about anything that can run in a Docker container.

It’s probably leaching chemicals into your cooking oil.
Replacing a black plastic spatula with a steel or silicone option is an easy way to cut down on at least part of one’s daily dose of hormone disruptors

Кажется уже не получится "улучшить" эл. почту. Нужна новая децентрализованная технология. Как сделать её простой для обычных пользователей? Как убедиться, что никто не сможет украсть или заблокировать твою личность? Идентификации просто по публичному адресу уже давно не достаточно.
Мессенджеры полностью заменили почту в плане общения, возможно их надо доработать?

Кстати, бетулу можно использовать как твиттер Х микроблог

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

Rent and sell GPUs. Low-cost GPU instances ready for machine learning.

Автор обсуждает использование git для управления проектами и проблемы с ним, а так же рассматривает альтернативы.

Interactive introduction to grep with real-world use cases.

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

Sufficiently advanced technology is indistinguishable from nature