Platform for interactive documents inspired by HyperCard.
A reimagining and clean-room reimplementation of the original PC DOS. The PC DOS 1.0 from an alternate reality where its creators had the foresight of things to come.
Even though they are less targeted than conditional social welfare, unconditional cash benefits still predominantly help the poor because they are often hamstrung by transaction costs more than personal irrational behavior.
What makes unconditional cash benefits particularly attractive politically is that they enjoy wide support across the political spectrum. That is because they do not obviously take something away from one group (social, racial, you name it) to give it to another. Of course in fact that is precisely what they do, but they do it in a socially blind manner.
European newspaper translations and summaries.
Podcast by Noah Smith (of Noahpinion) and Brad DeLong (of Grasping Reality).
A vulnerability scanner based on Syft.
Supports various GNU/Linux package formats and distributions (Alpine, Debian, RHEL/UBI, etc.) as well as libraries for various programming language ecosystems (Java, Go, Rust, JavaScript, .NET, etc.).
Example output:
$ grype registry.access.redhat.com/ubi9/ubi-micro:latest
NAME INSTALLED FIXED-IN TYPE VULNERABILITY SEVERITY
bash 5.1.8-4.el9 rpm CVE-2022-3715 Medium
libgcc 11.2.1-9.4.el9 rpm CVE-2021-46195 Low
libgcc 11.2.1-9.4.el9 (won't fix) rpm CVE-2022-27943 Low
ncurses-base 6.2-8.20210508.el9 (won't fix) rpm CVE-2022-29458 Low
ncurses-libs 6.2-8.20210508.el9 (won't fix) rpm CVE-2022-29458 Low
Creates software bills of materials (SBOMs) for container images and directories.
Generates and converts between CycloneDX, SPDX, and a custom format.
Detects various GNU/Linux package formats and distributions (Alpine, Debian, RHEL/UBI, etc.) as well as libraries for various programming language ecosystems (Java, Go, Rust, JavaScript, .NET, etc.).
Example output:
$ syft registry.access.redhat.com/ubi9/ubi-micro:latest
NAME VERSION TYPE
basesystem 11-13.el9 rpm
bash 5.1.8-4.el9 rpm
coreutils-single 8.32-31.el9 rpm
filesystem 3.16-2.el9 rpm
glibc 2.34-28.el9_0.2 rpm
glibc-common 2.34-28.el9_0.2 rpm
glibc-minimal-langpack 2.34-28.el9_0.2 rpm
libacl 2.3.1-3.el9 rpm
libattr 2.5.1-3.el9 rpm
libcap 2.48-8.el9 rpm
libgcc 11.2.1-9.4.el9 rpm
libselinux 3.3-2.el9 rpm
libsepol 3.3-2.el9 rpm
ncurses-base 6.2-8.20210508.el9 rpm
ncurses-libs 6.2-8.20210508.el9 rpm
pcre2 10.37-5.el9_0 rpm
pcre2-syntax 10.37-5.el9_0 rpm
redhat-release 9.0-2.17.el9 rpm
setup 2.13.7-6.el9 rpm
tzdata 2022e-1.el9_0 rpm
Fast bundler for ECMAScript modules.
Additional Error Prone checkers used by Picnic.
Java compiler plug-in that adds more warnings.
Error Prone extension for nullity correctness.
Jakarta specification for gRPC in Java. Integrates with other Jakarta specifications such as CDI.
Distributed relational database with a query engine that reuses code from PostgreSQL. Another way to think about it is that it is like Google Cloud Spanner, but Apache-licensed.
A Rust crate that provides the never-type (!) in stable Rust.
The old “Chimerica” system that divided production between cheap manufacturing in China and expensive research in the West, benefitting both sides economically by way of comparative advantage, is ending.
Its replacement may turn out to be a new two-bloc system with a China-led bloc on one side and a Developed Democracies Plus Friendly Developing Countries bloc on the other.
Java library to support testing of asynchronous code of any sort.
A verified boot flow for small devices. Implemented by Das U-Boot.
Related:
Post-quantum cryptographic algorithms in C.
Post-quantum cryptography for the ARM Cortex M4.
OpenSSH server and client configuration tester.