Just shared a demo of agents safely using unknown tools with verifiable computing.
The agent fetches code; compiles with @blockytees bky-c; audits; verifies execution with @blockytees bky-as; then trusts the result.
Video: https://t.co/3iLX10tge8
#AgenticAI#VerifiableCompute
Hi students in #montana (and surrounding states). Interested in #gradschool in #computerscience? We're hosting a grad visit day on 3/29 and would be happy to have you join us!
Juniors, seniors, and MS students encouraged to attend. No need to apply before coming!
@mahdi_tcs @ChaoChenSBU Yeah, the glue traps are traumatic both for the mouse and the person. We put out some bait too, and that was nibbled on. I haven’t seen any additional signs of the mouse, so hoping it was just one. Or, if not, the bait worked.
... although, I think the language is a bit cumbersome as-is. Perhaps trying not to be too mathy ...
"an even number is an integer that when divided by two results in another integer".