Daily lobste.rs News for 2021-05-06Share06 May 2021 - 1 minute readThe Case of the 50ms request (comments)The Great Rewriting In Rust (comments)decentralized location-aware p2p protocol to make food delivery fair again (comments)seL4 on RISC-V Verified to Binary Code (comments)Proving 50-Year-Old Sorting Networks Optimal: Part 1 (comments)Simple as in SNMP (comments)Go proposal: new package to provide generic slice functions (comments)Moves, copies and clones in Rust (comments)$1 Recognizer (comments)ISDN: The Untravelled Path of Mobile Computing (comments)