20 random bookmarks

stuff me collect

2026-03-09

Reposted 255.

Your Real Biological Clock Is You’re Going to Die

hmmdaily.com/2018/10/18/your-real-biological-clock-is-youre-going-to-die

2026-02-04

254.

OpenMCT - NASA's Mission Control Framework

www.openmct.com

The same mission control framework NASA uses for Mars rover operations, ISS monitoring, and spacecraft analysis across the solar system.
Build professional telemetry dashboards and real-time data visualizations.

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

223.

Effective Go

go.dev/doc/effective_go

Настольное пособие по тому, как писать в go-way стиле

2025-03-24

Reposted 218.

I see, I can draw!

www.ninakalinina.com/notes/iseeidraw

After reading Blue Period, Nina got inspired and invested time into learning how to draw, following guidelines from a book. She shared her learnings from the journey. Very inspiring! Can I draw? Should I learn how to?

2025-02-16

Reposted 205.

Providing HTML Content Using Htmx

docs.postgrest.org/en/v12/how-tos/providing-html-content-using-htmx.html

HTMX in PostgREST!

create or replace function api.index() returns "text/html" as $$
  select $html$
    <!DOCTYPE html>
    <html>
    ...
    </html>
  $html$;
$$ language sql;

2025-01-13

193.

Create every day

jihad.house/notes/create-every-day

Being prolific forces you to take notice. Taking notice develops your taste.

2024-10-12

Reposted 158.

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

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

Tenno – Markdown and JavaScript = a hybrid of Word and Excel

tenno.app

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

Reposted 134.

Where Should Visual Programming Go? @ tonsky.me

tonsky.me/blog/diagrams

TempleOS has images in comments btw.

Reposted 133.

photoview/photoview: Photo gallery for self-hosted personal servers

github.com/photoview/photoview

Photo gallery for self-hosted personal servers. Contribute to photoview/photoview development by creating an account on GitHub.

2024-07-03

120.

Как на самом деле запоминать всё, что прочитал

fedorovpishet.ru/kak-na-samom-dele-zapominat-vsyo-chto-prochital
  • Приложения для сбора хайлайтов из статей и книг не помогают запоминать прочитанное

  • Для того, чтобы запоминать прочитанное не нужна хорошая память

  • Лучший способ запомнить прочитанное — понять то, что ты прочитал

  • Чтобы на самом деле понять прочитанное, нужно приложить усилия

  • Объясняй другим идеи, чтобы лучше понимать и запоминать их

  • Заведи блог

  • Участвуй в сетевых дискуссиях

  • Откажись от автоматизации

2024-07-02

Reposted 112.

In defence of swap: common misconceptions

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

2024-06-28

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

48.

Grep by example: Interactive guide

antonz.org/grep-by-example

Interactive introduction to grep with real-world use cases.

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.

2024-03-14

33.

Solarpunk

garden.bouncepaw.com/hypha/solarpunk
  • In the wonderful solarpunk future, we do not use telepathy

  • In the wonderful solarpunk future, we have enough time to not do two things at once

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