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.

Flexbox Labs is a visual tool for learning and experimenting with CSS Flexbox. It lets you adjust layout settings in real-time, view changes instantly, and export the HTML/CSS code.

A container-based approach to boot a full Android system on regular GNU/Linux systems running Wayland based desktop environments.

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 .

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.

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

Heavy use of shortcuts, has unique concept of blocks with different types (i actually like it a lot). Blocks can have type of code (and can be formatted). In Math blocks lines are evaluated as expressions with results at the end. Can execute golang code.

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

Хитрым и условно бесплатным методом мы ускорили флоу каждого запроса на 150+ мкс. Формально — это малозаметная цифра, однако она является чистейшей CPU-нагрузкой, и на каждые 10000 запросов экономит 1,5 секунды процессорного времени, что для компьютера является десятью вечностями. Мелочь, а приятно.

Немного советов, как это использовать
1. Some coding...
2. Увидеть запрос в БД на 10 секунд и понять, что это всё было зря.
3. Плакать.

unix is user-friendly—it’s just choosy about who its friends are.

I even have it [Windows] installed on my gaming pc so that I can buy games I never play.

It is easy to shoot your foot off with git, but also easy to revert to a previous foot and merge it with your current leg.

EditorConfig helps maintain consistent coding styles for multiple developers working on the same project across various editors and IDEs. The EditorConfig project consists of a file format for defining coding styles and a collection of text editor plugins that enable editors to read the file format and adhere to defined styles. EditorConfig files are easily readable and they work nicely with version control systems.

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