ronfriedhaber
- Karma
- 280
- Created
- 1 year ago
About
ron at modolap dot comRecent Submissions
- 1. ▲ Formally Verifying a Compiler Using Automated Research (paradigm.xyz)
- 2. ▲ D-Regular Graphs of Girth (8/5) log_(d-1) n} n\) [pdf] (cdn.prod.website-files.com)
- 3. ▲ An Industrial-Strength Audio Search Algorithm [pdf] (ee.columbia.edu)
- 4. ▲ Nobel Prize in Physics Awarded to Francis Halzen for Astronomy Breakthroughs (wsj.com)
- 5. ▲ The Minds of Mark Zuckerberg, Palmer Luckey, Josh Kushner and Scott Wu [video] (youtube.com)
- 6. ▲ Startup TypeSafe AI's Jev Model Sparks Copycats, Talk of LLM Alternatives (wsj.com)
- 7. ▲ Guillermo Rauch: "We've confirmed a KVM 0day through our Vercel bounty program" (twitter.com)
- 8. ▲ Futuresearch Evals (evals.futuresearch.ai)
- 9. ▲ Spotlight Memory (percepta.ai)
- 10. ▲ What's the Date? (lesswrong.com)