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