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

239.

Enso - Write now, edit later

enso.sonnet.io

Ensō is a writing tool that helps you enter a state of flow. It does this by separating writing from editing and thus making it harder for you to edit yourself.
The text fades away as you type so you can focus on what you want to say instead of how you want to say it.
You can’t select or edit text, but you can download and review it once you’re done.

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

203.

Calculating Empires

calculatingempires.net

A Genealogy of Technology and Power Since 1500

Very detailed visualisation of technology, science and culture that lead to the current state of world.

2025-01-14

196.

А как собеседоваться?

vas3k.club/post/15768

2024-12-16

Reposted 191.

Strategies for Minimizing the Total Cost of Computer Ownership

cheapskatesguide.org/articles/cost-strategies.html

A few basic rules for buying and using computers can save anyone significant amounts of money and produce the confidence required to try new things with computers.

2024-12-15

190.

One big choice shapes a hundred more

sive.rs/ripple

Knowing the consequences I want, what choice would create them? What big choice would nudge a hundred others that way?

2024-11-28

Reposted 181.

Make It Ephemeral: Software Should Decay and Lose Data

lucumr.pocoo.org/2024/10/30/make-it-ephemeral

So true

2024-11-19

Reposted 174.

FutureRack

futurerack.info/main.php

Server racks as home furniture.

2024-07-23

Reposted 136.

The Forth Methodology of Charles Moore by Jeff Fox 12/09/01

www.ultratechnology.com/method.htm

Don't leave openings in which you are going to insert code at some future date when the problem changes because inevitably the problem will change in a way that you didn't anticipate. Whatever the cost it's wasted. Don't anticipate, solve the problem you've got.

2024-07-02

Reposted 112.

In defence of swap: common misconceptions

chrisdown.name/2018/01/02/in-defence-of-swap.html

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

92.

DreamBerd: perfect programming language

github.com/TodePond/DreamBerd

perfect programming language.

Best programming language of all time

2024-06-17

87.

Цифровой сад

rustamagamaliev.ru?page_id=39

2024-05-17

Reposted 74.

Кейс: идеальная тележка для Пятёрочки

blog.buro.cx/cx-telezhka

История о том, как наше Бюро проектировало лучшую тележку для торговых сетей группы X5

2024-04-23

61.

Windrecorder - an open source app to rewind & search everything happened on your screen

tonoko.notion.site/I-made-an-open-source-app-to-rewind-search-everything-happened-on-your-screen-on-Windows-184d1a9d5edb494dba0c2f46d311ec5c

2024-04-08

53.

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

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

2024-03-14

32.

An interview with 100 rabbits

sourcehut.org/blog/2021-12-08-100-rabbits-interview

Hundred Rabbits is an artistic duo hacking their way around the Pacific on their sailboat. I invited them to sit down for an interview to talk about about their lifestyle, art, philosophy, and their SourceHut projects.

2024-03-13

Reposted 25.

How to Feel 20 Percent Better

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

2023-03-05

2.

I3wm Documentation

i3wm.org/docs/userguide.html