sigmoid.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A social space for people researching, working with, or just interested in AI!

Server stats:

579
active users

#proof

1 post1 participant0 posts today

Top #House #Oversight Cmte #Democrat Demands #Hearings for #Epstein #Victims Amid #Trump #CoverUp. #MAGA #Republicans are blocking victims, protecting#GhislaineMaxwell, and keeping Trump’s name out of the files. Rep. Robert Garcia joined me to discuss it all. Release the #EpsteinFiles #tapes #videos #documents #proof #criminal #crime #corruption #sextrafficking #law #Courts #JimAcosta #ToddBlance #DOJ #facts not #lies #girls #rape #abuse #gaslighting #JamesComer #blackmail #scotus #supremecourt

A quotation from T. H. Huxley

Agnosticism is not properly described as a “negative” creed, nor indeed as a creed of any kind, except in so far as it expresses absolute faith in the validity of a principle which is as much ethical as intellectual. This principle may be stated in various ways, but they all amount to this: that it is wrong for a man to say that he is certain of the objective truth of any proposition unless he can produce evidence which logically justifies that certainty. This is what Agnosticism asserts; and, in my opinion, it is all that is essential to Agnosticism.

T. H. Huxley (1825-1895) English biologist [Thomas Henry Huxley]
Essay (1889-06), “Agnosticism and Christianity,” The Nineteenth Century magazine, Vol. 25, No. 148

Sourcing, notes: wist.info/huxley-thomas-henry/…

A quotation from Nassim Nicholas Taleb

The same past data can confirm a theory and its exact opposite! If you survive until tomorrow, it could mean that either a) you are more likely to be immortal or b) that you are closer to death. Both conclusions rely on the exact same data.

Nassim Nicholas Taleb (b. 1960) Lebanese-American essayist, statistician, risk analyst, aphorist
The Black Swan, Part 2, ch. 11 “How to Look for Bird Poop” (2007)

Sourcing, notes: wist.info/taleb-nassim-nichola…

WIST Quotations · The Black Swan, Part 2, ch. 11 "How to Look for Bird Poop" (2007) - Taleb, Nassim Nicholas | WIST QuotationsThe same past data can confirm a theory and its exact opposite! If you survive until tomorrow, it could mean that either a) you are more likely to be immortal or b) that you are closer to death. Both conclusions rely on the exact same data.
Replied in thread

@sabik @dequbed @eniko @pixel

Totally agree! Unit tests and usage of #LLMs in that area are a bad combo (both for implementation and tests).

However, I'd like to give you some "food for thought":
What if the LLM was generating code against a (human written) #proof?

See this blog post, where they've written a proof with #Kani, a model checker in #Rust and let the #LLM generate the implementation until the proof passes:

model-checking.github.io/kani-

Kani Rust Verifier Blog · Writing Code with ChatGPT? Improve it with Kani.Kani is a verification tool that can help you prove properties about your Rust code. To learn more about Kani, check out the Kani tutorial and our previous blog posts.