AI-enabled cyber attacks are getting faster + going further. But what if AI-enabled formal methods could make high-assurance cyber defence practical at unprecedented speed + scale? We’re funding eight teams with £22m to test that idea. Meet them here: link.aria.org.uk/SAI-TA2-Creato…
So, @CompaniesHouse, your stupid ID verification service doesn't work and apparently the only way I can fix it is to pay an ACSP to do it for me.
Great business model. How do I sign up to be an ACSP?
I'm amused by Spotify ads. Every single one is an advert for Spotify ads. Any potential purchaser would be forced to conclude their effectiveness is zero. So actually, their only function is to annoy me into buying a subscription. 1/2
Vibe coding with @headinthebox using LLMs to generate circuits specified and formally verified in Agda and Lean, LLM transliterated into SystemVerilog with corresponding UVM tests and SVA formal properties for model checking, as well as LLM generated FSM Mermaid diagrams. Took
