missing the point of webassembly — wingologhttp://wingolog.org/archives/2024/01/08/missing-the-point-of-webassembly
to go smaller, consider extensible software, like the GIMP image editor or VS Code : in the past you would use loadable plug-in modules via the C ABI, which can be quite gnarly, o
Using the MM email client in the Modern Worldhttps://kermitproject.org/mm/
then that offers an extensible framework for handling each part of a multipart MIME message according to its MIME type – plain text, HTML, image, etc – by following ru
Spin - Formal Verificationhttp://spinroot.com/spin/old.html
(new) The Minnesota Extensible Language Tools group (MELT), and specifically Eric Van Wyk (evw [atsign] cs.umn.edu) has made some very interesting extensions to the Promela langua
Spin is a general tool for verifying the correctness of distributed software (software design) in a rigorous and mostly automated fashion.
Hygiene for a computing pandemic: separation of VCs and ocaps/zcaps from Christopher Lemmer Webber on 2020-12-05 (public-credentials@w3.org frhttps://lists.w3.org/Archives/Public/public-credentials/2020Dec/0028.html
with >>> extensible and separable semantics for the data conveyed inside that >>> container then we have a very high degree of reuse of tooling. This fosters >
Find more...