Daily Lobsters for 2025-06-14

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

• jemalloc Postmortem
  

  c programming
  

  Comments
• OxCaml, Jane Street's extension of OCaml is now open-source
  

  ml
  

  Comments
• Asterinas: A Linux ABI-compatible, Rust-based framekernel OS
  

  osdev rust
  

  Comments
• If the Moon Were Only 1 Pixel - A tediously accurate map of the solar system
  

  art
  

  Comments
• Radicle Desktop: a graphical user interface for the Radicle peer-to-peer code forge
  

  vcs
  

  Comments
• macOS Tahoe brings a new disk image format
  

  mac
  

  Comments
• Tattoy: a text-based terminal compositor
  

  release
  

  Comments
• What I talk about when I talk about IRs
  

  compilers
  

  Comments
• Architecture Decision Records
  

  practices
  

  Comments
• Writing a Verified Postfix Calculator in Ada/SPARK
  

  formalmethods programming
  

  Comments
• Introducing the twom database format
  

  databases
  

  Comments
• Rendering crispy text on the GPU
  

  graphics
  

  Comments