20 random bookmarks

stuff me collect

2025-08-11

245.

Quickshell - building blocks for your desktop

quickshell.org

Quickshell is a toolkit for building status bars, widgets, lockscreens, and other desktop components using QtQuick. It can be used alongside your wayland compositor or window manager to build a complete desktop environment.

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-30

243.

Perkeep is your personal storage system for life.

perkeep.org

Things Perkeep believes:

  • Your data is entirely under your control

  • Open Source

  • Paranoid about privacy, everything private by default

  • No SPOF: don't rely on any single party (including yourself)

  • Your data should be alive in 80 years, especially if you are

While Perkeep can store files like a traditional filesystem (think: “directories”, “files”, “filenames”), it’s specialized in storing higher-level objects, which can represent anything. (photos, likes, tweets, measurements etc)

2024-12-26

192.

Ask HN: Programmers who don't use autocomplete/LSP, how do you do it?

news.ycombinator.com/item?id=42492508

Really intresting comments

This question reminds me of the first time I met a blind programmer. I asked him how he managed to code, and he replied with something that stayed with me: a good programmer should organize software in such a way that every piece of code has a clear and logical place. The organization should be so intuitive that anyone could build a mental model of the structure and navigate it easily, even without seeing it.

2024-11-24

176.

Nekoweb - free static website hosting service

nekoweb.org

Social media is too limiting. We believe that everyone should be able to freely express themselves in their own little corner of the web, without having to worry about things like algorithms, tracking, or advertisements.
Nekoweb is free of any advertisements, and is run completely by donations from its users.

2024-11-22

175.

Hyrum's Law in Golang

abenezer.org/blog/hyrum-law-in-golang

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.

2024-10-17

Reposted 161.

FFmpeg - Ultimate Guide | IMG.LY Blog

img.ly/blog/ultimate-guide-to-ffmpeg

This guide covers the ins and outs of FFmpeg starting with fundamental concepts and moving to media transcoding and video and audio processing providing practical examples along the way.

2024-10-09

Reposted 153.

GitHub - aigoncharov/telegram-to-rss: Generate an RSS feed from Telegram chats. You digital minimalism friend.

github.com/aigoncharov/telegram-to-rss

Generate an RSS feed from Telegram chats. You digital minimalism friend. - aigoncharov/telegram-to-rss

2024-07-04

Reposted 121.

Writebook

once.com/writebook

Instantly publish your own books on the web for free, no publisher required.

Blogging and posting on social is easy. But why is it so hard to publish a whole book on the web? It’s not anymore. Writebook is remarkably simple software that allows you to publish text and pictures in a simple, browsable online book format.

2024-07-03

120.

Как на самом деле запоминать всё, что прочитал

fedorovpishet.ru/kak-na-samom-dele-zapominat-vsyo-chto-prochital
  • Приложения для сбора хайлайтов из статей и книг не помогают запоминать прочитанное

  • Для того, чтобы запоминать прочитанное не нужна хорошая память

  • Лучший способ запомнить прочитанное — понять то, что ты прочитал

  • Чтобы на самом деле понять прочитанное, нужно приложить усилия

  • Объясняй другим идеи, чтобы лучше понимать и запоминать их

  • Заведи блог

  • Участвуй в сетевых дискуссиях

  • Откажись от автоматизации

2024-07-02

Reposted 115.

GitHub - martinvonz/jj: A Git-compatible VCS that is both simple and powerful

github.com/martinvonz/jj

2024-06-28

107.

Queueing – An interactive study of queueing strategies

encore.dev/blog/queueing

Very good article about how queueing works, different methods to handle high load. Super cool interactive examples with animations!

2024-06-20

95.

Harmonic Table Keyboard Brings Old Idea Back To Life

hackaday.com/2024/06/17/harmonic-table-keyboard-brings-old-idea-back-to-life

The layout provides easier chord and scale patterns, and for beginner musicians it can have a much shallower learning curve than other types of instruments.

94.

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

habr.com/ru/articles/818479

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

2024-06-17

Reposted 88.

Банальность в терапии

spectator.ru/entry/6699

2024-05-17

Reposted 74.

Кейс: идеальная тележка для Пятёрочки

blog.buro.cx/cx-telezhka

История о том, как наше Бюро проектировало лучшую тележку для торговых сетей группы X5

2024-05-13

71.

Hypermedia Systems - FastAPI+HTMX book

hypermedia.systems/book/contents

This is a book about building applications using hypermedia systems.

2024-04-08

54.

Why Don't I Like Git More?

matduggan.com/why-dont-i-like-git-more

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

2024-03-13

22.

Why do we even blog?

alexschroeder.ch/view/2024-03-07-why-blog

2024-03-12

Reposted 17.

Choose Boring Technology

boringtechnology.club

Innovation tokens and whatnot.