Daily lobste.rs News for 2022-07-02Share02 Jul 2022 - 1 minute readAnnouncing: Learn TLA+ (comments)The Logitech Ergo M575 trackball (comments)Give Up GitHub (comments)Publii: An open source static site generator with a GUI (comments)A DNS name compression algorithm (comments)Faster routing for Flask & Quart (comments)Announcing Rust 1.62.0 (comments)Thoughts on infectious systems: async/await and pure (comments)What are you doing this weekend? (comments)Democratizing access to large-scale language models with OPT-175B (comments)