Ding Liren is the 17th Chess World Champion: “this match was the deepest reflection of my soul”.
Recap of game14 and tiebreaks, annotations by GM Harikrishna Pentala: https://lichess.org/blog/ZE95nhAAACYAznpK/world-chess-championship-game-14-and-tiebreaks
gefs: good enough file system for #plan9 https://orib.dev/gefs.html
Here's what Eugen Rochko's Mastodon gGmbH organisation now controls:
-The Mastodon server software (though the current version is FOSS)
-The mastodon.social server, which has 1 in 7 of all Fediverse users
-The official Mastodon apps, now telling people to just sign up on mastodon.social
-The official website at joinmastodon.org
-The trademark for the word "mastodon", which lets them dictate terms to any server which uses it
This is a tempting package for any potential buyers.
(2/4)
GPS Time Adjustment Due to Relativistic Effects
https://youtube.com/watch?v=pCY9lQk77ks&list=PLX2gX-ftPVXXGdn_8m2HCIJS7CfKMCwol&index=58
A conservative extension of ISO 8601 to support fractional days
by leah blogs
2023-04-20
https://leahneukirchen.org/blog/archive/2023/04/a-conservative-extension-of-iso-8601-to-support-fractional-days.html
@drewdevault
Happy to maintain @hare date/time!
Welcome to the new Hare maintainers!
https://git.sr.ht/~sircmpwn/hare/tree/master/item/MAINTAINERS
I was today days old when i learned that the kitchen on the ISS seem to be called milliways and is part of outpost42
https://outpost42.esa.int/blog/welcome-to-our-very-own-milliways/
i put together a automatically-updating list of wildebeest instances, for convenient blocking or silencing:
https://wesleyac.com/wildebeest
please do your part to push back against the corporate takeover of the fediverse by a company that profits from platforming nazis, fascists, and bigots.
Falsehoods programmers believe about time
https://gist.github.com/timvisee/fcda9bbdff88d45cc9061606b4b923ca
"How Austral’s Linear Type Checker Works"
by Fernando Borretti
29 January, 2023
https://borretti.me/article/how-australs-linear-type-checker-works
Libre software engineer with physics background.
Maintainer for @hare date/time.
.py .go .ha ...
en es ...
\t <dl> agpl posix 9p