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