HackerTrans
トップ新着トレンドコメント過去質問紹介求人

programLyrique

1,214 カルマ登録 11 年前

投稿

Leanstral 1.5: Proof abundance for all

mistral.ai
374 ポイント·投稿者 programLyrique·7 日前·106 コメント

Sovereign Tech Fund Invests $450k in R to Enhance Sustainability and Security

r-consortium.org
4 ポイント·投稿者 programLyrique·9 か月前·0 コメント

コメント

programLyrique
·7 か月前·議論
They have already:

- https://helsing.ai/newsroom/helsing-and-mistral-announce-str... - https://sifted.eu/articles/mistral-helsing-defence-ai-action... - Luxembourg army chose Mistral: https://www.forcesoperations.com/la-pepite-francaise-mistral... - French army: https://www.defense.gouv.fr/actualites/ia-defense-sebastien-...
programLyrique
·9 か月前·議論
There are some experiments in using copy-and-patch for the R language (after Python): https://dl.acm.org/doi/10.1145/3759548.3763370

From a master thesis: https://www.itspy.cz/wp-content/uploads/2025/09/it_spy_2025_...
programLyrique
·9 か月前·議論
His bio gives a more detailed description of the startup: "after his PhD, Bharath co-founded Computable a startup that built better tools for collaborative dataset management", which seems to not exist anymore.

But he came back to drug discovery:

"Bharath is currently the founder and CEO of Deep Forest Sciences, which is building an AI-powered suite for drug and materials design and discovery."
programLyrique
·10 か月前·議論
OCaml with wasocaml: https://github.com/OCamlPro/wasocaml