Hacker News Board Hacker News, browsed like a classic message board
Live data from Hacker News

Leanstral 1.5

docs.mistral.ai

Post reply on HN
Print view View original

91–100 of 158 posts

Re: Leanstral 1.5

#91

Post by nok22kon »

nkmnz wrote: post #87
embedding-shape wrote: post #82

Earlier quoted context omitted.

> narcissism and selfishness that is utterly indifferent to the needs of others This has to be rage bait right? What kind of hellscape do you live in where other humans taking vacation and wanting that to be respected is selfish? And how do you not realize the irony in what you're complaining about? Do you never take a vacation where you actually disconnect from your work?

I am German living in Germany and yes, I think not organizing a holiday replacement when you leave for more than a week is a sign of negligence and indifference; but unfortunately, it becomes more and more common to behave in that way. Many projects don't make any progress between mid of June and late August, depending on the number and diversity of stakeholders. I'd like to declare these ~10 weeks "individual contri…

it's because there is no incentive in general in EU to be excellent at your job. good or bad, you get the same pay, and dont get compensated for bringing extra value to the company

so naturally employees have a "fuck you" attitude

Re: Leanstral 1.5

#92

Post by nok22kon »

embedding-shape wrote: post #90
nkmnz wrote: post #87

Earlier quoted context omitted.

I am German living in Germany and yes, I think not organizing a holiday replacement when you leave for more than a week is a sign of negligence and indifference; but unfortunately, it becomes more and more common to behave in that way. Many projects don't make any progress between mid of June and late August, depending on the number and diversity of stakeholders. I'd like to declare these ~10 weeks "individual contri…

> Many projects don't make any progress between mid of June and late August, depending on the number and diversity of stakeholders That's what, less than 8 weeks, in a year of 52 weeks, where things progress slower, and this is supposedly a big issue? And even if you know and understand that these other people are humans too, just like you, this is seen as "narcissism" and "selfishness", that they take vacations in t…

you are correct

but its also the reason for the lack of EU tech capability and over-reliance on US

Re: Leanstral 1.5

#93

Post by siknad »

esafak wrote: post #37
zeckalpha wrote: post #13

Earlier quoted context omitted.

Curry-Howard correspondence.

It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?

Lean is intended by its authors to be also used as a general-purpose programming language. Lean stdlib contains an HTTP server for example.

IMO the biggest problems are the lack of documentation, instability and poor ecosystem. There are user libraries for some programming tasks (e.g. HTTP router, graphics API bindings) but they are mostly proofs of concept and not actively developed or maintained.

Re: Leanstral 1.5

#94

Post by roblabla »

nkmnz wrote: post #88
roblabla wrote: post #79

Earlier quoted context omitted.

[citation needed] here. The tech sector is still well and alive in EU, and outside adtech (which was hit hard by GDPR - that was the point) doesn't seem to have been visibly impacted.

"The tech sector is still well and alive in EU" [citation needed]

https://www.youtube.com/watch?v=u_N3-FKbi5c

https://www.cer.eu/insights/europe-has-produced-tech-champio...

https://www.investeurope.eu/news/newsroom/state-of-european-...

The tech sector represents 15% of EU's GDP. I currently work in the tech sector in europe, there's no shortage of companies hiring (both startups and enterprise), and anecdotally, from my personal network, enough startups are surviving the 5 and 10 years mark that I'm pretty confident there's enough new ideas/companies (as opposed to only having old/legacy enterprises) to ensure the good health of the sector.

Now, I will acknowledge that funding is more complicated in the EU compared to the US - but that's something that has been acknowledged by EU leadership and is being actively worked on. The Draghi report lays out a vision for how this can be achieved, with recommendation on what steps to take to achieve that vision. https://commission.europa.eu/topics/competitiveness/draghi-r...

So yeah, the tech sector is still well and alive in the EU, and there is reason to believe that it's going to get in an even better position.

Re: Leanstral 1.5

#95

Post by embedding-shape »

nok22kon wrote: post #91
nkmnz wrote: post #87

Earlier quoted context omitted.

I am German living in Germany and yes, I think not organizing a holiday replacement when you leave for more than a week is a sign of negligence and indifference; but unfortunately, it becomes more and more common to behave in that way. Many projects don't make any progress between mid of June and late August, depending on the number and diversity of stakeholders. I'd like to declare these ~10 weeks "individual contri…

it's because there is no incentive in general in EU to be excellent at your job. good or bad, you get the same pay, and dont get compensated for bringing extra value to the company so naturally employees have a "fuck you" attitude

Obviously untrue, any place on earth you get rewarded for being better at your job, either directly by being promoted or after asking/getting a higher salary, or indirectly by being able to change jobs by outright being better. This is true in most sectors, especially in software where it's really easy to switch jobs if you have the slightest amount of brain power.

Where are all these misconceptions come from? And how are they so far from reality they don't even pass the slightest of critical thinking?

Re: Leanstral 1.5

#96

Post by henryrobbins00 »

Grimblewald wrote: post #33

Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…

[flagged]

Re: Leanstral 1.5

#97

Post by nok22kon »

embedding-shape wrote: post #95
nok22kon wrote: post #91

Earlier quoted context omitted.

it's because there is no incentive in general in EU to be excellent at your job. good or bad, you get the same pay, and dont get compensated for bringing extra value to the company so naturally employees have a "fuck you" attitude

Obviously untrue, any place on earth you get rewarded for being better at your job, either directly by being promoted or after asking/getting a higher salary, or indirectly by being able to change jobs by outright being better. This is true in most sectors, especially in software where it's really easy to switch jobs if you have the slightest amount of brain power. Where are all these misconceptions come from? And ho…

so where are all the EU global software/tech companies? why is EU so reliant on US software? why do the best EU software developers move to US?

Re: Leanstral 1.5

#98

Post by roblabla »

mike_hearn wrote: post #83
roblabla wrote: post #79

Earlier quoted context omitted.

[citation needed] here. The tech sector is still well and alive in EU, and outside adtech (which was hit hard by GDPR - that was the point) doesn't seem to have been visibly impacted.

AI research was mostly funded during the 2010s by Google (funded by ads) and FAIR (Facebook AI Research, funded by ads). Killing off adtech didn't reduce the number of ads seen by people in Europe or make any observable difference to anyone's lives, but did help ensure a company capable of developing LLMs could not arise,

You say this as if ad revenue is the only possible way we could have done AI research - which is an _extremely_ weird take given the history of academia and R&D. Today adtech companies just make up the richest companies in the world, so it's not very surprising that they're the ones behind LLMs - they have more money to throw at the problem than most. I'm pretty confident that - if adtech companies didn't exist, we'd find other means of funding AI research (private investment, public funding, R&D spend from non-adtech companies, etc...).

When the internet was researched and developed, it wasn't funded by adtech, and yet it managed to develop it just fine.

---

Also, the point of GDPR wasn't to reduce the number of ads. It was to prevent massive, indiscriminate information gathering. Now, whether that was successful or not is debatable - I have my own gripes on GDPR enforcement (I really hope the banners will get nuked out of existence).

Re: Leanstral 1.5

#99

Post by henryrobbins00 »

begleri wrote: post #52
Grimblewald wrote: post #33

Got curious, sign up, add money to account, try to use. Can't, it's a labs model. Fine, let's enable labs. Can't, unspecified error. Fine, lets contact customer support as instructed, can't no customer support, just a half-assed FAQ, that seems vibe-coded and searched poorly, totally irrelevant answers coming up for all queries tried. Then it hit me: If AI makes good customer support, then why does no AI company use…

That's frustrating and odd because I can use the model for free (have never connected any form of payment)

Really? I get a 403 that I must enable Lab models on https://admin.mistral.ai/plateforme/privacy. When I try to do that, it gives "There was an error trying to update the Labs setting."

Do you have that Labs setting enabled? When I contacted support, they said "enabling Labs models isn't available for self-serve activation on standard individual accounts." Do you have a different type of account?

Re: Leanstral 1.5

#100

Post by derfurth »

helloplanets wrote: post #55

Tangential, but I'm pretty sad about EU having absolutely nothing in the actual SotA LLM market. Especially given the recent events of US completely restricting the actual SotA models. Has this been just pure lack of funding and infra?

One could make the case that being SotA in 2026 is very costly and not that important for being SotA in 2030 if much more efficient models indeed happens.
Post reply on HN