Getting from tested to battle-tested
blog.janestreet.comยท1d
Use of Assertions
blog.regehr.orgยท14h
Troubleshooting with fault tree analysis and PIOSEE
developers.redhat.comยท22h
Experiments on Reward Hacking Monitorability in Language Models
lesswrong.comยท52m
BPF Verifier State Pruning: Timeline
pchaigno.github.ioยท1d
Loading...Loading more...