20 random bookmarks

stuff me collect

2025-12-14

253.

The Do-Say Ratio

asnewman.github.io/do-say-ratio

2025-12-02

Reposted 249.

AutoEq

autoeq.app

Automatic headphone equalization

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-06-16

Reposted 236.

Wiki - BetterThanJson

wiki.alopex.li/BetterThanJson

2025-05-13

Reposted 232.

Найти и обезбрендить [что я делаю и чем это объясняю]

ponomoona.livejournal.com/179335.html

Автор убирает рекламу и логотипы вообще со всего и делает это очень красиво

2025-03-26

Reposted 220.

Hive Puzzles vol. 1

gripot.se/hive/HivePuzzles_vol1.pdf

Hive the board game puzzles. A notation for games is also introduced.

via Optozorax

2025-03-18

215.

Beginner Full-Body Workout

www.muscleandstrength.com/workouts/beginner-fullbody-workout.html

Do this full body split 3 times a week. The goal is to get your form down pat on the most basic and most important exercises in the gym.

2025-03-03

207.

SvgPathEditor

yqnn.github.io/svg-path-editor

2024-11-14

173.

Testcontainers - Unit tests with real dependencies

testcontainers.com

Testcontainers is an open source library for providing throwaway, lightweight instances of databases, message brokers, web browsers, or just about anything that can run in a Docker container.

2024-10-12

Reposted 156.

Collection

git.calculate-linux.org/serg-sg/collection

Сборник различных сценариев автоматизации и справочных материалов

Есть инструкция для почтового сервиса в кластере

2024-07-23

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.

2024-07-03

120.

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

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

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

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

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

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

  • Заведи блог

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

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

2024-07-02

Reposted 116.

Kinopio – Thinking Canvas

kinopio.club

One of my favorite tools on the internet. I love the design! The person behind it: https://pketh.org/archives/ seems cool as well. They also worked on Glitch.

2024-06-30

108.

Immich - Selfhoto and video backup solution

immich.app

immich Self-hosted photo and video backup solution directly from your mobile phone

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

100.

So, do you actually want to write?

artemis.sh/2024/06/19/do-you-really-want-to-write.html

Do you actually want to write? Ok. Then write. In a text file on your computer, in a pastebin, on a blogging platform, on neocities, on cohost or mastodon, on a copy-pasted template from github pages, in /var/www, on some forum that nobody’s looked at in 15 years. It really does not matter. Go write.
But, perhaps you don’t really want to write. Do you like tinkering with site generator tools? Then fucking tinker to your heart’s content. You don’t need to have an end goal where you actually put some thinkpiece or technical writeup on the website. Building it can be its own reward.
If you love it, let it consume you. If you hate every moment you spend with it, why are you trying to do it? Real winners quit.

2024-04-13

Reposted 56.

How I write tests in Go

blog.verygoodsoftwarenotvirus.ru/posts/testing-in-go

In many other languages, you have to not only evaluate testing libraries, but also write your tests in a style that complies with that library’s expectations. Gophers are blessed to have a thoroughly adequate solution out-of-the-box, and even further blessed to have an active ecosystem where folks are making in-depth testing a walk in the park.

2024-04-08

53.

Эффект Монреаля: почему языкам программирования нужен Царь стилей

habr.com/ru/companies/ruvds/articles/805235

2024-03-18

Reposted 42.

JPEG DCT text lossifizer

lcamtuf.coredump.cx/lossifizer

Did you ever wake up in the middle of the night wondering what would happen if you applied JPEG-style lossy compression to text?

2024-03-12

19.

How I backup my Photos

arslan.io/2023/02/25/how-i-backup-my-photos

How to backup photos using Apple, lightroom, nextcloud