> 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;
Readit News> unlimited storage
Surely it's not actually unlimited. I wish such claims wouldn't be as common in the industry.
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"
> How will Internet Archive operate?
Presumably increasingly less and less effectively, at least if they continue honoring robots.txt and don't implement scraping protection bypass mechanisms.
https://www.theverge.com/news/757538/reddit-internet-archive...
IA has not honored robots.txt for the better part of a decade now.
https://blog.archive.org/2017/04/17/robots-txt-meant-for-sea...
Show HN thread: https://news.ycombinator.com/item?id=43859464
I'm not affiliated but have waited for this day for the past 2 months :) Best of luck!
walski commented on City Roads: A tool to draw all roads in a city at once anvaka.github.io/city-roa... · Posted by u/gaws
I get a 403 for some cities. E.g. Wyk (auf Föhr) returns 403 on this .pbf resource: https://city-roads.s3-us-west-2.amazonaws.com/nov-02-2020/36...
Oh damn, I thought this is a Show HN :D
walski commented on City Roads: A tool to draw all roads in a city at once anvaka.github.io/city-roa... · Posted by u/gaws
I get a 403 for some cities. E.g. Wyk (auf Föhr) returns 403 on this .pbf resource: https://city-roads.s3-us-west-2.amazonaws.com/nov-02-2020/36...
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
walski commented on A pretty visualisation of the European power grid (2022) 121gigawatts.org/copper-s... · Posted by u/9dev
It's a nice UI, and there is interesting data in there, but I think it is just an static estimate of averages, rather than something linked to actual live data like http://gridwatch.co.uk/ or https://gridwatch.templar.co.uk/france/
It's not super clear. It says it's using 2 hour slots, but there's no clock saying when it was last updated or anything.
Form their website:
> 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.
> Tauri is a framework for building tiny, fast binaries for all major desktop and mobile platforms. Developers can integrate any frontend framework that compiles to HTML, JavaScript, and CSS for building their user experience while leveraging languages such as Rust, Swift, and Kotlin for backend logic when needed.
https://v2.tauri.app/start/