sipa changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | http://bitcoin.ninja/ | This channel is logged. | For logs and more information, visit http://bitcoin.ninja
<JackH>
is botbotme down? I am looking for past discussions in here about the coda protocol (if there ever was any)
<andytoshi>
JackH: yes, the EU forced it to shut down about a week ago
<andytoshi>
yes it is. unfortunately afaik nobody has hosted a new instance (i would but my server's uptime is abysmal and i'd rather people not start depending on it..)
<JackH>
it was the best way to find any topic we discussed in here over the years, and was a goldmine
<JackH>
is there a copy anywhere?
<andytoshi>
you can ask the botbot folks for a copy of their db .. or i'm sure somebody here can upload a gzip of their logs
<JackH>
I might even do this
<JackH>
we generally had issues keeping track of all that is happening and apart from kanzures ftp this place was the best we had for a collective log
AaronvanW has joined #bitcoin-wizards
nuncanada has quit [Ping timeout: 268 seconds]
AaronvanW has quit [Ping timeout: 245 seconds]
luke-jr has quit [Ping timeout: 244 seconds]
grubles has quit [Remote host closed the connection]
shesek has quit [Read error: Connection reset by peer]
_whitelogger has joined #bitcoin-wizards
TheFuzzStone[m] has joined #bitcoin-wizards
TheoStorm has quit [Remote host closed the connection]
<JackH>
thanks kanzure
wildermind has joined #bitcoin-wizards
<nsh>
Taek, i'm not sure what i meant. i thought i meant producing a cryptographically-meaningful proof that a certain equivalence class of circuits is used for consensus and validation logic, out-of-band of the protocol itself
<nsh>
but i don't think that's actually a cogent concept without there being a formal spec
<nsh>
or at least, it's not at all trivial
<nsh>
i was thinking you could have nodes produce something that definitively, based on their past and present actual behaviours puts them into a canonical class of nodes from which future divergences could be predicted
<nsh>
but yeah i'm not so sure that's actually known to be possible
<nsh>
or can be trivially shown possible using a compositoin of things that are currently known to be possible
<nsh>
under something like solidity then maybe
deusexbeer has quit [Quit: Konversation terminated!]
<nsh>
i mean simplicity
<nsh>
simplicitylang, more properly, as i refuse to overload english words for software projects
AaronvanW has quit [Remote host closed the connection]
AaronvanW has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 252 seconds]
AaronvanW has joined #bitcoin-wizards
wildermind has quit [Quit: Connection closed for inactivity]
_rht has joined #bitcoin-wizards
son0p has joined #bitcoin-wizards
luke-jr has quit [Ping timeout: 244 seconds]
TheoStorm has joined #bitcoin-wizards
Guyver2 has quit [Quit: Going offline, see ya! (www.adiirc.com)]
Krellan has quit [Ping timeout: 252 seconds]
rusty has joined #bitcoin-wizards
spinza has quit [Quit: Coyote finally caught up with me...]
spinza has joined #bitcoin-wizards
_rht has quit [Quit: Connection closed for inactivity]