20 random bookmarks

stuff me collect

2025-12-02

248.

Удалённое использование pg_dump и psql для бэкапа и восстановления базы данных PostgreSQL

evileg.com/ru/post/881

2025-08-02

244.

Natural Number Game - An introduction to mathematical proof.

adam.math.hhu.de#/g/leanprover-community/nng4

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.

2025-07-16

240.

Wire Like A Pro: Peeking Into Wire Harness Mastery

www.rbracing-rsr.com/wiring_ecu.html

2025-07-02

239.

Enso - Write now, edit later

enso.sonnet.io

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.

2025-06-18

237.

Micro Habits that Fuel Depression

youtu.be/EyC5yJVLlUM

2025-04-09

222.

The blissful zen of a good side project

joshcollinsworth.com/blog/the-blissful-zen-of-a-good-side-project

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).

2025-03-10

213.

A system to organise your life

johnnydecimal.com

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

2025-03-03

207.

SvgPathEditor

yqnn.github.io/svg-path-editor

2025-01-13

193.

Create every day

jihad.house/notes/create-every-day

Being prolific forces you to take notice. Taking notice develops your taste.

2024-12-02

184.

Пишем плагины для Obsidian

habr.com/ru/articles/861230

Статьи предназначены для максимально легкого вкатывания в плагинописание для Obsidian.
Официально документация Obsidian настоятельно рекомендует использовать TypeScript и npm и использует только такой подход в своем GitHub с примерами. Я же в свою очередь утверждаю, что если вы хотите просто сесть и написать малюсенький плагин, у вас нет необходимости даже в этом стеке.

2024-11-28

Reposted 181.

Make It Ephemeral: Software Should Decay and Lose Data

lucumr.pocoo.org/2024/10/30/make-it-ephemeral

So true

2024-07-08

127.

Radio Garden

radio.garden

Explore live radio by rotating the globe.

2024-06-28

105.

SilasMarvin/lsp-ai: LSP-AI

github.com/SilasMarvin/lsp-ai

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

2024-06-20

94.

Симметричная индексация в Python

habr.com/ru/articles/818479

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

2024-05-20

76.

D3 in Depth

d3indepth.com

2024-05-13

Reposted 72.

Как писать хайку на русском языке — HAIKAI.RU

haikai.ru/russian_haiku

2024-03-28

Reposted 49.

Create a shared digital calendar with significant people in your life

practicalbetterments.com/create-a-shared-digital-calendar-with-significant-people-in-your-life

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.

2024-03-24

47.

Linux Crisis Tools

www.brendangregg.com/blog/2024-03-24/linux-crisis-tools.html

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

2024-03-14

36.

XXIIVV — permacomputing

wiki.xxiivv.com/site/permacomputing.html

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

2024-03-12

18.

The benefits of using a single configuration file

arslan.io/2023/05/10/the-benefits-of-using-a-single-init-lua-vimrc-file

Using a single init.lua or vimrc configuration file for (Neo)Vim file is better than a multi folder/file layout approach.