Dan's links

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.

game,learn,math

2025-06-16

Reposted 236.

Wiki - BetterThanJson

wiki.alopex.li/BetterThanJson

alternatives,config,json

2025-04-23

Reposted 225.

Unsure Calculator

filiph.github.io/unsure

tool

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;

database,htmx,postgres

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.

bad_web,parody,privacy

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.

aestetic,good_web,lain

177.

Super cool looking personal site

caitsith.neocities.org/myhomepage

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

aestetic,design,good_web

2024-11-01

Reposted 166.

Does the Dog Die?

www.doesthedogdie.com

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

cinema,health

2024-07-04

125.

MangaKa - software for easy line art creation

store.steampowered.com/app/2234500/MangaKa

drawing,manga,software

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

personal_wiki,web_design

2024-05-20

76.

D3 in Depth

d3indepth.com

js,visualisation

2024-05-08

69.

Micro-dosing Caffeine

ajkprojects.com/microdosingcaffeine

biohacking,caffeine,health

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.

hobby,inspiration,woodworking

65.