20 random bookmarks

stuff me collect

2025-08-17

246.

Выразительные тесты без testify/assert

antonz.ru/do-not-testify

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

Reposted 219.

Play Hive Like a Champion

tesera.ru/images/items/2372481/ingersoll_randy_play_hive_like_a_champion_strategy_tactics_a.pdf

Wow so advanced

via Optozorax

2025-01-14

196.

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

vas3k.club/post/15768

2024-11-19

Reposted 174.

FutureRack

futurerack.info/main.php

Server racks as home furniture.

2024-10-17

Reposted 161.

FFmpeg - Ultimate Guide | IMG.LY Blog

img.ly/blog/ultimate-guide-to-ffmpeg

This guide covers the ins and outs of FFmpeg starting with fundamental concepts and moving to media transcoding and video and audio processing providing practical examples along the way.

2024-09-05

Reposted 150.

Расстрельный список препаратов — Encyclopedia Pathologica

encyclopatia.ru/wiki/Расстрельный_список_препаратов

База.

2024-07-14

Reposted 130.

Self-care checklist – Thomas Baart's Microblog

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

2024-07-09

129.

Выгорание - личный опыт и пошаговая инструкция по приведению себя в порядок за 24 часа

vc.ru/life/1293647
  • 17:00 - 20:00 - отпустить тормоза. Избегайте наркотиков, но в остальном дайте себе полный карт-бланш в том, что вы себе обычно не позволяете.

  • 20:00 - 22:00 - прислушайтесь к своим чувствам. Включите музыку, побейте грушу, посидите в тишине. У каждого свой метод. На этом этапе важно дать волю эмоциям.

  • 22:00 - 7:00 - сон. Чем дольше, тем лучше. Но важно не валяться, если вы уже проснулись.

  • 07:00 - 10:00 - уборка. Чем больше вы выкинете или подарите кому-то, тем лучше. Делайте это с предельной жестокостью.

  • 10:00 - 13:00 - спорт, массаж, баня (безусловно можно сочетать). Помните о том, что здесь важно почувствовать тело. Вернуться в реальность через ощущения и движения.

  • 13:00 - 14:30 - десять дел. Важно не делать больше, не делать сложного, но использовать этот метод для разгона внутреннего генератора и перевода его в созидательное русло.

  • 14:30 - 17:00 - потоковое творчество. От футбола до рисования. Это очень индивидуально. Принципиально важно на этом этапе создать что-то свое, вернуть вкус творчества и игры.

2024-07-04

124.

Slverbullet: The hackable notebook

github.com/silverbulletmd/silverbullet

Notes as database. Supports Frontmatter, querying, backlinks, live preview, wiki style linking link, templates.

2024-07-02

Reposted 116.

Kinopio – Thinking Canvas

kinopio.club

One of my favorite tools on the internet. I love the design! The person behind it: https://pketh.org/archives/ seems cool as well. They also worked on Glitch.

Reposted 112.

In defence of swap: common misconceptions

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

2024-06-28

107.

Queueing – An interactive study of queueing strategies

encore.dev/blog/queueing

Very good article about how queueing works, different methods to handle high load. Super cool interactive examples with animations!

103.

mayneyao/eidos: Offline alternative to Notion

github.com/mayneyao/eidos

Eidos is an extensible framework for managing your personal data throughout your lifetime in one place

2024-05-13

Reposted 72.

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

haikai.ru/russian_haiku

2024-04-08

53.

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

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

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.

44.

Why did we wait so long for the bicycle?

rootsofprogress.org/why-did-we-wait-so-long-for-the-bicycle

The bicycle, as we know it today, was not invented until the late 1800s. Here are some theories about why

2024-03-13

24.

GUIdebook: Graphical User Interface gallery

guidebookgallery.org/index