Settings

Theme

dataking

Karma
798
Created
13 years ago

About

leading a team building c2rust and migrating code to Rust.

more info at https://github.com/immunant and https://immunant.com

[ my public key: https://keybase.io/dataking; my proof: https://keybase.io/dataking/sigs/eI6etDfhwHsD2RqLtnR15ZXXPljxGygqee07pjAgAh4 ]

Recent Submissions

  1. 1. ▲ Gemini 3.8 Flash benchmark scores (twitter.com)
  2. 2. ▲ ChatGPT to face tougher regulation in the EU (theverge.com)
  3. 3. ▲ Epoch.ai: Parallelization constraints could delay a technological singularity (twitter.com)
  4. 4. ▲ Claude Fable 5 export control lifted (twitter.com)
  5. 5. ▲ Trump admin allows Anthropic to release Mythos AI model to some companies (cnbc.com)
  6. 6. ▲ Paving the Way for Agents in Biology (anthropic.com)
  7. 7. ▲ Supercomputer networking to accelerate large scale AI training (openai.com)
  8. 8. ▲ Bloomberg: OpenAI Takes on Google with New AI Model Aimed at Drug Discovery (bloomberg.com)
  9. 9. ▲ Meta debuts Muse Spark, first AI model under Alexandr Wang (axios.com)
  10. 10. ▲ Papers on C-to-Rust Translation (hjaem.info)

Keyboard Shortcuts

j
Next item
k
Previous item
o / Enter
Open selected item
?
Show this help
Esc
Close modal / clear selection