Daily lobste.rs News for 2022-07-15Share15 Jul 2022 - 1 minute readPorting OpenBSD pledge() to Linux (comments)The Slow March of Progress in Programming Language Tooling (comments)DNS Esoterica - Why you can’t dig Switzerland (comments)Chinese numerals and char::is_numeric (comments)Functional programming is finally going mainstream (comments)Quark Word Juggler (comments)Nix – taming Unix with functional programming (comments)The Verification Gap: A Major Hurdle for the Industry Adoption of Formal Methods (comments)hunt-rs: Simplified Find command made with Rust (comments)ChromeOS Flex released (comments)