20 random bookmarks

stuff me collect

2025-12-02

Reposted 249.

AutoEq

autoeq.app

Automatic headphone equalization

2025-08-17

246.

Выразительные тесты без testify/assert

antonz.ru/do-not-testify

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

Reposted 236.

Wiki - BetterThanJson

wiki.alopex.li/BetterThanJson

2025-04-23

Reposted 225.

Unsure Calculator

filiph.github.io/unsure

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;

2024-11-27

179.

RFC 35140: The Do-Not-Stab flag in the HTTP Header

www.5snb.club/posts/2023/do-not-stab

Some users have expressed discomfort when a knife is plunged into their chest, and this header allows those users to express their personal preferences.

2024-11-24

178.

World Wide Website

oyaswmi.net

with love for Experiments Lain

This site is a love letter to the internet, to Neocities, and to my personal intrests.

177.

Super cool looking personal site

caitsith.neocities.org/myhomepage

It has aesthetics associated with 90s and 2000s internet.

2024-11-01

Reposted 166.

Does the Dog Die?

www.doesthedogdie.com

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

2024-07-04

125.

MangaKa - software for easy line art creation

store.steampowered.com/app/2234500/MangaKa

2024-06-30

108.

Immich - Selfhoto and video backup solution

immich.app

immich Self-hosted photo and video backup solution directly from your mobile phone

2024-06-27

101.

Essays · Gwern.net

gwern.net/index

Very cool wiki design with backlinks, links preview etc

Personal website of Gwern Branwen (writer, self-experimenter, and programmer): topics: psychology, statistics, technology, deep learning, anime

2024-05-20

76.

D3 in Depth

d3indepth.com

2024-05-08

69.

Micro-dosing Caffeine

ajkprojects.com/microdosingcaffeine

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.

65.

Stirling-PDF

github.com/Stirling-Tools/Stirling-PDF

#1 Locally hosted web application that allows you to perform various operations on PDF files - Stirling-Tools/Stirling-PDF

2024-04-15

57.

О полезности contextvars

habr.com/ru/companies/domclick/articles/521702

2024-04-08

53.

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

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

2024-04-01

Reposted 50.

buserror/libmui

github.com/buserror/libmui

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