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

238.

Oh-My-Backend - Roadmap

github.com/bzick/oh-my-backend

Этот документ содержит список (roadmap) навыков, которые часто требуются backend разработчику web-приложений. Документ разделён на этапы (темы). Каждый этап разделён на пункты. Каждый пункт, в документе, подразумевает что:

  • бекендер знает что это и какую проблему решает.

  • бекендер знает для чего и когда следует применить.

  • бекендер знает как с этим работать или знает где подсмотреть.

  • при разработке или проектировании бекендер помнит про них и учитывает в приложении.

2025-04-04

Reposted 221.

28h Days: year 1 update

sidhion.com/blog/28h_days_update_1

2025-03-26

Reposted 220.

Hive Puzzles vol. 1

gripot.se/hive/HivePuzzles_vol1.pdf

Hive the board game puzzles. A notation for games is also introduced.

via Optozorax

2025-03-08

Reposted 210.

Falsehoods Programmers Believe About HTML

aartaka.me/falsehoods-html
Reposted 209.

WASM Wayland Web (WWW)

joeyh.name/blog/entry/WASM_Wayland_Web_WWW

Author proposes to replace modern browsers with the following architecture. You make HTTP requests, server return you WASM blobs, they get executed. No built-in DOM.

DOM and its three languages are among the best technologies ever made, despite being so misused. It not being the default way will probably be disastrous. Think about accessibility!

But the idea is cool 🤔

2025-02-06

202.

Chat is a bad UI pattern for development tools

danieldelaney.net/chat

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

Reposted 181.

Make It Ephemeral: Software Should Decay and Lose Data

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

So true

2024-08-09

Reposted 146.

Metamorphosis

garden.bouncepaw.com/hypha/metamorphosis

Баунс читает Кафку.

Would you love me if I became a worm?, somebody could ask. I would respond that no, I don't in fact love you, for you are a worm.

Indeed I find humans more valuable.

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

100.

So, do you actually want to write?

artemis.sh/2024/06/19/do-you-really-want-to-write.html

Do you actually want to write? Ok. Then write. In a text file on your computer, in a pastebin, on a blogging platform, on neocities, on cohost or mastodon, on a copy-pasted template from github pages, in /var/www, on some forum that nobody’s looked at in 15 years. It really does not matter. Go write.
But, perhaps you don’t really want to write. Do you like tinkering with site generator tools? Then fucking tinker to your heart’s content. You don’t need to have an end goal where you actually put some thinkpiece or technical writeup on the website. Building it can be its own reward.
If you love it, let it consume you. If you hate every moment you spend with it, why are you trying to do it? Real winners quit.

2024-06-22

99.

File Browser

filebrowser.org/features

2024-06-20

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-06-17

85.

Ошибки ведения личной базы знаний: почему я удалил 1500 из 4500 заметок в Obsidian

habr.com/ru/articles/820669

однажды я заигрался в красивый инструмент, да так, что в какой-то момент потерял суть и начал терять пользу.

2024-05-23

79.

git man page generator

git-man-page-generator.lokaltog.net#dGVhciQkaGFzaA==

Create an infinite amount of straightforward and readable git manual pages.

Service that generates random man pages mocking Git’s dense documentation style.

2024-04-08

53.

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

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

2024-04-01

51.

NEVER TOO SMALL - Japanese Artist’s Unique Open Air Family Home

www.youtube.com/watch?v=4i8WENruig0

Set in Tokyo’s Suginami-ku neighbourhood, home to many manga artists, Open Sky House is home to artists and architect Zajirogh, his wife, and their three children. Having always dreamed of living in a camper or a ship, Zaijrogh designed a large central open-air courtyard and covered it with a retractable sail-like sheet. The family uses the courtyard as a living room which is furnished with camping furniture that can get wet or be moved quickly if needed. A series of colourful walls line the courtyard, with precious items that need to stay dry kept behind a set of glass and steel sliding doors with another set connecting to the fully equipped L-shaped kitchen. The second story features space for the family to sleep, work and play and includes a 1sqm (small closet-sized) study that Zajirogh refers to as “his little sanctuary”. A door leading onto the balcony wraps around the open roof, this provides access to open and close the roof as well as an area for Zajirogh to paint freely without concern about mess.

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

3.

I3wm Документация

leetovskiy.github.io/i3-russian-userguide