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).
Das fällt einem Netzbetreiber jetzt plötzlich auf, nachdem das Bundesverfassungsgericht die Schuldenbremse scharfgestellt hat.
Warum nicht gleich so? Weil „Proteste und Klagen von Anwohnern und Landschaftsschützern“ wichtiger waren als Kosten. Klar, wenn so ein wohlhabender Vorstadthausbesitzer herumjammert, dann ist es es natürlich wert, dass dafür jeder von uns (Kinder und Rentner eingeschlossen) € 200 zahlt. Hauptsache, die Sicht auf die Berge und den See ist nicht behindert.
Wenn ich der Staat wäre, ich würde mich nicht von so einem Gequengel 20 Mrd. Euro in die Höhe treiben lassen, sondern ein Gesetz erlassen, das Anwohnern und Landschaftsschützern die Klagebefugnis nimmt. Dafür würde ich ihnen großzügig das Recht einräumen, den Aufpreis für unterirdische Leitungen in ihrer Gegend selbst zu zahlen. Dann würde sich schnell zeigen, wieviel es ihnen wirklich wert ist.
Stable Rust ABIs via Rust-to-Rust FFI.
C, C++, Rust, and CUDA build cache. Also supports distributed builds and the GitHub Actions cache.
A version number management tool based on conventional commits with support for monorepos.
Basically:
- Do not take your kids by car (it’s just bad in every way)
- Send your kids off alone once they are old enough (my personal rule of thumb is 2nd grade, but of course every child is different)
Enter your income and assets and find out which class you are in (if you live in Germany).
A cheatsheet.
Framework for testing operating systems against both real and virtualized hardware. Used by KernelCI, among other things.
Backend for xrdp.
X11 RDP server. Supports drive mounts and audio redirection.
A book by Tyler Cowen, but not just a book. It comes with an AI companion that you can ask questions about its content. To me this seems like such a clear improvement over a simple book that it ought to become the default for nonfiction literature.
Matthew Yglesias makes the point that the United States would be wise to grow in population so it stays relevant and strong.
FROM ghcr.io/macoscontainers/macos-jail/ventura in container files? Intriguing.
It uses rund under the hood, which means it is not very isolated at all. Still, I am sure there are use cases.