Benki → Bookmarks

The pull request has been closed with a remark implying that it’s currently not in focus.

Personally, I think it’s a mistake to release Scala 3 without a built-in effect system. People will continue to rely on things like custom monad stacks and for-comprehensions to emulate one, which leads to horrible looking code that is hard to understand and even harder to edit. Or they go out of their way to create prettier but incomplete solutions that are even less well supported.

In fact, depending on how you look at it, because it lacks a proper effect system Scala is currently a less type-safe language than Java in that Java at least has checked exceptions whereas in Scala anything can throw at any time without it showing up in the types.

Push fixes upstream instead of building workarounds.

Free software for home automation.

A free-software web app for grocery and household management.

A theorem prover that is also an ergonomically sensible programming language.

A new Java desktop UI library. Based on Google’s latest mobile UI work for Android.

A magical Docker container registry that generates ad-hoc containers based on Nixpkgs.

For example, you can run:

docker pull nixery.dev/shell/git/htop

And it automatically assembles a Docker image that contains Git and htop for you.

XPath is prone to injection attacks due to the following features:

• doc() and json-doc() read XML and JSON from local files or the network and let you join on them.
• unparsed-text() reads plain text files from the network or local files and dumps their content.
• environment-variable() lists and reads shell environment variables (a good reason not to put secrets there).

Says Ferrous Systems’ Alexey.

A macOS app that enables chat-app-style Emoji shortcuts (such as :rocket: for 🚀) everywhere. Pretty useful.

Takeaway: To deploy on WildFly, use lein-ring to generate a WAR file. Immutant is pretty much dead.

A library of Java annotations that you can use to document the DDD roles of your classes and packages.

A calculator for COVID-19 exposure risk. Quantifies your risk in microCOVIDs.

A C language extension providing memory safety and more. By Microsoft.

A framework for mocking HTTP servers.

Looks like checked exceptions to me. I like it. Checked exceptions are way underrated.

Fast persistent data structures for Rust.

RBB trees for vectors, HAMTs for hash maps, the usual good stuff.

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.