> TLA+ is a formal specification language developed by Leslie Lamport. It is used for designing, modelling, documentation, and verification of programs, especially concurrent systems and distributed systems. TLA+ is considered to be exhaustively-testable pseudocode, and its use likened to drawing blueprints for software systems;
In theory (according to Wikipedia at least) the acronym stands for "Temporal Logic for Actions" ... but the pun in the standard meaning of the acronym TLA (i.e. "Three Letter Acronym") is far too enticing for me to believe the choice was fully accidental. :D
Does it really matter if in real-world-use 99% of the users never hit any limit? And I cannot blame anyone to use "unlimited" instead of "fair use, with reasonably large limits so that you will (probably) never see any restrictions in your use of the product"
People see 'unlimited' and will do everything in their power to 'fact-check' it, forcing the producer to place a 'hard cap' and making everyone's life worse.
Can confirm. Worked at a startup with some very generous (though not “unlimited”) limits designed to allow for bursts and spikes of usage.
Some people took it upon themselves to try to abuse and saturate the limits to “prove” that we couldn’t handle it.
We could actually handle it, but it wasn’t worth offering it to this small number of users who were trying to prove a point by abusing it to the max without an actual use case. They just wanted to show off on Reddit that the were making our servers suffer.
Travel to high trust societies if you don't get what I mean.
Things would be so much easier if we could expect human decency and ethics, even if there is no law against it, because it goes against our values as humans.
If there is a limit then it isn't unlimited. That's what the word unlimited means.
Either it is unlimited or it is not. If you call something unlimited then there should not be a limit. You cant abuse it, it's unlimited. There is no limit, so you can never go beyond the limit which means you can never abuse it.
That's what unlimited means. If you mean something else then use a different word.
It absolutely is a lie, but you might live in a society where constant lying has been normalized. Personally, I believe that society would be better off if companies were held to the letter of their words.
Because that’s not a lie; under special circumstances, it can be true.
For example, consider a restaurant that offers free rice refills because Asian people love eating rice to fill up. An employee working overtime who really needs it can get as many refills as they want.
Of course, this system falls apart if everyone starts doing it, as the restaurant would need to bake that cost into the price to sustain the business.
But my point is: you can have nice things in society, or you can have a dystopia where people take advantage of each other at every single opportunity.
A dystopia is where people lie about free rice bowls to get people in the door but can't deliver. That's not nice things its taking advantage of a lie and blaming people who take up the offer.
Yes because you build it with trust, I trust you to not ruin this things so everyone can enjoy it
I can understand where you coming from because when I watch YT videos about people that exploit the loophole or game the system, people literally praise them for "beating the game" and this is happen mostly with US where everyone is materialistic
but my counter argument is game theory, where everyone can cooperate for betterment of your environment
In my experience the SaaS unlimited abusers often aren’t even trying to do capitalism things. They’re just abusing the systems for the thrill of it.
They go on Reddit and brag and compete about doing useless things to store files on these services, like a competition. They’re bragging on HN about GitHub tools that force files into a non-file service and have rate limiters tuned to upload right at the server’s rate limit.
It’s not capitalism, it’s people thinking they’re winning points against capitalism by abusing a corporation. Even if that corporation is a small startup trying to offer a product on a small budget.
It might have become socially acceptable to lie when everyone else is, but it is still a lie. Back in my days, you at least had to put an asterisk behind such outrageous claims.
Are you sure? The article (from 2017) you've linked only mentions "U.S. government and military web sites", and their wayback machine FAQ still mentions that robots.txt "might" prevent crawling:
This is so cool! High five to you Armaan :) I will show the game and the backis stories to my 7 year old tomorrow. There is a decent chance you'll become his new hero. Hope you continue to put out more cool stuff into this world. It definitively needs it! Greetings from Germany
> The math behind it is real, and it uses the same calculations that real grid operators use to keep the lights on. However, the amount of power that each power plant actually produces depends on the price they offer. This price varies wildly from hour to hour, and neither the price nor the power amount is publicly available.
> Instead, pypsa-eur makes assumptions on prices for solar, wind, coal, nuclear, etc. based on historical averages, and then runs an optimisation algorithm to cover all consumption for the least cost of production.
We've been using their products in Germany for a while now and they do their job just fine. I've been on the lookput for a similarly priced hoster in the US a while back and couldn't find one. Today netcup announced they are opening a data center in Virgina, so thought it might be worth sharing. I've no affiliation with netcup in any way (other than being a customer for years now).
Yes, ack on both. We already do point-in-time-restore your database with 1-minute granularity. And the docs are thin currently; we will add more to them.
We're using the same core control plane approach that still powers multiple PostgreSQL services like Heroku Postgres, Citus/Azure Cosmos DB for PostgreSQL and Crunchy Bridge. Ubicloud is being built by core members of the same teams that built those products, improved with learnings. We are yet in preview and not as feature complete, but we will continue adding more features, building them in the open.
We also have a talk that one of our core team members gave earlier today at PGConf.EU that goes through some of the inner workings of our managed service. Its video is not posted yet given it's been just several hours, but should be available here once ready:
https://en.wikipedia.org/wiki/TLA+