Salvatore Sanfilippo (@antirez) and Armin Ronacher (@mitsuhiko) both argue that #AI reimplementation of #copyleft libraries is fine. Their legal reasoning might be correct. That's not the point.

Legal and legitimate are different things—and both pieces quietly assume otherwise.

https://writings.hongminhee.org/2026/03/legal-vs-legitimate/

#GPL #LGPL #license #opensource #freesoftware

#photography #london

RE: https://mathstodon.xyz/@oantolin/116075221582512143

The cleveref apocalypse is on us: The cleveref LaTeX package is long-unmaintained and breaks on recent LaTeX versions, and an arXiv update to TeXlive means that we can no longer keep limping along using old-enough versions of TeX to avoid the problem. I haven't yet tried it but my bookmarked solution is to switch to zref-clever: https://tex.stackexchange.com/questions/733714/migration-from-cleveref-to-zref-clever

#photogtaphy #fortaleza

#photography #fortaleza

The Moon is Full 🌝

#photography #macao

#photography #macau

@anuytstt If you have the DOI, using the following is faster anyway :)
curl -LH "Accept: application/x-bibtex" https://doi.org/$DOI

Recent discussion about the perils of doors in gamedev reminded me of a bug caused by a door in a game you may have heard of called "Half Life 2". Are you sitting comfortably? Then I shall begin.

People here have been discussing exact real number computation recently.

Here are the lecture notes for a talk I gave at Fun in the Afternoon in 2011, with Haskell code computing arithmetic operations, trigonometric functions, definite integrals and more, using infinite sequences of digits to represent real numbers.

https://github.com/martinescardo/ExactRealNumberComputationInHaskell

@shriramk @racketlang

I am glad some big company, in this case Google, implemented in practice a phone calculator for exact real number computation.

My PhD thesis was, in fact, about this subject.

But I was more interested in theoretical questions, e.g. whether you could come up with a theoretical higher-order programming language including real numbers such that reals, functions, and functionals are definable in this language if and only if they are computable.

This I achieved. I called the language Real PCF. This is a Turing-universal higher-order programming language for exact real number computation.

And also, one of the papers I read regarding this was Boehm's 1987 one, on which the Android calculator is based on.

In any case, although my interests are mainly theoretical, by my nature, I also flirt with practical things, in particular regarding this subject.

Here is a 2011 Haskell file that computes exactly with real numbers:

https://martinescardo.github.io/papers/fun2011.lhs

In addition to all that Boehm computes, we compute integrals.

Also this literate file contains a lot of discussion of the history of the subject (although it doesn't aim to be comprehensive).

This was for Fun in the Afternoon (does this UK meeting series still exist)?

Underground, Overground

My hunt to find locations where you can see Underground trains traveling over Overground trains (or vice versa) continues.

This vantage point near East Putney station has views of tube trains traveling over the railway. I waited 30 mins to get this shot.

Alan Kay’s critique of SimCity games

My book is out 🎉

https://www.cambridge.org/us/universitypress/subjects/mathematics/logic-categories-and-sets/introduction-homotopy-type-theory

@FritzAdalis @Codeberg We run it bare-metal and it's "old" and donated hardware. It's kind of amazing to still see so much use of these hardware that was otherwise e-waste.

Great news: Today, we have managed to distribute our Forgejo instance across two servers. A main instance still handles most traffic, but requests from #CodebergPages are now handled by another server. Going forward, we'll try to route more read-only traffic there to distribute the load.

This is an important milestone, because such a setup was never tested with #Forgejo at this scale.

This should improve availability of both Codeberg.org and Codeberg Pages.

Details: https://codeberg.org/forgejo/discussions/issues/259

Additional ways in which modern web tech is pretty neat: you can specify colors by blending other colors.

Material Design's dark theme specifies different background colors by taking a base background of #121212, and overlaying pure white with different amounts of opacity. For example, a "1dp" background (for a content card) mixes 5% of pure white into the base background, whereas a "8dp" background (for a navbar) mixes 12% pure white into that same background.

Annoyingly the MD site doesn't specify the resulting hex triples, in part because the opacity method lets you switch up the base color (perhaps for one with a very slight "brand" color tint) and still compute sensible results.

But no matter, thanks to modern CSS:

--bg-0dp: #121212;
--bg-1dp: color-mix(in srgb, white 5%, var(--bg-0dp));
--bg-8dp: color-mix(in srgb, white 12%, var(--bg-0dp));

There ya go, colors mixed to order, right in the browser. Recomputes by itself when you change the base color.

color-mix even supports a dozen different color spaces, so you can do perceptual blending, or blending that avoids washing out color, or whatever. SRGB mixing is specifically recommended against in the general case because it's not good at anything other than having the simplest math... But empirically, mixing in SRGB is what matched Material Design's sample swatches.

I'm looking for a doctoral student with Bayesian background to work on Bayesian workflow and cross-validation (see my publication list https://users.aalto.fi/~ave/publications.html for my recent work) at Aalto University.

Apply through the ELLIS PhD program (dl October 31) https://ellis.eu/news/ellis-phd-program-call-for-applications-2025

Neocapy (a capybara emoji set) has been launched!

✅ 90 Premade Emojis
✅ Source file (.aseprite) and png layers for those that want to make their own Neocapy
✅ Free, under the CC-BY-SA 4.0 license

get it here!! https://ko-fi.com/s/59cec9e841

#MastoArt #FediArt #PixelArt #Art #AnubiArts #Emoji #Capybara