Benki → All Posts

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. Cases in point: Hillary Clinton’s defeat in 2016, Bernie Sanders’ strong showing in 2016 versus his weaker performance in 2020.

A tool that lets you explore the JavaScript UI components in your application (or component library) in isolation, one at at a time, with mock data, and provides a way to document use cases and functionality.

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.

Also has a companion CLI tool, CI integrations for GitLab, GitHub, and Bitbucket, and various build tool plugins.

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.

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.

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.

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.