arxiv.org/abs/2506.06266

pero en ingles

This is a cool thing one can do in lean

the def part is the function definition

and the theorem is the proof that age + current year = birthyear

As soon as the function's behavior was changed (a +1 was added), the proof now shows an error

It seems there's a problem with those {@use undefined}.

That's in the GitHub

probably isomorphic-git.org

canvasifying is a really cool demo

I am very puzzled now.

Html loads, but the js script and css script downloads partially (see image)

I am connecting from europe, Ubuntu, firefox / chromium / android, incognito window. Even if I activate a VPN from latin america, same thing

I'm trying to do an interactive post in markdown where I have blocks of code followed by a canvas element where that simulation runs. And I found a clever trick to make it all work by just adding a short `<script>` element at then end of the markdown file

I use a cotton neck/mask weared upside down

> no se gana nada con tener la razón

Estamos tan desconectados con la razón (la de verdad) que para poder avanzar políticamente tenemos q decir barbaries irracionales como esas para convencernos de hacer lo racionalmente correcto

A local web music player for myself with weighted shuffle

weight = 2 ^ score