List.fold_left
https://x.com/lambda0xE/status/2058376094391132609?s=20
This media is not supported in your browser
VIEW IN TELEGRAM
context retention and continued generation are also available
❤7🔥7 1
btw, octra is officially entering the ML-circle jerking ring, hold on, bitches
❤11🥰4 3🤡1
several updates are happening right now at the rpc level (it will be intermittent for up to 20 minutes)
❤8
network will support formal verification for all types of programs and circles in the next update
❤6👍2 2👏1
List.fold_left
https://x.com/lambda0xe/status/2060689739288572120?s=46
there are currently several significant updates on both devnet and main net, but they no longer affect the rpc experience, new features are being added
❤7
List.fold_left
there are currently several significant updates on both devnet and main net, but they no longer affect the rpc experience, new features are being added
X (formerly Twitter)
λ (@lambda0xE) on X
mini update (pre-night devbuild): the devnet and main net RPCs, as well as both scanners, have just been updated, adding support for a very important element - formal verification, as we said earlier, .aml supports native formal verification backed by Coq…
❤8 2