18
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
this post was submitted on 24 May 2026
18 points (95.0% liked)
TechTakes
2586 readers
46 users here now
Big brain tech dude got yet another clueless take over at HackerNews etc? Here's the place to vent. Orange site, VC foolishness, all welcome.
This is not debate club. Unless it’s amusing debate.
For actually-good tech, you want our NotAwfulTech community
founded 2 years ago
MODERATORS
I strongly suspect there are an uncomfortably large number of Rust enthusiasts who tacitly assume that all the type-checking/borrow-checking/object lifetime tracking are primarily enabling features for AI coding.
i have already seen ai enthusiasts make quite clear that they imagine the purpose of formal theorem verification is to act as a bolt on for llms