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

237.

Micro Habits that Fuel Depression

youtu.be/EyC5yJVLlUM

2025-05-06

230.

Breeze PDF Editor - free, secure, in browser

breezepdf.com

Breeze PDF is a powerful, free PDF editor that works entirely offline in your browser. No uploads, 100% privacy guaranteed.

2025-04-23

Reposted 225.

Unsure Calculator

filiph.github.io/unsure

2025-03-18

Reposted 216.

Life Altering Postgresql Patterns

mccue.dev/pages/3-11-25-life-altering-postgresql-patterns

2024-12-02

184.

Пишем плагины для Obsidian

habr.com/ru/articles/861230

Статьи предназначены для максимально легкого вкатывания в плагинописание для Obsidian.
Официально документация Obsidian настоятельно рекомендует использовать TypeScript и npm и использует только такой подход в своем GitHub с примерами. Я же в свою очередь утверждаю, что если вы хотите просто сесть и написать малюсенький плагин, у вас нет необходимости даже в этом стеке.

2024-11-27

180.

How I configure my Git identities

www.benji.dog/articles/git-config

How to use different git identities for different projects

2024-10-12

Reposted 158.

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

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

2024-07-23

Reposted 134.

Where Should Visual Programming Go? @ tonsky.me

tonsky.me/blog/diagrams

TempleOS has images in comments btw.

2024-07-14

Reposted 130.

Self-care checklist – Thomas Baart's Microblog

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

2024-07-02

Reposted 115.

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

github.com/martinvonz/jj

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!

105.

SilasMarvin/lsp-ai: LSP-AI

github.com/SilasMarvin/lsp-ai

LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them

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

73.

Как лучше концентрироваться

telegra.ph/Kak-luchshe-koncentrirovatsya-05-11

2024-05-07

66.

Woodworking as an escape from the absurdity of software

alinpanaitiu.com/blog/woodworking-escape-from-software-absurdity

If you had the choice to sculpt a leg chair out of wood or write a full-fledged audio engine, complete with kernel drivers and whatnot, inside an app for controlling monitor brightness, what wou… Wait, no, that's not a question, you would do the leg chair for sure. There's no way that other thing makes sense.

2024-04-08

55.

Naming Schemes

namingschemes.com/Main_Page
53.

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

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

2024-03-21

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

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