jasondavies
- Karma
- 6,968
- Created
- 17 years ago
About
https://www.jasondavies.com/my public key: https://keybase.io/jasondavies; my proof: https://keybase.io/jasondavies/sigs/o-G2i_Yz96jhxicAOnKvs0rz0UyCZLNU-p0uvccNc2g
Recent Submissions
- 1. ▲ Aristotle: Formal Verification for C and Verilog (harmonic.fun)
- 2. ▲ Clef: Open-weight decision models, and new RL fine-tuning platform (blog.cloudflare.com)
- 3. ▲ Project Callisto: a 2015–2024 search for LENR in deuterium-loaded palladium (callisto.report)
- 4. ▲ Schema Harness Achieves ~99% on Arc‑AGI‑3 Public (schema-harness.github.io)
- 5. ▲ Stack Overflow for Agents (agents.stackoverflow.com)
- 6. ▲ Neural Thickets (thickets.mit.edu)
- 7. ▲ Welcome, Heterogeneous Intelligence (callosum.com)
- 8. ▲ HumanX: Agile and Generalizable Humanoid Interaction Skills from Human Videos (wyhuai.github.io)
- 9. ▲ Direct Current Data Centers (caseyhandmer.wordpress.com)
- 10. ▲ My Journey Towards Coding Agents: Building Sera (timdettmers.com)