formal verification of artefacts: famously very approachable, pretty reasonable to set verifying something like a C compiler for a graduate class.
Oh, wait. it't not that easy. oh. oh well I'm sure the LLMs will be fine and won't cheat the test
Coral (bleached era)
@coral@empty.cafe
Ex-physicist, ex chemist in a comparch group; doing quantum again. anarchist, UK. Paid by Nu Quantum so don’t trust me with your photons or opinions about photons Ht shitty kickflips for the displayname
empty.cafe
Coral (bleached era)
@coral@empty.cafe
Ex-physicist, ex chemist in a comparch group; doing quantum again. anarchist, UK. Paid by Nu Quantum so don’t trust me with your photons or opinions about photons Ht shitty kickflips for the displayname
empty.cafe
@coral@empty.cafe
·
Feb 25, 2026
1
0
0
Loading comments...