4nonverbal-alit

Or be proud once the history has been rewritten

For me the blocker was having to switch to bash/powershell when moving to a different machine (ie: servers, work machine, etc..). I would end up needing to redo same things to be compatible with the existing tools; eventually I just gave up and got used to readily available shells instead.

Any plans for adding algebraic data types (aka rust enums)?

In the article it's mentioned. They have built robotic stuff to clear rubble for example.

I think as long as we don't integrate formal verification into the programs themselves, it's not going to become mainstream. Especially now you got two different pieces you need to maintain and keep in sync (whether using LLMs or not).

Strong type systems are providing partial validation which is helping quite a lot IMO. The better we can model the state - the more constraints we can define in the model, the closer we'd be getting to writing "self-proven" code. I would assume formal proofs do way more than just ensuring validity of the model, but the similar approaches can be integrated to mainstream programs as well I believe.

Usually that's because of third party cookies the government websites love to use for authentication. FF and Safari by default blocks them but both can be disabled temporarily to use those websites. Chrome is more lax on them since ad networks love cross origin cookies as well.

I hate php because: even if I used it for ~3 years I had to google how to send GET/POST/PUT ... request. There are lots of ways to do that but each method has its own issues. I'm now using dotnet core and happy with it's orm/speed/infrastructure l/productivity/...

Why people are complaining about that? If you don't want it just change your search engine to whatever you want. That just take a minute.

PS: Just for experimenting I switched to Edge (new) & Bing to see what's different. And I really liked Edge, it's faster than chrome and has some privacy controls like cross domain cookie handling. Tried firefox before edge. But did not liked it, because It's ui is crap also some functionalities may not work because devs are optimizing the websites mostly for chrome.

But Bing as a search engine is not powerful like google because of lack of data.

I remember 5-6 yrs ago I tried to create an app using Pascal to remove cache/temporary files, fix registry errors and a few optimizations like popular "optimization/speedup" apps. I wanted to show the progress on progress bar but see what: the process just took 0.3-0.5 seconds and the progress bar is not required anymore. But I wanted to show it anyway and put random amount of wait time (sleep) between steeps. I didn't realize why the popular apps needs 3-5 minutes for the task that my simple app just needs 0.5-1 second.

Are