20 random bookmarks

stuff me collect

2025-12-14

253.

The Do-Say Ratio

asnewman.github.io/do-say-ratio

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

Reposted 204.

ntfy.sh | Push notifications to your phone or desktop via PUT/POST

ntfy.sh

ntfy is a simple HTTP-based pub-sub notification service. It allows you to send notifications to your phone or desktop via scripts from any computer, and/or using a REST API.

curl \
  -d "Backup successful 😀" \
  ntfy.sh/mytopic

Free notifications!

2025-02-05

201.

Waydroid

waydro.id

A container-based approach to boot a full Android system on regular GNU/Linux systems running Wayland based desktop environments.

2025-01-14

196.

А как собеседоваться?

vas3k.club/post/15768

2024-12-01

Reposted 183.

Managing Digital Files (e.g., Photographs) in Files and Folders

karl-voit.at/managing-digital-photographs

2024-11-12

171.

Staticcheck

staticcheck.dev

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

2024-08-30

148.

«Бобер выдыхай»: Go, WinAPI и ассемблер

habr.com/ru/articles/837454

Desktop-приложение с настоящим интерфейсом, с учетом реалий Windows

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

Obvious travel advice

dynomight.net/travel

2024-06-28

102.

Convert bookmarklet to Chrome extension

sandbox.self.li/bookmarklet-to-extension

2024-06-17

Reposted 89.

XXIIVV — deliberate

wiki.xxiivv.com/site/deliberate.html

Similarly, one might begin to talk instead of watching talk-shows and to play instead of watching game shows — To value the entire spectrum of sensations as necessary members of the whole that is the deliberate existence, with its potential for failure, awkwardness, loneliness, harm and death included.

85.

Ошибки ведения личной базы знаний: почему я удалил 1500 из 4500 заметок в Obsidian

habr.com/ru/articles/820669

однажды я заигрался в красивый инструмент, да так, что в какой-то момент потерял суть и начал терять пользу.

2024-06-14

Reposted 84.

interstar/cardigan-bay: A new wiki engine in Clojure ...

github.com/interstar/cardigan-bay

A single-user “wiki” engine powering the ThoughtStorms wiki.

2024-05-07

68.

GitHub does dotfiles

dotfiles.github.io

Your unofficial guide to dotfiles on GitHub.

2024-04-20

58.

Why you need a "WTF Notebook"

www.simplermachines.com/why-you-need-a-wtf-notebook

WTF Notebook gives me a place to park the impulse to fix it now, damn it! until I have more context for deciding what to work on first. Instead, for two weeks, I just write things down.

2024-03-14

33.

Solarpunk

garden.bouncepaw.com/hypha/solarpunk
  • In the wonderful solarpunk future, we do not use telepathy

  • In the wonderful solarpunk future, we have enough time to not do two things at once

31.

Как я чтение всего контента на RSS переводил

habr.com/ru/articles/799301

TL;DR В статье рассказывается о том, как мне удалось перевести чтение лент в ВКонтакте, Telegram, Facebook, Instagram, Reddit и почтовых рассылок в единый сервис InoReader. Причем почти без написания своих велосипедов

2024-03-13

Reposted 25.

How to Feel 20 Percent Better

www.raptitude.com/2024/02/how-to-feel-20-percent-better
20.

Managing Gigabytes of Images with git-annex

switowski.com/blog/git-annex

What is git-annex, how to set it up to store large files in Google Drive or NAS, and how I use it to seamlessly manage a git repository of 20GB (and counting)?