581 karma · joined July 26, 2008
Another take on decentralized source control with more of an emphasis on "federated" and less of one on "censorship resistant": https://tangled.org/
It doesn't solve the supplier problem, but it is a very clever way to square the "free software, but I'd like to cover my expenses" circle.
Slightly less obtusely, it usually was a procedurally generated dungeon-crawler with potions and scrolls and varied weapons to use against varied mobs. When you died, you were dead. Your character began each time with no knowledge and had to learn what a "cloudy red potion" happens to be this time around by drinking it or using an identify scroll.
If users prefer the newer, interactive approach to exploring search results, Google's long-standing business model will require a significant update.
> command mode has primacy; insert mode is a time-bounded special case
with:
> insert mode is every other mundane editor; use the Esc key to enter the matrix (i.e. command mode)
[1]: https://slate.com/technology/2021/04/american-crossword-puzz...
These days, he live streams Mathematica design reviews on YouTube and Twitch. The conversations are fairly balanced and he clearly has a decent eye for designing the best god damn computational notebook system on the planet.
Admittedly, campaigning to name what could possibly maybe someday be the next big upgrade to physics after himself ("the Wolfram Physics Project") while he's still around and it's still in development is MIGHTY BOLD. But there's some really really interesting outcomes from the work that they've done so far.
If nothing else, it's a slam dunk proof of how physicists already think of "the speed of light" as actually "the speed limit for causal interaction". You essentially get all of the implications of both special and general relativity out of modeling causal interactions without even attaching it to any sort of specific physics.
I love that he wrote this essay (typical Wolfram long form essay that takes multiple sittings for me to digest) using puzzles and games as the subject of aforementioned causal modeling. Super fun, and also insightful!
Anyone know where to find a rigorous maths treatment for it?
They can absolutely be true simultaneously. In fact, I can't name a logic system where those two statements comprise a contradiction. They are logically completely unrelated to each other.
It's gonna end up with more of an audience now, tho... :eye::mouth::eye:
I'd argue C# was there (or very very close). C# has had value types (and fine-grained memory layout) since the beginning, reified generics since .NET 2.0, and also (lesser-known fact) raw pointer support (inside `unsafe {}` blocks much like Rust's approach). This was all motivated by interoperability with native code (mostly Win32 or other C-like ABIs & COM).
In 2009, the concurrency paradigm in .NET was more like promises and not quite as slick as goroutines. async/await wasn't born until 2012.
It wasn't on your list, but I'll toss in another point that works in favor of your original claim. ;) The main C# project also wasn't TRULY multi-platform until 2014.
Go and Java make different tradeoffs. If you're unreasonably effective in Java and its tradeoffs work for you, that's completely fine. If you have good tools that make Java more like Go when you need Go-like characteristics, that's cool too.
Once I realized that its sweet spot is large-ish services that you want closer to the metal than Java but for which would be silly to go as low level as C++, Go fans started making a whole lot more sense to me.
I'm still not a Go fan personally—my taste in programming languages slants toward the more expressive end of the scale (C#, Rust, Scala). But at least I'm no longer confused by trying to make Go make sense where it doesn't.
It's a very good tool for its kinds of jobs. Other languages also have their points of unreasonable effectiveness, too.
What would have been ".NET Core 5" is just ".NET 5", and that's when the bulk of the desktop framework compat came online.