20 random bookmarks

stuff me collect

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)

2025-06-16

Reposted 236.

Wiki - BetterThanJson

wiki.alopex.li/BetterThanJson

2025-03-04

208.

How Core Git Developers Configure Git

blog.gitbutler.com/how-git-core-devs-configure-git

What git config settings should be defaults by now? Here are some settings that even the core developers change.

2024-12-05

Reposted 188.

Digitizing All Your Paper Stuff

karl-voit.at/2015/04/05/digitizing-paper

2024-11-24

177.

Super cool looking personal site

caitsith.neocities.org/myhomepage

It has aesthetics associated with 90s and 2000s internet.

2024-11-12

171.

Staticcheck

staticcheck.dev

Using static analysis, it finds bugs and performance issues, offers simplifications, and enforces style rules.

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

160.

Kosmik - browser for moodboards etc

www.kosmik.app

2024-09-25

Reposted 151.

How to Lose Time and Money

paulgraham.com/selfindulgence.html

2024-07-23

Reposted 139.

pwr

muxup.com/pwr

Paced web reader (pwr) - an esoteric feed reader and workflow for keeping up to date online.

Reposted 138.

Obvious travel advice

dynomight.net/travel
Reposted 135.

GitHub - koodo-reader/koodo-reader: A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux and Web

github.com/koodo-reader/koodo-reader

A modern ebook manager and reader with sync and backup capacities for Windows, macOS, Linux and Web - koodo-reader/koodo-reader

2024-07-08

126.

Ente Auth

ente.io/auth

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

2024-07-04

122.

Edna - scratchpad and note taking app

github.com/kjk/edna

Heavy use of shortcuts, has unique concept of blocks with different types (i actually like it a lot). Blocks can have type of code (and can be formatted). In Math blocks lines are evaluated as expressions with results at the end. Can execute golang code.

2024-06-28

106.

Encore — Simple Development for Complex Problems

encore.dev

Development Platform for building event-driven and distributed systems. Move faster with purpose-built local dev tools and DevOps automation for AWS/GCP.

2024-06-20

94.

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

habr.com/ru/articles/818479

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

2024-06-17

86.

Помощь Марка Авреалия в познании науки «нечтения» — Рустам Агамалиев

rustamagamaliev.ru?p=2522

Умерь жажду книжного знания, чтобы не роптать, когда придет смерть

2024-05-07

Reposted 67.

The creepy sound of online trackers

axbom.com/the-creepy-sound-of-online-trackers

I can't get the noise out of my head. People who watch the video express awe and disgust. And that is why Dutch software developer Bert Hubert's experiment is so powerful. It doesn't really uncover something that we shouldn't already know. Something we often choose to ignore. The brilliance is

2024-03-21

46.

The myth of natural talent

medium.com/@orzel.jarek/the-myth-of-natural-talent-ac74787f5826

Another perspective is that talent is closely tied to passion and motivation. People who are deeply interested and motivated in a specific area are often seen as having a natural talent for it. This perspective suggests that talent is nurtured through genuine enthusiasm and dedication.