20 random bookmarks

stuff me collect

2025-12-14

253.

The Do-Say Ratio

asnewman.github.io/do-say-ratio

2025-12-02

252.

Gaming Couch

gamingcouch.com/ru

Кооперативные Диванные Вечеринки Стали Проще! Играйте в веселые, быстрые и вызывающие соперничество игры с участием до 8 игроков. Ваш смартфон — ваш контроллер — не требуется ни консолей, ни загрузок!

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

Reposted 225.

Unsure Calculator

filiph.github.io/unsure

2025-04-22

223.

Effective Go

go.dev/doc/effective_go

Настольное пособие по тому, как писать в go-way стиле

2025-03-08

Reposted 210.

Falsehoods Programmers Believe About HTML

aartaka.me/falsehoods-html

2024-11-05

Reposted 170.

Database Remote-Copy Tool For SQLite

sqlite.org/rsync.html

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-08-30

149.

13 Feet Ladder

github.com/wasi-master/13ft

This is a simple self hosted server that has a simple but powerful interface to block ads, paywalls, and other nonsense. Specially for sites like medium, new york times which have paid articles that you normally cannot read

2024-07-26

144.

THE RISE OF THE DISAPPEARING POLYMORPHS

hackaday.com/2024/07/24/the-rise-of-the-disappearing-polymorphs

Reads like some sci-fi story. How is that even a thing??

Science and engineering usually create consistent results. Generally, when you figure out how to make something, you can repeat that at will to make more of something. But what if, one day, you ran the same process, and got different results? You double-checked, and triple-checked, and you kept ending up with a different end product instead?
Perhaps it wasn’t the process that changed, but the environment? Or physics itself? Enter the scary world of disappearing polymorphs.

2024-07-23

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

Reposted 90.

Your brain does not process information and it is not a computer | Aeon Essays

aeon.co/essays/your-brain-does-not-process-information-and-it-is-not-a-computer

Your brain does not process information, retrieve knowledge or store memories. In short: your brain is not a computer

2024-05-07

68.

GitHub does dotfiles

dotfiles.github.io

Your unofficial guide to dotfiles on GitHub.

2024-04-08

55.

Naming Schemes

namingschemes.com/Main_Page
53.

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

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

2024-03-28

Reposted 49.

Create a shared digital calendar with significant people in your life

practicalbetterments.com/create-a-shared-digital-calendar-with-significant-people-in-your-life

Instead of asking over and over again if she is working tomorrow. I just consult her very organised calendar — and when she wants to check if I'm free she looks at my very empty calendar.

2024-03-19

43.

A Society That Lost Focus

ploum.net/2024-03-18-lost-focus.html

Simply do the math. If you have 180 friends on Facebook, which seems to be a low amount those days, if your friends take, on average, 10 days of vacation per year, you will have, on average, five friends on vacation every day. Add to this statistic that some people like to re-post pictures of old vacations and it means that you will be bombarded daily by pictures of sunny beaches and beautiful landscapes while you are waiting under neon light for your next boring meeting in a gray office. By design, Facebook makes you feel miserable.

Our mind, not the technology, is the bottleneck. We need to care about our minds. To dedicate time to think slowly and deeply.

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

36.

XXIIVV — permacomputing

wiki.xxiivv.com/site/permacomputing.html

A holistic approach to computing and sustainability inspired from permaculture. Permacomputing is about using computation only when it has a strengthening effect on ecosystems.

  • Design For Disassembly

  • Design For Encapsulation

  • Design For Descent

2023-03-05

1.

Klava Wiki

klava.wiki

Wiki by klavarog community, powered by Mycorrhiza engine.