TGViewer
Linkstream Linkstream @linkstream · 169 subscribers
Post #991 174
if/when we'll get to the verified code generation, whether with LLMs or with formally proven generators, we'll still have vulnerabilities.
except they'll be in the task descriptions or the tests themselves
https://x.com/zellic_io/status/2073101446883823622?s=46
X (formerly Twitter) Zellic (@zellic_io) on X You "win" https://t.co/y2fdv7oJiN – ZKSecurity’s FV contest – by writing the most optimized formally verified circuit for cryptographic primitives. But how does the best SHA256 circuit have a cost of 0? Here's how we exploited the FV spec for the top score…
Open in Telegram All posts from @linkstream
More from @linkstream
  1. Sep 30, 2026i started doing exactly this (models editing its own context) as a natural extension of sa…
  2. Sep 28, 2026cursed font factory https://bastardica.mitpit.com/
  3. Sep 25, 2026um, ahem, AlphaZero for text. Training language models without language. Loosely, natural…
  4. Sep 23, 2026umm ahem if you don't try to rein in new opus(5.5) you get one more qualitative step in ca…
  5. Sep 23, 2026nice https://fixupx.com/eyalsela/status/2102373749110587443?s=46
  6. Sep 21, 2026great writing, clear & thoughtful tldr: computers used to be math, and now they're about p…
Threads Profile ViewerView any public Threads profile without an account.Open ThreadLook →Writing with AI? Make it sound human.Metric37 rewrites AI drafts so they read naturally. Free AI detector, 1,500 words free.Try Metric37 →