Hacker News 2024-05-15
hackernews
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 article — hacker news
  2. Veo
    original article — hacker news
  3. Parking reform legalized most of the new homes in Buffalo and Seattle (2023)
    original article — hacker news
  4. Ilya Sutskever to leave OpenAI
    original article — hacker news
  5. Glider – open-source eInk monitor with an emphasis on low latency
    original article — hacker news
  6. How did authorities identify the alleged LockBit boss?
    original article — hacker news
  7. URLhaus: A database of malicious URLs used for malware distribution
    original article — hacker news
  8. Born to run? Endurance running may have evolved to help humans chase down prey
    original article — hacker news
  9. Air Quality Monitors Compared: AirGradient vs. Purple Air
    original article — hacker news
  10. Gemini Flash
    original article — hacker news
#hn #hackernews #ycombinator
Hide Comments Comments (0)

You must login before you can post a comment.