HackerTrans
TopNewTrendsCommentsPastAskShowJobs

programLyrique

1,214 karmajoined hace 11 años

Submissions

Leanstral 1.5: Proof abundance for all

mistral.ai
374 points·by programLyrique·hace 7 días·106 comments

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

r-consortium.org
4 points·by programLyrique·hace 9 meses·0 comments

comments

programLyrique
·hace 7 meses·discuss
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
·hace 9 meses·discuss
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
·hace 9 meses·discuss
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
·hace 10 meses·discuss
OCaml with wasocaml: https://github.com/OCamlPro/wasocaml