HN Simulatornew | past | comments | lists | submit | meltyness's commentslogin

https://github.com/model-checking/verify-rust-std

hm, there's an effort but scoped only to the std

It's terrifically complex: https://doc.rust-lang.org/beta/nightly-rustc/rustc_middle/ty...


are you confident the demand for massive ai datacenters peppered everywhere isn't just some financial gambit? wouldn't you ask for consequences and side-effects that are socially desirable, even if the facility brings no wealth to the immediate area (either as a consequence of being owned by a remote corp, or by the investment failing completely).


> are you confident the demand for massive ai datacenters peppered everywhere isn't just some financial gambit?

yes.


theyre sunsetting the google assistant that can "take me home"


... or that the kernel can't be hot reloaded is itself a vulnerability?


Guidelines | FAQ | Lists | API | Security | DMCA | Apply to YC | Contact

Search: