Mistralai/Leanstral-1.5-119B-A6B

Built with the HackerNews API. Developed by LJT.AI

Note: The HackerNews API provides up to 500 stories per category

7 points by satvikpendem 3 hours ago | 1 comment

strongly-typed 2 hours ago |

Lean is such a wonderful language. So hyped by these releases.

Mistralai/Leanstral-1.5-119B-A6B | Dark Hacker News

strongly-typed 2 hours ago |

Lean is such a wonderful language. So hyped by these releases.