Daily lobste.rs News for 2022-07-14Share14 Jul 2022 - 1 minute readSix Programming Languages I’d Like to See (comments)OpenVMS 9.2 for x86 will be released tomorrow (2022-07-14), so exciting (comments)Why CP/M didn’t have directory separators, and what if it had got them? (comments)My blog is a CTF challenge (comments)21 Awesome Open-Source Haskell Projects (comments)Decompiler Explorer (comments)It’s About Time (literally) (comments)My business card runs Linux, yours can too (comments)The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods (comments)FizzBuzz in GNU make (comments)