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

215.

Beginner Full-Body Workout

www.muscleandstrength.com/workouts/beginner-fullbody-workout.html

Do this full body split 3 times a week. The goal is to get your form down pat on the most basic and most important exercises in the gym.

2025-02-16

Reposted 205.

Providing HTML Content Using Htmx

docs.postgrest.org/en/v12/how-tos/providing-html-content-using-htmx.html

HTMX in PostgREST!

create or replace function api.index() returns "text/html" as $$
  select $html$
    <!DOCTYPE html>
    <html>
    ...
    </html>
  $html$;
$$ language sql;

2025-02-06

202.

Chat is a bad UI pattern for development tools

danieldelaney.net/chat

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

Reposted 158.

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

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

2024-09-25

Reposted 151.

How to Lose Time and Money

paulgraham.com/selfindulgence.html

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.

Reposted 131.

Rye Language

ryelang.org

2024-07-04

122.

Edna - scratchpad and note taking app

github.com/kjk/edna

Heavy use of shortcuts, has unique concept of blocks with different types (i actually like it a lot). Blocks can have type of code (and can be formatted). In Math blocks lines are evaluated as expressions with results at the end. Can execute golang code.

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

Reposted 72.

Как писать хайку на русском языке — HAIKAI.RU

haikai.ru/russian_haiku

2024-05-12

70.

Why I prefer the iPad over a MacBook

arslan.io/2024/05/11/why-i-prefer-the-ipad-over-a-macbook

2024-04-15

57.

О полезности contextvars

habr.com/ru/companies/domclick/articles/521702

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

46.

The myth of natural talent

medium.com/@orzel.jarek/the-myth-of-natural-talent-ac74787f5826

Another perspective is that talent is closely tied to passion and motivation. People who are deeply interested and motivated in a specific area are often seen as having a natural talent for it. This perspective suggests that talent is nurtured through genuine enthusiasm and dedication.

45.

The Starship or the Canoe: Where Will Our Future Adaptations Be? - Cal Alumni Association

alumni.berkeley.edu/california-magazine/summer-2017-adaptation/starship-or-canoe-where-will-our-future-adaptations-be

Прекрасная статья о выборе человечества - покинуть планету с её проблемами или остаться и решать их? Обратиться к корням - природе, ручному труду или отвергнуть прошлое и адаптироваться к жестокому космосу?
Как сказал Курт Воннегут: "What makes you think you’re going anywhere?"
Подобные Дайсонам, в моей душе борются отец и сын, правда скорее поменявшись ролями. Тянуться к недостижимому космосу, к неизведанным и от того прекрасным технологиям с их бесконечными проблемами? Или обратить внимание на верную спутницу человека - прекрасную Землю и, возможно, обрести покой в отказе от амбиций?

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.

28.

Сервисы

grishaev.me/services

Я согласен с тем, что логику нужно разносить по сервисам. Но сервисы должны использовать общую шину данных: базу, очередь сообщений, файлы в S3 в конце концов. Гонять друг другу JSON выглядит хорошо в теории, но на практике — фу.

Условный Постгрес выплюнет миллион записей за доли секунды. Забрать этот же миллион из другого сервиса — приключение на неделю. Тут и метрики, лимиты, квоты, сетевые спайки, etc… А когда таких запросов несколько, сервис ложится спать.

2023-03-05

8.

Damn Small Software

warmedal.se/~bjorn/posts/2021-11-27-damn-small-software.html

Blog post about very small linux distribution and small programs