20 random bookmarks

stuff me collect

2026-09-24

265.

Wisdom

alearningaday.blog/2026/08/26/wisdom-2

Wisdom is two things held together. Understanding the long-term consequences of your actions, and knowing which of those consequences you could live with without resentment, and still be at peace.

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-02-25

Reposted 206.

Red Blob Games: Hexagonal Grids

www.redblobgames.com/grids/hexagons

Amit's guide to math, algorithms, and code for hexagonal grids in games

2025-01-21

199.

bin - effortless binary manager

github.com/marcosnils/bin

Manages binary files downloaded from different sources

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

169.

Монитор для чувствительных глаз — алгоритм подбора и один параметр, о котором Вы уже скорее всего забыли

habr.com/ru/articles/855812

2024-10-12

154.

Tenno – Markdown and JavaScript = a hybrid of Word and Excel

tenno.app

2024-08-09

Reposted 145.

То что

ilyabirman.ru/meanwhile/all/to-chto

2024-07-23

141.

How to Live | Derek Sivers

sive.rs/h

Want to read and reflect somewhere on every chapter one day...
How to remember that i want it?

27 conflicting answers and one weird conclusion. Many books believe they know how you should live. But each book disagrees with the next. In “How to Live”, each chapter believes it knows how you should live. And each chapter disagrees with the next.

Reposted 140.

Yon

m15o.ichi.city/yon

Yon is a little UI for knowledge designed to be used every day. Add your notes, write your diary, and connect thoughts with bidirectional links. Explore your text through an acme-inspired interface to dive deep or go wide and always find your way back. Yon code and your notes are contained in a single standalone html file with no dependency, so that you can open the lid and tweak any part of it and make it your own.

Reposted 136.

The Forth Methodology of Charles Moore by Jeff Fox 12/09/01

www.ultratechnology.com/method.htm

Don't leave openings in which you are going to insert code at some future date when the problem changes because inevitably the problem will change in a way that you didn't anticipate. Whatever the cost it's wasted. Don't anticipate, solve the problem you've got.

Reposted 133.

photoview/photoview: Photo gallery for self-hosted personal servers

github.com/photoview/photoview

Photo gallery for self-hosted personal servers. Contribute to photoview/photoview development by creating an account on GitHub.

2024-07-14

Reposted 130.

Self-care checklist – Thomas Baart's Microblog

micro.thomasbaart.nl/2024/07/13/self-care-checklist

2024-07-08

126.

Ente Auth

ente.io/auth

Open source 2FA authenticator, with end-to-end encrypted backups

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-05-23

79.

git man page generator

git-man-page-generator.lokaltog.net#dGVhciQkaGFzaA==

Create an infinite amount of straightforward and readable git manual pages.

Service that generates random man pages mocking Git’s dense documentation style.

2024-03-15

39.

Notes Against Note-Taking Systems

sashachapin.substack.com/p/notes-against-note-taking-systems

Kind of controversial take on note taking systems. I can relate though, because i was lost in a burden of creating perfect knowledge management system for a long time without creating any knowledge. Simplest approach with commonplace notebook is what working for me now.
Comments are also useful.

Getting lost in your knowledge management system is a fantastic way to avoid creating things.
Most heart-stopping writing comes from synthesizing the previously unarticulated in the moment. Rather than reaching for your database, try channeling what’s in the air at this very second. These read/write errors are what we call originality.
Leonardo da Vinci kept all of his notes in one big book. If he liked something he put it down. This is known as a commonplace book, and it is about how detailed your note-taking system should be unless you plan on thinking more elaborately than Leonardo da Vinci.
Shun the useless adoption of the aesthetic of the useful. When something can be like work or like play, never make it work.

2024-03-14

38.

Rek Bell — home

kokorobot.ca/site/home.html

Personal web site of Rek Bell - one of 100 rabbits.

30.

Почему твоя мама всё ещё не прогает?

habr.com/ru/companies/domclick/articles/569062

Однажды в конце декабря, когда воздух пахнет сгорающими над городом фейерверками, а улицы полны паникующих из-за цен на горошек, я решил научить программированию бомжа...
Фрустрация от когнитивной сложности — это то самое неприятное чувство, которое возникает, когда не можешь разобраться в какой-то запутанной фигне. В результате для любого человека процесс программирования переполнен страданием. Нормальный человек боль не любит и прогать бросает

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.