A book on the Java module system.
A meticulously designed monospace bitmap font. Perfect for your text editor or IDE when you are on a low-resolution display.
An interview with David Shor, Barack Obama’s presidential campaign data scientist.
One point he makes: Democrats have tended to win elections when they have focused on issues rather than ideology in their messaging. Points in case: Hillary Clinton’s defeat in 2016, Bernie Sanders’ strong showing in 2016 versus his weaker performance in 2020.
A perfect fit for WebComponents.
Size and loading speed comparisons of various WebComponent utility libraries and frameworks, all the way from tiny to huge.
A Java library that parses the report files from a variety of static analysis tools.
An article on 株式会社金剛組 (Kabushikigaisha Kongougumi), a Japanese company that was founded in 578 and is still in operation today. Their speciality is the construction and maintenance of Buddhist temples.
Non-free games for Guix.
Non-free packages for Guix.
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.
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.