👋 Today in HN - 2024-05-15
Good Morning, Hackers! Here are today's top stories:
- Translation of the Rust's core and alloc crates to Coq for formal verification
- Gaussian Blue Noise
- A low budget consumer hardware espionage implant: a GSM device hidden in (2018)
- Veo
- Show HN: I built a math website the internet loved, I'm back with more features
- Oracle goes vegan: Dumps Terraform for OpenTofu
- Glider – open-source eInk monitor with an emphasis on low latency
- URLhaus: A database of malicious URLs used for malware distribution
- Ilya Sutskever to leave OpenAI
- Gemini Flash
- GPT-4o's Memory Breakthrough – Needle in a Needlestack
- How did authorities identify the alleged LockBit boss?
- Review: The Variational Principles of Mechanics
- HBase Deprecation at Pinterest
- Dell leak details next-gen Windows on Arm chips
- Great Question (YC W21) Is Hiring Product Engineers (Rails/React)
- Ancient Eastern European mega-sites: a social levelling concept?
- Strangely Curved Shapes Break 50-Year-Old Geometry Conjecture
- Model Explorer: intuitive and hierarchical visualization of model graphs
- Femtosecond lasers create 3D midair plasma displays you can touch (2015)
- Rolling with the punches: How mantis shrimp defend against high-speed strikes
- Department of Justice says Boeing may be criminally liable in 737 MAX crashes
- The new APT 3.0 solver
- The power of interoperability: Why objects are inevitable (2013) [pdf]
- Researchers find high levels of lead, mercury and arsenic in Beethoven's hair
- Parseback: A pure-Lua introspection library for LuaJIT's FFI ctype objects
- Optimizing ClickHouse: Tactics that worked for us
- Boeing Emails Handed over to Congress in January 2020
- Stone with ancient writing system unearthed in garden
- Sir, there's a cat in your mirror dimension
Don't miss what's next. Subscribe to Morning, Hackers: