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

231.

On Not Carrying a Camera

hedgehogreview.com/issues/after-neoliberalism/articles/on-not-carrying-a-camera

Cultivating memories instead of snapshots.

2025-03-24

Reposted 218.

I see, I can draw!

www.ninakalinina.com/notes/iseeidraw

After reading Blue Period, Nina got inspired and invested time into learning how to draw, following guidelines from a book. She shared her learnings from the journey. Very inspiring! Can I draw? Should I learn how to?

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-02-25

Reposted 206.

Red Blob Games: Hexagonal Grids

www.redblobgames.com/grids/hexagons

Amit's guide to math, algorithms, and code for hexagonal grids in games

2024-11-24

178.

World Wide Website

oyaswmi.net

with love for Experiments Lain

This site is a love letter to the internet, to Neocities, and to my personal intrests.

2024-11-12

171.

Staticcheck

staticcheck.dev

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

2024-11-05

169.

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

habr.com/ru/articles/855812

2024-08-30

148.

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

habr.com/ru/articles/837454

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

2024-07-23

Reposted 139.

pwr

muxup.com/pwr

Paced web reader (pwr) - an esoteric feed reader and workflow for keeping up to date online.

2024-06-20

96.

Ускорение роутера в Django в 51 раз

habr.com/ru/companies/tochka/articles/822431

Хитрым и условно бесплатным методом мы ускорили флоу каждого запроса на 150+ мкс. Формально — это малозаметная цифра, однако она является чистейшей CPU-нагрузкой, и на каждые 10000 запросов экономит 1,5 секунды процессорного времени, что для компьютера является десятью вечностями. Мелочь, а приятно.

Немного советов, как это использовать
1. Some coding...
2. Увидеть запрос в БД на 10 секунд и понять, что это всё было зря.
3. Плакать.

95.

Harmonic Table Keyboard Brings Old Idea Back To Life

hackaday.com/2024/06/17/harmonic-table-keyboard-brings-old-idea-back-to-life

The layout provides easier chord and scale patterns, and for beginner musicians it can have a much shallower learning curve than other types of instruments.

2024-05-14

73.

Как лучше концентрироваться

telegra.ph/Kak-luchshe-koncentrirovatsya-05-11

2024-05-07

65.

Stirling-PDF

github.com/Stirling-Tools/Stirling-PDF

#1 Locally hosted web application that allows you to perform various operations on PDF files - Stirling-Tools/Stirling-PDF

2024-04-08

54.

Why Don't I Like Git More?

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

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

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.

Reposted 25.

How to Feel 20 Percent Better

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

Sage advice for a calmer, more fulfilling digital life | datagubbe.se

www.datagubbe.se/sage

If you can't decide between two applications, pick the one with less input lag.