20 random bookmarks

stuff me collect

2026-08-26

263.

Deja - Predictive ghost-text autosuggestions for zsh

github.com/Giammarco-Ferranti/deja

Deja is a smarter replacement for zsh-autosuggestions. Instead of only surfacing commands that start with what you've typed, Deja uses fuzzy matching, directory awareness, and command sequence prediction to suggest what you actually want to run — as inline ghost text, after every keystroke, with zero latency.

2026-08-04

261.

Soppo - Go, with the features it's missing.

soppolang.dev

Type safety and ergonomics, with full interop.

  • Enums and pattern matching

  • Error handling with ?

  • Nil safety

  • Clear error messages

2025-08-11

245.

Quickshell - building blocks for your desktop

quickshell.org

Quickshell is a toolkit for building status bars, widgets, lockscreens, and other desktop components using QtQuick. It can be used alongside your wayland compositor or window manager to build a complete desktop environment.

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

Reposted 241.

Become a command-line superhero with Simon Willison's llm tool

simonwillison.net/2025/Jul/7/become-a-command-line-superhero-with-simon-willisons-llm-tool#atom-everything

2025-04-04

Reposted 221.

28h Days: year 1 update

sidhion.com/blog/28h_days_update_1

2025-03-18

215.

Beginner Full-Body Workout

www.muscleandstrength.com/workouts/beginner-fullbody-workout.html

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

2024-11-01

Reposted 166.

Does the Dog Die?

www.doesthedogdie.com

Trigger warnings for movies, TV, books, video games and more!

2024-07-26

143.

The UNIX Pipe Card Game

punkx.org/unix-pipe-game

This is a card game for teaching kids how to combine unix commands through pipes.

2024-07-08

128.

Self Hosted для домашнего сервера

habr.com/ru/articles/826832

Эту статью я пишу во многом для нескольких друзей, которые решили приобщиться к этому тренду, и здесь будет обзор моего личного self hosted - про всякие разные штуки, которые показались полезны лично мне, и плотно заняли своё место на моём домашнем сервере.

2024-07-02

Reposted 118.

Oatmeal - Blogroll

eli.li/blogroll

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!

2024-06-17

Reposted 89.

XXIIVV — deliberate

wiki.xxiivv.com/site/deliberate.html

Similarly, one might begin to talk instead of watching talk-shows and to play instead of watching game shows — To value the entire spectrum of sensations as necessary members of the whole that is the deliberate existence, with its potential for failure, awkwardness, loneliness, harm and death included.

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

73.

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

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

2024-05-13

71.

Hypermedia Systems - FastAPI+HTMX book

hypermedia.systems/book/contents

This is a book about building applications using hypermedia systems.

2024-05-12

70.

Why I prefer the iPad over a MacBook

arslan.io/2024/05/11/why-i-prefer-the-ipad-over-a-macbook

2024-05-07

Reposted 67.

The creepy sound of online trackers

axbom.com/the-creepy-sound-of-online-trackers

I can't get the noise out of my head. People who watch the video express awe and disgust. And that is why Dutch software developer Bert Hubert's experiment is so powerful. It doesn't really uncover something that we shouldn't already know. Something we often choose to ignore. The brilliance is

2024-04-01

Reposted 50.

buserror/libmui

github.com/buserror/libmui

Classic MacOS & GS/OS widget library for linux (and other?) - buserror/libmui

2024-03-27

48.

Grep by example: Interactive guide

antonz.org/grep-by-example

Interactive introduction to grep with real-world use cases.