20 random bookmarks

stuff me collect

2025-12-02

Reposted 250.

Scripts I wrote that I use all the time

evanhahn.com/scripts-i-wrote-that-i-use-all-the-time

I've written a number of little scripts over the years, many of which I use every day. Here's a little collection.

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

Reposted 234.

Sakura, a minimal CSS framework

oxal.org/projects/sakura

How exactly does sakura help you?
- Just drop it in, even on existing HTML content, to get a pretty-looking website (everything “just works”)
- Quick prototyping, especially when working on backend sites and can’t yet be bothered to fidget with CSS/HTML
- Building a quick (but pretty) site/blog for your best friend or aunt!
- No need to remember tons of different class names for every other CSS framework
- Works amazingly with markdown-generated HTML pages (eliminates the need for hacks like including .img img-responsive in <img></img> tags generated from markdown-parser
- Wonderful for people who aren’t really good or interested in design as sakura is nothing but a set of reasonable defaults

2025-04-23

Reposted 225.

Unsure Calculator

filiph.github.io/unsure

2025-03-08

Reposted 211.

Marginalia Search Engine - Marginalia Search

marginalia-search.com

Marginalia got a new design and a new domain.

2025-01-21

197.

Quantum computing for the very curious

quantum.country/qcvc

Learn and understand quantum computing with built-in spaced repetition. I really like this method of learning and would like to see more courses that use this method and tech about some programming concepts.

2025-01-13

194.

How I ship projects at big tech companies | sean goedecke

seangoedecke.com/how-to-ship
  • Shipping is really hard and you have to make it your main priority

  • Shipping doesn’t mean deploying code, it means making your leadership team happy

  • You need your leadership team to trust you in order to ship

  • Most of the essential technical work is in anticipating problems and creating fallback plans

  • Scale back your implementation work as you approach launch so you’re free to jump on last-minute problems

  • You should constantly ask yourself “can I ship right this second?”

2024-12-05

Reposted 188.

Digitizing All Your Paper Stuff

karl-voit.at/2015/04/05/digitizing-paper

2024-11-05

Reposted 170.

Database Remote-Copy Tool For SQLite

sqlite.org/rsync.html

2024-10-23

163.

Windows NT vs. Unix: A design comparison

blogsystem5.substack.com/p/windows-nt-vs-unix-design

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

Reposted 130.

Self-care checklist – Thomas Baart's Microblog

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

2024-07-08

126.

Ente Auth

ente.io/auth

Open source 2FA authenticator, with end-to-end encrypted backups

2024-06-14

Reposted 84.

interstar/cardigan-bay: A new wiki engine in Clojure ...

github.com/interstar/cardigan-bay

A single-user “wiki” engine powering the ThoughtStorms wiki.

2024-05-20

75.

Thinking out loud about 2nd-gen Email – Gabriel Sieben

gabrielsieben.tech/2024/05/17/thinking-out-loud-2nd-gen-email

Кажется уже не получится "улучшить" эл. почту. Нужна новая децентрализованная технология. Как сделать её простой для обычных пользователей? Как убедиться, что никто не сможет украсть или заблокировать твою личность? Идентификации просто по публичному адресу уже давно не достаточно.
Мессенджеры полностью заменили почту в плане общения, возможно их надо доработать?

Кстати, бетулу можно использовать как твиттер Х микроблог

2024-05-13

Reposted 72.

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

haikai.ru/russian_haiku

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

40.

Workspaces gallery

www.workspaces.xyz

Constantly updating collection of beautiful workspaces. There is short description of items and software from an author, some ideas about creativity.

2024-03-12

19.

How I backup my Photos

arslan.io/2023/02/25/how-i-backup-my-photos

How to backup photos using Apple, lightroom, nextcloud

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