And like everything else in Rust, it will forever live in the "unstable" pile of features that are required to use the language without standing on your head (looking at you, pattern matching through boxes).
I did my dissertation work on software contracts. They are generally useless: programmers won't write them, or will write them incorrectly. Moreover, the runtime enforcement dominates all but the most-expensive functions, and contracts become an antipattern for helper functions due to their enforcement cost.
Without intense compiler support and contract erasure such as David Van Horne's work, this is a dead idea that needs to stay that way.
For what it's worth, the remake is faithful and careful. The menu even allows you to restore the original music (though I think the updates are awesome).
Many people are saying they did very well, but if I were trying to sell a service I'd tell people that same thing. "Sure, you did a lot of these perfectly, want to do more games that will feel satisfying" seems like a great onboarding strategy.
The writing between the lines is that McDonald's is preparing to do away with human order-takers altogether, replacing that role with a food runner that can occasionally take an order but mostly just takes food to people's seats. The ordering will move to digital kiosks and online.
And when you do all of that, having the fountain machine on the customer side makes almost no sense.
PL Theory makes you start looking at everything like a PL problem. APIs become little languages, and rich APIs become larger ones. Parsing becomes trivial, lexing even moreso, and everything sort of devolves into thinking about interpreter state. Then it gets frustrating because you can't just pick up the API interactions and rewrite them more-efficiently, and you end up chasing your own tail wishing you could.
I think it's made me a better programmer, but it must be tempered by understanding the limitations of how and when languages are worth building.
It seems even worse than that: the fevered dream of of a single person, leaving behind incomprehensible 5mil+ program shaped around custom coding practices that others wouldn't understand and would struggle to modernize. (For reference, the linux kernel is ~8mil.) Even open sourced, it's likely it would be hard to maintain or extend without that intimate knowledge.
The focus on superoptimization is laughable, and puts me off on even considering the other opinions presented here. Superoptimization is such a joke in so many cases that it's basically undeployable: if it takes a days of a srever's compute to save a microsecond, you better be planning to run that program 8.64e+10 times...
When an incurrence of debt occurs, we say that someone incurs it. Similarly, English demands that for a recurrence relation (the source of recursion schemes and basis of the term "recursion"), we recur. "Recurse" is a backronym adopted by people who were ignorant about english, math, or possibly both. And now it's become a part of literal coder camp names.
This is brilliant, except that one recurs -- just as one incurs debt. Recursing is a thing one does to a throne in Nethack, not something done with code.
Do people still regularly follow blogs? I haven't had a good app for this in nearly a decade, and it seems like anything that may be of interest will invariably show up on an aggregated news feed elsewhere.
The only way profile building will survive is personalized recommendations from friends. Suggestions from people I know and trust would recover a lot of the current trust erosion: "your friends X and Y both have eaten here a few times" is a much stronger recommendation than "we think you'll like this based on trust us."
Most things most people search on the internet go through Google, who gets to show them ads. They do the same on YouTube. You're joking if you think Google is in any trouble.
The problem is nobody wants to use a device whose main login is a real-name social media account to view porn. Meta needs to completely split its Facebook /Insta logins from Meta accounts, moving them to something more akin to Apple logins.
Full disclosure, I say this having spent days playing my Steam Deck now.
It's a hardware channel to deliver you an ad platform selling you video games. Steam has better vertical integration (they are selling the games they are advertising), but it's the same idea. I haven't seen Steam OS telemetry reports, but I would expect they're basically the same as every other tech player. The platform _is_ open and hackable, but the OS is immutable and it's still an ad device.