What we have learned at OpenShell applying formal methods to control AI agentsnvidia.github.io·40 pts·alexwatson405·11
Nvidia open sources the synthetic data framework used to build Nemotron datasets8 pts·alexwatson405·1
Simulate activity for Google+Apple's Bluetooth contact tracing frameworkmedium.com·3 pts·alexwatson405·0