00:00:18 Who's FireFly 00:00:22 I'm me 00:00:34 .. 00:00:36 :D 00:00:38 AnMaster: But like I said, Mathematica has *3,000* mainspace builtins. 00:00:42 no module system? 00:00:48 yes. 00:00:52 but the builtins don't use it. 00:00:59 -!- comexk has changed nick to comex. 00:01:10 all the cool guys just use a massive global namespace..... 00:01:24 Do you want to see my massive global namespace? 00:01:29 If you know what I mean 00:01:37 you bet i know what you mean to see 00:01:47 Slereah2: say no more say no more 00:01:50 can you all just have sex already or something so you can stop being suggestive all the time 00:01:59 :D 00:02:10 ehird: i don't think that would help, do you? 00:02:10 so 00:02:15 oerjan : NUDGE NUDGE 00:02:19 did you notice the 8-7-6-5 00:02:20 oerjan: maybe not but they could make a video ;-) 00:02:21 WINK WINK 00:02:21 <_< 00:02:30 *badum tish* 00:02:38 oklopol: no 00:02:39 slerry is 8, i'm 7, oerjan is 6, ehird is 5 00:02:42 it was awesome 00:02:54 oerjan is 6 00:02:54 XDDD 00:02:55 what? 00:03:06 wat 00:03:07 nick 00:03:07 huh? 00:03:07 lengths 00:03:10 nick lengths. 00:03:16 ah 00:03:49 and here i was thinking maybe it was a bit underestimatory to actually explain that to you, i mean, umm, how could you not spot a 8765 when you see one. 00:04:11 i mean it's pretty much the coolest sequence you've seen. 00:04:26 oklopol: it's not every client that makes that easily visible you know 00:04:41 also not everyone has superhuman eyes like you 00:04:57 oerjan: maybe you should learn lisp, you know, see beyond syntax and shit. 00:05:11 my eyes are actually hurting like hell atm. 00:05:16 * oerjan has done a tiny bit 00:05:20 probably from all the divinely magnificent usage. 00:05:55 oklopol: just be careful that your laser vision doesn't turn on accidentally when you are tired. it's hell on monitors. 00:06:43 <- always the one with the useful advice 00:07:24 i can't form senten 00:07:27 have sleap... 00:07:28 prolly 00:07:35 you know 00:07:55 i was thinking 00:08:00 maybe i should take a few week hiatos 00:08:04 *hiatus 00:08:05 oklopol: you cannot interrupt sentences like that without saying candlejack fi 00:08:07 and just you know code 00:08:09 ugh 00:09:22 i mean i have a lot of stuff i know exactly how to do, just would have to actually do it, like say graverse 00:09:32 -!- yoR has quit (Read error: 110 (Connection timed out)). 00:10:16 and yet it'd be so cool 00:10:20 like insanely cool 00:10:23 man oklopol you should try mathematica 00:10:26 olsner: i dont know how to use them until i understand them :p 00:10:27 you can PLAY the reimann zeta function 00:10:30 cool insanity 00:10:31 as a sound. 00:10:34 ive never even seen real examples. meh. 00:10:36 hah. 00:10:38 Play[RiemannSiegelZ[1000 t], {t, 0, 1}] 00:10:39 *heh. 00:10:40 man it sounds awesome. 00:10:45 bwoooooooooooop 00:11:49 must do so. 00:11:59 but i can't really, you know, be excited 00:12:09 i'm so damn high on tiredness. 00:12:24 psygnisf_: of course you won't, but that doesn't mean you can't use them 00:12:28 so, umm, i think i'm gonna sleep now -> 00:12:59 its just not how i learn, olsner 00:13:10 i need to actually SEE something be used to understand it. 00:13:25 once i see it, its trivial. but i need to see it used. 00:14:26 just read arbitrary haskell programs, find instances of 'do', >>=, >> and return, find out what each instance does 00:14:43 no no no 00:14:46 i dont mean used like that 00:14:48 oklopol: WAIT 00:14:48 i mean like 00:14:51 Play[RiemannSiegelZ[1000 If[t < 5, t, 10 - t]], {t, 0, 10}] 00:14:53 it goes woop up 00:14:54 then WOOP DOWN 00:14:59 coooo. 00:15:02 i need to see the actual process that occurs when they're used 00:15:10 *badum tish* <-- ?? 00:15:19 AnMaster: it's a rimshot. 00:15:44 bottom dish 00:15:48 psygnisf_: and the problem is, the process is different for each monad... 00:15:50 *oh*, might be difficult since that process is inside the brain of another haskell coder... 00:15:54 sleep - > > 00:16:05 WHY IS MATHEMATICA SO SLOW 00:16:06 :( 00:16:12 oerjan: im sure its different, overall, but theres got to be something i can get out of seeing it used. 00:16:47 A good PlayRange could not be found since most of the samples are not \ 00:16:47 evaluating to machine-size real numbers. 00:16:49 dick butt 00:17:12 honestly tho, i dont need if i need to use monads. 00:17:59 "A rimshot is the sound produced by hitting the rim and the head of a drum at once, with a drum stick. Rimshots are usually played to produce a more accented note, and are typically played loudly. However, soft rim shots are possible." 00:18:00 what 00:18:00 psygnisf_: you considered passing a world state? iirc that's what clean and mercury do, as well as ghc internally 00:18:06 ehird, you make no sense 00:18:16 the problem is to make sure old world states are not reused 00:18:17 lol anmy :P 00:18:19 AnMaster: fail. 00:18:24 it's used by bad comedians. 00:18:33 to mark a joke. 00:18:34 ehird, a drum? 00:18:38 oh I see 00:18:46 the bad-dum-tish sound 00:18:46 what i mean is more that like.. the only stuff i might need a monad for is IO, i think 00:19:04 aha 00:19:24 and for that i could just have some built in thing that evaluates IO in an appropriate fashion 00:19:28 psygnisf_: 00:19:47 psygnisf_: http://209.85.129.132/search?q=cache:qlfzNPE8WqgJ:mauke.ath.cx/stuff/haskell/how-to-io.html+%22how+to+io%22+mauke&hl=de&ct=clnk&cd=1&gl=de&client=firefox-a 00:19:50 that explains how the IO monad works 00:19:51 properly 00:19:52 and simply 00:19:55 you're welcome 00:20:00 psygnisf_: there is also the control streams used by the first haskell versions 00:20:09 control streams? 00:20:39 psygnisf_: just read it 00:20:40 the whole program takes a stream as argument and returns a stream 00:20:42 oerjan: ssh you :P 00:20:48 ah. 00:20:50 eugh. 00:21:11 wha 00:21:11 but it's not a stream of characters, but of control commands 00:21:12 t 00:21:16 shush oerjan :P 00:22:06 iirc that was hell, so they embedded that in a continuation framework 00:22:19 you could use continuations too 00:22:32 they're a bit like monads light 00:22:56 i dont even know if continuations are possible :D 00:23:07 in my system i mean 00:23:12 is your language functional? 00:23:15 no. 00:23:22 its a tree rewriting system. 00:23:41 if it doesn't have first class functions then continuations will be hard, as will monads i think 00:23:50 i know. 00:23:57 it doesnt have _anything_ other than rewriting. 00:24:00 oerjan, still possible though 00:24:27 it might be possible to make rewrite rules first class. but theres no such thing as a function in this system 00:26:28 oh well then i assume you would have IO rewrite rules with a side effect 00:27:02 except it's lazy. 00:27:22 that's not necessarily a problem 00:27:30 it is lazy. and there are no real sideeffects other then that some tree evaluates down to some terminal 00:27:42 or possible evaluates down to a terminal. 00:27:51 oh well 00:37:29 the way im doing it right now, is that when outputting it forces applicative order evaluation 00:39:28 at least to an extent. 00:40:40 in a sense, bind is a flat-map 00:40:53 Scala calls it that, more or less 00:42:47 as in, the objects supporting the flatmap method are those that can use its for comprehension syntax iirc, and comprehension is equivalent to haskell's do notation 00:44:38 -!- GreaseMonkey has joined. 01:12:02 -!- BeholdMyGlory has quit (Remote closed the connection). 01:13:43 lalala 01:15:13 tara BOOM 01:16:34 so what else should i include as a primitive in my language, do you think? 01:17:06 neanderthals 01:19:52 ! 01:19:57 brilliant idea! :O 01:20:49 trilobites, maybe 01:21:23 im having massive problems preview songs from itunes :( 01:21:40 cannot help you there 02:24:31 -!- jix has quit ("..."). 03:16:32 -!- FireFly has quit ("Later"). 04:18:20 -!- adimit has quit (Read error: 110 (Connection timed out)). 04:26:38 -!- seveninchbread has joined. 04:42:03 -!- CakeProphet has quit (Read error: 110 (Connection timed out)). 04:45:42 -!- amca has joined. 04:52:37 -!- X-Scale has left (?). 05:27:01 -!- psygnisf_ has quit ("Leaving..."). 06:50:11 -!- GregorR has quit (Read error: 110 (Connection timed out)). 06:50:39 -!- GregorR has joined. 07:02:46 -!- impomatic has joined. 07:47:19 -!- amca has quit ("Farewell"). 07:59:59 -!- clog has quit (ended). 08:00:00 -!- clog has joined. 09:12:38 -!- GreaseMonkey has quit ("Client Excited"). 09:51:42 glio 10:19:00 -!- sebbu has quit ("@+"). 10:38:17 -!- kar8nga has joined. 10:47:08 -!- KingOfKarlsruhe has joined. 10:54:54 -!- sebbu has joined. 11:22:05 -!- kar8nga has quit (Read error: 60 (Operation timed out)). 11:26:33 -!- puzzlet has quit (Read error: 60 (Operation timed out)). 11:30:12 -!- BeholdMyGlory has joined. 11:32:17 Why are <> and [] reserved in Underload? 11:33:30 maybe because ais523 wanted to have the possibility to extend it? 11:33:46 -!- sebbu has quit ("Quitte"). 11:33:55 sebbu agrees with me. 11:34:43 +ul ("<)S 11:36:03 -!- sebbu has joined. 11:37:28 ^ul ("<)S 11:37:40 ... neither bot online... 11:38:06 well neither implements that parts afair 11:38:12 *part 11:46:57 afaic... 11:48:06 afaiq 11:50:04 ewww 11:50:55 afaimucots 11:52:13 that one i don't know 11:52:31 as far as i make up completely on the spot 11:53:29 :--.o 12:10:26 -!- impomatic has quit ("mov.i #1,1"). 12:26:40 -!- BeholdMyGlory has quit (Remote closed the connection). 12:32:07 -!- alex89ru has joined. 12:32:11 hihi 12:36:07 -!- FireFly has joined. 12:42:54 -!- Mony has joined. 12:43:58 plop 13:01:46 -!- KingOfKarlsruhe has quit (Remote closed the connection). 13:04:40 -!- oerjan has quit ("leaving"). 13:05:02 -!- KingOfKarlsruhe has joined. 13:15:59 -!- jix_ has joined. 13:28:29 -!- kar8nga has joined. 13:31:20 -!- Judofyr has joined. 13:54:42 Why are <> and [] reserved in Underload? 13:54:45 in practice, they're not 14:11:47 -!- Judofyr_ has joined. 14:12:17 -!- Judofyr has quit (Nick collision from services.). 14:12:22 -!- Judofyr_ has changed nick to Judofyr. 14:17:31 "MathML, a proprietary HTML-extension" 14:17:51 That darn W3C and its proprietary HTML extensions! 14:21:06 -!- KingOfKarlsruhe has quit (Remote closed the connection). 14:46:38 At least here ~ is a dead key too. All three of ^, ~ and ¨ are in a single completely corpse-like key. 14:46:40 Painful. 14:46:44 {2008-04-21} 15:27:30 -!- BeholdMyGlory has joined. 15:40:31 -!- FireFly has quit ("Brb"). 15:43:34 -!- ais523 has joined. 15:44:09 -!- FireFly has joined. 16:33:34 -!- ehird has quit ("Caught sigterm, terminating..."). 16:35:07 -!- ehird has joined. 16:38:12 -!- comex has quit (Remote closed the connection). 16:40:55 -!- comexk has joined. 16:41:09 -!- comexk has quit (Client Quit). 16:41:22 -!- comex has joined. 16:42:59 -!- sebbu2 has joined. 16:43:46 -!- sebbu has quit (Read error: 60 (Operation timed out)). 16:43:47 -!- sebbu2 has changed nick to sebbu. 16:48:07 -!- Hiato has joined. 16:55:13 -!- ehird has left (?). 17:00:46 -!- ehird has joined. 17:14:11 -!- X-Scale has joined. 17:15:21 -!- kar8nga has quit (Read error: 110 (Connection timed out)). 17:18:37 oklopol: what lang were you talking about yesterday? 17:18:38 I forget. 17:19:25 -!- Hiato has quit ("Leaving."). 17:19:56 -!- Hiato has joined. 17:20:14 at what point 17:20:28 graverse was last 17:26:18 graverse? 17:26:24 yeah. 17:26:38 it's my graph/tree language with j-inspired syntax 17:26:56 do tell 17:26:58 it's pretty coooool 17:27:57 -!- aantn has joined. 17:28:16 the basic idea is graphs are a primitive datatype containing values in nodes (they can be boxed so you can put graphs in there too), and different kinds of searches and rewriting operations are primitive one-char functions 17:30:20 some technicalities are lambdas can have these short "tags", like k{a+b} would be a lambda with tag "k" that sums two things together, and the idea is higher-order functions (traversals and all that) use these as kinda type tags; and you can fold graphs and shit 17:30:38 ic 17:30:41 but oklopol 17:30:45 having functions and stuff is no fun 17:30:48 you should make them just graphs 17:30:49 so programs are often just + 17:30:55 and the tags tell what the lambdas mean 17:31:02 computation is done by inputting a graph that is isomorphic to another graph in a tc way 17:31:07 and it prints out the isomorphee. 17:31:10 that would be crazily pretty. 17:31:24 sure. but that's graphica's territory. 17:31:36 graphica has non-graphs too, no? 17:31:49 technically yes. 17:32:01 but they are essentially just boxed graphs. 17:32:18 boxing is ugly 17:32:28 oklopol: just let nodes be graphs, not strings 17:32:32 and have a () graph 17:32:34 then build numbers like 17:32:35 0 = () 17:32:41 1 = (() -> ()) 17:32:41 etc 17:32:42 nope. boxing is actually a beautiful concept 17:32:47 especially with graphs 17:32:56 yeah, but _just_ having graphs, and the singleton () 17:32:58 is way prettier. 17:33:37 sure you can make it more explicit than graphica does, but that's eodermdrome's or something's territory, not graphicas. 17:33:41 *graphica's 17:34:41 a whole language where you just have graphs and () would be pretty. 17:34:53 and graphs isomorph (yes, that's a verb.) to others in a TC way 17:35:00 also, input format is ascii art. 17:35:02 of a graph. 17:42:47 -!- Judofyr has quit (Remote closed the connection). 17:44:47 -!- ais523 has quit ("http://www.mibbit.com ajax IRC Client"). 17:52:50 -!- Sgeo has joined. 18:01:41 -!- sebbu2 has joined. 18:03:37 oklopol: I was reading about your graph language and imagining each vertex could countain a function and that its parameters and outputs would flow in and out of it edges. Like a living neural network. 18:03:58 its edges, even. 18:07:12 X-Scale: you should be able to do something like that easily, yes 18:07:44 i could make that one of my test cases; i have a list of stuff i want to be solvable trivially with it 18:11:03 -!- Sgeo has quit (Read error: 104 (Connection reset by peer)). 18:14:50 -!- sebbu has quit (Read error: 113 (No route to host)). 18:14:51 -!- sebbu2 has changed nick to sebbu. 18:22:17 -!- Hiato has quit ("Leaving."). 18:22:53 -!- Hiato has joined. 18:38:51 -!- Hiato has quit (Read error: 104 (Connection reset by peer)). 18:42:19 -!- Hiato has joined. 19:03:37 -!- psygnisfive has joined. 19:03:45 -!- psygnisf_ has joined. 19:03:58 -!- yoR has joined. 19:20:36 -!- psygnisfive has quit (Read error: 110 (Connection timed out)). 19:32:32 -!- Hiato has quit ("Leaving."). 19:37:18 -!- sebbu has quit (Read error: 60 (Operation timed out)). 19:39:11 #xkcd isn't on freenode anymore? 19:39:42 Ah, foonetic 19:39:57 -!- sebbu has joined. 19:40:09 -!- Slereah2 has quit. 19:40:45 -!- Slereah2 has joined. 19:47:16 -!- aantn has quit. 19:53:49 -!- kar8nga has joined. 19:58:27 -!- MigoMipo has joined. 20:10:46 -!- Judofyr has joined. 20:43:36 -!- MigoMipo has quit ("QuitIRCServerException: MigoMipo disconnected from IRC Server"). 20:45:32 -!- Corun has joined. 20:47:17 Yup ehird. 20:47:32 Yes. I use X-Chat Aqua. 20:49:24 http://www.youtube.com/watch?v=hBpetDxIEMU&feature=channel 20:56:49 -!- sebbu2 has joined. 20:59:32 -!- Mony has quit ("see ya"). 21:04:40 -!- sebbu has quit (Read error: 113 (No route to host)). 21:04:40 -!- sebbu2 has changed nick to sebbu. 21:08:40 -!- unrelatedguy has joined. 21:08:44 * unrelatedguy = ehird 21:08:46 holy fuck 21:08:49 my disk is full 21:08:51 how 21:08:54 did 21:08:56 that 21:08:59 happen 21:09:01 i didn't do anything, it was nowhere near free 21:09:04 er, full 21:09:06 fuuuuuuck 21:09:09 now I have to find what's using it 21:10:49 shit shit everything's breaking becaues there's no free space 21:13:31 oO 21:13:37 :< 21:13:41 how big is your HD? 21:13:45 feel my pain o ky? 21:13:52 HOLY FUCK 21:14:01 i'm writing an awful lot of data to disk per second 21:14:03 wtffffffff is doing that 21:14:06 alex89ru: 200gb 21:14:14 =/ how did you fill that 21:14:22 i didn't, I think some application is filling it by mistake 21:14:27 aw 21:15:04 * unrelatedguy clears every goddamn cache on the system 21:15:10 go away wretched full disk 21:15:28 os? 21:16:01 os x :\ 21:16:04 i think it might be mathematica 21:16:13 i set off a rather pointless, intensive computation before brbing 21:16:19 hehe 21:16:20 bet it's some temporary files from that 21:16:38 hmm, nope 21:16:40 oh dear. 21:16:43 i recently filled a 300er, and managed to break it right after. 21:16:51 i just want to _believe_ this isn't my fault 21:17:05 because...how the fuck can I fill 200GB? 21:17:06 I can't. 21:17:30 ;D last time I filled a HD, it was a40gb HD with 2 operating systems on it^^ 21:17:35 :D 21:17:39 feck, it looks like it's my fault 21:17:44 ok, what is taking so much disk space 21:17:55 anyone have a good way to search for disk-intensive folders on an HD? 21:17:57 :p 21:18:29 if there is, tell me too 21:18:36 been wanting something like that forever 21:19:03 i can't even use my normal irc client. 21:19:05 it craps out for some reason. 21:19:10 i guess it can't handle the ANTIDISK 21:19:25 ... well ok I take that back 21:19:26 it works now 21:20:13 * unrelatedguy measures ~ to narrow it down 21:21:28 Um, okay. 21:21:31 Size of ~: 116 GB 21:21:35 Methinks my problem be in there. 21:21:44 * ehird tries du(1) 21:22:37 du -h|grep [0-9]G 21:22:49 also, i need a new computer 21:24:01 bsmntbombdood: or, y'know, % du -h . >foobarbazquux 21:24:05 and then sort it 21:24:06 :P 21:24:22 you'd have to take of the h 21:24:23 bet I run out of disk space running du 21:24:32 bsmntbombdood: i'll just use awk or sth 21:24:40 and you can just pipe through sort... 21:27:09 awright! 21:27:10 20GB free 21:27:23 think that's enough for now, mmmhm 21:29:45 oh lawl 21:30:04 622M oed/Data/ 21:30:07 i can get rid of that 21:30:19 And running out of disk space tends to really screw a filesystem... 21:31:32 (fragmentation-wise) and since one doesn't have a defragger... Ouch... :-/ 21:32:33 Well, I had 1GB free at the worst. 21:32:38 But I don't know how much of that was -actually- usable. 21:32:43 Filesystems are weird. 21:33:35 READ ABOUT MY FILESYSTEM 21:34:11 what is it? 21:34:18 oh, the based on venti one? 21:34:22 I don't recall anything past, based on venti. 21:34:25 So, elaborate! 21:35:00 yeah 21:35:27 http://pastebin.ca/1323277 21:40:44 -!- Sgeo has joined. 21:41:07 bsmntbombdood: so it's... venti 21:41:37 it's not _just_ venti 21:41:46 where's the diff 21:42:18 it uses venti as it's data store 21:43:09 well, not exactly venti, but the same concept 21:49:35 -!- jix_ has quit ("Computer has gone to sleep"). 22:00:04 ehird, do you use azureus? 22:00:19 no, Transmission. 22:00:53 hm. i dont know how transmission does it, but i know azureus will create empty files that, as far as your file system is concerned, are many gigs in size 22:01:02 ah 22:01:11 so it reserves the total space for a download before its all done, so that it CAN all be done 22:01:15 no torrent downloads save for mathematica recently 22:01:39 hm. 22:03:17 i hate azureus 22:03:20 hate it 22:03:58 it uses ~1.5 gb of virtual memory 22:04:16 i know :( 22:04:17 its horrible 22:04:25 but transmission isnt free and this pains me 22:08:51 um 22:08:53 transmission is free 22:09:11 xtorrent isn't 22:09:13 but transmission is 22:09:14 open soucre too 22:09:25 http://www.transmissionbt.com/ 22:09:37 is transmission? 22:09:38 huh. 22:09:40 well then 22:11:22 -!- FireFly has quit (Nick collision from services.). 22:12:54 Food poisoning rulz lawl 22:13:09 lol 22:14:03 -!- kar8nga has left (?). 22:14:36 At 4AM I threw up substantially more than I'd eaten (by magic), then I drank a glass of water, then in two hours I threw up that. Water. Just water and stomach acid. It was really unpleasant. 22:15:12 AWESOME> 22:15:44 Yeah, its a cool thing, your body actually manages to produce more and more acid, just for you to throw up 22:16:34 When it's that thin it comes out your nose as well as your mouth. 22:16:37 And that hurts. 22:16:38 The wonderfull masochistic stomach... 22:16:54 GregorR: AWESOME 22:18:39 -!- FireFly has joined. 22:24:26 -!- X-Scale2 has joined. 22:29:33 -!- yoR has quit. 22:30:07 -!- alex89ru has quit ("Verlassend"). 22:30:46 GregorR: sounds like fun, yes 22:33:01 -!- X-Scale has quit (Nick collision from services.). 22:33:04 -!- X-Scale2 has changed nick to X-Scale. 22:33:38 -!- unrelatedguy has quit ("Lost terminal"). 22:34:15 -!- Metcalf has joined. 23:10:36 -!- BeholdMyGlory has quit ("restarting"). 23:11:26 I'm looking for Keymaker's programs in Underload, does anyone know the new URL? 23:11:44 Used to be at http://koti.mbnet.fi/~yiap/programs/underload/ - not archived by Wayback :-/ 23:12:02 he moved his site 23:12:02 IIRC 23:12:19 Metcalf: http://yiap.nfshost.com/ 23:12:28 http://yiap.nfshost.com/esoteric.php?f=underload 23:13:38 oklopol: i have an idea for a way to make nopol just use < and >. 23:14:13 Thanks :-) 23:14:28 ehird: well shoot. 23:16:10 oklopol: basically 23:16:12 <: <. <::> <. <:> <::>>> <.:.:.>> 23:16:13 becomes 23:16:14 < <> < >< < <> <>> < >< < <>> < <> <>>>> < >< <> >< <> >< >> 23:16:15 : = <> 23:16:17 . = >< 23:16:19 yeah 23:16:20 i know 23:16:21 if you want one of those actually 23:16:24 guessed 23:16:26 evaluate an expr that evaluates to one of em. 23:16:30 but srsly. it's pretttttyyyyyy 23:17:33 oklopol: oklotalk should just use two characters 23:17:46 @ and . 23:17:49 @.@....@@@.@.@.@.@ 23:18:04 mmkay mmkay :) 23:18:08 :| 23:18:16 hmm 23:18:29 a J alike that automatically determines func implementation from the symbol you use. 23:18:38 okokokokokokokokokokokokokokokokokokokoko 23:18:45 I don't think it's possible to conditionally execute code in Underload 23:18:50 Metcalf: it's TC. 23:18:53 hmm? 23:18:56 It is possible to do that, just hard. 23:19:01 Metcalf: it's possible, and it's pretty easy. 23:19:06 okay,i t's probably easy 23:19:10 I was just erring on the side of caution 23:19:14 yeah 23:19:20