It’s like NixOS, but it only contains GNU-approved free software and uses GNU Guile, the official GNU scripting language, as its base language.
A compendium of well-typed code that still fails in horrible ways.
A minimal POM flattening plugin that works with CI-friendly POMs.
NullPointerExceptions for Haskell. Now Haskell is ready for the enterprise.
An advocacy group for Jakarta EE.
By the Economist.
A Javadoc doclet that lets you write Javadoc comments in Asciidoc format.
A JUnit extension that enables you to assert that Java Flight Recorder events either are or are not emitted. Can be used to prevent performance regressions (think N+1 SELECTs) and monitor I/O in unit tests.
A cat command for your terminal that formats the input (particularly Markdown input) as a paper.
A book on homotopy type theory (HoTT). Free PDF download.
A theorem prover and programming language with a homotopy type system. Comes with a nifty IntelliJ plugin.
Contrasting the (low) risk of blood clots with the (high) risk of contracting COVID-19, the conclusion is pretty clear: Unless you are in a very low-exposure situation (incidence < 2/10,000), getting the AZ vaccine makes sense.
A design system by RedHat.
Official batteries-included tools for Redux.
A bimonthly Japan Times column on Kanji.
Matthias
#
The big issue that I have with how the German government does COVID politics is that they can’t seem to handle the trolley problem.
The default choice appears to be inaction. A decision to act is made only when there is (seemingly) irrefutable scientific consensus that it causes no harm. That is arguably the correct approach for a doctor to take on a patient who cannot make an informed decision for themselves. But a pandemic is more akin to war than to a doctor’s visit. There will be casualties, some of which innocent bystanders—the only question is how many. In that kind of situation, inaction is not the safe choice. There is no safe choice.
An impressive list of resources. Anime rated by difficulty, video game scripts, grammar guides, you name it.