Daily Hacker News 15-05-2024

[xueyuanl]

Daily Hacker News

1. Translation of the Rust's core and alloc crates to Coq for formal verification formal.land comments
2. A low budget consumer hardware espionage implant: a GSM device hidden in ha.cking.ch comments
3. Veo deepmind.google comments
4. Show HN: I built a math website the internet loved, I'm back with more features teachyourselfmath.app comments
5. Bicycle Rolling Resistance: Tire Rolling Resistance Tests and More www.bicyclerollingresistance.com comments
6. Ilya Sutskever to leave OpenAI twitter.com comments
7. Glider – open-source eInk monitor with an emphasis on low latency github.com comments
8. Born to run? Endurance running may have evolved to help humans chase down prey www.science.org comments
9. URLhaus: A database of malicious URLs used for malware distribution urlhaus.abuse.ch comments
10. Great Question (YC W21) Is Hiring Product Engineers (Rails/React) www.ycombinator.com comments
11. "Is This Project Still Maintained?" www.hezmatt.org comments
12. How did authorities identify the alleged LockBit boss? krebsonsecurity.com comments
13. Ancient Eastern European mega-sites: a social levelling concept? www.cambridge.org comments
14. Gemini Flash deepmind.google comments
15. Sir, there's a cat in your mirror dimension lcamtuf.substack.com comments
16. GPT-4o's Memory Breakthrough – Needle in a Needlestack nian.llmonpy.ai comments
17. HBase Deprecation at Pinterest medium.com comments
18. Model Explorer: intuitive and hierarchical visualization of model graphs ai.google.dev comments
19. Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture www.quantamagazine.org comments
20. Air Quality Monitors Compared: AirGradient vs. Purple Air www.airgradient.com comments
21. Femtosecond lasers create 3D midair plasma displays you can touch (2015) spectrum.ieee.org comments
22. Department of Justice says Boeing may be criminally liable in 737 MAX crashes www.usatoday.com comments
23. The power of interoperability: Why objects are inevitable (2013) [pdf] www.cs.cmu.edu comments
24. The new APT 3.0 solver blog.jak-linux.org comments
25. Researchers find high levels of lead, mercury and arsenic in Beethoven's hair www.smithsonianmag.com comments