Hackernews posts about Magistral

  1. Mistral raises $830M to build Nvidia-powered AI centres in Europe (www.ft.com)
    9 points by macleginn 10 days ago | 2 comments
  2. Mistral AI partners with Nvidia to accelerate open frontier models (mistral.ai)
    6 points by fidotron 23 days ago | discuss
  3. Mistral.ai Leanstral: open-source model designed for engineering (docs.mistral.ai)
    5 points by james2doyle 24 days ago | 3 comments
  4. Who Wins If AI Models Commoditize? – With Mistral CEO Arthur Mensch [video] (www.youtube.com)
    5 points by layer8 11 days ago | discuss
  5. Mistral Voxtral TTS Running On-Device via MLX on Apple Devices (github.com)
    2 points by lbj96347 12 days ago | discuss
  6. Show HN: 1k desktop beats vendor sparse library 474× on Mistral-7B (rolv.ai)
    1 points by heggenhougen 23 days ago | 1 comments
  7. The Voice Web with maplibre-voice – Mistral Hackathon 2026 (www.youtube.com)
    1 points by tderflinger 16 days ago | discuss
  8. Show HN: We fingerprinted 178 AI models' writing styles and similarity clusters (rival.tips)
    76 points by nuancedev about 17 hours ago | 23 comments
  9. Show HN: Ossature – Spec-driven code generation with LLMs (ossature.dev)
    4 points by beshrkayali 21 days ago | discuss
  10. Show HN: EdgeWhisper – On-device voice-to-text for macOS (Voxtral 4B via MLX) (edgewhisper.com)
    3 points by raphaelmansuy 26 days ago | 1 comments
  11. Show HN: FC-Eval – CLI to Benchmark Local or Cloud LLMs on Function Calling (github.com)
    3 points by gauravvij137 23 days ago | discuss
  12. Show HN: Extract (financial) data from emails with local LLM (github.com)
    1 points by brainless 30 days ago | discuss
  13. Leanstral: Open-source agent for trustworthy coding and formal proof engineering (mistral.ai)
    783 points by Poudlardo 23 days ago | 191 comments
  14. Rails Testing on Autopilot: Building an Agent That Writes What Developers Won't (mistral.ai)
    4 points by pember 29 days ago | discuss
  15. Rails Testing on Autopilot: Building an Agent That Writes What Developers Won't (mistral.ai)
    3 points by lis 23 days ago | discuss
  16. Heaps do lie: debugging a memory leak in vLLM (mistral.ai)
    1 points by shiftingleft 22 days ago | discuss
  17. Magistral — the first reasoning model by Mistral AI (mistral.ai)
    941 points by meetpateltech 10 months ago | 424 comments
  18. MistralAI released a new Magistral Small 2509 (huggingface.co)
    8 points by mseri 7 months ago | discuss
  19. Mistral releases updates to Magistral family, adds vision (twitter.com)
    2 points by pember 7 months ago | 1 comments
  20. An Overview of Virtual Machine Architectures [pdf] (didawiki.di.unipi.it)
    4 points by thunderbong over 1 year ago | discuss
  21. An Overview of Virtual Machine Architectures [pdf] (didawiki.di.unipi.it)
    3 points by signa11 over 1 year ago | discuss
  22. France assembles magistrate team to examine 'Epstein files' (www.dw.com)
    4 points by pera about 2 months ago | discuss
  23. Magistrate judge breathing fire over law firm's dragon logo on legal pleadings (www.abajournal.com)
    4 points by Bluestein 11 months ago | discuss
  24. ICC Judge Guillou loses all US IT accounts after MAGA sanctions [FR] (www.franceinfo.fr)
    90 points by henearkr 6 months ago | 80 comments
  25. Mathstral: 7B LLM designed for math reasoning and scientific discovery (mistral.ai)
    33 points by mnoorfawi over 1 year ago | discuss
  26. Can the New Mathstral LLM Accurately Compare 9.11 and 9.9? (www.secondstate.io)
    23 points by 3Sophons over 1 year ago | 32 comments
  27. Mathstral (mistral.ai)
    11 points by josh-sematic over 1 year ago | 1 comments
  28. Mathstral 7B in Ollama (ollama.com)
    1 points by lijunhao over 1 year ago | discuss
  29. Maestral: Open-source Dropbox client for macOS and Linux (github.com)
    1 points by pmastela almost 2 years ago | discuss
  30. A dream of AI DLC A peek into the future based on tools and tech that we have (magistr.me)
    2 points by u_magistr 5 months ago | discuss
  31. The Pain Driven Workflow (magistr.me)
    1 points by nickstinemates 6 months ago | discuss
  32. A post-American, enshittification-resistant internet (39C3) (www.youtube.com)
    6 points by magistr4te 3 months ago | 1 comments
  33. shellmind: LLM powered pseudocode shell commands (github.com)
    2 points by magistr4te over 1 year ago | discuss
  34. Ngrrram: Improve typing speed and learn new layouts (incl. free cat) (github.com)
    2 points by magistr4te almost 2 years ago | discuss
  35. Living Worlds (Mark Ferrari) (www.effectgames.com)
    2 points by magistr4te almost 2 years ago | discuss
  36. AI Native Infrastructure Automation (www.systeminit.com)
    18 points by u_magistr 7 months ago | 3 comments