oersted

32 ms·

481.
by oersted 2y ago
I don’t entirely agree, you can get used to the borrow checker relatively quickly and you mostly stop thinking about it. What tends to make Rust complex is advanced use of traits, generics, iterators, closures, wrapper types, async, error t
482.
by oersted 2y ago
VR also gets a lot of hate, and they definitely dropped the ball on user-facing software, but Meta is doing very substantial, deep and valuable long-term R&D on VR hardware. They are also doing a lot on systems software, with their OS a
483.
by oersted 2y ago
The link to the paper seems to be down, here's an alternative one. https://fitelson.org/proseminar/gettier.pdf It's really worth a read, it's remarkably short and is written in very plain language. It ta
484.
by oersted 2y ago
It's likely that I'm wrong, I need to look deeper into it. But isn't the paper-mache cow case solved by simply adding that the evidence for the justification also needs to be true? The definition already requires the belief t
485.
by oersted 2y ago
I agree. I'm sure that CPS has much more robust theoretical roots and that it's more general and powerful, but in practice it doesn't often look much different from classic callback-hell. Generally, I prefer the coroutine&#x2
486.
by oersted 2y ago
My first thought is that it's rather obvious, but I'm probably wrong, can you help me understand? The analogy I have in mind is: if you throw n dice, for large n, the likelihood of one specific chosen dice being high value and the
487.
by oersted 2y ago
I don't have the details, but every single time I have heard the mention of Deutsche Bahn in the last few years it has been accompanied by comments of how broken it has become, with constant delays and cancellations, to the point where
488.
by oersted 2y ago
To be fair, I think the Internet has filled that role. It has many fundamental issues, but in many ways it has been much more effective than the pub at connecting people and offering support. It’s easy to romanticize those local communities
489.
by oersted 2y ago
I sounds terribly exclusive, > Since its founding there have been more than 10,000 members including heads of state, Supreme Court justices, governors, popes, professors, generals, and other notables. But it’s just a small old club addin
490.
by oersted 2y ago
Thank you for that context, I clearly had a somewhat outdated view, this is interesting.
491.
by oersted 2y ago
I just wanted to note how good the writing is on the first sign-up list when it was just 13 blokes in a local tavern. > The great number of horses stolen from amongst us and in our vicinity is truly alarming, and calls for the attention
492.
by oersted 2y ago
If the concern is CDPR’s character, I believe their first-party games are known to be remarkably Linux friendly. CP2077 actually run best in Stadia at launch, which I believe was Linux based. Also consider the fact that a large fraction of
493.
by oersted 2y ago
I don’t entirely disagree, but I believe that GOG has always been focused on simple file-based DRM-free distribution (just download the zip). GOG Galaxy has been experimental until recently and it is more concerned with being a unified gami
494.
by oersted 2y ago
Thanks for the context. I'm not too experienced in this area, but I am aware of the very relative nature of color in imaging, that's why I quoted "what it actually looks like". I guess what I'm asking is if it looks
495.
by oersted 2y ago
Indeed, 100r.co is probably my favourite place on the internet, but it does have the vibes of those 20th century architects with grand artistic and futuristic ideas that were not practical on so many levels. Not that that's any kind of
496.
by oersted 2y ago
Is the coloration augmented in some way here as is common in astronomy photographs? Like they do with the reds and blues of Pluto, or translating different spectra to visible colors for nebula and such. Or are those "bruises" on t
497.
by oersted 2y ago
I tried it once and it instantly showed no results, but then I tried it again and it returned results in <1s. Just try it with a bunch of queries, I think there's caching too so it's hard to gauge performance properly. The blog
498.
by oersted 2y ago
That just seems to be the market where search engines have the most obvious business case, Elasticsearch positioned themselves in the same way. But both are general-purpose full-text search engines perfectly capable of any serious search us
499.
by oersted 2y ago
It is indeed mostly designed for bulk indexing and static search. But it is not a strict limitation, frequent small inserts and updates are performant too. Deleting can be a bit awkward, you can only delete every document with a given term
500.
by oersted 2y ago
You will like this then, that was the main demo from the Quickwit team. https://common-crawl.quickwit.io/
501.
by oersted 2y ago
Check out Quickwit, it is briefly mentioned but I think mistakenly dismissed. They have been working on a similar concept for a few years and the results are excellent. It’s in no way mainly for logs as they claim, it is a general purpose c
502.
by oersted 2y ago
I don't disagree, it is certainly not unique to English, and these central institutions do largely have a descriptivist attitude (although the French are known to be rather purist ;) ). But there is a practical difference: textbooks an
503.
by oersted 2y ago
This has historically been the philosophy of English linguists, but for many languages (Spanish, French, German…) there is a central institution that does indeed decide what is officially correct. Their decisions are taken seriously and are
504.
by oersted 2y ago
Quick appreciation for the Douglas Adams reference :)
505.
by oersted 2y ago
Sure partially, that is working well too, but there are many things in arts and sciences that have long-term societal value and don't perform well in markets. That's the whole reason why subsidies are a thing, and they are extreme
506.
by oersted 2y ago
Yes indeed, I was directly answering the parent comment, but the post is about "Who pays for the arts?" so you have a good point, I've read your other comments as well. Generally subsidising art properly seems like such a fun
507.
by oersted 2y ago
That's plainly not true, at least in EU public education, which I am most familiar with. Most official rules and protocols for professionals in public universities and schools are part of the law and not arbitrary decisions from a mana
508.
by oersted 2y ago
They are good at framing advanced science as intuitive and engaging stories, context is always appreciated. Although, frankly, whenever I see the Quanta URL I tend to skip straight to the comments. It's too verbose to my taste, I just
509.
by oersted 2y ago
Honestly, to me that sounds like a red flag. There are already too many temptations to get on a purist mood and spend ages thinking about elegant code structure. I know, it's ambiguous, "more time thinking than typing" might
510.
by oersted 2y ago
If you already have substantial experience with C++, this could be a good option. But I'd say nowadays that learning to use Rust *well* is much easier than learning to use C++ *well*. And the ecosystem, even if it's a lot less mat

More ›