Re:Some notes on Rust, mutable aliasing and formal verification
by MaxBarraclough on Thursday May 16, 2024 @09:24AM
(#40378140)
Yes, sure, I could have phrased that better. There are no doubt many possible applications of the idea. The recent headline-grabbing applications of machine learning tend not to be like this.
[ Parent
| on HN ]
Re:Some notes on Rust, mutable aliasing and formal verification
by eru on Friday May 17, 2024 @04:05AM
(#40387560)
Yes, agreed.
Though even amongst the recent-headline-grabbing stuff there are some areas that you can improve at by the equivalent of AlphaGo's self-play. Basically, when you have a slow and expensive option to use a weaker version of your system to produce better decisions / smarter data, and then use those to train the system.