--- Day changed Fri Mar 09 2018
04:35 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
05:33 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 252 seconds]     
05:37 -!- indutny [~indutny@2604:a880:400:d1::336:c001] has quit [Quit: ZNC - https://znc.in]     
05:37 -!- indutny [~indutny@167.99.4.134] has joined #secp256k1     
06:46 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has joined #secp256k1     
08:16 < nsh> there are different (possibly better) theories of the natural number from category theory - but they still use succession to iteratively define the natural numbers object - https://golem.ph.utexas.edu/category/2014/01/an_elementary_theory_of_the_ca.html
09:21 -!- arubi [~ese168@gateway/tor-sasl/ese168] has quit [Remote host closed the connection]     
09:21 -!- arubi [~ese168@gateway/tor-sasl/ese168] has joined #secp256k1     
10:16 -!- Chris_Stewart_5 [chris@gateway/vpn/privateinternetaccess/chrisstewart5/x-62865615] has quit [Ping timeout: 256 seconds]     
11:07 -!- instagibbs [~instagibb@pool-100-15-128-78.washdc.fios.verizon.net] has quit [Ping timeout: 276 seconds]     
11:46 -!- instagibbs [~instagibb@pool-100-15-128-78.washdc.fios.verizon.net] has joined #secp256k1     
14:28 -!- eragmus [sid136308@gateway/web/irccloud.com/x-ltyabbdyukpokafi] has quit [Ping timeout: 256 seconds]     
14:28 -!- eragmus [sid136308@gateway/web/irccloud.com/x-ryomudhtjxblokfp] has joined #secp256k1     
16:00 -!- weez17 [~isaac@unaffiliated/weez17] has quit [Remote host closed the connection]     
16:00 -!- weez17 [~isaac@unaffiliated/weez17] has joined #secp256k1