00:00:51 -!- Phantom_Hoover has joined. 00:04:47 Man, I really like how you can define stuff in the language of categories. 00:04:59 From now on, I want everything to be defined in the language of categories. 00:05:08 Right now I'm working on defining "category" in the language of categories. 00:05:46 fuck the language of categories 00:06:05 i've already mentioned that godawful topology book i once read, i think 00:06:26 Hm, what's a topological space in the language of categories... 00:11:14 -!- Sketra has joined. 00:11:22 * Sketra burns the house down 00:17:09 * Phantom_Hoover sees the bride in her wedding gown 00:21:39 -!- skj3gg has joined. 00:21:51 -!- shikhin_ has joined. 00:23:44 and barfing a lot will leave you with excess sodium 00:25:24 -!- shikhin has quit (Ping timeout: 265 seconds). 00:28:03 I.. what?! 00:34:25 -!- skj3gg has quit (Quit: ZZZzzz…). 00:35:33 -!- skj3gg has joined. 00:47:00 -!- skj3gg has quit (Quit: ZZZzzz…). 00:49:14 -!- skj3gg has joined. 01:03:53 -!- FreeFull has quit (Ping timeout: 244 seconds). 01:04:31 -!- skj3gg has quit (Quit: ZZZzzz…). 01:13:02 and the bear has been noticed 01:13:33 -!- Phantom__Hoover has joined. 01:13:37 -!- skj3gg has joined. 01:13:46 looks like it's the king 01:16:17 -!- Phantom_Hoover has quit (Ping timeout: 244 seconds). 01:18:33 Apparently there are at least three different IRC clients called PHIRC. 01:22:23 I hope none of them are written in PHP. 01:22:43 -!- skj3gg has quit (Quit: ZZZzzz…). 01:24:01 Actually some are 01:27:45 -!- adu has joined. 01:32:02 One of them is the one I wrote. I wrote it because I don't like any other IRC clients. I wrote in PHP but would want to eventually rewrite it in C, however I don't quite understand making internet connection with a C code. 01:36:21 -!- AndoDaan has joined. 01:40:42 -!- Tritonio has quit (Ping timeout: 252 seconds). 01:42:22 -!- Tritonio has joined. 01:47:13 -!- Sketra has quit (Ping timeout: 264 seconds). 01:50:39 -!- AndoDaan has quit (Ping timeout: 245 seconds). 01:54:37 -!- AndoDaan has joined. 01:55:53 I'm trying to write out the definition of a topos in a topos. 01:55:59 This thing's complicated. 01:59:39 there may be a problem with that 01:59:49 how about using ZFC+ 02:00:00 :^) 02:07:20 what would grothendieck do 02:07:40 (apart from running away into the forest) 02:10:22 i think my brain just vetoed me trying to read about topoi again 02:12:02 -!- dulla has quit (Ping timeout: 246 seconds). 02:15:36 -!- dulla has joined. 02:15:49 Most of it is pretty straightforward. 02:16:09 A topos in a topos consists of these objects, and these arrows with these commutative diagrams... 02:16:31 and then the universe explodes. 02:16:56 And then all of a sudden one of the things you need isn't an object, or an arrow, or a commutative diagram. 02:17:18 It's a frickin' mapping from this collection of arrows to that collection of arrows. 02:17:31 is this n-categorical 02:17:42 Nope. It's just a topos. 02:18:09 well also that sounds like a functor. 02:19:06 Kinda. 02:20:09 then what is it 02:22:37 Well, it's this: "An arrow EQ with certain properties. For all arrows M with the same properties, an arrow U with these other properties in relation to EQ and M." 02:24:25 -!- Lymia has joined. 02:29:11 -!- Sprocklem has quit (Ping timeout: 246 seconds). 02:30:57 Ah, but topoi are cartesian closed. 02:31:46 So that last thing is really just an arrow again. I think. 02:32:54 M is an arrow A -> B and U is also an arrow A -> B, so this "for all arrows M with these properties, an arrow U with those properties" is really just a single arrow (A -> B) -> (A -> B). 02:33:00 Except not quite. 02:34:36 Because having A -> B as a codomain doesn't express the restrictions which M has. 02:49:09 -!- AndoDaan has quit (Quit: Going, going, gone.). 02:49:10 -!- Tritonio_ has joined. 02:50:44 -!- Tritonio has quit (Ping timeout: 252 seconds). 02:51:20 -!- Tritonio_ has changed nick to Tritonio. 02:56:17 -!- skj3gg has joined. 02:57:53 -!- arjanb has quit (Quit: .). 03:18:30 -!- skj3gg has quit (Quit: ZZZzzz…). 03:20:17 -!- shikhin_ has quit (Ping timeout: 244 seconds). 03:22:09 -!- Sprocklem has joined. 03:28:35 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 03:33:30 -!- skj3gg has joined. 03:44:18 -!- skj3gg has quit (Quit: ZZZzzz…). 03:46:20 -!- skj3gg has joined. 03:49:38 -!- Tritonio has quit (Remote host closed the connection). 03:50:02 -!- Sprocklem has quit (Ping timeout: 246 seconds). 03:54:04 wait. the plural of topos is topoi? 03:56:53 -!- copumpkin has joined. 04:02:38 -!- kapil___ has joined. 04:02:59 -!- hjulle has quit (Ping timeout: 246 seconds). 04:09:51 -!- skj3gg has quit (Quit: ZZZzzz…). 04:16:58 oren: it's a greek plurla 04:17:00 *al 04:17:52 i think -os/-oi is about as common in greek as -us/-i in latin 04:20:33 and essentially derive from the same suffixes in indoeuropean 04:44:50 -!- ProofTechnique has joined. 05:00:45 -!- MDude has changed nick to MDream. 05:35:36 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 05:35:57 There is still one kind of question I have not received a satisfactory answer which has to do with automatically filling in the frequent words table for a Z-machine story file. 06:27:49 -!- aloril has quit (Read error: Connection reset by peer). 06:28:20 -!- aloril has joined. 07:07:39 -!- bluckbot has joined. 07:07:49 haha! 07:08:01 oerjan kick bluckbot 07:08:55 -!- merdach has joined. 07:09:35 this ithe the channel that shares an abstract kind of feels, through the magic of math, and esotera 07:09:57 how odd 07:09:59 ok 07:10:13 this is the channel of esolang wiki 07:10:15 it is odd 07:10:25 `welcome merdach 07:10:29 merdach: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 07:11:26 > let cock a b = a+b +1 in butt = 1:1: zipWith cock butt (tail butt) in unwords . map show . take 8 $ butt 07:11:28 :1:31: parse error on input ‘=’ 07:12:40 dammit 07:14:11 > butt = 1:1: zipWith (\a b -> a+b+1) butt (tail butt) in unwords . map show . take 8 $ butt 07:14:12 :1:6: parse error on input ‘=’ 07:14:26 > let butt = 1:1: zipWith (\a b -> a+b+1) butt (tail butt) in unwords . map show . take 8 $ butt 07:14:27 "1 1 3 5 9 15 25 41" 07:15:12 [wiki] [[EsoInterpreters]] http://esolangs.org/w/index.php?diff=41918&oldid=41703 * AndoDaan * (+15) noted Kipple's Deadfish. 07:18:02 -!- gelos_ has joined. 07:18:04 I'm not sure what "this ithe the channel that shares an abstract kind of feels, through the magic of math, and esotera" is meaning, although it doesn't seem to be spelled correctly anyways, and possibly the grammar is also unclear. 07:27:45 is dulla inviting people here ors omething 07:28:10 bluckbot is a bot 07:33:28 -!- Patashu has joined. 07:46:51 people and bots 07:56:16 dulla: your variable naming scheme needs work hth 08:05:47 -!- AndoDaan has joined. 08:06:55 `unidecode ′ 08:06:56 ​[U+2032 PRIME] 08:35:27 what would you prefer, oerjan 08:37:14 something with less shock words 08:41:04 > let tingle = repeat 1 in take 5 tingle 08:41:06 [1,1,1,1,1] 08:45:21 > let gently = sum . map 1 in gently [3,6,9] 08:45:23 Could not deduce (GHC.Num.Num (a0 -> c)) 08:45:23 arising from the ambiguity check for ‘e_11369’ 08:45:23 from the context (GHC.Num.Num (a -> c), 08:45:47 better 08:45:49 > let gently = sum . map (\a -> 1) in gently [3,6,9] 08:45:51 3 08:46:07 -!- vanila has joined. 08:46:07 hello 08:46:22 > let tenderly a = 1 in let gently = sum . map tenderly in gently [3,6,9] 08:46:23 3 08:58:42 -!- dulla has quit (Ping timeout: 244 seconds). 09:06:17 -!- FreeFull has joined. 09:07:15 -!- oerjan has quit (Quit: Good luck). 09:15:06 -!- adu has quit (Quit: adu). 09:25:51 -!- AndoDaan has quit (Ping timeout: 252 seconds). 09:30:47 -!- AndoDaan has joined. 09:40:55 -!- gelos_ has quit (Ping timeout: 246 seconds). 09:45:33 -!- hjulle has joined. 09:58:45 [wiki] [[Pig]] N http://esolangs.org/w/index.php?oldid=41919 * 122.37.11.94 * (+279) A esolang with only one keyword: PIG. 09:59:08 [wiki] [[Pig]] http://esolangs.org/w/index.php?diff=41920&oldid=41919 * 122.37.11.94 * (+1) /* Usage */ 10:01:04 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41921&oldid=41905 * 122.37.11.94 * (+10) 10:02:55 [wiki] [[Pig]] http://esolangs.org/w/index.php?diff=41922&oldid=41920 * 122.37.11.94 * (+95) /* Hello, World in Pig */ 10:03:35 [wiki] [[Pig]] http://esolangs.org/w/index.php?diff=41923&oldid=41922 * 122.37.11.94 * (+1) /* Hello, World in Pig */ 10:05:15 [wiki] [[Joke language list]] http://esolangs.org/w/index.php?diff=41924&oldid=41790 * 122.37.11.94 * (+67) 10:08:47 -!- dulla has joined. 10:20:58 [wiki] [[Pig]] http://esolangs.org/w/index.php?diff=41925&oldid=41923 * 122.37.11.94 * (+1) /* Hello, World in Pig */ 10:32:36 -!- Phantom_Hoover has joined. 10:56:20 @hoogle join 10:56:21 Control.Monad join :: Monad m => m (m a) -> m a 10:56:21 package join 10:56:21 System.FilePath.Windows joinDrive :: FilePath -> FilePath -> FilePath 10:56:29 hello 10:56:37 why's there no join in Control.Concurrent? 10:59:12 also Chan has no chanSize function :( 10:59:23 (i.e. return how many items there are in the chan right now) 11:12:36 http://codepad.org/QZcPNtQ9 11:12:39 oh well. This is working :) 11:15:30 Now I invented many new Sliver cards for Magic: the Gathering 11:19:58 hi zo 11:20:00 hi zzo38 11:24:17 -!- boily has joined. 11:46:32 -!- Patashu has quit (Ping timeout: 264 seconds). 11:53:04 -!- Koen_ has joined. 11:54:46 zzo38: what, where? 11:57:29 ah 11:58:11 they're there in the list http://zzo38computer.org/textfile/miscellaneous/magic_card/cards.txt 11:58:28 Yes that one 11:59:48 Make up the kind of "Babson-task" with Magic: the Gathering; you have same cards as opponent's cards in their hand, and whatever card they play, the only winning move(s) involves the first card you play from your own hand being the matching card of they just played. (For example if they played Aether Snap then you have to play Aether Snap, if they played Artificial Evolution you have to play Artificial Evolution, if they played Ancestral Recall you 12:05:30 zzo38: I was thinking a bit about that, and I think it might be possible, at least for about three or four cards 12:05:47 though I haven't found a working construction yet 12:10:03 I wanted to do it with at least five cards though; preferably at least seven; however, even just three or four would do too, almost 12:10:17 -!- vanila has quit (Quit: Leaving). 12:14:34 zzo38: I might think about this a bit more later 12:21:26 OK 12:22:42 -!- boily has quit (Quit: CORRUGATED CHICKEN). 12:32:28 -!- kapil___ has quit (Quit: Connection closed for inactivity). 12:54:53 -!- Gracenotes has quit (Remote host closed the connection). 12:57:49 -!- kapil___ has joined. 12:58:43 -!- AnotherTest has joined. 13:07:28 -!- AnotherTest has quit (Ping timeout: 252 seconds). 13:33:08 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 14:03:03 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41926&oldid=41921 * Rottytooth * (+20) /* L */ added light pattern 14:04:55 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41927&oldid=41926 * Rottytooth * (+131) /* A */ a programming language... 14:09:45 -!- AnotherTest has joined. 14:15:04 -!- skj3gg has joined. 14:15:16 -!- skj3gg has quit (Client Quit). 14:18:36 -!- AnotherTest has quit (Ping timeout: 252 seconds). 14:21:47 -!- AnotherTest has joined. 14:23:05 -!- SopaXorzTaker has joined. 14:26:18 -!- AnotherTest has quit (Ping timeout: 252 seconds). 14:30:13 -!- nortti has changed nick to lawspeaker. 14:30:35 -!- lawspeaker has changed nick to nortti. 14:34:23 -!- GeekDude has joined. 14:37:43 -!- adu has joined. 14:48:30 -!- skj3gg has joined. 14:48:55 -!- not^v has joined. 15:02:35 -!- `^_^v has joined. 15:10:02 -!- not^v has quit (Ping timeout: 246 seconds). 15:10:23 -!- not^v has joined. 15:20:10 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 15:27:10 -!- not^v has quit (Ping timeout: 252 seconds). 15:27:48 -!- not^v has joined. 15:35:58 -!- ProofTechnique has quit (Ping timeout: 252 seconds). 15:43:54 -!- Sprocklem has joined. 15:44:37 -!- not^v has quit (Ping timeout: 252 seconds). 15:48:50 -!- mihow has joined. 15:52:19 -!- Sprocklem has quit (Ping timeout: 245 seconds). 16:02:22 -!- SopaXorzTaker has quit (Ping timeout: 252 seconds). 16:02:30 For the Hello transposable world task "Your code must be transposable. In other words, your code must not be changed by this program: http://golf.shinh.org/p.rb?transpose+lines" No change means no change to what your code outputs, right? 16:06:03 sounds like it's a textural property 16:06:16 not a semantic one 16:07:13 Hmm. The example C code given https://ideone.com/uEyGtr is alright? 16:07:38 Dammit i'm blind. 16:07:48 Sorry, I see it now. 16:07:57 Par for the course. 16:08:13 Okay. Thanks for the help. 16:11:38 :) 16:16:09 -!- SopaXorzTaker has joined. 16:23:00 -!- AndoDaan has quit (Read error: Connection reset by peer). 16:23:15 -!- AndoDaan has joined. 16:27:16 -!- ProofTechnique has joined. 16:33:01 -!- GeekDude has left ("{{{}}{{{}}{{}}}{{}}}"). 16:40:54 it's an interesting task, but I dislike the coarse granularity for the program sizes... 16:41:55 (since the program text must be a square. It'd be more fun if some triangular shapes were allowed) 16:44:22 Hmm "triangular" isn't the right term... 16:49:57 -!- AndoDaan has quit (Ping timeout: 265 seconds). 16:53:46 -!- ais523 has joined. 16:53:48 -!- skj3gg has quit (Quit: ZZZzzz…). 16:56:20 -!- callforjudgement has joined. 16:56:34 -!- ais523 has quit (Client Quit). 16:58:38 int-e: “jagged”? 17:01:17 -!- pallokolmio has quit (Remote host closed the connection). 17:02:24 Well, the lines of the lengths would have to be monotonely decreasing. 17:03:56 trapezoidal 17:06:42 -!- mihow has quit (Quit: mihow). 17:09:41 anyway the risk in doing that is that one could get a ton of L-shaped solutions. So maybe restricting to squares is a good thing after all. 17:12:51 -!- skj3gg has joined. 17:17:41 or Γ-shaped... 17:18:09 -!- bb010g has quit (Quit: Connection closed for inactivity). 17:21:56 In one channel, I confused someone by talking about an L-shaped enter key, because he thought I meant a reverse-L, whereas I had never seen that type before. 17:27:54 -!- Lymia has quit (Ping timeout: 250 seconds). 17:30:49 wait, L-shaped enter keys are a thing? 17:32:13 reverse-L-shaped is common in the UK 17:36:29 elliott, I think I've seen some 17:37:46 -!- callforjudgement has changed nick to ais523. 17:47:36 -!- not^v has joined. 17:51:49 -!- Tritonio has joined. 17:56:29 is there an MP library for haskell? 17:58:09 like Chan or MVar but over the web? 18:00:36 sure I could just use read/show and tcp sockets 18:03:17 cloud haskell or whatever 18:05:20 -!- FreeFull has quit (Ping timeout: 244 seconds). 18:06:45 -!- arjanb has joined. 18:15:36 -!- vanila has joined. 18:15:37 hi 18:17:21 -!- vanila has quit (Remote host closed the connection). 18:26:08 -!- not^v has quit (Ping timeout: 265 seconds). 18:35:21 -!- SopaXorzTaker has quit (Remote host closed the connection). 18:35:26 -!- vanila has joined. 18:42:07 -!- TieSoul has changed nick to TieHomework. 18:43:41 helo 18:53:36 -!- skj3gg has quit (Quit: ZZZzzz…). 18:54:19 -!- shikhin has joined. 19:13:55 -!- mihow has joined. 19:20:24 Hi 19:20:31 -!- MDream has changed nick to MDude. 19:20:52 What's up, vanila bean? 19:21:56 bored 19:22:03 dont know what to do 19:22:08 you> 19:24:06 I should go write things. 19:25:09 Maybe about chat bots. 19:25:17 Mostly sitting around too. 19:26:36 lol 19:29:23 -!- skj3gg has joined. 19:31:06 -!- Vorpal has quit (Quit: ZNC - http://znc.sourceforge.net). 19:33:08 -!- Vorpal has joined. 19:33:30 -!- Vorpal has quit (Changing host). 19:33:30 -!- Vorpal has joined. 19:52:00 -!- kcm1700_ has quit (Remote host closed the connection). 19:57:13 -!- skj3gg has quit (Quit: ZZZzzz…). 19:57:14 -!- kcm1700 has joined. 20:00:22 -!- Tritonio has quit (Remote host closed the connection). 20:00:31 -!- skj3gg has joined. 20:01:09 -!- Tritonio has joined. 20:01:25 -!- Patashu has joined. 20:05:16 -!- nycs has joined. 20:07:32 -!- `^_^v has quit (Ping timeout: 246 seconds). 20:08:12 -!- vanila has quit (Quit: Leaving). 20:09:14 -!- skj3gg has quit (Quit: ZZZzzz…). 20:09:39 -!- AndoDaan has joined. 20:12:05 -!- TieHomework has changed nick to TieSleep. 20:18:43 -!- bb010g has joined. 20:22:22 -!- Tritonio has quit (Remote host closed the connection). 20:22:35 -!- Tritonio has joined. 20:22:57 -!- Lymia has joined. 20:25:20 -!- AnotherTest has joined. 20:28:11 -!- Patashu has quit (Ping timeout: 246 seconds). 20:37:04 -!- mihow has quit (Quit: mihow). 20:39:24 -!- AnotherTest has quit (Remote host closed the connection). 20:56:07 -!- TieSoul has joined. 20:56:21 -!- Tritonio has quit (Remote host closed the connection). 20:58:37 -!- TieSleep has quit (Ping timeout: 245 seconds). 20:59:07 -!- Tritonio has joined. 21:00:18 -!- Tritonio has quit (Remote host closed the connection). 21:01:42 -!- mihow has joined. 21:29:14 Just so you know, fungot has arrived. But I still don't have any Internet here. 21:31:25 so fungot is trying to connect to #esoteric but failing due to lack of internet? 21:31:44 or, hmm, I think I misinterpreted you 21:33:18 fizzie, the innie and outie of your stament contradict each other. 21:34:43 Though, I read somewhere that a couple of guys developed an internet protocol for use with carriere pigeons. 21:35:11 ais523: It's not trying to connect, I just meant that the physical hardware arrived. 21:35:35 ah right 21:35:38 I take it you're now in UKland? 21:35:45 Although I haven't even booted the box up, been too busy. 21:35:48 Yes. 21:35:53 AndoDaan: IP over Avian Carrier is an RFC 21:36:09 I further assume you're doing an ais523 and have borrowed Internet off someone, due to not having your own 21:36:16 IP over bongo drums is a thing too. 21:36:40 -!- skj3gg_ has joined. 21:36:42 -!- skj3gg has joined. 21:37:04 I'm using a mobile thing. But it officially disallows tethering, so it's not suitable for fungotting. 21:37:49 I've ordered something more DSLy, but it might take a week or two more. 21:39:56 (This is Three's pay-as-you-go offering, because funnily enough you can't order a pay-monthly thing online without filling three years of address history, and the online form only accepts UK post codes.) 21:41:20 Still, they have a £15 "add-on" for 30 days of unlimited data, that's not too bad. 21:42:03 50p per day seem reasonable if you don't have another source of Internet access 21:42:17 Unlimited meaning limited, of course. 21:42:40 Plus they have this "feel at home" thing, which allegedly means I'll be able to use (25G/month or something) that data on my US visit, and also in Finland. 21:43:11 They have some traffic shaping thing, don't know about other limits. 21:43:19 -!- skj3gg_ has quit (Quit: ZZZzzz…). 21:45:03 I still have a Finnish SIM too, but it's too big to fit in this phone. 21:45:25 I guess I could have access to unlimited funds, if I was only allowed to spend 15p a day. 21:46:56 -!- skj3gg_ has joined. 21:47:40 Back in Finland I used to use maybe 100-150M of mobile data per month, so the £10 "add-on" with 1G of data for 30 days might be plenty, after the home internet gets here. 21:51:06 tethering? fizzie 21:52:31 -!- AndoDaan has quit (Ping timeout: 265 seconds). 21:53:37 -!- skj3gg_ has quit (Quit: ZZZzzz…). 21:54:22 -!- skj3gg_ has joined. 21:56:58 It's against the "Terms & Conditions"; I don't know if they've tried (or managed) to actually prevent it. (I remember reading one paper about guessing at the number of hosts behind a NAT based on TCP sequence numbers or source ports or whatnot, but that's probably a bit too fancy for real use.) 21:57:02 -!- skj3gg_ has quit (Client Quit). 21:57:10 (This is not a Three phone.) 21:57:15 so 21:57:17 tethering is 22:02:13 -!- skj3gg_ has joined. 22:03:01 -!- AndoDaan has joined. 22:04:32 -!- skj3gg_ has quit (Client Quit). 22:05:36 -!- skj3gg has quit (Quit: welp, see you later.). 22:07:57 AndoDaan: sadly, IO over Acian Carrier can't be used directly, you'd need some sort of IRC proxy. The latency of IO over avian carriers is too high to use TCP, but luckily I think (I'm not sure) an IRC client connection could be implemented without TCP. 22:08:41 dulla: Sharing a phone's network connection to other devices. 22:09:10 So abuse of the sim card and services? 22:09:14 s/IO/IP/ 22:09:45 -!- FreeFull has joined. 22:09:52 dulla: not necessarily abuse, some providers allow it 22:09:58 but most don't 22:10:20 fizzie, hm? I didn't know they could limit you from tethering 22:10:32 Thought that was a US ting only 22:10:47 Does irc make unique, idk, queries to people that are connected. Or could you fake a realtime connection? 22:10:47 yes, some providers actually encourage it, as in, they're advertizing they allow sharing with multiple mobile devices in a more expansive package, to get more customers 22:10:54 Not sure If I'm making sense. 22:11:10 tethering is allowed by default in Sweden 22:11:22 At least that was how it worked a couple of years ago 22:11:23 So more or less they are allowing Multi-Sim phones 22:11:24 Or 22:11:35 Non-phone sim usage 22:11:59 AndoDaan: you could get away with a connection with a very high lag, you'd just need some slight changes. 22:12:46 Hm this is a stupidly short USB cable to use for this 22:12:49 It is like 7 cm 22:12:58 Vorpal: Three allows it for pay-monthly plans but not for pay-as-you-go. 22:13:01 Was the only one I had on hand though 22:13:06 fizzie, I see 22:13:08 AndoDaan: basically, due to how IRC is planned to resolve conflicts after a netsplit (conflicts like nick collisions or different channel modes on different sides), it's something that could be modified to work between Earth and Mars 22:13:12 unlike, you know, the web 22:13:20 -!- ais523 has quit (Quit: buying food). 22:13:32 Hum 22:13:54 which does require flow control so you can't just flood the server on the other side by requesting lots of pages with a huge response (say large videos) 22:14:01 All I know is that Nick Collisions end in n-lateral kicking 22:14:06 it works even better if the servers are local to the clients 22:14:28 so the server can kick your connection rightaway if you're flooding, 22:14:34 how does it resolve chan modes, b_jonas 22:14:45 it's just that commands that go from the earth server to mars server or back will have lots of delays 22:14:54 I'm not saying the softwares would work as is, but they could be modified 22:14:55 -!- Tritonio has joined. 22:15:11 dulla: I'm not really sure, you'd have to ask on #freenode, but I think they compare timestamps and the earlier wins, or something like that 22:15:12 high latency ain't bad 22:15:22 ah 22:16:05 dulla: it sure ain't bad, it's just that our current infrastructure (if you count the web or facebook, all encrypted and uncachable by proxies) doesn't work at all with high latencies 22:16:43 Hmmm, at the very least, continuations could be helpful in high latency 22:16:46 so basically you can't recruit laypeople for a Mars settlement mission because they won't be able to access websites unless the company who runs the particular website runs a server on Mars and manages the synchronization themselves 22:16:51 But I know jack crap 22:17:19 Poor Mars One candidates. 22:17:51 but maybe Facebook would put a server there and manage it somehow 22:17:55 as far as synchronisation goes, let's get referential transparency as the norm for relational networks, yo 22:18:12 and Youtube and whatever else 22:18:41 For Youtube, segemented downloads 22:19:07 (there might be also problems with bandwidth throughput too in the first few decades, but at least that doesn't come from a fundamental physical limitation that can't be overcome with slightly better infrastructure) 22:19:33 dulla: no, for Youtube I think you really need a caching server on Mars 22:19:42 which google could probably put there 22:19:48 Nah, FB and the like will be replaced by a company that treats the high latency as a feature, not a obsticle. 22:19:50 Hum, I see what you mean 22:20:07 Oh, here's their definition of "unlimited": "All you can eat data gives you worry free internet use. Even if you used your phone for every minute of every day you could only use, subject to TrafficSense™, around 1000GB each month. We may use this cap to identify inappropriate use of the service, such as commercial use, which isn't permitted under our terms and conditions." 22:20:17 -!- skj3gg has joined. 22:20:19 Curious about the diferences between low-medium-high latency programs 22:20:53 Wow. That's a high cap and it's cool that they defined their unlimited limit. 22:21:19 yep 22:21:41 fizzie: so it's like the other unlimited services: it's unlimited but they terminate your subscription after the first month you use it too much 22:21:44 A caching server to cache the requested videos 22:21:57 at least you know the terms of service, b_jonas 22:22:08 still, high latency 22:22:11 dulla: yes, or simply all videos as soon as they're uploaded, even before they're requested 22:22:37 -!- skj3gg has quit (Client Quit). 22:22:58 Hmm 22:23:05 That high latency, though 22:23:16 and obviously it has to work backwards too, so all uploads from Mars are cached on Earth too 22:23:21 I know medium latency is about 12 seconds, high is around at least a minute 22:23:37 could use bitswap for caching 22:23:38 dulla: but Mars is farther than that, right? 22:23:49 * dulla srhugs 22:23:55 tens of minutes 22:24:36 The Martian is an excellent book for such info btw. Just read it. 22:24:50 well shit I have to come back later, 22:25:06 mars stuff with b_jonas and AndoDaan, right? 22:26:36 mailing lists (or usenet) should probably work too, as long as the mail servers filter spam locally 22:26:50 ye 22:26:50 it's just all the fancy modern stuff that wouldn't work 22:26:51 -!- Phantom_Hoover has joined. 22:26:55 mhm 22:26:56 which might be good 22:27:01 no resilience in modern things 22:27:05 Wow. That's a high cap and it's cool that they defined their unlimited limit. <-- 1 TB / month isn't that big 22:27:05 Unless you have an additional connection 22:27:06 I hit 150 GB / month on my tablet alone (wifi only) 22:27:07 Mostly on 1080p youtube 22:27:08 Oh wait, in november I hit 172 GB 22:27:09 According to the stats in Android 22:27:11 And so far this month I hit 130 GB 22:27:12 118 GB of that on the youtube app 22:27:15 AndoDaan, In a household where more than one person watches a lot of youtube you could easily hit a lot more than 1 TB / month 22:27:16 Also wth the lag 22:27:21 I mean, I don't want to go to Mars, but if enough people go, the effect might be good here on Earth too 22:27:24 What the fuck was that.. 22:27:44 start with the moon 22:27:47 seriously, the fuck 22:27:56 Shit's an 80's problem 22:28:14 Don't need no McDonalds on mars 22:28:18 dulla: Moon is easy, there's not much latency between the Earth and the Moon, current technology would just work 22:28:37 satellite internet users can already handle that much latency 22:28:44 b_jonas, well, you couldn't play CS GO from the moon 22:28:54 ok, probably not that 22:29:11 No I mean sustainablity, b_jonas 22:29:33 also, didn't old stuff run on medium latency 22:29:56 dulla, what do you mean with "stuff" and with "medium latency" 22:30:06 oh, you mean the problem is the other fundamental limitations like thermodynamics? 22:30:14 more than a few seconds, less than a minute 22:30:23 and stuff as in tech 22:30:25 comms 22:30:54 Hm 22:31:26 Radio and the speed of light? 22:31:29 s far as anything goes 22:31:38 just needs erasure codes out the ass 22:31:40 caching, too 22:31:44 and bitswap 22:31:53 what 22:32:01 generalised torrent 22:32:12 none of this perfile crap 22:32:19 Oh I thought you were talking about endianess 22:32:31 Never heard of bitswap in the torrent sense 22:32:36 hum 22:32:39 IPFS is using it 22:33:04 more or less because it'd be stupid to tie block dictionaries, blocks, etc per file header 22:33:16 I get hits about ADSL? 22:33:22 * dulla shrugs 22:33:28 I'm being dragged out the door 22:33:42 ipfs.io is the site, it has the whitepaper, if you are interested, Vorpal 22:33:43 If the pattern of noise versus frequencies heard in the bins changes, the DSL modem can alter the bits-per-bin allocations, in a process called "bitswap", where bins that have become more noisy are only required to carry fewer bits and other channels will be chosen to be given a higher burden. 22:33:45 Hm 22:34:05 dulla, so yet another one 22:34:07 Okay 22:34:25 What was the one I saw a while ago... Freenet? What happend to that 22:34:49 -!- skj3gg has joined. 22:36:34 -!- skj3gg has quit (Client Quit). 22:38:17 -!- oerjan has joined. 22:40:54 night 22:50:22 -!- skj3gg has joined. 22:50:28 -!- skj3gg has quit (Client Quit). 22:51:53 -!- ProofTechnique has quit (Quit: ZNC - http://znc.in). 22:53:01 -!- ProofTechnique has joined. 22:57:00 -!- ais523 has joined. 22:58:52 fizzie: you now should have all the necessary information to calculate the answer to the topic question hth 22:59:24 i expect you already know whether fungot is african or european. 23:00:57 -!- FreeFull has quit (Ping timeout: 252 seconds). 23:03:50 -!- FreeFull has joined. 23:09:30 -!- nycs has quit (Quit: This computer has gone to sleep). 23:30:27 -!- mihow has quit (Quit: mihow). 23:34:16 [wiki] [[Pig]] http://esolangs.org/w/index.php?diff=41928&oldid=41925 * 122.37.11.94 * (+106) 23:47:21 -!- zzo38 has quit (Remote host closed the connection). 23:49:08 yet another what Vorpal 23:49:54 It more or less compacts the issue of trackers into the unit client 23:53:56 I've written a PIG program. 23:54:07 Tourette's SyndromePIGMight be an interesting theme for an esoteric language. 23:56:27 hmm, I am finding this page surprisingly amusing: http://www.minesweeper.info/wiki/Famous_Cheaters