Hacker News 2024-05-15

2024-05-15 07:00
Hacker News 2024-05-15
  1. Translation of the Rust's core and alloc crates to Coq for formal verification
    original articlehacker news
  2. Veo
    original articlehacker news
  3. Parking reform legalized most of the new homes in Buffalo and Seattle (2023)
    original articlehacker news
  4. Ilya Sutskever to leave OpenAI
    original articlehacker news
  5. Glider – open-source eInk monitor with an emphasis on low latency
    original articlehacker news
  6. How did authorities identify the alleged LockBit boss?
    original articlehacker news
  7. URLhaus: A database of malicious URLs used for malware distribution
    original articlehacker news
  8. Born to run? Endurance running may have evolved to help humans chase down prey
    original articlehacker news
  9. Air Quality Monitors Compared: AirGradient vs. Purple Air
    original articlehacker news
  10. Gemini Flash
    original articlehacker news
#hn #hackernews #ycombinator