00:03:03 -!- sleffy has quit (Ping timeout: 256 seconds).
00:58:09 -!- mniip has quit (Ping timeout: 248 seconds).
01:09:10 -!- Melvar has quit (Ping timeout: 240 seconds).
01:10:22 -!- idris-bot has quit (Ping timeout: 256 seconds).
01:23:32 -!- Melvar has joined.
01:27:45 * oerjan forgot to log out _again_
01:28:42 <oerjan> huh, so irssi _does_ have a limit to how far back it keeps a backscroll.
01:34:25 -!- PinealGlandOptic has joined.
01:48:22 <alercah> configurable, isn't it?
01:49:02 <oerjan> probably. i don't recall hitting it before.
01:49:57 <\oren\> Yeah I configured it to be much longer than normal
01:57:31 <oerjan> shachaf: today (4 Feb) is the birthday of the bellman hth
03:11:58 -!- boily has joined.
03:12:32 <boily> @massages-loud
03:12:32 <lambdabot> You don't have any messages
03:35:17 -!- boily has quit (Quit: PHOTONEGATIVE CHICKEN).
03:42:33 -!- mniip has joined.
03:54:16 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
04:22:06 <esowiki> [[User:Noner Kao/TaiDoKu]] M https://esolangs.org/w/index.php?diff=53948&oldid=53927 * Noner Kao * (+389) /* Terms */ Add IP explanation
04:26:19 -!- augur has joined.
04:26:47 -!- MDead has joined.
04:29:41 -!- MDude has quit (Ping timeout: 276 seconds).
04:29:42 -!- MDead has changed nick to MDude.
04:38:07 -!- MDead has joined.
04:39:59 -!- MDude has quit (Ping timeout: 248 seconds).
04:40:02 -!- MDead has changed nick to MDude.
04:41:31 -!- variable has joined.
04:51:52 -!- variable has quit (Quit: /dev/null is full).
05:09:57 -!- idris-bot has joined.
05:13:41 -!- oerjan has quit (Quit: Nite).
05:23:56 -!- sleffy has joined.
05:29:36 -!- atslash has joined.
05:38:34 -!- atslash has quit (Quit: This computer has gone to sleep).
05:43:46 -!- Sgeo has joined.
05:49:08 -!- atslash has joined.
06:08:12 -!- lynn_ has joined.
06:08:23 -!- probablymoony has joined.
06:15:31 -!- lynn has quit (*.net *.split).
06:15:32 -!- moony has quit (*.net *.split).
06:15:33 -!- paul2520_ has quit (*.net *.split).
06:15:37 -!- lynn_ has changed nick to lynn.
06:21:48 -!- paul2520_ has joined.
06:33:05 -!- sleffy has quit (Ping timeout: 248 seconds).
06:37:00 -!- sleffy has joined.
06:37:20 -!- ATMunn has quit (Ping timeout: 255 seconds).
06:38:28 -!- probablymoony has quit (Ping timeout: 256 seconds).
06:38:47 -!- Bowserinator has quit (Ping timeout: 256 seconds).
06:39:15 -!- ATMunn has joined.
06:39:30 -!- Bowserinator has joined.
06:41:18 -!- moony has joined.
06:59:41 -!- atslash has quit (Quit: This computer has gone to sleep).
07:12:13 -!- atslash has joined.
07:13:18 -!- sprocklem has joined.
07:14:34 -!- doesthiswork has quit (Quit: Leaving.).
07:15:05 -!- sleffy has quit (Ping timeout: 240 seconds).
07:15:36 -!- variable has joined.
07:18:47 <shachaf> contrapumpkin: hellontrapumpkin
07:18:58 <shachaf> Do you understand non-interactive zero-knowledge proofs?
07:45:56 -!- augur has quit (Remote host closed the connection).
07:50:40 <Hooloovo0> I have used them in the past
07:50:59 <Hooloovo0> shachaf ^
07:51:30 <shachaf> When I read about them they always seem very complicated.
07:52:48 <shachaf> But can't any standard zero-knowledge proof -- the kind where the prover commits to something, then the other person asks for one of two things about it, then the prover reveals some more information about it -- be converted to non-interactive in a pretty straightforward way?
07:53:41 <shachaf> In particular, writing down n commitments, then using an n-bit hash to get n query bits, and then revealing the same information the same way?
07:55:12 <shachaf> Is that a standard approach, or what?
07:55:47 <Hooloovo0> yes
07:56:03 <Hooloovo0> that's how I did it
07:57:43 <Hooloovo0> http://soc1024.ece.illinois.edu/teaching/ece498am/fall2017/ is the class I took
08:04:14 <shachaf> So what are the more complicated approaches? Do they save on space, or allow you to prove more things, or not rely on hash functions, or what?
08:06:02 -!- quintopia has quit (Remote host closed the connection).
08:08:50 -!- quintopia has joined.
08:09:00 <Hooloovo0> I'm not honestly sure
08:09:16 <quintopia> >_>
08:10:21 <quintopia> welp. been gone for a week. did my logs miss you?
08:14:31 -!- xkapastel has quit (Quit: Connection closed for inactivity).
08:30:49 -!- hppavilion[1] has joined.
08:36:48 -!- PinealGlandOptic has quit (Quit: leaving).
08:44:22 <esowiki> [[TOD]]  https://esolangs.org/w/index.php?diff=53949&oldid=53823 * Null * (-7) make the transition case more clear
09:02:03 -!- atslash has quit (Quit: Leaving).
09:28:05 <esowiki> [[Special:Log/upload]] upload  * Noner Kao *  uploaded "[[File:Steady.gif]]": A tile of a TaiDoKu program in steady state, which can be a valid solution of a classic 4*4 SuDoKu, a special Latin square with regional constraint.
09:31:48 -!- erkin has joined.
09:32:14 <esowiki> [[User:Noner Kao/TaiDoKu]]  https://esolangs.org/w/index.php?diff=53951&oldid=53948 * Noner Kao * (+59) /* Terms */ upload figure to show steady state
10:05:14 <esowiki> [[User:Noner Kao/TaiDoKu]]  https://esolangs.org/w/index.php?diff=53952&oldid=53951 * Noner Kao * (+693) /* Execution Cycle */ update op_lookup
10:26:18 <myname> could any american tell me how much you have to pay for mozzarella sticks vs balls?
10:35:50 -!- AnotherTest has joined.
11:05:46 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
11:32:00 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
11:33:08 <int-e> https://support.google.com/accounts/answer/6010255?hl=en <-- WTF do you mean by "less secure" and "more secure" and "our security standards"? Links please.
11:34:59 <int-e> https://security.stackexchange.com/questions/66025/what-are-the-dangers-of-allowing-less-secure-apps-to-access-my-google-account maybe
11:35:14 <\oren\> oh shi--
11:35:15 <\oren\> https://steamuserimages-a.akamaihd.net/ugc/929300535096636091/CBA178897FB241F57AB5058F681826F69695BEF4/
11:50:06 -!- zseri has joined.
12:25:18 -!- AnotherTest has quit (Ping timeout: 240 seconds).
13:24:25 -!- zseri has quit (Quit: Leaving).
13:28:01 -!- LKoen has joined.
13:49:52 -!- jaboja has joined.
13:51:29 -!- zseri has joined.
13:55:15 -!- boily has joined.
13:55:32 <zseri> helloily
14:00:14 <boily> zsellori!
14:00:30 -!- doesthiswork has joined.
14:06:16 -!- erkin has joined.
14:35:09 -!- jix has quit (Ping timeout: 264 seconds).
14:59:48 -!- jaboja has quit (Ping timeout: 240 seconds).
15:02:51 -!- jix has joined.
15:49:56 -!- erkin has quit (Remote host closed the connection).
16:03:53 -!- boily has quit (Quit: NOTIFIED CHICKEN).
16:04:39 -!- zseri_ has joined.
16:07:27 -!- zseri has quit (Ping timeout: 248 seconds).
16:24:03 -!- zseri_ has quit (Quit: Leaving).
16:36:49 -!- erkin has joined.
16:37:43 -!- erkin has quit (Remote host closed the connection).
16:39:54 -!- variable has quit (Quit: Found 1 in /dev/zero).
16:46:18 -!- moei has joined.
16:52:40 -!- jaboja has joined.
16:53:36 -!- variable has joined.
16:58:10 -!- erkin has joined.
17:06:06 -!- LKoen has quit (Remote host closed the connection).
17:16:20 -!- zseri has joined.
17:50:57 -!- sprocklem has quit (Ping timeout: 248 seconds).
17:52:50 -!- sprocklem has joined.
17:59:04 -!- boily has joined.
18:06:18 -!- heman_ has joined.
18:13:18 -!- LKoen has joined.
18:14:31 -!- Remavas has joined.
18:18:29 -!- boily has quit (Quit: WeeChat 1.9.1).
18:18:45 -!- boily has joined.
18:20:22 -!- Remavas has quit (Quit: Leaving).
18:28:10 -!- variable has quit (Quit: Found 1 in /dev/zero).
18:41:14 -!- sleffy has joined.
18:42:02 -!- variable has joined.
18:43:05 -!- heman_ has quit (Ping timeout: 240 seconds).
18:58:07 -!- sprocklem has quit (Ping timeout: 248 seconds).
18:58:21 -!- zseri has quit (Quit: Leaving).
19:00:58 -!- sprocklem has joined.
19:02:01 -!- heman_ has joined.
19:11:00 -!- jaboja has quit (Ping timeout: 256 seconds).
19:37:18 -!- AnotherTest has joined.
19:42:17 -!- sprocklem has quit (Ping timeout: 256 seconds).
19:45:35 -!- sprocklem has joined.
19:47:42 -!- jaboja has joined.
20:00:57 -!- sprocklem has quit (Ping timeout: 264 seconds).
20:01:37 -!- sprocklem has joined.
20:13:32 <esowiki> [[Triangular]]  https://esolangs.org/w/index.php?diff=53953&oldid=52170 * MD XF * (+196) 
20:27:22 -!- hppavilion[1] has joined.
20:32:35 -!- heman_ has quit (Ping timeout: 240 seconds).
20:33:11 -!- erkin has quit (Quit: Ouch! Got SIGABRT, dying...).
20:36:00 -!- heman_ has joined.
20:44:44 -!- heman_ has quit (Quit: Ex-Chat).
20:44:56 -!- heman_ has joined.
20:49:05 -!- heman_ has quit (Ping timeout: 240 seconds).
21:06:36 -!- jaboja has quit (Ping timeout: 256 seconds).
21:18:02 -!- Phantom_Hoover has joined.
21:26:14 -!- boily has quit (Quit: TOWER CHICKEN).
21:46:04 -!- heman_ has joined.
21:48:05 -!- sleffy has quit (Ping timeout: 240 seconds).
21:54:30 -!- sleffy has joined.
21:59:23 -!- doesthiswork1 has joined.
21:59:23 -!- doesthiswork has quit (Read error: Connection reset by peer).
22:11:46 -!- hppavilion[1] has quit (Ping timeout: 256 seconds).
22:18:08 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
22:53:05 -!- hppavilion[1] has joined.
22:56:09 -!- augur has joined.
23:01:24 -!- hppavilion[0] has joined.
23:03:54 -!- hppavilion[1] has quit (Ping timeout: 268 seconds).
23:07:30 <quintopia> @tell boily ping me on discord if you come around
23:07:30 <lambdabot> Consider it noted.
23:13:11 -!- AnotherTest has quit (Ping timeout: 255 seconds).
23:31:15 -!- heman_ has quit (Quit: Ex-Chat).
23:38:32 -!- erkin has joined.
23:47:02 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).