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

Reposted 216.

Life Altering Postgresql Patterns

mccue.dev/pages/3-11-25-life-altering-postgresql-patterns

2025-03-12

214.

JSON to Go

mholt.github.io/json-to-go

Tool to convert JSON into Go structures.

2025-03-10

213.

A system to organise your life

johnnydecimal.com

Johnny.Decimal is designed to help you find things quickly, with more confidence, and less stress.

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

Reposted 188.

Digitizing All Your Paper Stuff

karl-voit.at/2015/04/05/digitizing-paper

2024-11-19

Reposted 174.

FutureRack

futurerack.info/main.php

Server racks as home furniture.

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

163.

Windows NT vs. Unix: A design comparison

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

2024-10-12

Reposted 158.

Викиучебник:Кулинарная книга — Викиучебник

ru.wikibooks.org/wiki/Викиучебник:Кулинарная_книга

2024-06-17

Reposted 88.

Банальность в терапии

spectator.ru/entry/6699

2024-05-20

75.

Thinking out loud about 2nd-gen Email – Gabriel Sieben

gabrielsieben.tech/2024/05/17/thinking-out-loud-2nd-gen-email

Кажется уже не получится "улучшить" эл. почту. Нужна новая децентрализованная технология. Как сделать её простой для обычных пользователей? Как убедиться, что никто не сможет украсть или заблокировать твою личность? Идентификации просто по публичному адресу уже давно не достаточно.
Мессенджеры полностью заменили почту в плане общения, возможно их надо доработать?

Кстати, бетулу можно использовать как твиттер Х микроблог

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

64.

GPUDeploy

www.gpudeploy.com

Rent and sell GPUs. Low-cost GPU instances ready for machine learning.

2024-04-08

54.

Why Don't I Like Git More?

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

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

2024-03-27

48.

Grep by example: Interactive guide

antonz.org/grep-by-example

Interactive introduction to grep with real-world use cases.

2024-03-21

44.

Why did we wait so long for the bicycle?

rootsofprogress.org/why-did-we-wait-so-long-for-the-bicycle

The bicycle, as we know it today, was not invented until the late 1800s. Here are some theories about why

2024-03-14

34.

XXIIVV — solarpunk

wiki.xxiivv.com/site/solarpunk.html

Sufficiently advanced technology is indistinguishable from nature