Daily lobste.rs News for 2022-06-18Share18 Jun 2022 - 1 minute readAnte: A low-level functional language (comments)“Batteries-Included” vs “Bloated” (comments)Generating true random numbers from bananas (comments)What are you doing this weekend? (comments)CreuSAT: A formally verified SAT solver written in Rust (comments)from apples to pears (comments)File Sharing with Caddy & MinIO (comments)redbean 2.0 release notes (comments)Switch to VPC Endpoints from NAT Gateways to Reduce Bandwidth Charges (comments)Speeding up autoconf with caching (comments)