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

242.

Советы новичкам в карьере программиста

habr.com/p/928128
  • Работодателю вы нужны, чтобы деньги зарабатывать

  • Рот не работает, работает только трудовой договор — читайте его, там буквы на бумаге и подписи.

  • Если вы поймёте как эта машина деньги зарабатывает и поможете ей делать это лучше, то и с вами даже поделятся

  • Профессионализм в работе — доставка продукта в срок. Самое ценное — время.

  • Мир не помнит имён великих тимлидов, но мир помнит имена великих разрабов

  • Делайте пет‑проджекты, не обращая внимания на то, что там в тренде. Пет‑проджект должен так же заканчиваться работающим результатом (любого качества), как и работа, иначе вы не профессионал и не уважаете проект и свой труд.

  • Уметь разбить задачу на огромное число этапов и планомерно их сделать — это супер.

  • Велосипеды рулят! Делайте свои языки программирования, свои алгоритмы шифрования, свои мессенджеры, свои соцсети, свои игры, свои 3D‑движки и держите лопату в бочке кала наготове, чтобы ловким движением раскидать субстанцию по мамкиным критикунам.

2025-06-18

237.

Micro Habits that Fuel Depression

youtu.be/EyC5yJVLlUM

2025-05-14

233.

Delimiter-first code

arogozhnikov.github.io/2022/11/29/delimiter-comes-first.html

I argue for wider usage of delimiter-first in the code. three friends [tic, tac, toe] becomes three friends ・tic ・tac ・toe.

2025-05-13

Reposted 232.

Найти и обезбрендить [что я делаю и чем это объясняю]

ponomoona.livejournal.com/179335.html

Автор убирает рекламу и логотипы вообще со всего и делает это очень красиво

2025-04-28

227.

How to Stop Eating Candy for Breakfast

www.raptitude.com/2025/04/how-to-stop-eating-candy-for-breakfast

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

Reposted 156.

Collection

git.calculate-linux.org/serg-sg/collection

Сборник различных сценариев автоматизации и справочных материалов

Есть инструкция для почтового сервиса в кластере

2024-07-26

144.

THE RISE OF THE DISAPPEARING POLYMORPHS

hackaday.com/2024/07/24/the-rise-of-the-disappearing-polymorphs

Reads like some sci-fi story. How is that even a thing??

Science and engineering usually create consistent results. Generally, when you figure out how to make something, you can repeat that at will to make more of something. But what if, one day, you ran the same process, and got different results? You double-checked, and triple-checked, and you kept ending up with a different end product instead?
Perhaps it wasn’t the process that changed, but the environment? Or physics itself? Enter the scary world of disappearing polymorphs.

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

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.

Reposted 121.

Writebook

once.com/writebook

Instantly publish your own books on the web for free, no publisher required.

Blogging and posting on social is easy. But why is it so hard to publish a whole book on the web? It’s not anymore. Writebook is remarkably simple software that allows you to publish text and pictures in a simple, browsable online book format.

2024-07-02

Reposted 115.

GitHub - martinvonz/jj: A Git-compatible VCS that is both simple and powerful

github.com/martinvonz/jj

2024-06-20

93.

Stop Using Fandom

j3s.sh/thought/stop-using-fandom.html

if you are unfortunate enough to browse a fandom wiki without an ad blocker, you will experience what i like to call "attention assault"

if you are a fandom wiki owner & you would like to move your wiki content elsewhere, i will offer you my expertise at $0/hour. i know lots about servers, software, and maintenance. just email me - let's get you out of fandom's ecosystem.

2024-06-13

83.

Jonas Hvid's notes

notes.johv.dk/home

Author with cool visual style
Main page - https://johv.dk
He also uses Betula - https://links.johv.dk

For better or worse, I sometimes think. I have heard that I therefore am, but I’m unconvinced. Nevertheless, sometimes I write my thoughts down. Mostly just in my diary, but other times I publish them on the Web. This notebook contains those of my writings that are in a state somewhere between published and private.

2024-04-20

58.

Why you need a "WTF Notebook"

www.simplermachines.com/why-you-need-a-wtf-notebook

WTF Notebook gives me a place to park the impulse to fix it now, damn it! until I have more context for deciding what to work on first. Instead, for two weeks, I just write things down.

2024-04-13

Reposted 56.

How I write tests in Go

blog.verygoodsoftwarenotvirus.ru/posts/testing-in-go

In many other languages, you have to not only evaluate testing libraries, but also write your tests in a style that complies with that library’s expectations. Gophers are blessed to have a thoroughly adequate solution out-of-the-box, and even further blessed to have an active ecosystem where folks are making in-depth testing a walk in the park.

2024-03-24

47.

Linux Crisis Tools

www.brendangregg.com/blog/2024-03-24/linux-crisis-tools.html

Set of tools to be installed on every your server, because if something goes down there might be no way and/or time to install it anymore

2024-03-14

28.

Сервисы

grishaev.me/services

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

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