UT1, UTC, or TAI? It depends on which two of the three desirable properties {steady time, calendar days, fixed units} you choose and which one you forgo.
Python plotting library for statistical data.
A UML dialect for the modeling of service-oriented architecture.
An extended subset of UML for systems-level modeling.
A wiki that collects esoteric programming languages.
A small object-oriented programming language. Statically typed with support for architectural patterns and internal domain-specific languages.
An effort to standardize more of the Arm architecture, making it more PC-like. A good idea. There is already some support in Yocto in the form of a generic-arm64 target. I am still partial to genericx86-64, myself, but let us see what the future brings.
Since the whole point of the original Raspberry Pi was that you would get a super-cheap PC-like device that you could use for home hacking and fun, with the more recent variations that are as expensive as or more expensive than a low-end PC, it is hard to see what their selling proposition is.
My personal experience is that the IBM-PC architecture and its evolutions are the most frictionless kind of computing. You get plug’n’play for hardware components, a predictable and uniform firmware interface, and massive compatibility forward and backward. All the major portable operating systems run unmodified and you do not have to rely on third-party forks of kernels and drivers. Plus you can assemble your own PC from parts and chances are it will boot and basically work no matter what weird combination of ancient CD-ROM drive and the latest trendy CPU you run.
So yeah. If you can use a PC, use a PC.
Cross-platform Swift support for JetBrains IDEs. Commercial.
Swift support for CLion was historically provided by JetBrains, but they have dropped it along with AppCode. In my experience it was not very stable and so was hard to recommend for more than occasional dabbling. Here is hoping that this new plugin is more solid.
The GVariant serialization specification has been rewritten as ReStructured Text and made part of the Git repository of glib. This is where you find it.
Recipes by a Japanese cook based in San Francisco.
Documentation for Mathlib for Lean 4.
The Lean community maintains Mathlib, among other things.
The official Lean 4 manual.
A book on modeling mathematical objects in Lean 4 and proving their properties.
A book on Lean 4 as a theorem prover (as opposed to a programming language).
A book on Lean 4 as a programming language (rather than as a theorem prover).