SAVE UKRAINE

The 12 highest-rated articles on Lobsters on June 18, 2022 which have not appeared on any previous Lobsters Daily are:

• Ante: A low-level functional language
  plt
  Comments
• CreuSAT: A formally verified SAT solver written in Rust
  formalmethods rust
  Comments
• from apples to pears
  practices satire
  Comments
• “Batteries-Included” vs “Bloated”
  browsers practices
  Comments
• Pulling MikroTik into the Limelight
  reversing
  Comments
• The Modos Paper Laptop
  hardware
  Comments
• Generating true random numbers from bananas
  cryptography hardware
  Comments
• A persistent rope in Go
  compsci go
  Comments
• What are you doing this weekend?
  ask programming
  Comments
• TypeScript development with Emacs, tree-sitter and LSP in 2022
  emacs web
  Comments
• File Sharing with Caddy & MinIO
  go mac networking
  Comments
• Adding a Rust compiler front end to GCC
  video rust
  Comments