5,985 karma · joined July 22, 2009
https://www.chemeo.com https://www.ceondo.com
We have the same in France. The first big "big surface" stores were named supermarché, then we got hypermarché and the funniest is that now we have superette, a small surface store, branded like the super/hyper but within the city center.
The "ette" French suffix is to reduce the main word.
They are using the current SOTA tools and models to build new models for cheaper.
Here in Germany, naming of places, roads, whatever is a constant debate. This is a very political subject, this is part of the public life of countries/communities.
At least in Germany, this has changed quite a lot. The publishers are naming the offers "Pur Abo" or similar.
This is not perfect as one analysis[0] is showing, but for me, on the good way.
[0]: https://netzpolitik.org/2020/nicht-ganz-ohne/ (in German)
Edit: Added German analysis of these offers.
> Perhaps the best way of looking at Zen 4's loop buffer is that it signals the company has engineering bandwidth to go try things. Maybe it didn't go anywhere this time. But letting engineers experiment with a low risk, low impact feature is a great way to build confidence. I look forward to seeing more of that confidence in the future.
Take a look at the MW and age of the dams they removed. They were relatively small (big like 4 wind turbine for one) and at the end of life. The owners clearly stated that it was not economically feasible to keep upgrade them to meet the current regulations.
Yes they can provide base load, but I would be more nuanced than "not serious about climate change".
No, Google was better, then they used Chrome as an extremely powerful moat to protect their situation. Google at first was like magic compared to the Altavista of the time.
It is easy to set the right storage behind /data/.
Just a convention, nothing more, smoothly working for the past "many" years.
We had this discussion a couple of days ago: "Why do Random Forests Work? Understanding Tree Ensembles as Self-Regularizing Adaptive Smoothers".
https://arxiv.org/abs/2402.01502
[0]: https://www.destatis.de/DE/Themen/Branchen-Unternehmen/Energ...
Edit: Ok, they generate proofs with the LLM, then they validate them with the Lean 4 environment. I am not sure if this is better than generating cooking recipes with a LLM and asking a cook if they make sense or not.
I must admit that the license was cheap, it worked, so I didn't took the time to explore alternatives. But for what I understood, my use case doesn't exist anymore. You cannot buy a single pro license anymore. So, the day I upgrade my system, I may be forced to switch to another solution.
But, maybe I am just an old guy and this is just because I learnt this way.
Maybe the new generation is learning directly "digital" with other knowledge access mechanisms. For example, I intuitively store a "position" in the book, maybe they intuitively remember a "keyword" to search for in the book.
I would even consider it as the largest part. It brings ideas, funding, spreading of your ideas, access to institutional research grants/projects, industry contacts, and more.
It is worth reading the full article, it covers the environmental aspects and tradeoffs very well.