20 random bookmarks
stuff me collect
2025-08-02
Natural Number Game - An introduction to mathematical proof.
adam.math.hhu.de#/g/leanprover-community/nng4In 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
Beginner Full-Body Workout
www.muscleandstrength.com/workouts/beginner-fullbody-workout.htmlDo 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
Providing HTML Content Using Htmx
docs.postgrest.org/en/v12/how-tos/providing-html-content-using-htmx.htmlHTMX in PostgREST!
create or replace function api.index() returns "text/html" as $$
select $html$
<!DOCTYPE html>
<html>
...
</html>
$html$;
$$ language sql;2025-02-06
Chat is a bad UI pattern for development tools
danieldelaney.net/chat2024-10-28
No More Alarm Clocks
ajkprojects.com/nomorealarmclocksI’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
Викиучебник:Кулинарная книга — Викиучебник
ru.wikibooks.org/wiki/Викиучебник:Кулинарная_книга2024-09-25
How to Lose Time and Money
paulgraham.com/selfindulgence.html2024-07-23
pwr
muxup.com/pwrPaced web reader (pwr) - an esoteric feed reader and workflow for keeping up to date online.
Rye Language
ryelang.org2024-07-04
Edna - scratchpad and note taking app
github.com/kjk/ednaHeavy 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
So, do you actually want to write?
artemis.sh/2024/06/19/do-you-really-want-to-write.htmlDo 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
Как писать хайку на русском языке — HAIKAI.RU
haikai.ru/russian_haiku2024-05-12
Why I prefer the iPad over a MacBook
arslan.io/2024/05/11/why-i-prefer-the-ipad-over-a-macbook2024-04-15
О полезности contextvars
habr.com/ru/companies/domclick/articles/5217022024-04-01
NEVER TOO SMALL - Japanese Artist’s Unique Open Air Family Home
www.youtube.com/watch?v=4i8WENruig0Set 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
The myth of natural talent
medium.com/@orzel.jarek/the-myth-of-natural-talent-ac74787f5826Another 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.
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
An interview with 100 rabbits
sourcehut.org/blog/2021-12-08-100-rabbits-interviewHundred 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.
Сервисы
grishaev.me/servicesЯ согласен с тем, что логику нужно разносить по сервисам. Но сервисы должны использовать общую шину данных: базу, очередь сообщений, файлы в S3 в конце концов. Гонять друг другу JSON выглядит хорошо в теории, но на практике — фу.
Условный Постгрес выплюнет миллион записей за доли секунды. Забрать этот же миллион из другого сервиса — приключение на неделю. Тут и метрики, лимиты, квоты, сетевые спайки, etc… А когда таких запросов несколько, сервис ложится спать.
2023-03-05
Damn Small Software
warmedal.se/~bjorn/posts/2021-11-27-damn-small-software.htmlBlog post about very small linux distribution and small programs