TGViewer
Linkstream Linkstream @linkstream · 169 subscribers
Post #520 161
One undeniably good thing that came with cryptocurrencies is that the value of formal verification is much better recognized and easier to explain now :)
> Then some formal methods folk got the first two challenges finished and started working on the third. Then Vitalik Buterin retweeted me, a whole host of naysayers jumped on board, and Twitter locked my account. Twice.
https://www.hillelwayne.com/post/theorem-prover-showdown/
Hillel Wayne The Great Theorem Prover Showdown Functional programming and immutability are hot right now. On one hand, this is pretty great as there’s lots of nice things about functional programming. On the other hand, people get a little overzealous and start claiming that imperative code is unnatural…
Open in Telegram All posts from @linkstream
More from @linkstream
  1. Oct 6, 2026https://fixupx.com/capacitanas/status/2107153559427145785?s=46
  2. Sep 30, 2026i started doing exactly this (models editing its own context) as a natural extension of sa…
  3. Sep 28, 2026cursed font factory https://bastardica.mitpit.com/
  4. Sep 25, 2026um, ahem, AlphaZero for text. Training language models without language. Loosely, natural…
  5. Sep 23, 2026umm ahem if you don't try to rein in new opus(5.5) you get one more qualitative step in ca…
  6. Sep 23, 2026nice https://fixupx.com/eyalsela/status/2102373749110587443?s=46
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 →