bfLives·7 か月前·議論I got this sense as well, particularly from the section about assertions. Most of the use cases they describe (e.g checking function arguments and return values) are much better handled by an expressive type system than ad-hoc checks.
bfLives·8 か月前·議論Does it matter? I’d rather use a 90% accurate tool than an 80% accurate one that I can subject to retribution.
bfLives·9 か月前·議論On the other hand, I’ve found the integration in Confluence quite helpful, particularly for making sense of acronyms.
bfLives·9 か月前·議論> TiVo has stopped selling Edge DVR hardware products,” the company said in an AI-based message.What does this actually mean? An AI-authored press release? A customer support bot message?
bfLives·9 か月前·議論It’s even in the standard library now: https://doc.rust-lang.org/std/cell/struct.OnceCell.html