mejutoco

A car purpose is to take you from a to b, so lets put the gasoline in the cup holders.

There is a difference between something being usually a way in your experience and something always being X categorically. You are mixing most and all in an argument.

This is one of the most interesting projects I have seen on hn lately. Congratulations

Sure. And we know that about Socrates because Plato wrote it down.

When twitter appeared it was 140 chars because it had an sms interface. The point was from a conference or announcement made in a room once could post via sms and the news would break that way. That was before apps with data available generally. I think the called live-something like live-services or so. That was a new take at the time.

> Models only have information up to the date when they were generated. APIs get updated and expanded, new frameworks and libraries get introduced, bugs get fixed. How long is an existing model going to still be useful? A year or two at most?

RAG or other tool calling, like you suggest, the points in OP are addressed.

I reject the post-truth naming. A world were lies are prevalent does not make truth not existent, only more important.

Money in absolute terms is not zero-sum. Central banks can print money without reducing money anywhere else.

Is it a scar from the future?

> Who said you were annoyed?

You did. Quote "It may annoy you,". But nevermind.

> You're entitled to believe that some grammatical forms are "wrong" and I'm entitled to have no respect for that opinion.

I think you also believe this, we only disagree in which grammatical forms. Or are you arguing that "Why waste time say lot word when few word do trick?" is grammatically correct?

If you are, then it is consistent with your popular-makes-correct approach as long as people say it. Whatever mistake stops being a mistake if repeated by enough people; if not, then we agree and only disagree on where the line is.

No bad feelings anyway. Nice chat.

I am not annoyed, I choose one side over the other in this debate https://en.wikipedia.org/wiki/Fewer_versus_less

You always have authorities like dictionaries and English usage references. There are some supporting each side of this debate in the link above.

> if a substantial body of people use English in a way that you dislike then it's just tough shit I'm afraid

There is no need for that language. hn is supposed to be a place of civil (and playful) discussion. I also already anticipated that take in my post.

> If instead we prefer to attribute it to class and say using the correct or wrong way is a class signifier and that both are correct, and that language depends on usage and there are no grammar rules really but only consensus, we can also do that

> You don't speak Elizabethan English, or Regency English, or late Saxon, or Old English, but you presumably don't think those are "wrong"

Because nobody actually talks like that, that's why. Joking. You introduced the time dimension, which complicates the comparison. If somebody claimed those are all correct ways of speaking in modern English, and only class signifiers, in that context, I would say they are wrong.

In general I dislike this nihilist "truth does not exist" nobody-is-wrong take. That is why I prefer the simple rule with countable and uncountable without the class excuse. Ultimately both takes are valid, but I find the second one too nihilist for my taste.

If people one day start saying "me thinks this good" you might find yourself changing sides arguing that truth does, in fact, exist.

> There is a very good reason why, in coding, we give descriptive variable names such as "accountBalance" rather than "b".

In languages with an expressive typesystem you see a lot more single letter variables.

> We're not doing equations here, we're doing engineering

This sentence is nonsense.

> Conciseness is not a virtue in programming. Clarity is

I see what you are saying, but conciseness is also related to clarity, as I showed with the theorem.

> is in practice often used by native English speakers for both count and non-count nouns

Alternative explanation: native speakers are wrong sometimes.

It really boils down to:

- Less + uncountable noun (money, energy, code, sand)

- fewer + countable noun (trees, cars, grains, volts, coins)

If instead we prefer to attribute it to class and say using the correct or wrong way is a class signifier and that both are correct, and that language depends on usage and there are no grammar rules really but only consensus, we can also do that. But then "Why waste time say lot word when few word do trick?".

I prefer the first explanation.

P.S. Same with "if I were" turning into "if I was". I guess usage turned that one, and that is fine too. I make that mistake often.

In Spanish these guys (https://www.rae.es/duda-linguistica/el-nombre-de-la-y-es-i-g...) also officially changed the name of "y" (i griega) to "ye". The argument: it is easier for new speakers. I will say "i griega" forever I am afraid.

> having a mathlib dependency just to build a programming language is a big ask for people.

This is an implementation choice you did when implementing your programming language, if I understand correctly.

I thought of it because writing some lean lang I also had the option of adding Mathlib or keep it "bare".

If you want text _in addition to_ regex you can use comments in regex, like in https://softwareengineering.stackexchange.com/questions/1783...

> Should equations in math also use full words and comments?

My "also" referred not to have multiple representations but to also in math have prose instead of equations. I could have expressed it better. I did not think of that interpretation.

As for math, I really do not think that is true. Look at how this beautiful proof is so long in prose.

https://mathcs.clarku.edu/~djoyce/java/elements/bookI/propI4...

Is that better than a^2+b^2 = c^2 ?

https://en.wikipedia.org/wiki/Pythagorean_theorem

Notation helps to be concise. Imagine more complicated things without notation in maths. Of course if you look at Principia Matematica we see the limits of notation as well.

Regex in xml? Now you have 2 problems. And the comments are not xml comments even.

Ultimately it is a dsl. Should equations in math also use full words and comments?

No, they should not. Maybe a nice syntax for grammars like raku is a better approach.

I dont think mathlib is mandatory to use lean.

> We consume more food than ever, but the % of people who work to produce food is far smaller than it was 150 years ago.

You need to normalize that with world population, or a bigger population and a smaller percentage could be the same number of people.

Of course it is still a bit simple, because the distribution will not be uniform per country.

Then we need to know why 150 and see how other numbers look like, ideally per region. My guess is industrial revolution but it is mixed with different timings and political events in different places.

Regarding

> What relationship skills are you building while talking to your chatbot all day?

Obviously talking to the client, or does your llm power itself on and starts working without any input from you?

Vim has plugins/extensions for all of those. Vim is a setting now. Even Obsidian I use with vim mode (obsidian plugin).

> Someone asking wants to understand how and why you make decisions. What motives you

This is too simplistic. Someone might ask that for a million reasons. Also, you will be judged not only by your answer. Being so direct might show you are not on autopilot in the conversation, your humour or that you only care about money, depending on a lot of other factors. It might make one more memorable as well. I personally would read it as light humour, unless it is accompanied by a dead eyes stare.

Legitimacy?

That is true. OTOH, if you want a robot to do your laundry and pick up socks from the floor it will have to fit through your bedroom door and reach your washing machine. These environments are not factories. And if homes need to change they won't instantly.

IMO the solution to too many tests is to encode more things in the type system. If you can encode constraints like the length of an array in the type system you know it is correct if it compiles, and that is one less run-time test to run.

or git bisect until you get the exact commit that introduced it

Look the post is interesting but one point out of 49 (elided) in a wall of text is only loosely related to the topic, not to my comment or the parent.

> the text I quoted says Ukraine mirrored some of its critical data abroad, something russia decided against

My only point was op was confusing Ukraine hosting abroad with hosting in the USA, and wrongly concluding this affects EU hosting in the USA from this. To this you contribute that Ukraine decided to host abroad and Russia did not.

So what? That is not bringing any new facts or argument to the conversation. But the bluesky account is interesting nonetheless.

The original topic was

> this makes the question of whether Europe should move content off of US infrastructure a lot more complicated.

Which was equating outside of Ukraine with USA, which is a logical error. Moving the goalposts does not invalidate the point. I have zero interest in discussing those probabilities (0 vs 0). The argument stands. This is hn

My post was answering to this

> Given the geopolitical concerns from both the east and the west, this makes the question of whether Europe should move content off of US infrastructure a lot more complicated.

The argument is Europe can decide to move servers out of USA and Ukraine is fine because Ukraine does not need servers in USA. They need servers in other countries. That was the logic issue with OP.

Your post is completely unrelated to mine or the above. Maybe wrong thread

Ukraine can have servers outside of Ukraine. No meed to have servers in the USA. I dont think these issues are so connected. As long as the servers are somewhere Russia does not dare to bomb.

> guess Twix is easier to market than Raider but both names are strange to begin with.

From your wikipedia link

> The name is a portmanteau of "twin sticks