The apparent contradiction between quantum mechanics, where the von Neumann entropy stays constant and the second law of thermodynamics can be resolved by using Shannon entropy.
F. Meier et al., Emergence of a Second Law of Thermodynamics in Isolated Quantum Systems, PRX Quantum 6, 010309 (2025). https://doi.org/10.1103/PRXQuantum.6.010309

The Ramanujan Machine project is an artificial intelligence project that specializes in automated conjecture generation in number theory. The project was described in detail in the paper "Generating conjectures on fundamental constants with the Ramanujan Machine" by Gal Raayoni, Shahar Gottlieb, Yahel Manor, George Pisha, Yoav Harris, Uri Mendlovic, Doron Haviv, Yaron Hadad, and Ido Kaminer. The paper, which appeared in Nature in 2021, gives several examples of automatically generated Ramanujan-style conjectures. https://www.ramanujanmachine.com/

Found via the Postmarket OS wiki https://wiki.postmarketos.org/wiki/User:MartijnBraam

Sxmo is a minimalist environment for Linux mobile devices.
Mentioned on the Plan 9 mailing list https://marc.info/?l=9fans&m=173750905832704&w=2

I found this blog via a link on Sven's blog https://svbck.org/nope/

checkinstall — Track installation of local software, and produce a binary manageable with your package management software.
sounds useful.

The statement «"p.s. "Why didn't you write it in Rust?" -- I take that question
seriously, and did some measurements. Rust does not do as well for
this purpose as Go.» is interesting.

The CM software implements the construction of ring class fields of imaginary quadratic number fields and of elliptic curves with complex multiplication via floating point approximations. Additionally it provides an implementation of the fastECPP algorithm for proving primality of integers. It consists of libraries that can be called from within a C program and of executable command line applications. For the implemented algorithms, see A. Enge, The complexity of class polynomial computation via floating point approximations, Mathematics of Computation 78 (266), 2009, pp. 1089–1107.
Found via https://matheplanet.at/matheplanet/nuke/html/viewtopic.php?topic=266257&post_id=1939590

See also https://www.multiprecision.org/paridroid/index.html for PariDroid, a port of PARI/GP to Android

From the author's description:
1. Flexible templates
CL-Project supports more parameters to embed, by using CL-EMB to represent the skeleton files (See "cl-project/skeleton/").

2. One package per file style (Modern)
A modern CL project should be in accordance with some rules. For instance, one file must have one package in it.

3. Recommends unit testing
Modern projects should have some unit tests. CL-Project generates a system for unit testing, so you can begin writing unit tests as soon as the project is generated.

https://www.acme.com/software/e/ is a tiny Emacs, mentioned on
https://mastodon.social/@jef/113632905099469381
The planimeter https://www.acme.com/planimeter/ is neat.