20 random bookmarks

stuff me collect

2025-12-02

Reposted 250.

Scripts I wrote that I use all the time

evanhahn.com/scripts-i-wrote-that-i-use-all-the-time

I've written a number of little scripts over the years, many of which I use every day. Here's a little collection.

248.

Удалённое использование pg_dump и psql для бэкапа и восстановления базы данных PostgreSQL

evileg.com/ru/post/881

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

193.

Create every day

jihad.house/notes/create-every-day

Being prolific forces you to take notice. Taking notice develops your taste.

2024-12-26

192.

Ask HN: Programmers who don't use autocomplete/LSP, how do you do it?

news.ycombinator.com/item?id=42492508

Really intresting comments

This question reminds me of the first time I met a blind programmer. I asked him how he managed to code, and he replied with something that stayed with me: a good programmer should organize software in such a way that every piece of code has a clear and logical place. The organization should be so intuitive that anyone could build a mental model of the structure and navigate it easily, even without seeing it.

2024-11-27

180.

How I configure my Git identities

www.benji.dog/articles/git-config

How to use different git identities for different projects

2024-11-24

176.

Nekoweb - free static website hosting service

nekoweb.org

Social media is too limiting. We believe that everyone should be able to freely express themselves in their own little corner of the web, without having to worry about things like algorithms, tracking, or advertisements.
Nekoweb is free of any advertisements, and is run completely by donations from its users.

2024-11-14

173.

Testcontainers - Unit tests with real dependencies

testcontainers.com

Testcontainers is an open source library for providing throwaway, lightweight instances of databases, message brokers, web browsers, or just about anything that can run in a Docker container.

2024-11-05

169.

Монитор для чувствительных глаз — алгоритм подбора и один параметр, о котором Вы уже скорее всего забыли

habr.com/ru/articles/855812

2024-10-23

163.

Windows NT vs. Unix: A design comparison

blogsystem5.substack.com/p/windows-nt-vs-unix-design

2024-08-09

Reposted 145.

То что

ilyabirman.ru/meanwhile/all/to-chto

2024-07-01

110.

Electude Simulator Challenge

simulator.electude.com

Online simulator to learn automotive wiring and how to troubleshoot and fix problems with it

2024-06-28

104.

Синтаксис Лиспа

grishaev.me/lisp-syntax

У скобочной записи есть преимущество: каждое выражение имеет начало и конец. Не обязательно писать на Лиспе, но нужно знать эту его сторону. Чтобы не выглядеть глупо, не хихикать и не прыскать в кулачок, когда случится увидеть Лисп.

2024-06-27

101.

Essays · Gwern.net

gwern.net/index

Very cool wiki design with backlinks, links preview etc

Personal website of Gwern Branwen (writer, self-experimenter, and programmer): topics: psychology, statistics, technology, deep learning, anime

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

63.

93% of Paint Splatters are Valid Perl Programs | Colin McMillen

www.mcmillen.dev/sigbovik

merely 93% of paint splatters parse as valid Perl.

2024-04-08

54.

Why Don't I Like Git More?

matduggan.com/why-dont-i-like-git-more

Автор обсуждает использование git для управления проектами и проблемы с ним, а так же рассматривает альтернативы.

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

27.

Personal Goals Have to Happen Now

www.raptitude.com/2023/11/personal-goals-have-to-happen-now

Personal goals are generally expected to happen later.
The reason it’s hard to get going on personal goals is that you’re already using all of your time. No matter who you are, you’re already using all 24 hours, every day, for something. Because this will always be true, goals that happen at all must happen now, while you still don’t yet have time.
Basically, you learn to work in small, uniform parcels of time. They’re short, timer-bound, and unwaveringly focused on a particular outcome. Most importantly, they can fit into real life, as it already is.