frontpage.
newsnewestaskshowjobs

Open Source @Github

fp.

Open in hackernews

Leanstral 1.5

https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06
63•vetronauta•3h ago

Comments

__natty__•1h ago
Discussion about Leanstral 1: https://news.ycombinator.com/item?id=47404796
doctorpangloss•47m ago
Real talk, does anyone use anything from Mistral because it performs the best, by whatever secular metric of your choosing? Or is it only used "because EU"? Just focus on answering the question. I wonder if anyone has observed it perform better on any objective metric in any rigorous setting.
trentor•38m ago
I like the models for creative writing. They have a distinct voice that is different from the other llms.
SwellJoe•22m ago
I made a game (https://prose-or-con.com) where you pick whether writing is AI or human. Mistral is a bonkers weird writer. So weird I fell for it a couple of times because I thought, "No way a model writes this weird." Not, like, incorrect grammar or spelling or anything, just...off-kilter. Kinda sassy.
troyvit•28m ago
We are not Mistral's target audience. For instance I don't know if Leanstral performs the best as a "formal proof engineering model optimised for automated theorem proving and autoformalization" because I don't even know wth that is or who else does it.

Mistral themselves focus more on b2b; financial services, manufacturing, stuff like that, and they get some big clients that way.

Despite not being their target, I started using them because they have many open models. I continue using them because, yeah EU, but also because the community is great and the tool makes me think more than Claude does. Last, I stick with them because they are one of the few AI companies that are up-front about their environmental impact and are actually trying to minimize it while still providing a decent product.

data-ottawa•26m ago
Mistral medium is considerably better at writing than Opus.

I’ve also found it very good at pulling info from pdfs. Even a complicated festival with multiple venues and timetables.

Adrig•26m ago
A few months ago, I had some data cleaning to do; their small model was surprisingly efficient and got the job done for 0.2x what I expected to run (Anthropic Sonnet / Haiku). Their TTS / STT is also roughly at the frontier, at least for French.

But I admit I only consider them because they're from France. Haven't seen a dimension where they're competitive for general users

evilmonkey19•8m ago
I use it because EU and API pricing is decent to me. And support is awesome also. They reply the same day or at most the next day, and they follow the ticket great. It isn't that bad, but neither the best.

Claude Sonnet 5

https://www.anthropic.com/news/claude-sonnet-5
808•marinesebastian•5h ago•457 comments

Claude Code is steganographically marking requests

https://thereallo.dev/blog/claude-code-prompt-steganography
1316•kirushik•8h ago•375 comments

From brain waves to words: a new path to communication without surgery

https://ai.meta.com/blog/brain2qwerty-brain-ai-human-communication/?_fb_noscript=1
86•alok-g•2h ago•46 comments

Hatari – Online Atari ST/STE/TT/Falcon Emulator

https://hatari.frama.io/hatari/online/hatari.html
20•gregsadetsky•1h ago•3 comments

Claude Science

https://claude.com/product/claude-science
334•lebovic•6h ago•111 comments

Nano Banana 2 Lite

https://deepmind.google/models/gemini-image/flash-lite/
286•minimaxir•7h ago•106 comments

How does a pull-back car work? Illustrated teardown

https://mechanical-pencil.com/products/car
80•Muhammad523•2d ago•21 comments

I ported Kubernetes to the browser

https://ngrok.com/blog/i-ported-kubernetes-to-the-browser
134•peterdemin•3h ago•42 comments

Leanstral 1.5

https://docs.mistral.ai/models/model-cards/leanstral-1-5-26-06
63•vetronauta•3h ago•8 comments

Hengefinder

https://hengefinder.com/
14•bookofjoe•2d ago•3 comments

TabFM: A zero-shot foundation model for tabular data

https://research.google/blog/introducing-tabfm-a-zero-shot-foundation-model-for-tabular-data/
21•brandonb•1h ago•4 comments

I built a mmWave material classification radar (2025)

https://gauthier-lechevalier.com/radar
128•GL26•6h ago•35 comments

Ante: A new way to blend borrow checking and reference counting

https://verdagon.dev/blog/ante-blending-borrowing-rc
28•g0xA52A2A•2d ago•4 comments

Stroustrup's Rule (2024)

https://buttondown.com/hillelwayne/archive/stroustrups-rule/
42•bmacho•3d ago•6 comments

CERN bids farewell to the LHC and enters Long Shutdown 3

https://home.cern/cern-bids-farewell-to-the-lhc-and-enters-long-shutdown-3/
97•HelloUsername•1d ago•25 comments

Long Island's decommissioned nuclear power plant

https://nickcarr.com/scouting-a-decommissioned-nuclear-power-plant/
55•mkmk•6d ago•7 comments

Tokyo has only two barley tea makers, we visited one to see how mugicha is made

https://soranews24.com/2026/06/30/tokyo-has-only-two-barley-tea-makers-and-we-visited-one-to-see-...
47•zdw•4h ago•10 comments

Building a custom octocopter from scratch with no prior hardware experience

https://karolina.mgdubiel.com/drone/
319•noleary•2d ago•69 comments

Show HN: My 13-year-old built an ant colony tracker

https://formicarium.es
32•abelgvidal•7h ago•23 comments

Reading the internals of Postgres: Database cluster, databases, and tables

https://www.buraksen.dev/articles/internals-of-postgresql-db-cluster-and-tables
45•buraksen•1d ago•0 comments

Waveloop: What Fable left me

https://neynt.ca/writing/waveloop/
85•personjerry•4d ago•29 comments

Knoppix

https://www.knopper.net/knoppix/index-en.html
238•hoangvmpc•11h ago•98 comments

Have you restarted your computer this week?

https://taonaw.com/2026/06/27/have-you-restarted-your-computer.html
93•surprisetalk•9h ago•202 comments

Memoirs of Extraordinary Popular Delusions and the Madness of Crowds (1852)

https://www.gutenberg.org/ebooks/24518
162•lstodd•11h ago•53 comments

I built a 10 inch mini rack from aluminium extrusions

https://louwrentius.com/i-build-a-10-inch-mini-rack-from-aluminium-extrusions.html
57•louwrentius•3d ago•26 comments

Understanding lattice risks: Many differences between marketing and reality

https://blog.cr.yp.to/20260630-risk.html
11•ledoge•2h ago•2 comments

RF hacking my cloud-controlled ceiling fan

https://samwilkinson.io/posts/2026-06-24-rf-hacking-dreo
36•sammycdubs•6d ago•13 comments

Matrix URIs, a URL syntax from Tim Berners-Lee that never shipped (1996)

https://www.w3.org/DesignIssues/MatrixURIs.html
47•napolux•4d ago•27 comments

Set up your own DoH (DNS over HTTPS) service

https://nochan.net/b/Internet-Crap/20260602-Set-Up-Your-Own-DoH-Service/
57•Bender•3d ago•22 comments

Amazon seller reveals glimpse of shadow bribery market

https://www.latimes.com/business/story/2026-06-30/shadow-bribery-market-inside-amazon-preys-on-de...
104•petethomas•5h ago•61 comments