20 random bookmarks

stuff me collect

2025-08-17

246.

Выразительные тесты без testify/assert

antonz.ru/do-not-testify

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

237.

Micro Habits that Fuel Depression

youtu.be/EyC5yJVLlUM

2025-05-30

Reposted 235.

How to make Windows 11 more usable, less annoying

www.dedoimedo.com/computers/windows-11-usability-guide.html

Very long, detailed, thorough guide on how to make Windows 11 less annoying, more productive and more ergonomic, with numerous changes and tweaks focused on privacy, security and usability, including reasons not to use Windows 11, pros and cons compared to earlier versions of Windows, tools needed before installation, USB media creation, how to skip online account creation, post-install questions, autoplay configuration, personalization, Firefox as default browser, app startup, offline maps, account sign-in options, time and language, gaming, entire privacy & security section in Settings - general, diagnostics and feedback, inking and typing, activity history, search permissions, and resource access, unnecessary services, cloud search, use of Winaero Tweaker to remove various options and features, Copilot, unnecessary apps, use of winget and Powershell to remove apps, Microsoft Edge removal, Open-Shell start menu alternative, autostart entries via Autoruns, optional removal of Windows Defender, optional configuration of Windows Update, Windows Explorer and taskbar tweaks, some other recommendations, and more

If I ever end up using Windows on a personal machine, I'll follow this guide

2025-05-13

Reposted 232.

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

ponomoona.livejournal.com/179335.html

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

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

Reposted 210.

Falsehoods Programmers Believe About HTML

aartaka.me/falsehoods-html

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.

2025-01-13

194.

How I ship projects at big tech companies | sean goedecke

seangoedecke.com/how-to-ship
  • Shipping is really hard and you have to make it your main priority

  • Shipping doesn’t mean deploying code, it means making your leadership team happy

  • You need your leadership team to trust you in order to ship

  • Most of the essential technical work is in anticipating problems and creating fallback plans

  • Scale back your implementation work as you approach launch so you’re free to jump on last-minute problems

  • You should constantly ask yourself “can I ship right this second?”

2024-11-22

175.

Hyrum's Law in Golang

abenezer.org/blog/hyrum-law-in-golang

With a sufficient number of users of an API, it does not matter what you promise in the contract: all observable behaviors of your system will be depended on by somebody.

2024-10-12

154.

Tenno – Markdown and JavaScript = a hybrid of Word and Excel

tenno.app

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

107.

Queueing – An interactive study of queueing strategies

encore.dev/blog/queueing

Very good article about how queueing works, different methods to handle high load. Super cool interactive examples with animations!

2024-06-20

94.

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

habr.com/ru/articles/818479

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

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

55.

Naming Schemes

namingschemes.com/Main_Page
53.

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

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

2023-03-05

2.

I3wm Documentation

i3wm.org/docs/userguide.html