A UML dialect for the modeling of service-oriented architecture.
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).
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.