bfLives·7 bulan yang lalu·discussI 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 bulan yang lalu·discussDoes it matter? I’d rather use a 90% accurate tool than an 80% accurate one that I can subject to retribution.
bfLives·9 bulan yang lalu·discussOn the other hand, I’ve found the integration in Confluence quite helpful, particularly for making sense of acronyms.
bfLives·9 bulan yang lalu·discuss> 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 bulan yang lalu·discussIt’s even in the standard library now: https://doc.rust-lang.org/std/cell/struct.OnceCell.html