00:09:45 -!- yorick has joined. 00:10:08 -!- yorick has changed nick to Guest20901. 00:13:56 -!- Guest20901 has quit (Client Quit). 00:14:22 -!- augur has joined. 00:14:48 -!- yorick_ has joined. 00:15:11 -!- yorick_ has changed nick to Guest64625. 00:16:22 -!- Guest64625 has quit (Client Quit). 00:16:52 -!- yorick__ has joined. 00:20:20 -!- yorick__ has quit (Changing host). 00:20:21 -!- yorick__ has joined. 00:21:33 -!- yorick__ has changed nick to yorick. 00:29:21 I seem to be going to Edinburgh the weekend after next 00:29:39 Phantom_Hoover, why are train tickets to Edinburgh like twice as expensive as train tickets to Hexham? 00:29:50 Is it because Edinburgh is, in fact, twice as far away from here as Hexham? 00:29:58 i think it's something to do with that, yeah 00:30:16 of course there's also the customs duty on importing englishness 00:30:59 Am I allowed to protest that I am in fact only 50% English? 00:31:17 Is that relevant? 00:31:26 I do not know 00:31:30 I suppose you can ask 00:32:34 Taneb, price is generally roughly correlated with the length of travel yes. In most parts of the world at least. 00:33:34 god, google map's ui has got annoying 00:33:38 the trains tend to be so empty after newcastle it wouldn't be unexpected if they charged less, though 00:33:54 Vorpal, I was mostly surprised at the price because I've ended up with an instinct for train ticket prices entirely based on the York <-> Hexham route 00:34:04 all i want to do is pan in such a way that i can see edinburgh, hexham and york simultaneously :( 00:34:25 oerjan, Hexham is precisely the midpoint of the two cities 00:36:06 no GM, when i double click on the map i _don't_ want you to zoom out to the whole UK 00:38:24 what is the point of showing a smooth zooming if i cannot _stop_ it at an intermediate point 00:38:25 i'm more familiar with the edinburgh-midlands routes 00:38:50 which, if you've been very good this year and said the appropriate prayers, might be slightly under £60 00:44:20 `quote cage 00:44:20 No output. 00:44:32 @help quote 00:44:32 quote : Quote or a random person if no nick is given 00:44:48 Bah, I think the quote I am after is on lambdabot and I do not know how to search 00:48:32 @quote cage 00:48:32 No quotes match. And you call yourself a Rocket Surgeon! 00:48:51 oh 00:49:01 @quote monoid 00:49:01 thermoplyae says: someone finally pointed out to me that a monad is an monoid-object in an endofunctor category i have no idea how i've never seen that before 00:49:07 definitely not just nicks 00:51:14 Actually, no, it was on HackEgo 00:51:27 Something about a cage with a lambda underneath used as a trap 00:51:30 `quote trap 00:51:34 225) !bfjoust furry_furry_strapon_pegging_girls http://sprunge.us/eKWa * Sgeo had no idea that Gregor was hetero 00:51:48 ... 00:52:35 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:53:11 @quote cage.? 00:53:11 No quotes match. I am sorry. 00:53:17 @quote cage.* 00:53:17 No quotes match. :( 00:53:25 @quote .*cage 00:53:25 No quotes match. I am sorry. 00:59:29 `quote lambda 00:59:33 103) Gregor-P: I don't think lambda calculus is powerful enough \ 332) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 410) rest in peace lambdabot???? monqy: it'll probably be back later 00:59:50 `` quote lambda | tail -10 00:59:51 103) Gregor-P: I don't think lambda calculus is powerful enough \ 332) [after a long string of Lymia getting lambdabot to spit out huge, meaningless type signatures] I need to learn more Haskell... ..I need to get op privs. \ 410) rest in peace lambdabot???? monqy: it'll probably be back later 01:00:04 `` quote lambda | tail -1 01:00:05 1203) scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance 01:00:07 `` quote lambda | tail -5 01:00:08 410) rest in peace lambdabot???? monqy: it'll probably be back later nap in peace \ 497) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell \ 525) I think this 01:00:21 `pastequotes lambda 01:00:29 `` quote lambda | tail -2 01:00:29 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.9373 01:00:30 892) FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE \ 1203) scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance 01:00:41 `` quote lambda | tail -3 01:00:55 525) I think this has taught us one thing. We can't teach itidus20 lambda calculus by comittee \ 892) FOUR SIMULTANEOUS TYPE SYSTEMS IN A SINGLE ROTATION OF THE LAMBDA CUBE \ 1203) scheme doesn't have any control structures, you can make them yourself out of call/cc, lambdas, and arrogance 01:00:58 Whatever happened to itidus 01:01:06 Like, after he left the channel 01:01:43 497 is still one of the best quotes ever 01:01:47 he probably transcended to a higher plane of confusion 01:02:37 god, google map's ui has got annoying <-- website? app? 01:03:20 oerjan, you could also try openstreetmap maybe? 01:03:40 website. 01:03:57 oerjan, Hm yeah it doesn't do smooth scrolling fully afaik 01:04:06 well it was like, linked from the google result page for "york" 01:04:12 Is it possible to import openstreetmap data into SQLite? 01:04:54 zzo38, probably, but oh god the performance? 01:04:54 Check their wiki 01:05:32 iirc they use postgresql + postgis as their backend for vector data 01:06:45 `quote 497 01:06:49 497) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell 01:07:09 Write a RVTP server for PostgreSQL so that it can access with RVTP client, and then write a RVTP client for SQLite. 01:07:10 ais523, yeah that is pretty good 01:07:23 zzo38, wtf is rvtp? 01:07:30 -!- sebbu has quit (Ping timeout: 264 seconds). 01:08:04 Some protocol I made up but isn't implemented yet; it is short for "Remote Virtual Table Protocol" 01:08:21 -!- Patashu has quit (Disconnected by services). 01:08:21 -!- Patashu_ has joined. 01:08:34 Well whatever, I'm not sure anybody cares about importing gigabytes of map data in sqlite. 01:09:02 And frankly I don't see the point. OpenStreetMap has some good query tools written for it already 01:09:47 http://overpass-turbo.eu/ for example 01:10:56 `quote kmcbait 01:10:57 951) Sgeo_, are you just trying to post kmcbait... * Fiora imagines a cardboard box propped up by a stick with a pile of monads inside. Fiora: that is actually what Haskell is. 01:11:00 FOUND IT 01:11:46 Still it is using a webpage and then you might want to access by command-line 01:26:49 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 01:43:24 Do you know anything about Turtle RDF formats? 01:43:30 -!- AndoDaan has quit (Ping timeout: 264 seconds). 01:54:20 -!- boily has joined. 02:06:04 -!- boily has quit (Quit: ABOLUTIVE CHICKEN). 02:09:56 -!- copumpkin has joined. 03:04:21 -!- sebbu has joined. 03:04:59 -!- sebbu has quit (Changing host). 03:04:59 -!- sebbu has joined. 03:14:25 -!- Tritonio has quit (Remote host closed the connection). 03:20:18 -!- oren has joined. 03:24:05 -!- Sprocklem has joined. 03:24:49 -!- ^v^v has joined. 03:27:53 -!- ^v has quit (Ping timeout: 245 seconds). 04:00:59 -!- lokita23 has joined. 04:01:36 -!- ^v has joined. 04:01:36 -!- lokita23 has quit (Read error: Connection reset by peer). 04:17:27 A virtual table in SQLite could have read-only fields, write-only fields, and compare-only fields. 04:20:28 -!- not^v has joined. 04:23:18 -!- ^v has quit (Ping timeout: 245 seconds). 04:24:34 -!- not^v has quit (Read error: Connection reset by peer). 04:25:23 -!- not^v has joined. 04:27:53 -!- bb010g has quit (Ping timeout: 245 seconds). 04:29:08 -!- nyuszika7h has quit (Ping timeout: 245 seconds). 04:30:16 -!- not^v has quit (Ping timeout: 265 seconds). 04:30:42 -!- nyuszika7h has joined. 04:38:29 -!- bb010g has joined. 04:54:19 -!- nyuszika7h has quit (Read error: Connection reset by peer). 04:55:48 -!- skarn_ has quit (Ping timeout: 245 seconds). 04:56:02 -!- nyuszika7h has joined. 04:56:13 -!- pikhq has quit (Ping timeout: 245 seconds). 04:56:13 -!- fractal has quit (Ping timeout: 245 seconds). 04:56:21 -!- pikhq has joined. 04:56:29 -!- arjanb has quit (Quit: .). 04:57:39 -!- skarn has joined. 05:01:48 -!- fractal has joined. 05:04:19 -!- GeekDude has quit (Quit: ZNC - http://znc.in). 05:46:10 -!- not^v has joined. 05:46:20 -!- ^v has joined. 05:46:24 -!- ^v has quit (Client Quit). 05:47:48 -!- not^v has quit (Read error: Connection reset by peer). 05:57:23 -!- ^v has joined. 06:10:04 -!- oren_ has joined. 06:10:25 -!- oren has quit (Ping timeout: 246 seconds). 06:11:28 I recieved an awesome book today. Nelson's Japanese-English Character Dictionary. It is a bit outdated, but beautiful and easy to look kanji up in. 06:16:04 hmm, this reminds me 06:16:14 some of the art contributed to NetHack 4 contains what are apparently Chinese characters 06:16:21 and I want to make sure that they don't say anything rude or out-of-place 06:16:37 You should try to learn what it does mean anyways 06:17:40 yes 06:17:46 Isn't nethack a text-based game? 06:18:28 I think you can do icon-mode too though? 06:18:41 -!- not^v has joined. 06:19:19 zzo38: googled it, yeah apparently there is a mode with actual graphics 06:20:19 oren_: I'm implementing both multiple graphical modes, and multiple text modes 06:20:36 anyway, here it is: http://nethack4.org/pastebin/unknown-chinese.png 06:20:53 I'd put it into Google Translate or the like, but I don't know how to translate the image into ideograms 06:21:27 especially given how small the image is 06:21:30 -!- ^v has quit (Ping timeout: 250 seconds). 06:21:40 I suppose multiple text mode can be ASCII mode, PC mode, VT100 mode, and Unicode xterm mode, and also colors or monochrome, and there are some other kind of details too I think; would that be it? 06:21:44 anyone have ideas for an OCR that works on Chinese? 06:22:20 I don't have any OCR, but I know there is servers to look up by radicals and other methods that you can pick from the form 06:22:28 zzo38: well, currently the user specifies what characters they want; there are two implemented modes for this, one selection uses only characters that exist in ASCII, the other uses only characters that exist in codepage 437 06:22:36 and then the game engine works out how to render it 06:22:39 last character is 少 meaning "small" not sure about the other two 06:22:52 no I don't think it is 06:23:00 the top-left stroke is sloping top left to bottom right 06:23:05 not bottom left to top right 06:23:20 (also flavour implies that this is Chinese rather than Japanese) 06:23:24 You also have to look if it is Simplified Chinese or if it is Traditional Chinese 06:23:31 I don't know, is the answer 06:23:35 it may well be meaningless 06:23:41 I just don't want it to be meaningful in an offensive way 06:24:21 (My opinion is that Traditional Chinese is better; however, inside of China it is usually Simplified is used) 06:24:52 What are those Chinese icons used for anyways? 06:24:57 zzo38: I think the majority use is different between mainland China and Taiwan, isn't it? 06:25:00 and they decorate a wall 06:25:04 in the tileset called "Chinese wall" 06:25:10 which is why I think it's meant to be Chinese 06:26:04 OK 06:26:38 ais523: As far as I understand, Simplified is used in China, and Traditional is for everywhere else in the world 06:27:08 Japan has its own less simple simplifications 06:27:24 -!- v^ has joined. 06:27:42 they are called 新字体 (shinjitai) 06:28:06 oren_: Yes I know that too, and theirs aren't as difficult understanding as Simplified Chinese, I think. 06:28:50 zzo38: I can see that. In my new book the traditional version is listed beside each character and they are usually barely different 06:29:44 -!- ^v^v has quit (Ping timeout: 250 seconds). 06:30:03 one of the bigger chages is 竜 from 龍 06:31:30 but most of the time it is just changing whether strokes are connected or not, or whether they cross another stroke or not 06:32:19 -!- ^v has joined. 06:35:22 -!- not^v has quit (Ping timeout: 250 seconds). 06:37:17 hmm, now I'm halfway though character map looking for them 06:37:19 I tried linedict.com but I can't find anything that looks like the first two characters 06:39:07 I guess the first one could be 牜? 06:39:11 `unicode 牜 06:39:17 U+725C CJK UNIFIED IDEOGRAPH-725C \ UTF-8: e7 89 9c UTF-16BE: 725c Decimal: 牜 \ 牜 (牜) \ Uppercase: U+725C \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 06:39:29 probably not though 06:40:30 That's like a halfwidth version of 牛 which means cow 06:41:05 the second one is pretty hopeless, I agree 06:41:42 It could be 夶 06:42:01 but it doesn't really work 06:42:03 I don't think there's a great match for the third one either 06:42:22 `unicode 夶 06:42:24 U+5936 CJK UNIFIED IDEOGRAPH-5936 \ UTF-8: e5 a4 b6 UTF-16BE: 5936 Decimal: 夶 \ 夶 (夶) \ Uppercase: U+5936 \ Category: Lo (Letter, Other) \ Bidi: L (Left-to-Right) 06:42:34 in general chinese characters don't often have a shape like < in them 06:42:52 yep, many of the shapes there are quite different from anything I'm seeing in the Unicode list 06:43:18 if we go by slope directions of the lines (which are very clear in the third shape), the only option is 氵 06:43:29 but I have a feeling that would have been drawn differently 06:43:32 If those are chinese characters then they are pixelated out of recognition 06:43:37 yep 06:43:49 in that case, I'm probably OK with them, although perhaps we should actually spell something appropriate 06:43:51 or at least amusing 06:44:31 and 氵 is crazily common, at least, and not particularly awkward 06:44:41 (it was nice of Unicode to give definitions) 06:44:43 that is the water radical 06:44:52 yep 06:45:35 in retrospect, this doesn't actually look very much like a CJK language at all 06:45:41 and perhaps is failing to perform its function due to that? 06:47:29 most recognizable characters would become orange blocks at that scale... 06:51:18 take 街道 which means street for example... 06:54:06 isn't that two ideograms? 06:54:07 but yes 06:56:45 yes two. In chinese Jiēdào. In japanese it is pronounced kaidou and means highway 06:58:11 hmm, how cross-intelligable are written chinese and japanese? 06:58:59 only a little. 06:59:18 like french and italian? 07:00:14 the japanese-chinese words are mostly ones from the middle ages, so their meanings have shifted, and Mandarin has evolved in the meantime. Japanese and Classical Chinese are much closer 07:00:31 so yes, pretty much exactly like french and italian then 07:00:52 More like italian and english 07:01:20 because japanese has a superstrate of chinese over a japanese substrate 07:01:22 sometimes I play computer games set to a foreign language, for fun 07:01:56 like english has a latinate superstrate over a germanic substrate 07:03:57 ais523: yeah that can be fun 07:07:03 The most annoying thing my parents used to do is speak in italian french or spanish, depending on their mood, in order so I couldn't tell what they were saying. 07:08:20 it was really annoying to 8 year old me 07:10:14 is that why you learned japanese twh 07:10:54 oerjan: It may be why I practice it with my best friend in my dad's office 07:11:53 きゃははは、お父さん、分からないか？ 07:13:59 -!- ^v has quit (Quit: http://i.imgur.com/Akc6r.gif). 07:14:51 nice gif 07:15:20 wait, you follow random links in people's quit messages? 07:15:26 that's almost like clicking on spam 07:15:47 ais523: I do that too 07:16:38 I have noscript, adblocker, and this computer is total crap anyway 07:18:05 -!- Patashu_ has quit (Ping timeout: 252 seconds). 07:18:29 It's like my dad agressively driving in a 15 yearold ford focus 07:20:01 Aww no gif 07:27:40 Why can't I smelt cobalt from cobaltite 07:56:06 -!- Sprocklem has quit (Ping timeout: 264 seconds). 08:18:05 -!- oerjan has quit (Quit: Because of the kobolds hth). 08:35:21 -!- shikhin has joined. 09:19:30 -!- naturalog has quit (Ping timeout: 264 seconds). 09:20:06 -!- aloril has quit (Ping timeout: 264 seconds). 09:21:26 -!- tromp__ has quit (Ping timeout: 264 seconds). 09:21:26 -!- jameseb has quit (Ping timeout: 264 seconds). 09:26:06 -!- glogbot has quit (Ping timeout: 264 seconds). 09:26:13 -!- esowiki has joined. 09:26:17 -!- esowiki has joined. 09:26:17 -!- esowiki has joined. 09:27:16 -!- esowiki has joined. 09:27:20 -!- esowiki has joined. 09:27:21 -!- esowiki has joined. 09:27:53 -!- esowiki has joined. 09:27:57 -!- esowiki has joined. 09:27:58 -!- esowiki has joined. 09:28:43 -!- esowiki has joined. 09:28:47 -!- esowiki has joined. 09:28:48 -!- esowiki has joined. 09:29:47 -!- esowiki has joined. 09:29:51 -!- esowiki has joined. 09:29:51 -!- esowiki has joined. 09:30:23 -!- esowiki has joined. 09:30:27 -!- esowiki has joined. 09:30:28 -!- esowiki has joined. 09:31:13 -!- esowiki has joined. 09:31:17 -!- esowiki has joined. 09:31:18 -!- esowiki has joined. 09:32:03 -!- esowiki has joined. 09:32:04 -!- glogbot has joined. 09:32:07 -!- esowiki has joined. 09:32:08 -!- esowiki has joined. 09:33:35 -!- aloril has joined. 09:38:19 I found some papers on which I have written several kind of chess variants. One is a complex dimensional chess variant. 09:38:41 what 09:39:09 There is also one where the bishops are now beavers and the king can use a shotgun but only if he has a license. 09:40:02 you can find lots of chess variants on the internet. 09:40:08 some of them are crazy. 09:42:07 I know and many I have put in too. 09:44:31 There is also "Bland Chess" from my brother; no diagonal moves are allowed (although knights can still move normally). 09:45:21 This means that pawns cannot capture, queens are same as rooks, bishops cannot move at all, and the king moves only one space orthogonally. 09:48:10 There is also a game "Chess With Checkers Added" that both me and my brother have simultaneously invented independently; we both invented the same game. At first he just put the checkers in front of the pawns as a joke but then we both made up the same rules for the game that is set up like that. 09:51:43 Do you make up chess variant too? 09:59:08 zzo38: hehe, "bland chess" reminds me to two variants Smullyan mentions: one where every piece can move only in a way that it stays on the same colored square that it starts from, so pawns can only move double or (non en-passant) capture, 09:59:23 and knights are just stuck? 09:59:26 and the less restricted version where knights can't move but other figures aren't restricte. 09:59:30 yes, knights are stuck. 10:00:20 clearly we need Evil Chess where the pieces sometimes explode when you move them, and arbitrary time limits are placed on you every now and then, and the rules aren't what you think they are, and there are cutscenes 10:01:04 cutscenes! 10:01:06 hehehe 10:01:17 Another idea if something I wanted to learn how to make up is the chess variant where the commands of INTERCAL are included. 10:01:32 lol 10:01:38 chess with intercal commands 10:02:01 (d4) DO COME FROM d2 10:08:12 -!- CrazyM4n has joined. 10:09:27 -!- naturalo1 has changed nick to naturalog. 10:09:30 Is it possible to make a C header file with macros having mangled names so that it can interface with C++ programming? 10:10:29 zzo38: not macros, but you can do wrapper functions by using a separate C++ object file 10:10:47 which basically has a bunch of C++ functions that call counterparts declared with extern "C" 10:11:33 zzo38: it depends on the architecture 10:11:51 I wanted to do it without wrapper functions so that the function pointer is the same as the C function 10:11:54 zzo38: on some compilers or systems, C++ symbols mangle to names that aren't valid in C because they contain weird characters 10:12:26 wait, let me look up the specifics 10:12:32 On which systems are they? Is it possible with GNU C? 10:12:58 a moment, I don't know off the top of my head, I just let the compiler and debugger deal with this stuff 10:13:42 So I've been messing around with trying to reverse engineer /dev/input/mice for fun 10:13:47 Did I miss anything? https://gist.github.com/CrazyM4n/553379cf3fa93721664f lol 10:13:51 the MS compiler use @ signs in mangled names 10:14:05 and ? signs too 10:14:26 all C++-mangled names start with a ? sign 10:14:45 -!- adu has quit (Quit: adu). 10:15:23 on GNU C, it might be possible because it uses only alphanumeric and underscore characters in mangled names 10:15:47 But the C++ code might be compiled with a different compiler even though I am using GNU 10:16:21 but of course such a thing might be somewhat fragile and dependent on the version of compiler and libstdc++ you're targetting, not because of the name mangling, but because of the other stuff like representation of library stuff and exceptions and other horrible things 10:16:39 -!- Phantom_Hoover has joined. 10:16:55 zzo38: yes, and? 10:16:58 I don't actually know what compiler and libc++ and stuff they are using 10:17:29 zzo38: why don't you use the normal solution, that is, write the wrappers in C++? 10:17:38 oh wait, wrong channel for that 10:17:56 Like I said maybe it is a different compiler, for one thing 10:18:02 zzo38: anyway, if you wanted for MSVC, you could try writing in assembler directly 10:18:06 rather than C 10:18:36 zzo38: sure, if you don't know the compiler then you can't compile C++ interfaces. 10:18:53 you have to know the compiler type and version and architecture. 10:20:33 I believe their files are Microsoft but my files are GNU and I want to be able to interface them, preferably only the header file needs to change and the main file can be keep the same one even when interfacing with other C++ programs with other compilers and versions and architectures. 10:21:21 zzo38: could you make C interfaces for your code, compiled with gnu, and a thin C++ wrapper for it, compiled with MSVC, possibly header-only with inline functions? 10:21:56 zzo38: for MSVC, if you don't do this and you want to generate the mangled stuff yourself, you might also have to depend on which version of MSVC 10:22:12 zzo38: if this is not esoteric stuff, then don't do that, and just write a wrapper they have to compile or include 10:22:47 you can probably make the wrapper portable enough C++ and test it by compiling (including) it in a C++ program compiled with gnu C 10:23:10 but even then, you can be burned by the various idiocies of the MS compiler regarding C++ 10:24:27 I don't even know if I have MSVC, and if I do, I don't know what versions and other stuff 10:25:52 Also it is interfacing with a DLL 10:26:21 zzo38: sure, but the DLL can have a C interface 10:26:43 if you give them a thin wrapper they include or compile, then it can be mostly portable among compilers 10:26:51 The program expects to load a DLL file with C++ codes 10:27:09 But I want to write the DLL file with C codes 10:27:11 well, a DLL with C++ interface can almost never be portable among multiple versions of MSVC, or among gcc and msvc 10:27:26 so if you want to do that, then you'll have to ask what compiler they're using 10:28:04 you also have to know the operating system type (windows or linux etc) and the CPU (x86 or x86_64) 10:32:53 -!- skarn has quit (Ping timeout: 245 seconds). 10:33:09 -!- skarn has joined. 10:40:23 -!- Lymia has quit (Ping timeout: 245 seconds). 10:44:56 oh no, I just realised 10:45:08 the current realtime-viable glitch to the credits in Super Mario World 10:45:13 spells out shellcode /using shells/ 10:45:25 why is this not an observation that I've seen elsewhere 10:47:48 you mean koopa shells? 10:48:10 yep 10:49:31 -!- Lymia has joined. 10:51:33 nice 10:54:30 [wiki] [[Special:Log/newusers]] create * MuEncy12345 * New user account 10:54:42 ooh, those digits are in sequence 10:54:45 probably not a spambot 10:58:45 [wiki] [[User:MuEncy12345/Island]] N http://esolangs.org/w/index.php?oldid=41902 * MuEncy12345 * (+785) Created page with "[[User:MuEncy12345/Colloquial|Colloquial]] abbr|eviation of [[User:MuEncy12345/island mu-molecule|Island mu-molecule]], or of User:MuEncy12345/island mu-unit|island mu-un..." 10:59:41 oh no, it's a spambot 10:59:55 and it looks like a copyright-infringing one, too 11:00:21 [wiki] [[Special:Log/delete]] delete * Ais523 * deleted "[[User:MuEncy12345/Island]]": copyright-infringing spam 11:00:54 [wiki] [[Special:Log/block]] block * Ais523 * blocked [[User:MuEncy12345]] with an expiry time of 2 decades, 4 years, 4 hours, 19 minutes and 12 seconds (account creation disabled): copyright-infringing spambot 11:00:55 I have a feeling that it was planning to make a bunch of pages, all cross-linked 11:01:56 "11:00, 15 February 2039" 11:02:03 yay, they fixed the Y2038 bug 11:02:04 http://mrob.com/pub/muency.html 11:02:14 vanila: isn't that the link that was being spammed? 11:02:40 why did you post it to the channel 11:04:15 or, hmm 11:04:20 definitely copyright infringement 11:04:27 less sure on the spam, though, because it links to source 11:04:51 [wiki] [[Special:Log/block]] unblock * Ais523 * unblocked User:MuEncy12345: maybe not a spambot 11:05:07 -!- CrazyM4n has quit (Remote host closed the connection). 11:06:28 [wiki] [[User talk:MuEncy12345]] N http://esolangs.org/w/index.php?oldid=41903 * Ais523 * (+568) warning 11:07:37 http://mrob.com/cc-license.html 11:07:42 you are free to copy and reuse any of this work as long as you tell people where it is from 11:08:23 vanila: and it's noncommercial 11:08:35 and you preserve copyright notices 11:08:50 the wiki's copyright status outright claims a different copyright on everything posted there 11:09:00 that is, that anything there can be reused for any purpose, no attribution required 11:09:13 almost. "Content is available under CC0 public domain dedication unless otherwise noted." 11:10:06 at least the way I'm reading that I could post an article under some other CC license (for example) if I explicitely state that in the article. 11:10:26 that's just boilerplate that a wiki upgrade put on there 11:10:41 the edit prompt requires a CC0 license 11:11:24 ah. it's been a while. 11:11:42 yep, bad MediaWiki default 11:11:51 you can't go around changing the wiki's copyright status like that! 11:12:23 [wiki] [[MediaWiki:Copyright]] N http://esolangs.org/w/index.php?oldid=41904 * Ais523 * (+30) a MediaWiki apparently put a bad (lack of) copyright notice on here; fixing that 11:12:27 OK, fixed 11:12:46 scary 11:12:56 is solar power enough to keep a drone in the air 11:13:20 vanila: I believe so, but it has to have a very weird form factor to make enough room for the solar panels 11:13:57 probably no. if it was, birds would just eat the plants (moss, lichens) grown on their backs and wings rather than actively seeking out food 11:14:12 haha 11:15:32 what's new in esoland 11:16:29 this shellcode with shells is a good enough joke that maybe you should ask the tasvideos guys to edit it into the description 11:16:41 most people don't know what "shellcode" means 11:16:49 and the TASvideos route doesn't use that method of setup 11:16:52 oh the mario thing 11:16:54 rather, it uses the controller ports 11:17:06 oh 11:17:16 do "most people" watch tases? 11:17:32 Did you see a guy perform the exploit by hand? 11:17:35 I think speedruns are more popular 11:17:38 on a real SNES 11:17:40 vanila: yep, it's been done by hand 11:17:45 different setup, though 11:17:53 there's actually a video explaining all the steps on YouTube 11:18:14 I wonder how to find similar code exec type things in NES and gameb oy games 11:18:26 oh, you said realtime-viable glitch 11:18:30 that's much scarier 11:19:16 I mean, it's not like GB pokémon where you can just edit memory in real time 11:19:36 or Zelda OOT where they do memory corruption with items in real time 11:19:52 but then 11:20:15 apparently the GB Super Mario Land 2 memory corruption has been performed in real time too 11:20:25 so I shouldn't be surprised by any of this anymore 11:22:23 very interesting :)) 11:22:43 these real time speedrunners are crazy 11:23:07 they find their way to perform glitches in real time 11:23:14 develop very crazy techniques 11:23:23 b_jonas: I do realtime speedrunning too 11:23:25 in Neverwinter Nights 11:23:41 ais523: ok, but how glitched? 11:24:10 wall clips and item duping and exploiting broken scripts, mostly 11:24:12 mind you, a not very glitched real time speedrun can be also amazing when the player demonstrates good technique 11:24:24 I enjoy both kinds 11:24:28 do you pull the scripts out of the game and study them? 11:24:40 yes, there's a level editor that can read them 11:24:45 cool :D 11:24:48 although you can only use it on levels you've already completed 11:25:05 (unless you just rename the files to make them think they're custom) 11:25:39 on what console or operating system do you speedrun that? 11:25:50 Windows 8.1 11:25:52 (I think you mentioned this once already when I asked about silence spells) 11:25:53 ok 11:26:05 (but it could have been a different game) 11:37:16 -!- Tritonio has joined. 11:37:25 I think curly brace syntax might be ergonomically bad for me, at least on a Finnish keyboard. AltGr in general is a problematic key. 11:38:00 -!- TieSoul has changed nick to TieSchool. 11:38:10 -!- TieSchool has changed nick to TieSoul. 11:39:50 ive made it so the [/{ and ]/} keys input ( and ) for me 11:39:52 that makes lisp easier 11:39:57 -!- Patashu has quit (Ping timeout: 265 seconds). 11:41:19 vanila: Yeah, in DrRacket I have Å mapped to automatically output the () or [] pair I need for the context; but right now I'm doing JavaScript tutorials on codecademy; which doesn't even do auto-pairs. 11:52:14 I think keyboards in general need more keys. I would put a few more rows above the number row 11:54:09 although maybe that wouldn't help if you're a touch-typist 11:54:44 I type with two fingers 11:56:18 J_Arcane: () or [] are a little easier to type than Å (capslock shift-a a for me) 11:57:00 ais523: å, rather, which is a plain key on a Finnish keyboard. 11:57:06 Just to the right of p. 11:57:25 that's where [ is already on a UK keyboard 11:57:55 also UK keyboards have exactly two altgr keys, it used to be one 11:58:11 one of them is a second |; on some OSes, it looks different from the original | 11:58:20 and the other, added quite recently, is € 11:59:26 å 11:59:37 for me it is &aa 12:01:19 I don't like my compose key to be a key that's otherwise useful 12:01:31 caps lock's intended function is the least useful on the keyboard 12:01:34 even pause is useful more often 12:02:11 I use caps-lock for WM interaction. 12:03:26 Caps lock is useful if you use it for IME switching 12:04:22 (slightly perversely, I use the left windows key for äöüÄÖÜß...) 12:05:16 Ι υσε 12:05:51 super is a generally useful key, though 12:06:01 also I use alt+super for WM interaction 12:06:03 a single key tended to get typoed too often 12:06:18 I use alt for WM interaction, 12:06:28 but not all alt+key and alt+mouse combos are that, only some of curse 12:06:30 That's what happens when you look at the screen instead of you keyboard 12:07:46 alt plus any of (the function keys, escape, space) (possibly with other modifiers at the same times); alt plus right or middle drag; and alt plus control plus arrows and edit keys and numpad keys 12:08:36 but I should refine the specific, in particular, I should make a system where shift isn't used for any WM function so I can reserve it as a modifier to act on a WM nested inside a VNC session 12:08:47 does that sound crazy? 12:09:12 b_jonas: no, I've run into that nesting problem myself 12:09:39 I've never found a need to interact with a window manager with my keyboard... What would the point be? 12:09:51 oren_: the mouse is so far away 12:10:10 int-e: sure, but is the particular desire to have two full sets of shortcuts (rather than either a limited set of shortcuts in the nested WM, or switch with numlock, or act on the nested stuff only when it's full screen) normal? 12:10:13 It is in the centre of my kyboeard 12:10:17 -!- skj3gg has joined. 12:10:29 hmm, actually switching with numlock might be an option 12:10:29 oren_: well, mine isn't. I hate those knobs or touchpads. 12:12:10 touch typists tend to hit the touchpad with their wrists but my typing style never has that problem 12:12:11 (they don't have the same accurace and speed as a proper mouse, for me) 12:12:17 *accuracy* 12:13:01 well yeah for games I use an actual mouse 12:14:27 i type in a position resting my fingers on the cdwq and mkop keys 12:14:41 oren_: I interact with a mouse too sometimes, or with a combination of the keyboard modifiers and mouse 12:14:54 well sort hovering over that area anyway 12:14:56 oren_: I have set it up so I can do almost any function with either the keyboard or the mouse, 12:15:04 oh good grief 12:15:14 (well, not really, the window managers are like that by default, I've just modified the settings a bit) 12:15:19 all this time i'd thought the david mitchell who wrote cloud atlass was the comedian 12:15:22 *atlas 12:15:35 except of course restoring a full screen window, which you have to do with the keyboard because there's no WM area left on 12:16:02 but I rarely full screen windows, only for games or watching movies, when I don't want to interact with the WM for a while 12:16:42 I have, however, spent some time to be able to make the WM are very small so it doesn't waste vertical screen estate 12:21:08 -!- oren_ has changed nick to oren. 12:22:57 Phantom_Hoover: whatver. I only recently found out that "led zeppelin" is not the name of a guitarist 12:24:46 -!- SopaXorzTaker has joined. 12:25:01 -!- skj3gg has quit (Quit: ZZZzzz…). 12:30:50 -!- AnotherTest has joined. 12:33:43 -!- ais523 has quit (Quit: buying lunch). 13:07:20 -!- ais523 has joined. 13:08:17 -!- shikhin_ has joined. 13:11:00 -!- shikhin has quit (Ping timeout: 250 seconds). 13:16:28 -!- Tritonio has quit (Ping timeout: 252 seconds). 13:18:35 so, I started working on azip again 13:19:04 and found a really elegant algorithm for "find all substrings that appear more than once in a given string" that runs in O(n log n log n) time 13:20:22 now I'm wondering where to start looking to see if it's already known 13:23:28 that sounds really interesting!! 13:24:49 I'm planning to use it to make the new version of azip 13:24:55 or maybe just a better zlib encoder 13:26:07 azip is a compression algo Iwas working on a while back 13:26:25 it's about comparable with bzip2 (and much better than gzip) 13:28:50 -!- AnotherTest_ has joined. 13:28:57 oh, it assumes that the input string can be indexed in O(1), which might or might not be true in practice 13:29:27 -!- AnotherTest has quit (Ping timeout: 245 seconds). 13:29:27 -!- AnotherTest_ has changed nick to AnotherTest. 13:29:32 otherwise, you'd have to build a binary tree out of the input string for indexing it, and get O(n log³ n) performance 13:30:37 -!- ais523 has quit (Quit: rebooting). 13:34:22 -!- ais523 has joined. 13:40:50 Karp, Miller, Rosenberg "" 13:40:51 Rapid identification of repeated patterns in strings, trees and arrays 13:41:03 1972, looks relevant 13:41:29 Though old. https://en.wikipedia.org/wiki/Suffix_array#Construction_Algorithms has a couple more references. 13:42:47 (The Karp, Miller, Rosenberg one is based on the idea of first identifying equal letters, and then doubling the match lengths iteratively, in O(n) steps per doubling. So it'll actually be O(n log n) total for what you need, I think.) 13:44:30 int-e: my algorithm is basically that, with some extra tricks to also figure out the lengths 13:47:02 oh, hmm, the algo there is a) not the same as mine, b) solves a subset of the problem 13:47:22 theirs looks for matches at length n, mine finds all lengths n for which there are matches (together with the matches themselves) 13:48:21 Actually... 13:48:58 if you have "aaaaaa", how what does the output of the algorithm look like? Do you only look for longest matches? 13:50:21 (with a^n as input, listing all occurrences of a^k for k it finds a single match at each of the lengths 1, 2, 3, 4, and 5, because it doesn't directly find matches that are prefixes of other matches (but those are trivial to add to the output if you need them, but that obviously gives you O(n²) performance worst-case) 13:51:23 also the output's hierarchical in a sense 13:52:23 ah no, right, that paper is basically the same algo as mine 13:52:34 just with less information retained between iterations 13:52:47 I thought it would be unlikely to be new 13:53:59 anyway, 1972 is over 25 years ago 13:54:04 Mainly I was trying to suggest suffix arrays and trees as starting points for finding related work. 13:54:06 meaning no patent concerns even if you're American 13:54:28 Then I looked at the Karp paper and wondered how close it was to what you actually did. 13:54:36 a suffix array is the form which my output takes 13:55:04 except that it also knows the longest common prefix of any two consecutive lines 13:55:41 (I should write Karp et al.) 13:56:16 aha: https://en.wikipedia.org/wiki/LCP_array 13:56:20 this is what I was looking for 13:57:15 apparently it was done in O(n) (!) in 2003 13:57:39 actually 2001 13:58:26 also there's an O(n²) algo that's faster in practice, asymptotic performance can be weird sometimes 13:59:32 linear time suffix tree construction has been known since 1973. 14:00:45 ꙮ_ꙮ is my favourite emoticon 14:01:05 (That's not an LCP yet, of course.) 14:01:35 14 eyed horror 14:01:42 Mostly because my housemate's terminal can't render it 14:01:47 (20 in some fonts) 14:02:18 my terminal doesn't render it either 14:02:42 int-e: yes, linear time LCP is what I was surprised at 14:02:43 but cut&paste work 14:02:59 it's even been done with only enough memory to hold the inputs plus the outputs 14:03:40 -!- GeekDude has joined. 14:04:22 -!- AnotherTest has quit (Ping timeout: 240 seconds). 14:04:45 wow, Springer are trying to sell the paper about the fastest known LCP algorithm for £20 14:05:23 -!- AnotherTest has joined. 14:06:22 Fun. Do you need a copy? 14:06:59 it's not in this University's subscriptions, directly 14:07:06 I'm going to check for preprints and the like 14:07:09 or other versions 14:07:44 yay for preprints: http://arxiv.org/pdf/1101.3448.pdf 14:17:39 -!- boily has joined. 14:42:28 -!- shikhin_ has changed nick to shikhin. 14:53:56 "All programs were compiled using the same compiler options (-ffast-math -O9 -funroll- loops -DNDEBUG)." 14:54:04 wow, those are some compiler options 14:55:25 I don't think -O normally goes up to 9 15:03:55 I thought you had -Os, -O0, -O1 and -O2? 15:04:08 -O3 too, isn't there? 15:05:27 perhaps. for me -O2 is already dangerous, and can cause many miscast effects... 15:06:25 (that is to say: nothing above 0 when programming µC. also, I may be playing DCSS at the moment >_>'...) 15:07:24 yay, I am currently first on an anagolf problem: http://golf.shinh.org/p.rb?utf8+to+unicode 15:07:40 -O3, also -Ofast exists for some reason 15:08:15 ah, apparently -Ofast is -O3, plus optimizations that violate the relevant standards 15:08:43 (in the case of C, it's equivalent to "-O3 -ffast-math" in the gcc I have installed) 15:21:08 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 15:22:28 -!- kapil__ has quit (Quit: Connection closed for inactivity). 15:32:13 -!- boily has quit (Quit: EQUIVALENT CHICKEN). 15:59:55 -!- Tritonio has joined. 16:02:23 -!- SopaXorzTaker has quit (Ping timeout: 256 seconds). 16:38:08 -!- Tritonio has quit (Ping timeout: 252 seconds). 16:41:02 -!- ^v has joined. 16:51:34 -!- not^v has joined. 16:53:18 -!- ^v has quit (Ping timeout: 250 seconds). 17:01:18 -!- skj3gg has joined. 17:11:25 [wiki] [[Special:Log/newusers]] create * NeilK * New user account 17:13:12 [wiki] [[Language list]] http://esolangs.org/w/index.php?diff=41905&oldid=41887 * NeilK * (+17) HeartForth added 17:14:23 clever bot. or perhaps, a human ;) 17:24:26 [wiki] [[Special:Log/upload]] upload * NeilK * uploaded "[[File:HeartForth Factorial.png]]": A screenshot of HeartForth, an Emoji stack language. 17:28:58 -!- PinealGlandOptic has joined. 17:31:07 -!- ais523 has quit. 17:31:17 -!- ais523 has joined. 17:31:56 [wiki] [[HeartForth]] N http://esolangs.org/w/index.php?oldid=41907 * NeilK * (+782) Initial page for HeartForth 17:32:50 :grinning::boom:0:revolving_hearts::point_right::two_hearts:1:heavy_minus_sign::two_hearts:1:pray::+1::point_right::couple_with_heart:0:pray::+1::revolving_hearts::broken_heart::wink: 17:34:10 [wiki] [[HeartForth]] http://esolangs.org/w/index.php?diff=41908&oldid=41907 * NeilK * (-2) /* Examples */ 17:35:13 [wiki] [[HeartForth]] http://esolangs.org/w/index.php?diff=41909&oldid=41908 * NeilK * (+0) /* Examples */ 17:36:01 "Clean visual separation between program and data." 17:37:09 [wiki] [[User:NeilK]] N http://esolangs.org/w/index.php?oldid=41910 * NeilK * (+45) contact info 17:38:02 [wiki] [[HeartForth]] http://esolangs.org/w/index.php?diff=41911&oldid=41909 * NeilK * (+2) /* Disadvantages */ bulleted to match 17:41:07 -!- Sprocklem has joined. 17:51:16 * int-e idly wonders whether the use of those emoji constitutes fair use 17:52:15 -!- skj3gg has quit (Read error: Connection reset by peer). 17:55:42 -!- skj3gg has joined. 18:01:49 unicode is public domain, right 18:01:58 "or whatever" 18:02:06 oh I see 18:02:09 the graphics themselves 18:02:14 why don't we just inline the actual emoji 18:02:25 we can't do fair use anyway 18:02:27 since the wiki is meant to be pd 18:02:45 -!- skj3gg has quit (Quit: ZZZzzz…). 18:03:26 pgcc had up to -O6, I think. 18:04:01 Or egcs or whatever. Some GCC fork anyway. 18:12:40 elliott: AFAIUI, fair use allows incorporation of copyrighted work into other works, which can then be relicensed as a whole. 18:13:33 (IANAL, etc.; also I'm not actually operating the wiki, so it's not my call to make anyway.) 18:16:48 This mobile network is strange. SSH works nice and fast, and web browsing was okay for an hour there, but then suddenly stopped. With the exception of Google searches. 18:16:55 -!- oerjan has joined. 18:17:40 Perhaps I should set up some sort of a VPN thing, in case it's some traffic shaping stuff. 18:17:42 fizzie: so use ssh -D to set up a socks proxy and use that? 18:18:19 int-e: I'm on Android. I don't know how to do that here. 18:18:40 ah. neither do I 18:18:57 But I know this has some VPN settings in the network stuff. 18:21:42 -!- not^v has quit (Ping timeout: 250 seconds). 18:21:57 Apparently port forwarding in general is also a "pro" (aka paid) feature in this SSH client (JuiceSSH). 18:22:01 -!- FreeFull has quit (Ping timeout: 264 seconds). 18:26:10 "pro" 18:26:24 * int-e feels like an expert ;-) 18:27:17 -!- FreeFull has joined. 18:38:08 Join the 10$ Crew, int-e 19:03:42 -!- Tritonio has joined. 19:08:31 -!- shikhin_ has joined. 19:11:32 -!- shikhin has quit (Ping timeout: 245 seconds). 19:18:00 -!- ais523 has quit. 19:23:33 wtf 19:24:34 nih 19:27:20 oerjan: Are you a knight or is that a lower-case "not invented here"? 19:29:25 por que no los dos 19:29:31 *- 19:30:33 no wait 19:30:36 *-*- 19:37:38 -!- KingOfKarlsruhe has quit (Quit: ZNC - http://znc.in). 19:37:40 -!- shikhin_ has changed nick to shikhin. 19:38:28 -!- KingOfKarlsruhe has joined. 19:42:48 oerjan: ?¿;՞؟፧᥅⁇⁈⁉⍰❓❔⳺⳻⸮꘏꛷︖﹖ 19:44:59 are those all question marks 19:45:15 yes. no, I don't think so. 19:45:24 (they all are; but I doubt that the list is complete) 19:45:44 oh and bidirectional text that causes irssi/putty to show the time in reverse 19:45:50 (and the ?! and !? ones are cheating.) 19:46:03 does it? nice! 19:46:13 (it doesn't do that for me) 19:46:33 i saw 24:02 int-e> ... 19:46:50 odd. 19:47:10 it's happened before as i recall 19:47:21 oh tmux is also included 19:47:58 Hmm, the stack here is xterm/ssh/screen/irssi... so that's a bit different. 19:48:58 here i don't have reversed anything. gnome terminal/irssi 19:49:15 oerjan must be special. 19:49:40 obviously. 19:50:02 Ørjan 19:50:24 `unidecode Ø 19:50:26 ​[U+00D8 LATIN CAPITAL LETTER O WITH STROKE] 19:50:34 ONE CAN NEVER BE SURE 19:51:19 `unidecode 〇◯○●◎ 19:51:20 ​[U+3007 IDEOGRAPHIC NUMBER ZERO] [U+25EF LARGE CIRCLE] [U+25CB WHITE CIRCLE] [U+25CF BLACK CIRCLE] [U+25CE BULLSEYE] 19:51:23 suddenly i'm getting an "Ørjan, is that really my name" experience 19:51:46 oerjan: I don't find mixing up that letter with symbols for the empty set funny anymore. 19:52:01 that's called mathematical maturity hth 19:52:12 That's how I write my zeros 19:52:25 by hand? 19:52:30 yeah, on paper 19:52:46 you norteamericanos are weird 19:53:32 (we fight back with 1 and 7) 19:54:00 I write 1 like | and 7 like an unclosed 9 19:54:30 we cross out our 7's 19:54:39 so they don't look too similar to the 1's 19:55:17 * oerjan has been reading the language construction kit 19:55:30 `unidecode ౸ 19:55:31 ​[U+0C78 TELUGU FRACTION DIGIT ZERO FOR ODD POWERS OF FOUR] 19:55:31 (still is, i guess.) 19:55:40 sounds quite specific :) 19:56:17 you'd think 19:57:32 I like base 60 19:59:05 `unidecode ꘠↉ 19:59:06 ​[U+A620 VAI DIGIT ZERO] [U+2189 VULGAR FRACTION ZERO THIRDS] 19:59:24 there are 60+ zero digits in unicode... 19:59:46 > ꘠ 19:59:47 :1:1: lexical error at character '\42528' 20:00:06 disappoint, i thought haskell did unicode 20:00:51 maybe it only supports some characters. I know perl allows $か as a variable name 20:01:00 > generalCategory '꘠' 20:01:02 DecimalNumber 20:01:13 > generalCategory '↉' 20:01:14 OtherNumber 20:01:26 > let x꘠=0 in x꘠ 20:01:27 0 20:01:33 `perl $か = 3; print $か 20:01:36 Can't open perl script "$か = 3; print $か": No such file or directory 20:01:40 variable names are fine 20:01:54 but that should, of course, be a number 20:01:55 `runperl 20:01:56 `perl -e '$か = "foo"; print $か;' 20:01:56 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: runperl: not found 20:01:56 No output. 20:01:57 -!- Patashu has joined. 20:02:06 oren: `perl -e 20:02:20 ``perl -e '$か = "foo"; print $か;' 20:02:20 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: `perl: not found 20:02:27 hah 20:02:28 by coincidence, you don't need `` for it 20:02:29 `` perl -e '$か = "foo"; print $か;' 20:02:30 Unrecognized character \x81; marked by <-- HERE after $<-- HERE near column 3 at -e line 1. 20:02:46 int-e: use `perl -e without `` 20:03:06 oerjan: why does that work? 20:03:22 i leave that as an exercise hth 20:04:05 oh. 20:04:15 `perl -e$か = "foo"; print $か; 20:04:17 Unrecognized character \x81; marked by <-- HERE after $<-- HERE near column 3 at -e line 1. 20:04:23 fair enough 20:04:46 `` perl -e 'use utf8; $か = "foo"; print $か;' 20:04:50 foo 20:05:10 `perl -e use utf8; $か = "foo"; print $か; 20:05:10 foo 20:05:26 that's what oerjan meant. 20:05:45 `run ls bin/perl* 20:05:57 bin/perl-e 20:06:08 that also exists if you're too confused :) 20:06:15 `perl-e print 123 20:06:16 123 20:06:16 `` perl -e 'use utf8; $夢 = "foo"; print $夢;' 20:06:17 foo 20:06:27 fiendish, as oerjan would say. 20:08:01 `interp perl use utf8; $か = "foo"; print $か; 20:08:05 foo 20:08:18 the modular version 20:08:45 `! perl use utf8; $か = "foo"; print $か; 20:08:46 foo 20:09:11 `pl 20:09:14 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: pl: not found 20:09:32 `` perl -e 'use utf8; $∀ = "foo"; print $∀;' 20:09:34 Malformed UTF-8 character (unexpected end of string) at -e line 1. \ Unrecognized character \x88; marked by <-- HERE after e utf8; $<-- HERE near column 12 at -e line 1. 20:10:00 nandatoooo!? 20:10:26 the telugu number pages i checked don't seem to mention that character. 20:13:45 -!- ^v has joined. 20:14:12 -!- AndoDaan has joined. 20:20:43 -!- skj3gg has joined. 20:21:44 -!- ^v has quit (Ping timeout: 250 seconds). 20:24:21 -!- MDude has joined. 20:24:22 -!- Patashu has quit (Ping timeout: 240 seconds). 20:30:45 -!- SignX has joined. 20:40:17 -!- Sprocklem has quit (Ping timeout: 245 seconds). 20:40:48 -!- AndoDaan has quit (Ping timeout: 265 seconds). 20:47:54 -!- skj3gg has quit (Quit: ZZZzzz…). 20:51:12 -!- Lymia has quit (Ping timeout: 250 seconds). 20:53:10 -!- TieSoul has changed nick to TieSleep. 21:06:56 -!- idris-bot has quit (Quit: Terminated). 21:07:54 -!- idris-bot has joined. 21:08:56 -!- vanila has quit (Quit: Leaving). 21:18:40 -!- skj3gg has joined. 21:32:51 -!- Sprocklem has joined. 21:34:51 -!- skj3gg has quit (Quit: ZZZzzz…). 21:35:07 -!- AnotherTest has quit (Remote host closed the connection). 21:42:28 -!- contrapumpkin has joined. 21:42:29 -!- copumpkin has quit (Ping timeout: 250 seconds). 21:55:13 Strange Item {2} Artifact :: Cumulative upkeep--{1} or discard a card :: {T}: Put a token copy of ~ into play tapped and phased out. 21:56:15 zzo38: phased out and cumulative upkeep? are you trying to do an Old Fogey? 21:56:26 No, I just like those abilities 21:56:38 phasing scares me a bit 21:56:43 phase out too 21:56:58 I suppose a token phased out won't work anyways 21:57:14 why not? 21:57:27 The rules say it doesn't for some reason 21:57:39 huh... ok 21:57:49 {T}: Put a token copy of ~ into play tapped. If ~ is a card, it phases out. 21:59:31 -!- qlkzy has quit (Ping timeout: 255 seconds). 21:59:45 Steal Summoning {3UU} Instant :: Manifest target spell. Do you like that one? 22:00:29 -!- SignX has quit (Quit: Page closed). 22:00:46 zzo38: hmm... how does that work? does the manifested object come into play under your control? and what happens if you target a copy of a spell? 22:01:28 I think it does come into play under your control. If it is a copy of a spell then it doesn't. 22:02:33 zzo38: yes, but what happens if it's a copy of a spell? nothing? or does the spell disappear? or moved to another zone and then disappear? 22:03:43 -!- adu has joined. 22:04:02 Actually I fixed my alternative rules now and now the copy can come into play as a token (previously I wrote it not to work with objects that come into play face-down, but I changed that) 22:04:40 -!- qlkzy has joined. 22:04:43 hmm 22:05:34 This rule doesn't affect any official cards as far as I am aware. 22:06:02 I'm still not sure I know how manifest works 22:06:03 (Also this alternative rule doesn't affect non-card objects that come into play from a zone other than the stack) 22:06:19 and this might confuse it further 22:07:18 I believe manifesting an object means you put the object into play face-down under your control, and then it becomes allowed to be turned face-up for its mana cost if the front face is a creature. 22:07:45 If a instant or sorcery tries to turn face up for any reason, it is revealed but then remains face down. 22:07:54 zzo38: yes, and there's some extra rules, like on what happens when you try to bounce a manifested non-permanent (it remains exiled) 22:08:14 That's implied by other rules and has nothing to do with manifest. 22:08:32 Any instant or sorcery that tries to come into play for any reason whatsoever instead remains where it is. 22:08:55 so what if I try to target a face down spell with Steal Summoning? does it get revealed as it is put onto the battlefield, or only when it leaves the battlefield? 22:09:28 Only when it leaves the battlefield, although you can look at it right away. 22:09:43 ok 22:10:14 (Well, not until Steal Summoning resolves; you can't look at it before then if it isn't your spell.) 22:11:19 “Steal Summoning” sounds like the name of that nonexistant instant that gets you to control a spell, which is why I find this a bit disappointing 22:11:44 I think if a face-down permanent turns face-up and the front face is a Aura, that it would be discarded right away, but that if it is exiled and comes back, then a target for the Aura can be chosen. 22:12:10 zzo38: yes, that sounds about right 22:13:02 I think the face down spell should probably be revealed when Steal Summoning resolves though 22:13:22 Why? I don't see any reason why it should have to? 22:13:42 Because it leaves the stack in a way other than the normal way. 22:13:45 Does the rule about revealing them apply to spells too? 22:13:53 If it does, then yes it does get revealed. 22:14:01 I hope so 22:14:18 it has to, to make sure you can't cheat by casting a non-morph spell face down 22:14:32 this is so that M:tG in principle doesn't require an independent judge to play 22:14:40 as long as you know the rules perfectly 22:15:50 I'll check the rules, but that is definitely a goal the rules are trying to keep 22:17:24 Probably it is then 22:17:44 “707.9. If a face-down permanent moves from the battlefield to any other zone, its owner must reveal it to all players as he or she moves it. If a face-down spell moves from the stack to any zone other than the battlefield, its owner must reveal it to all players as he or she moves it. 22:17:52 If a player leaves the game, etc” 22:18:05 So that means it wouldn't be revealed, because it's moved to the battlefield. 22:18:40 This means if you Scroll of Cryptic Runes a face down spell, it's also not revealed. 22:18:42 O, OK then it isn't revealed, and in fact doesn't need to anyways 22:19:00 Yes OK 22:19:23 though as this situation doesn't exist in official M:tG, you could change that rule for this 22:19:58 I don't want to change rules that I don't believe should be changed 22:20:32 sure, it's fine 22:21:10 I wonder if putting a copy of a spell into play as a face down token could lead to any strange situations, but it's probably fine 22:21:48 it's face down, can't be turned face up in any way because its face is a sorcery or instant, and it disappears after it leaves the battlefield 22:22:57 One other rule I made up is that an effect is allowed to prohibit conceding in a subgame, but the outer game can always be conceded regardless of any effects, including during the subgame 22:23:38 hmmm... 22:24:22 that might work rules-wise, but I think it might be a bad idea 22:24:44 because it could make subgames take too much real time 22:25:09 For example the effect that creates the subgame might say that conceding is not allowed. In such case the outer game can still be conceded, and subsubgames still can be conceded if those aren't prohibited too. If a continuous effect says "Conceding is not allowed" then it has no effect if this effect isn't played inside of the subgame. 22:25:33 would you also make the rules about infinite loops not apply to the subgame directly as well? 22:26:01 So far I didn't and am not sure about that one yet 22:27:27 An effect that only says you can't lose doesn't prohibit you from conceding though. 22:27:53 zzo38: what if it says you can't lose and your opponents can't win? 22:28:42 Still doesn't prohibit conceding. 22:28:50 and aren't subgames basically deprecated anyway, with all cards creating subgames currently banned in all formats, even Vintage? 22:29:22 sort of like Ante, only newer 22:29:51 . o O ( "unban target card" ) 22:30:49 Maybe although I made up one new card that creates a subgame. Also I wrote a few new rules for ante and sideboard; one effect is that all effects that cross games begin no earlier than the beginning of a match and end no later than the end of a match. Therefore anted cards are always returned at the end of a match. 22:31:10 int-e: like a backwards Look at Me, I'm the DCI? 22:32:12 Oh, nice flavour text on that one. 22:33:24 As far as I know "unban target card" should only work if the card was already unbanned at the beginning of the current game; even if it said "name a card" it still is 22:33:53 zzo38: or at least at the beginning of the match 22:33:57 subgames? 22:34:47 I would think that banned cards cease existing even in a sideboard though? 22:35:12 And you wouldn't be allowed to name a banned card. 22:35:55 zzo38: yes, they definitely cease existing in the sideboard. the remainder text of Look at Me is clear in that 22:36:11 zzo38: I think it probably moves the banned cards to the same zone as AWOL 22:36:25 even from the sideboard 22:37:15 (or like Blacker Lotus) 22:37:32 (I mean Chaos Confetti) 22:39:18 I would also make the assumption that cards with no valid RULECARD representation are automatically banned regardless of anything 22:39:40 what's "RULECARD"? 22:40:09 Some programming language I partially made up but not much yet 22:40:54 um, then maybe the card doesn't have a representation because you just haven't implemented it yet? 22:41:18 It is hypothetical for now of course. 22:42:20 anyway, the relevant rule is “100.2. To play, each player needs his or her own deck of traditional Magic cards,” and “108.2. When a rule or text on a card refers to a “card,” it means only a Magic card.” 22:42:54 and the tourn't rules I guess 22:43:21 -!- adu has quit (Quit: adu). 22:54:41 -!- skj3gg has joined. 23:04:59 -!- skj3gg has quit (Quit: ZZZzzz…). 23:07:54 I got the Famicom working now. 23:08:35 After cleaning up the cartridge 23:19:11 Tell people who made PDJSON that I fixed the bug and interfaced it with SQLite. 23:19:56 -!- hjulle has joined. 23:21:06 -!- adu has joined. 23:23:20 (I don't know how to tell them by myself) 23:23:20 -!- oren has quit (Quit: Lost terminal). 23:23:34 -!- zzo38 has quit (Remote host closed the connection). 23:24:59 -!- adu has quit (Client Quit). 23:37:09 -!- Sprocklem has quit (Remote host closed the connection). 23:45:19 -!- PinealGlandOptic has quit (Quit: leaving). 23:50:05 -!- AndoDaan has joined. 23:58:05 -!- skj3gg has joined.