A new, official way of building executable überjars based on WildFly. Yay Enterprise!
Perfect for when you need a full EE environment like WildFly and Quarkus doesn’t cut it. In a JSF app, for example.
The trick is that you can pull the non-generic parts out into separate functions. That way they don’t need to be monomorphized and can be shared between the various monomorphizations of your generic function. Surprisingly, this even works when the shared part is an inner function.
Ein Interview mit einem Kinderarzt.
Punkte sind unter anderem:
- CO2 ist zu klein, um von einer Stoffmaske aufgehalten zu werden. O2 natürlich erst recht. Das merkt man schon daran, daß unter eine Stoffmaske viel weniger Luft paßt, als man selbst mit einem einzigen Atemzug aufnimmt.
- Erhöhte CO2-Sättigung oder verringerte O2-Sättigung des Bluts würde im Zweifelsfalle eine Panikreaktion des Gehirns auslösen. Daher bliebe so etwas wohl kaum unbemerkt.
For a self-proclaimed liberal, Biden is quite far up on the authoritarianism scale and quite far to the right on the economics scale, which surprises exactly no one.
A programming language fit for witches and warlocks. Concatenative and full of dark magic.
Just because I’m not following the true path, doesn’t mean I can’t get it to work.
Riots and COVID19-induced massive mail-in voting could give state governments and legislatures an excuse to refuse to certify the election in their states. In that case, neither candidate could reach the quorum, making the selection of the president go to the House, with one vote per state. Trump could win the presidency legally again this way even if he would have lost by regular means.
A new nuclear fusion reactor. Apparently, everyone agrees that it has the potential to output more energy than is needed to run it. It has a smaller plasma and a stronger magnetic field holding it in place with a new kind of magnet. Otherwise it is a conservative design.
Seine Argumente sind:
- Alle Präpositionen landen mit der Zeit bei einem Raumkasus (Dativ, Akkusativ, Ablativ etc.). Wegen ist das klassische Beispiel im Deutschen: ursprünglich ein Adverb, hat es sich im allgemeinen Sprachgebrauch zu einer Präposition entwickelt und regiert den Dativ.
- Das Wesen des Genitivs ist es, aus einem Nomen ein Attribut zu machen. Alles andere Gerede davon, welche Interpretation des Genitivs die ursprüngliche oder wesentliche sei, ist unhaltbar.
- Es gibt nur eine kleine endliche abschließende Liste von Präpositionen in jeder Sprache, aber Genitiv-Konstruktionen kann man beliebig bilden.
In Bezug auf das letztere Argument fällt mir auf, daß es wirklich eine Parallelität zu geben scheint zwischen:
Des Lärms wegen sind wir weggezogen.
Und:
Des Lärms überdrüssig sind wir weggezogen.
Im einen Falle soll es sich aber um eine Präpositionalphrase und im anderen um ein Adverbiale handeln – warum eigentlich?
Es gibt da auch einen ganz klaren Unterschied zu einem Satz wie:
Wir sind aus der Stadt weggezogen.
Denn die Präpositionalphrase aus der Stadt bindet viel stärker an das Verb, ist also ein wesentlicherer Teil des Prädikats, als in beiden Fällen oben. Man muß sich nur jeweils vorstellen, den jeweiligen Teil auszulassen, und kann leicht sehen, daß hier die Bedeutung des Satzes weiter vom ursprünglichen Sinn wegwandert als dort.
So weit klingt das alles ganz überzeugend.
Auf der anderen Seite habe ich aber auch das Gefühl, daß der Autor denselben Fehler macht wie er ihn anderen vorwirft, nämlich mit Definitionen und Begriffen zu argumentieren, ohne sie jemals extrinsisch zu definieren. Nun nennt er aufgrund also ein Adverb und aus eine Präposition, aber wo genau besteht der Unterschied? Ohne das jemals ordentlich zu definieren und voneinander abzugrenzen, bleibt der Erkenntnisgewinn zumindest auf meiner Seite leider sehr begrenzt.
Most economists thought it would, but enrollment rates don’t seem hugely affected in practice.
On the other hand, perhaps the penalties were never high enough to have an effect to begin with. And then there is also the fact that the numbers cited are relative to the whole population of the United States, whereas total enrollment in the APA was never quite that high.
Fast channels for Haskell.
Declarative animations in Haskell.
A Rust library for code generation (for example for a JIT compiler).
An alternative framework to build Haskell projects with Nix.
- Can convert Cabal projects into Nix expressions automatically.
- Can cross-compile Haskell programs for other architectures.
- Can build statically linked binaries with musl libc.
A Haskell library for Unix shell programming.
Some actual (rather than imagined) challenges that Rust developers currently face, written up by a fan of the language.
Den Eindruck habe ich leider auch. Allerdings trifft die Aussage nicht nur auf Die LINKE zu, sondern auf das ganze linke Milieu, wie es in den politischen Institutionen bis hin zu den Universitäten vertreten ist.
Eine echte Vertretung des Proletariats muß man heutzutage über das gesamte politische Spektrum mit der Lupe suchen.
A perf_events-based memory profiler for GNU/Linux. Works on AMD64 and ARM (among others) and is claimed to be very fast (hopefully much less overhead than Valgrind).
Bazel rules to pull in Nix expressions as dependencies.
A library for incremental parsing (such as for IDEs). Usable from many languages.
Tools for working with Bazel BUILD files. Formatting and programmatic editing.
A fast and small JSON parser in embedded-friendly C.
A declarative wrapper for the gi-gtk Haskell Gtk+ bindings built with haskell-gi, which is a binding library generator to access GObject-Introspection-capable C libraries (such as GLib and Gtk+).
See also: Presentation slides on gi-gtk-declarative.