20 random bookmarks

stuff me collect

2025-12-14

253.

The Do-Say Ratio

asnewman.github.io/do-say-ratio

2025-12-02

252.

Gaming Couch

gamingcouch.com/ru

Кооперативные Диванные Вечеринки Стали Проще! Играйте в веселые, быстрые и вызывающие соперничество игры с участием до 8 игроков. Ваш смартфон — ваш контроллер — не требуется ни консолей, ни загрузок!

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

Reposted 221.

28h Days: year 1 update

sidhion.com/blog/28h_days_update_1

2025-02-06

202.

Chat is a bad UI pattern for development tools

danieldelaney.net/chat

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

164.

No More Alarm Clocks

ajkprojects.com/nomorealarmclocks

I’ve completely eliminated the alarm clock from my morning routine for about six months. The biggest impacts it's had on my life are: I’ve become a morning person. I wake up feeling great and feel less sleepy during the day.

2024-09-25

Reposted 151.

How to Lose Time and Money

paulgraham.com/selfindulgence.html

2024-07-26

143.

The UNIX Pipe Card Game

punkx.org/unix-pipe-game

This is a card game for teaching kids how to combine unix commands through pipes.

2024-07-23

Reposted 137.

Как разработчику вкатываться в новые проекты

strizhechenko.github.io/2024/07/12/how-to-dig-into-a-project.html
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.

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

Reposted 130.

Self-care checklist – Thomas Baart's Microblog

micro.thomasbaart.nl/2024/07/13/self-care-checklist

2024-07-04

125.

MangaKa - software for easy line art creation

store.steampowered.com/app/2234500/MangaKa

2024-06-28

106.

Encore — Simple Development for Complex Problems

encore.dev

Development Platform for building event-driven and distributed systems. Move faster with purpose-built local dev tools and DevOps automation for AWS/GCP.

2024-06-17

87.

Цифровой сад

rustamagamaliev.ru?page_id=39
86.

Помощь Марка Авреалия в познании науки «нечтения» — Рустам Агамалиев

rustamagamaliev.ru?p=2522

Умерь жажду книжного знания, чтобы не роптать, когда придет смерть

2024-05-08

69.

Micro-dosing Caffeine

ajkprojects.com/microdosingcaffeine

2024-03-27

48.

Grep by example: Interactive guide

antonz.org/grep-by-example

Interactive introduction to grep with real-world use cases.

2023-03-05

2.

I3wm Documentation

i3wm.org/docs/userguide.html