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-04-09

222.

The blissful zen of a good side project

joshcollinsworth.com/blog/the-blissful-zen-of-a-good-side-project

It doesn’t matter what the project is; it matters that it is.

You don’t need to know where it’s going to lead. For that matter, it doesn’t have to lead anywhere. Nothing ever has to come of it. It’s ok if this project never even exists, as far as anyone else is concerned. Failure isn’t failure; it’s part of the process. It’s done when you’re done with it.

So whatever your side project is: I encourage you to pick it up, and let that part of you exist (again).

2025-03-23

217.

use pc using without mouse

mouseless.click

Splits whole screen by named squares and moves cursor there.
Note: Windows and Linux support are still in development.
explanation: https://youtu.be/FYV4HbW2XCI

2025-03-08

212.

If it is worth keeping, save it in Markdown

p.migdal.pl/blog/2025/02/markdown-saves

I like the idea, but my laziness makes me avoid any non-automatic methods. I’d prefer a format similar to Mycomarkup or Markdown, but with built-in support for embedding images and other binary content, turning a web article into a single file. I’m aware of data: images in Markdown, but they’re not very convenient to use.

Reposted 210.

Falsehoods Programmers Believe About HTML

aartaka.me/falsehoods-html

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.

2024-12-16

Reposted 191.

Strategies for Minimizing the Total Cost of Computer Ownership

cheapskatesguide.org/articles/cost-strategies.html

A few basic rules for buying and using computers can save anyone significant amounts of money and produce the confidence required to try new things with computers.

2024-12-01

Reposted 183.

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

karl-voit.at/managing-digital-photographs

2024-11-01

167.

Throw Out Your Black Plastic Spatula

www.theatlantic.com/health/archive/2024/10/black-plastic-spatula-flame-retardants/680452

It’s probably leaching chemicals into your cooking oil.
Replacing a black plastic spatula with a steel or silicone option is an easy way to cut down on at least part of one’s daily dose of hormone disruptors

2024-10-31

165.

Timezones are weird. But only finitely so

ssoready.com/blog/engineering/truths-programmers-timezones

I’m gonna show you some weird timezones. In fact, the weirdest timezones.
To learn how their weirdness is represented in software, we’ll look at the raw timezone files that all software ultimately relies on.

2024-10-14

159.

Cognitive load

minds.md/zakirullin/cognitive

The best components are those that provide powerful functionality yet have simple interface.

Do not add layers of abstractions for the sake of an architecture. Add them whenever you need an extension point that is justified for practical reasons.

2024-07-02

Reposted 118.

Oatmeal - Blogroll

eli.li/blogroll

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.

2024-06-13

82.

Betula – federated bookmarking software for the independent web

news.ycombinator.com/item?id=40622189

HackerNews post about Betula

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

66.

Woodworking as an escape from the absurdity of software

alinpanaitiu.com/blog/woodworking-escape-from-software-absurdity

If you had the choice to sculpt a leg chair out of wood or write a full-fledged audio engine, complete with kernel drivers and whatnot, inside an app for controlling monitor brightness, what wou… Wait, no, that's not a question, you would do the leg chair for sure. There's no way that other thing makes sense.

2024-03-21

45.

The Starship or the Canoe: Where Will Our Future Adaptations Be? - Cal Alumni Association

alumni.berkeley.edu/california-magazine/summer-2017-adaptation/starship-or-canoe-where-will-our-future-adaptations-be

Прекрасная статья о выборе человечества - покинуть планету с её проблемами или остаться и решать их? Обратиться к корням - природе, ручному труду или отвергнуть прошлое и адаптироваться к жестокому космосу?
Как сказал Курт Воннегут: "What makes you think you’re going anywhere?"
Подобные Дайсонам, в моей душе борются отец и сын, правда скорее поменявшись ролями. Тянуться к недостижимому космосу, к неизведанным и от того прекрасным технологиям с их бесконечными проблемами? Или обратить внимание на верную спутницу человека - прекрасную Землю и, возможно, обрести покой в отказе от амбиций?

2024-03-15

40.

Workspaces gallery

www.workspaces.xyz

Constantly updating collection of beautiful workspaces. There is short description of items and software from an author, some ideas about creativity.

2024-03-14

37.

Permacomputing | viznut

viznut.fi/texts-en/permacomputing.html

This is a collection of random thoughts regarding the application of permacultural ideas to the computer world.

31.

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

habr.com/ru/articles/799301

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