20 random bookmarks
stuff me collect
stuff me collect
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.
Ensō is a writing tool that helps you enter a state of flow. It does this by separating writing from editing and thus making it harder for you to edit yourself.
The text fades away as you type so you can focus on what you want to say instead of how you want to say it.
You can’t select or edit text, but you can download and review it once you’re done.
It doesn’t matter what the project is; it matters that it is.
You don’t need to know where it’s going to lead. For that matter, it doesn’t have to lead anywhere. Nothing ever has to come of it. It’s ok if this project never even exists, as far as anyone else is concerned. Failure isn’t failure; it’s part of the process. It’s done when you’re done with it.
So whatever your side project is: I encourage you to pick it up, and let that part of you exist (again).
Being prolific forces you to take notice. Taking notice develops your taste.
Статьи предназначены для максимально легкого вкатывания в плагинописание для Obsidian.
Официально документация Obsidian настоятельно рекомендует использовать TypeScript и npm и использует только такой подход в своем GitHub с примерами. Я же в свою очередь утверждаю, что если вы хотите просто сесть и написать малюсенький плагин, у вас нет необходимости даже в этом стеке.
So true
Explore live radio by rotating the globe.
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
По сути, выражение
s[~i]эквивалентно выражениямs[-i - 1]иs[len(s) - i - 1], однако является более красивым и компактным вариантом записи.
Instead of asking over and over again if she is working tomorrow. I just consult her very organised calendar — and when she wants to check if I'm free she looks at my very empty calendar.
Set of tools to be installed on every your server, because if something goes down there might be no way and/or time to install it anymore
A holistic approach to computing and sustainability inspired from permaculture. Permacomputing is about using computation only when it has a strengthening effect on ecosystems.
Design For Disassembly
Design For Encapsulation
Design For Descent
Using a single init.lua or vimrc configuration file for (Neo)Vim file is better than a multi folder/file layout approach.