Possibly more than being a therapy pet.

Sure, not too worried.

It is an option. However the ability to have comments on the text is really important.

And I don’t want to have through GitHub PR process to get that comments capabilities.

For a policeman to stop me, the restaurant would actually have to call the police. Never had that happen, I guess they do know they served you bad food when they do. Actually in most cases I had people saying they were sorry and would offer me a free meal next time; not that I’m coming back anyway.

You’re free to judge.

Markdown is fine. I’ll take a look at protondocs, pricing is not really an issue - but since this is public money I very much prefer to spend it on actual experiments.

Don’t know about collabora, I had tried it a few years ago and found it very slow and finicky. Moreover maintaining the whole nextcloud setup would be something I’d gladly avoid.

I tried the hedgedoc demo.

As far as I can see it supports latex and has some change revision mechanism. Unfortunately no bib file support, but I guess that’s ok.

However, I can not find a way to add comments to the rendered text. Is that possible on the self hosted version?

That would be a deal breaker, most of what I need is actually reading documents written by other people and ask for clarifications or improvements.

I guess it could be theft. Won’t stop me from doing that whenever I have to.

The waiter is charged if a customer does not pay? That is quite absurd. That’s a business loss, the owner should lose money and and not employees.

I don’t know about America, when I did that I’ve always been quite loud and nobody ever thought about calling the police.

even if you’re mad they didn’t bring your refill quick enough.

Not sure what a refill is. I did not say that if I don’t like the waiter I won’t pay, in that case it just would be absurd for me to give them a tip. I said if I am served bad food I won’t pay, which has nothing to do with wether the waiter was nice to me.

Never seen this as theft, it may legally be. I’m sure any policeman would agree and do nothing about it anyway.

Don’t know about you, when service is not good I just don’t pay - let alone tip the waiter.

If I eat terribly in a restaurant I’ll just walk out.

How fast does it invert a 1B X 1B matrix storing it in zswap and writing results to NTFS?

NTFS? Why would someone want to use NTFS?

That’s very cool. Or do you prefer only tech giants to be able to make AI and have a monopoly over it?

Hopefully this forces tech companies to discuss with the government regarding the increase in walking space and reduction of car traffic in inhabited areas.

I am shocked such an important matter has barely been given any attention.

Every time I open the newspaper these days it’s all about Iran, Palestine, Ukraine, China and like other exotic vacation places.

Not even once they dedicated even a little article to this matter.

It is clear journalists are trying to hide such information, they are scared of the truth.

https://www.youtube.com/watch?v=qHepKd38pr0

One more step towards the discovery of what androids dream about.

Why wouldn’t the restaurant give them 40 per hour if that’s what they make extra by increasing the price?

Does this lead to the situation in which waiters in an expensive restaurant earn significantly more than ones working in cheaper ones?

Do waiters try to get jobs in more expensive places to earn more from tips?

Definitely not the same thing. I was very confused when in the US as to what I should tip. I knew tipping was expected but in several occasions I asked the waiter what an appropriate tip would be.

In most cases adding a couple dollars to the price is not enough and could be seen as an insult.

In Europe I don’t often give a 20€ tip after paying 100€ in a restaurant.

In Spain tipping is there, but it’s quite sparingly done.

I don’t know any statistics, but wouldn’t be surprised if people gave tips no more than once a month on average.

Depending on the place and service it could be rounding up the bill or adding a note for the waiter. Rarely a tip would go over 10€.

I agree, however I was not suggesting a better solution; i was asking why it is not done that way.

Do you know why and can explain or do you just enjoy derailing conversations?