00:27:23 -!- sebbu3 has joined. 00:27:33 -!- sebbu has quit (Ping timeout: 255 seconds). 00:27:46 -!- sebbu3 has changed nick to sebbu. 00:44:54 -!- GoToTell has joined. 00:47:38 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 00:51:48 `? moth 00:51:50 Moths are the main ingredient of mothballs. 00:51:54 `? myth 00:51:55 A myth is a female moth. 00:52:11 How does Hack know that? 00:52:27 because doesthiswork, tswett and int-e are being silly. 00:52:38 `culprits wisdom/myth 00:52:45 tswett 00:52:50 at least tswett 00:52:55 oh, and ais523 too. 00:53:04 `culprits wisdom/moth 00:53:06 ais523 int-e 00:53:23 hellœrjan. 00:53:24 but what did poor doesthiswork do 00:53:25 I was just correcting typos IIRC 00:53:48 my sillyness was mostly disconected 00:53:50 How does Hack know what? 00:53:57 tswett: wisdom 00:53:58 `` culprits wisdom/mothology 00:54:00 doesthiswork 00:54:03 ah 00:54:06 `learn did: didn't 00:54:10 Learned 'did:': did: didn't 00:55:14 bood what _is_ the proper greeting term in the middle of the night anywaily 00:56:06 `? did 00:56:07 Did you mean Moth? 00:56:08 `? bood 00:56:09 bood? ¯\(°​_o)/¯ 00:56:38 `learn did : didn't 00:56:40 Learned 'did': did : didn't 00:56:46 `? did 00:56:47 did : didn't 00:56:53 `rm wisdom/did: 00:56:55 No output. 00:57:07 `` for f in wisdom/*; do culprits $f | grep -q doesthiswork && echo $f; done 00:57:19 I guess it didn't work 00:57:27 `? did: 00:57:31 did:? ¯\(°​_o)/¯ 00:57:37 thank you 00:57:39 No output. 00:57:48 `learn Bood was a form of currency used among bootleggers during Prohibition in the United States. 00:57:50 Learned 'bood': Bood was a form of currency used among bootleggers during Prohibition in the United States. 00:58:15 boodcoin. 00:58:20 Exactly. 00:59:05 FireFly: possibly culprits is too expensive to run over an entire directory without timeout 00:59:23 Might be 00:59:30 (or you may have messed up the command, what do i know) 01:00:16 `` for f in wisdom/mothology; do culprits $f | grep -q doesthiswork && echo $f; done 01:00:17 No output. 01:00:33 doesn't look good 01:01:52 `` for f in wisdom/mothology; do culprits $f | grep doesthiswork && echo $f; done 01:01:53 No output. 01:02:25 `` for f in wisdom/mothology; do echo $f; done 01:02:25 wisdom/mothology 01:02:33 ok that much works :P 01:03:24 `` for f in wisdom/mothology; do culprits $f; done 01:03:26 doesthiswork 01:03:55 `` culprits wisdom/mothology 2>/dev/null 01:03:56 doesthiswork 01:04:09 so not that 01:04:32 `` for f in wisdom/mothology; do culprits $f | grep doesthiswork ; done 01:04:34 No output. 01:04:39 oh wait 01:04:51 it's the anti-pinging feature 01:05:03 there's an anti-pinging feature? 01:05:09 of course 01:05:17 `` cat bin/culprits 01:05:18 hg log --removed "$1" | grep summary: | awk '{print substr($2,2,length($2)-2)}' | sed "s/.$/\x0F&/" | xargs 01:05:28 oh. right. 01:05:34 I should've remembered that 01:05:38 `culprits bin/culprits 01:05:41 Jafet Jafet tswett tswett shachaf shachaf shachaf FireFly FireFly FireFly FireFly FireFly FireFly shachaf 01:07:04 `` for f in wisdom/*; do culprits $f | tr -d $'\x0F' | grep -q doesthiswork && echo $f; done # another attempt, then 01:07:27 we have, alas, two different candidates for that feature, that one is ignored by some clients, the other one messes up shachaf's terminal 01:07:34 wisdom/ 01:07:56 It doesn't mess up this terminal. 01:08:02 ah. 01:08:02 it does highlight me, though 01:08:07 So while I'm not at work you can use it. 01:08:27 How come your terminal at work doesn't support Unicode anyway? 01:08:34 you'd think terminal emulators in this day and age would 01:08:46 shachaf: there's the slight problem that it's supposed be written once and for all hth 01:09:05 `date 01:09:05 Mon Oct 26 01:08:56 UTC 2015 01:09:10 problem solved hth 01:09:24 `ddate 01:09:25 Today is Prickle-Prickle, the 7th day of The Aftermath in the YOLD 3181 01:09:44 FireFly: I don't know, it's the default Mac OS X terminal. 01:12:45 does oren currently ping the person of that name? 01:13:41 ...he's asleep isn't he. 01:14:59 of course shachaf's terminal also messes up on every line HackEgo writes that starts with a non-alphanum. 01:15:21 `? unknown 01:15:22 unknown? ¯\(°​_o)/¯ 01:15:26 That also messes that terminal up. 01:15:37 It's pretty bad. 01:15:43 I think something might be wrong with its configuration, then 01:16:15 naturally, because that uses a ZWNS to avoid triggering myndzi 01:16:28 ^celebrate 01:16:28 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 01:16:45 not that myndzi is all that triggerable these days. 01:17:16 ^show celebrate 01:17:16 (\o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/)S 01:17:25 Thought so 01:22:47 `? cuplrits 01:22:48 cuplrits? ¯\(°​_o)/¯ 01:22:59 `? culprits 01:23:01 ​`culprits` is a program that lists the lists the nicks responsible for a wisdom entry. Usage: `culprits wisdom/ENTRY 01:23:28 `? list 01:23:29 list is a fun program that HackEgo has! Run it with `list and join the fun! 01:23:39 `? it 01:23:40 it? ¯\(°​_o)/¯ 01:23:50 `? HackEgo 01:23:51 HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. 01:24:13 Unfortunately `list is broken I think 01:24:15 `? hax0r 01:24:16 hax0r (see ¯\(°​_o)/¯) 01:24:47 `wisdom 01:24:51 arrow/Arrows are just strong monads in the category of profunctors. 01:25:07 `? monoid 01:25:08 A monoid is the easy version of a category. 01:25:26 with only one object. lame. 01:25:34 `wisdom 01:25:35 zombiecheney/ZombieCheney lives under a bridge. 01:25:56 `culprit did: 01:25:57 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culprit: not found 01:26:06 `? chaos 01:26:07 chaos? ¯\(°​_o)/¯ 01:26:16 `culprit chaos 01:26:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culprit: not found 01:26:35 `wisdom 01:26:36 ngevd/ngevd is a fake wisdom entry because having an actual infinite file in wisdom/ makes all manner of stuff bloody awkward. `? ngevd is special-cased in bin/?. leave this file alone Phantom_Hoover‼ also t​swett‼ 01:26:53 ah! an amendment! 01:27:18 (that I will amend some time tomorrow and/or amodné.) 01:27:27 `culprits wisdom\chaos 01:27:28 No output. 01:27:51 `culprits wisdom/chaos 01:27:53 No output. 01:28:12 -!- boily has quit (Quit: OBSTRUCTED CHICKEN). 01:31:46 `? ngevd 01:31:47 U,ؗûΐjˆÊ ?À¾bãJH‚‡{nïØ©\Apk)b[4PBáÖºYò‡wö£`40Ÿª+¸¥Iþà†ô.óó¡u|ÿÀèèMñüí¤2õˆàfÆ¢B8fùÜɶoÇxÉÓÐ%>Agy*âW—£éæ9×;*N§´7tø=÷"vlè›LK⚧ÿUÎæ \ ¸Ì'¦ÖƱo¥‚7Îi×(hE?›I#7–Äb¶VÏHÈÞ¯óç?ý—‘šóƒ—Šqƒ„ü˜1#ÑlcNU™»ãͧç–&BÛ,rtžŸ:ܚ\6l‘Ì5ÍlÉB³Ô2œëîºgO_¨è=6ÝgKòÎPŽâ|úY“/†m(æîûê=3ÚõϘέ@=ÎØø 01:33:26 doesthiswork: tip: a file that has never existed has no culprits hth 01:34:13 i think that HackEgo line managed to put a right-to-left marker in 01:34:45 always amusing when irssi shows a time like 13:20 01:34:58 well, i supposed that one can happen naturally. 01:36:05 *-d 01:39:29 `culprits canary 01:39:31 oerjan oerjan ais523 shachaf ais523 oerjan oerjan ais523 oerjan oerjan oerjan oerjan oerjan oerjan oerjan ais523 ais523 ais523 shachaf int-e oerjan elliott elliott elliott elliott elliott elliott elliott ais523 ais523 elliott FreeFull c00kiemon5ter Phantom_Hoover elliott oerjan shachaf elliott ais523 elliott 01:40:34 SQLite now has support for eponymous virtual tables which seem like a useful shortcut (my JSON and RDF extensions should automatically work with this feature without needing to modify the codes of those extensions). There is also indexes for expressions, and list of column names following the view name, and expression subtypes. 01:41:27 And it now uses semantic version numbers. However, it seem they did not add support for a virtual table to read and override the LIMIT and OFFSET clauses. 01:43:49 -!- qwertyo has joined. 01:46:47 (The ability to for a virtual table implementation to consume a LIMIT and/or OFFSET clause would be mostly useful when it reads data accessed over the internet.) 01:48:40 oerjan: ah, yes, has to be a consequence of the DST switch 01:48:58 although 13:20 seems like a bit too big of a gap 01:49:16 O KAY 01:49:31 (the actual time was 02:31 hth hth) 01:49:33 oops 01:54:09 oh wow, today's xkcd actually amused me, for the first time in a while 01:54:11 that doesn't happen often 01:57:15 -!- bb010g has joined. 02:00:29 what, xkcd has already updated? 02:00:37 * oerjan doesn't normally check this early. 02:01:45 -!- shikhin has changed nick to {}{}{}{}{}{}{}{}. 02:02:16 -!- {}{}{}{}{}{}{}{} has changed nick to shikhin. 02:03:27 -!- pikhq_ has quit (Ping timeout: 256 seconds). 02:03:44 "A tib is half of a bit. A stib is a negative half of a bit. " is that official? 02:04:12 GoToTell: it's a reference to http://esolangs.org/wiki/TURKEY_BOMB I think 02:04:17 either that, or inspired by it 02:05:10 -!- pikhq has joined. 02:05:17 Ah. Thanks. 02:05:40 and if you haven't seen TURKEY BOMB you should 02:05:54 esolangs doesn't really have an article about it because it's kind-of impossible to replicate the catseye treatment of it 02:06:32 I see "drinking game" so TURKEY BOMB is a movie? 02:08:16 I guess not, that would be too simple. 02:08:32 The catseye page reads insane. 02:09:16 GoToTell: indeed 02:09:50 scroll down to "Data Types" for the relevant bit 02:10:07 doesn't seem to have tib/stib but it has a bunch of other types in the same vein 02:15:40 It also seem like difficult/impossible to implement such thing 02:16:51 I'm leaning towards impossible. 02:17:21 there are physically possible realisations of much of the language 02:17:28 I tried to implement the TURKEY BOMB itself (the type) in C++ once 02:18:12 it's surprisingly hard to make a type that admits only one value that is a reference to itself, at least if you want to be able to dereference it by reading its bit pattern as a memory address /and/ you want to avoid overloading 02:33:19 halp meh :X 02:33:25 https://www.codeeval.com/open_challenges/108/ trying to solve this 02:33:55 this is my code http://arin.ga/X1XiOB/raw and this is a test with their input http://arin.ga/oRgCrM/raw 02:34:28 it produces the expected output on that, but the score is only 90% 02:34:40 dafuq am i doing wrong? 02:36:32 ..somehow i messed up the test case while pasting it http://arin.ga/ivbW3Y/raw 02:50:35 fixed it <.< my insert mode was broken 02:50:46 yay 100% 02:50:57 http://arin.ga/eupmlA/raw here it is <.< 02:50:58 well done. 02:55:31 guys you have to try that site 02:55:38 it's full of nice problems 02:57:45 -!- rntz has joined. 02:57:51 https://open.kattis.com/ is also fun if one likes competitive programming 02:59:00 what is competitive programming? 02:59:36 do you have an opponent and whoever finishes first wins? 03:00:16 https://en.wikipedia.org/wiki/Competitive_programming 03:00:19 Kinda 03:01:05 Usually there is a set of problems to solve, and the goal is to solve as many problems as possible within the event.. although time is used as a tie breaker 03:02:00 Hmm 03:02:11 `welcome rntz 03:02:12 rntz: 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 EFnet or DALnet.) 03:02:23 izabera: here's a good example: https://open.kattis.com/problems/islandhopping 03:02:35 of the type of task that competitive programming usually involves 03:02:36 I guess you've been here before. 03:03:15 izabera: usually the main focus is in coming up with an algorithm to solve the problem, and then implementing the algorithm.. so there's a lot of focus on algorithms and data structure knowledge 03:10:12 -!- adu has joined. 03:19:29 > groupBy ((==)`on`(' '==))"usually the main focus is in coming up with an" 03:19:30 ["usually"," ","the"," ","main"," ","focus"," ","is"," ","in"," ","coming","... 03:22:03 Helluu 03:23:16 Hmm, it wasn't very clear to me that newlines should be ignored, in that terminal task 03:23:23 from the description, I mean 03:23:50 > nub "Helluu" 03:23:51 "Helu" 03:24:44 > nub "HeHe" 03:24:46 "He" 03:24:58 Well I also got 90 :P darn 03:25:10 > map head $ group "HeHe" 03:25:12 "HeHe" 03:25:14 FireFly: i had the same problem with newlines 03:25:54 It's tempting to look at your code to see what tripped you up for the 90→100p, but I'll try to figure it out first 03:26:01 You can look at card I make up, tell me if you think Wizards of the Coast will print them or not, and idea of favor text if you have, too 03:26:07 I think it might be an issue with my clear-til-end-of-line 03:26:28 FireFly: "for the 90→100p" ?? 03:26:35 Wait, uh, oops 03:26:38 I'm stupid 03:26:49 Well, you only got 90% initially, right? 03:27:02 Anyway, I did something stupid 03:27:14 i don't remember what the score 03:27:16 was 03:27:28 sorry 03:28:01 it produces the expected output on that, but the score is only 90% ← this, I mean 03:29:00 that's what logs are for 03:29:12 so people don't have to remember 03:30:41 -!- adu has quit (Quit: adu). 03:35:20 Yay, 100% 03:35:25 :) 03:35:43 Somehow I got 90% even though I completely forgot to implement insert-mode... 03:36:51 Hm, your bash implementation is nicer and much shorter than my C one :P 03:37:15 that's unlikely 03:37:24 well it's certainly shorter 03:37:35 although I didn't hardcode the size of the buffer in mine 03:37:48 mine has to use eval for the 2d array 03:37:53 http://xen.firefly.nu/up/terminal.c.html if you're curious 03:38:07 ooh neat colors 03:40:18 HireFly 03:40:39 Hachaf 03:42:20 yours is much more professional... 03:42:41 Umm, I don't know 03:44:03 night of the pizza 03:44:21 night of the living pizza 03:44:31 It's sad that FizzBuzz has a 37% success rate on that site 03:44:39 i was sort of hoping it wasn't living, if nothing else then for its own sake 03:44:58 FireFly: it's harder than the standard fizzbuzz 03:45:16 Ah 03:45:26 Well, slightly 03:53:32 I want to see an EsoDB 03:53:33 -!- doesthiswork has quit (Read error: Connection reset by peer). 03:54:15 you can't just add eso in front of everything 03:54:31 Esoesolang 03:57:48 izabera: Yes. I can. 03:57:57 "Esoanimal" 03:58:14 - An animal that is different from anything you've ever seen 03:58:22 "Esoroom" 03:58:28 - A room that is different from anything you've ever seen 03:58:54 "Esocomputer" 03:58:54 does that mean that the second time you see an eso* thing, it's not eso anymore? 03:59:08 - A computer that is different from anything you've ever seen 03:59:22 I've seen #esoteric many times... 03:59:31 izabera: "Anything you've ever seen" excludes that thing itself because of well-founded set theory. 03:59:36 OOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOOH! 03:59:39 a cat that look like an elephant wouldn't be an esocat 03:59:57 So, you're saying it should just be #teric then? 04:00:41 I think it would be 04:00:54 well, assuming you've seen elephants 04:00:55 I'm going to go join that channel now 04:05:43 -!- Wright has quit (Ping timeout: 252 seconds). 04:07:21 -!- adu has joined. 04:25:38 Some of these easy tasks are a bit silly.. like https://www.codeeval.com/open_challenges/4/ 04:26:12 I suppose it would be against the spirit of the question, but there doesn't seem to be anything stopping one from just hardcoding the answer 04:28:59 https://www.codeeval.com/open_challenges/155/ about this one 04:30:20 the first repeated 5-char string in their sample input is "he ne" 04:30:56 i guess i'll have to check that it contains no space when decoded 04:32:50 Yes, and also that it is surrounded by non-letters probably 04:33:01 right 04:33:07 annoying 04:35:46 The lack of bounds on these tasks is a bit annoying 04:36:12 it doesn't state whether N might be negative, or whether a character + N might be >255, or ... 04:45:53 `? chaos? 04:45:55 chaos? ¯\(° _o)/¯ 04:45:59 `? chaos 04:46:00 chaos? ¯\(°​_o)/¯ 04:46:26 `` mv wisdom/chaos{\?,} 04:46:28 No output. 04:46:31 `? chaos 04:46:32 chaos? ¯\(° _o)/¯ 04:48:40 ._. 04:51:09 -!- adu has quit (Quit: adu). 04:56:09 `cat bin/learn 04:56:10 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" 04:57:55 `` sed -i 's/[?] /?[,.!?]\? /' bin/learn 04:57:56 No output. 04:57:59 `cat bin/learn 04:58:00 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[,.!?]? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" 04:58:04 oops 04:58:07 `revert 04:58:14 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 04:58:22 `` sed -i 's/[?] /?[,.!?]\\? /' bin/learn 04:58:24 No output. 04:58:27 `cat bin/learn 04:58:28 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[,.!?]\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" 04:58:52 `learn chaos? ¯\(° _o)/¯ 04:58:54 Learned 'chao': chaos? ¯\(° _o)/¯ 04:58:57 oops 04:59:11 `rm wisdom/chao 04:59:12 No output. 04:59:26 i think it worked, anyhow 04:59:39 hm 05:00:18 `` sed -i 's/[[]/[:;/' bin/learn 05:00:20 No output. 05:00:28 `cat bin/learn 05:00:29 ​#!/bin/bash \ topic=$(echo "$1" | lowercase | sed 's/^\(an\?\|the\) //;s/s\?[:;,.!?]\? .*//') \ echo "$1" >"wisdom/$topic" \ echo "Learned '$topic': $1" 05:01:29 `? horse 05:01:30 horse? ¯\(°​_o)/¯ 05:01:43 `learn A horse, a horse, my kingdom for a horse! 05:01:46 Learned 'horse': A horse, a horse, my kingdom for a horse! 05:02:18 `learn A horse, a horse! My kingdom for a horse! 05:02:20 Learned 'horse': A horse, a horse! My kingdom for a horse! 05:06:44 -!- FireFly has quit (Ping timeout: 244 seconds). 05:07:37 -!- shikhin has quit (Ping timeout: 256 seconds). 05:15:00 -!- Frooxius has quit (Read error: Connection reset by peer). 05:15:23 -!- Frooxius has joined. 05:16:03 oerjan: do you have a kingdom? 05:16:28 -!- FireFly has joined. 05:17:39 -!- shikhin has joined. 05:18:01 -!- JesseH has quit (Remote host closed the connection). 05:20:40 sorry, i'm all out 05:21:24 -!- hppavilion[1] has quit (Ping timeout: 255 seconds). 05:23:16 izabera: I took the liberty to add you on codeeval 05:24:37 Can you make the Fizzbuzz with TeX shorter than 142 (and with no error messages)? 05:31:21 FireFly: uh ok thanks, i didn't really focus on the social side of that side 05:31:23 yet 05:31:58 did i just admit of having no life even on programming sites? 05:32:16 \newcount\-\let~\advance\day0\loop~\-1~\day1~\mit\ifnum\-=3\-0Fizz\fi\ifnum\fam=5Buzz\rm\fi\ifvmode\the\day\fi\endgraf\ifnum\day<`d\repeat\bye 05:32:56 does tex count as esoteric? 05:33:06 I don't know? 05:33:13 why don't you know? 05:33:41 Maybe it kind of does but not quite by completely? 05:33:43 I'd say it counts as esoteric if one uses it for something other than markup 05:34:06 -!- FreeFull has quit. 05:34:25 does it count if you print fizzbuzz as the background of your thesis? 05:34:43 maybe 05:35:11 Even if you are typesetting a document you can use it for other stuff within the document too 05:38:45 Such as calculating when is Easter, parsing a set of chess moves, parsing a picture file, and auto-generating an index (I think it is more common to use an external program to generate the index, and then recompile the document again afterward) 05:39:33 -!- nisstyre has joined. 05:41:12 -!- GoToTell has quit (Quit: HydraIRC -> http://www.hydrairc.com <- The alternative IRC client). 05:47:06 -!- nisstyre has quit (Changing host). 05:47:06 -!- nisstyre has joined. 05:50:35 -!- Sprocklem has quit (Ping timeout: 264 seconds). 05:56:29 -!- hppavilion[1] has joined. 06:42:01 [wiki] [[Print "deadfish"]] http://esolangs.org/w/index.php?diff=44888&oldid=43947 * Oerjan * (+4) wikify, grm 06:55:22 -!- hppavilion[1] has quit (Quit: WALRUS MAAAAAAAAAAAAN). 07:04:22 FireFly: in your page, it says 93/6207 memory usage 07:04:25 what is that? 07:05:03 it means he has 6114 memories left hth 07:05:30 izabera: no idea 07:09:08 also in the right side of my leaderboard page, it says "Your profile is currently: NOT VISIBLE to employers." 07:09:13 not sure how to change it 07:09:52 * izabera is totally abusing the fact that someone is on that site 07:14:20 There was a thing in the settings for whether one is interested in job opportunities, I think 07:18:45 Hi 07:19:08 FireFly: i tried that but it still says not visible :| 07:19:16 I'm looking for a esoteric language that's somewhat functional, lambda-calculus inspired maybe. 07:19:42 Concatenative (stack-based) would be great but not needed. 07:19:48 Any recommendation? 07:23:43 There's unlambda if you want combinatory logic 07:24:01 I think underload is concatenative 07:25:06 There's also joy, but that is less esoteric and more practical (although there's http://tunes.org/~iepos/joy.html which has a bit of an esoteric flavour to it, maybe) 07:25:14 oddly specific requirements 07:27:18 nitrix: definitely underload 07:28:13 Oh that looks interest. 07:29:01 -!- Patashu has joined. 07:29:25 Interesting* 07:31:11 there's also Real Fast Nora's Hair Salon 3: Shear Disaster Download 07:31:31 I worked on XY, if you guys know it. 07:31:42 XY? 07:31:56 hm we don't seem to have a page on it... 07:31:57 http://www.nsl.com/k/xy/xy.htm 07:32:44 It's similar to cat-lang but it borrows a low from Lazy K. I joined the effort when it was almost complete. 07:32:46 -!- Patashu has quit (Remote host closed the connection). 07:32:58 what does the name "Real Fast Nora's Hair Salon 3: Shear Disaster Download" mean? 07:33:02 -!- Patashu has joined. 07:33:04 hm concatenative with first class continuations - i think Burlesque has that 07:33:34 izabera: once upon a time a spammer made a page on our wiki by that name 07:33:52 It's great, it exhibit nice properties. I'm collecting ideas at the moment and see if I can invent my own this time. 07:33:54 and Taneb stole it 07:33:59 I've been meaning to do this for a few years now. 07:34:13 this is the best antispam strategy i've ever seen 07:34:19 turn spam into non spam 07:38:18 nitrix: oh also Fueue which is a mad language Taneb made by replacing underload's stack with a queue. i'm the only one who has managed to program it. 07:38:31 (since i noticed XY has a queue) 07:39:40 (well, not just replacing, also added some arithmetic.) 07:39:57 let's say "inspired by" 07:42:12 eep, my brain isn't what it was. 08:01:41 -!- AnotherTest has joined. 08:15:18 [wiki] [[J-why]] http://esolangs.org/w/index.php?diff=44889&oldid=44603 * 82.116.252.148 * (+273) 08:24:16 -!- zadock has joined. 08:29:16 -!- zadock has quit (Remote host closed the connection). 08:29:40 [wiki] [[J-why]] http://esolangs.org/w/index.php?diff=44890&oldid=44889 * 82.116.252.148 * (+273) /* Secondary Rules */ 08:36:47 -!- ^v has quit (Ping timeout: 268 seconds). 08:37:37 -!- mroman has joined. 08:37:41 fnárd 08:37:44 @messages-loud 08:37:45 int-e said 23h 5m 22s ago: I've installed some 32 bit libraries so your blsq executable should now work 08:37:49 \o/ 08:38:38 @tell int-e Yeah, the executable runs :) 08:38:38 Consider it noted. 08:48:55 http://104.167.104.168/~burlesque/burlesque.cgi?q=3ro%29ro 08:48:56 works 09:06:32 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 09:15:47 I still keep parsing it as "((Real Fast Nora's) Hair Salon ...) Download" and not "Real Fast (Nora's Hair Salon ...) Download". 09:16:32 i like the first one more tbh 09:16:43 fizzie: the first one is the correct parsing :P 09:16:48 -!- GoToTell has joined. 09:18:31 actually I think I parse it as "(Real Fast Nora's) Hair Salon 3: (Shear Disaster Download)" 09:19:29 dito 09:19:59 IMDB suggests the originally intended parsing was the "Real Fast (...) Download", but I guess it's possible Taneb has changed it. 09:20:29 who cares about imdb 09:24:25 IMDB? 09:24:29 is it a film? 09:26:44 yeah 09:27:01 "Delicious (T. Ashanti Mozelle) is in charge of maintaining Nora s legacy and tradition by running & managing the shop. The dysfunctional group of hairstylists consisting of Janelle, Nina, Xenobia, Tashina, and manicurists Ming and Ling are still up to their old antics!" 09:27:23 "Ratings: 3.7/10 from 38 users" 09:27:27 It might not be a very good one. 09:27:40 but you can download it real fast 09:27:50 The summary doesn't sound all that disastrous. 09:28:00 Jafet: Well, that was just the setup. 09:28:09 "One day, reality show producer Charles (Miguel Nuñez) enters the shop. Captivated by the goings-on inside, he proposes that Nora s Hair Salon have its own show. Immediately, the salon crew signs on with hopes of money and fame, but they get more than they bargained for when they learn that Charles has ulterior motives. Now, the crew must come together to see that this reality tape never sees ... 09:28:15 ... the light of day." 09:28:34 I don't think it even has Nora in it. 09:29:27 can you give a link 09:29:37 http://www.imdb.com/title/tt1714080/ 09:29:58 oh, it's called just Nora's Hair Salon 3: Shear Disaster 09:30:04 I was trying to search for "Real Fast Nora's" 09:30:12 so the "Real Fast" is about the download? 09:30:21 Yes, that's what the above discussion was about. 09:30:23 I wonder how many people have downloaded it (regardless of speed) 09:31:12 I had thought the Real Fast was about the Saloon, as in, the hairdresser does your hair real quick. 09:31:22 Even for complicated wedding hairdo. 09:31:47 -!- J_Arcane has quit (Ping timeout: 244 seconds). 09:34:59 -!- AnotherTest has joined. 09:38:49 fizzie: iirc from previous discussions / imdb lookups, nora dies in the first movie 09:46:35 ah i must have found that on wikipedia 09:49:36 -!- ais523 has quit. 09:51:20 wikipedia and imdb don't even agree what the 3rd movie is called :P 10:00:27 -!- shikhin has quit (Read error: Connection reset by peer). 10:00:32 -!- FireFly has quit (Read error: Connection reset by peer). 10:00:58 -!- shikhin has joined. 10:04:55 -!- FireFly has joined. 10:05:05 mroman: I'd have installed the libraries sooner, but I missed the discussion on friday (hilights don't work when the channel is currently active in irssi when one goes idle...) 10:06:39 int-e: oh and GG updated early 10:06:39 int-e: No problem :) 10:06:48 Thank you very much for doing this. 10:07:12 It works :) 10:07:19 http://104.167.104.168/~burlesque/burlesque.cgi?q=|[12+23.%2By13%3F*Y]| 10:10:29 mroman: does burlesque do any (intentional) file IO? It's currently running as the burlesque user... 10:13:55 (otoh, I've imposed some mild resource limts: 256MB and 15 seconds CPU time... so at least there should not be any runaway processes) 10:17:02 No @intentional 10:17:10 oerjan: bah... no news on the impending doom... V-gas, slaver engines... what's going to happen? I NEED TO KNOW! 10:17:19 Burlesque has absolutely no I/O. 10:17:41 The Burlesque Interpreter runs in State monad without I/O 10:18:21 Ok, then I probably won't bother with sandboxing it any further :) 10:18:56 unless someone finds a vulnerability in the haskell runtime 10:19:32 yeah I won't rule that out; hence "intentional". 10:19:32 runProgramNoStdin :: String -> String 10:21:25 > 3 -- this is much, much, worse than that 10:21:27 3 10:23:06 int-e: well those things in the previous comic certainly _looked_ like slaver engines. miniature ones. 10:24:57 so that's what happened to schlockmercenary.com ... not a conspiracy after all, whew. http://howardtayler.com/2015/10/that-dns-thingy-yesterday/ 10:27:37 int-e: that's what they _want_ you to think. 10:27:44 Hmm, I wonder... how could the master of Paris not know about this? Or does he? 10:27:55 that's a good question. 10:28:47 at the rate he must be getting overthrow attempts, he and his minions must be pretty good at it 10:28:47 (also that's one of the worst parking sites I've ever seen... it demands that you enable Javascript!) 10:30:50 int-e: A bit conspirationally, the x.schlockapp.com site is missing this Monday's strip. 10:30:59 Oh well, I really love the intense, grim look of Madame Velix in Friday's comic. 10:31:12 (It appeared in my Feedly feed, but the image never loads in Feedly, and I still get the parking page.) 10:34:10 -!- boily has joined. 10:37:01 fizzie: well, the comic is there; I've added this to /etc/hosts: http://sprunge.us/dGEB 10:38:02 but apparently the bogus name servers are cached for 2, perhaps even 3 days. 10:47:50 alternative way of getting the comic: curl -O -H "Host: static.schlockmercenary.com" http://174.142.197.113/comics/schlock20151026.jpg 11:02:27 -!- gamemanj has joined. 11:03:07 -!- Lyka has joined. 11:03:08 INSERT @00000000 : START : WHILE A A : GO 0x00000600 : GO 0x00000700 11:03:11 INSERT @00000600 : STRSET $LIDIOT "Lyka is an idiot." 11:03:13 INSERT @00000700 : CONOUT $LIDIOT 11:03:21 My program language in non-asm mode: 11:03:34 Hellyka! you're an idiot? 11:03:45 (okay, the first line came out last...) 11:04:41 does one not self-depricate code? 11:04:53 wow, wisdom has gone two months without updates 11:05:36 (and is, therefore, completely uninfested by moths) 11:05:40 * Lyka does not understand. 11:05:47 hmm, s/moths/moth myths/ 11:05:49 wisdom? 11:05:58 Lyka: the pdf in the topic 11:06:03 boily maintains it 11:06:13 oh 11:06:17 fsvo maintains. I'm a few weeks late. 11:06:45 `wisdom 11:06:47 dc/dc is short for "dump core". (try it out yourself: dc -e '[') 11:06:53 `? Lyka 11:06:54 Lyka? ¯\(°​_o)/¯ 11:07:01 oh shit... 11:07:28 accidentally changed my screen res to 640x480 11:07:43 good old times 11:08:34 nostalgia is 720x348 amber... 11:08:40 oh, just 1024x768 11:08:47 but it felt like... 11:09:05 320x200. I had colours! COLOURS! 16 of 'em! 11:09:42 was that EGA? 11:09:52 nope, only CGA. 11:09:53 CGA? EGA hat 640x350... 11:10:09 EGA was 640x480. 11:10:15 i never used a pre-vga machine 11:10:42 (except for an apple IIe) 11:11:13 boily: it really didn't; you needed VGA or vendor extensions for that. 11:11:54 (these details are such a waste of brain capacity) 11:12:02 VGA was 640x480x4 (16-bit color) 11:12:34 My first computer was SVGA 11:12:46 1024x768x24 11:12:52 int-e: ah? 11:13:06 s/16-bit color/16 colors/ 11:15:11 can you understand the hydra hcode language as i typed it? 11:15:36 the first computer I owned and learned to program with had 96x64 11:17:11 * Lyka inserts tasteless comment that makes her realize she is not fit to be online at the moment 11:20:03 * Lyka must decide between exiting his bed and lying back down on it 11:26:14 "WHILE A A"? Though the "GO"s make sense, there's nothing returning from them... and INSERT @00000600 when 0x00000600 is around is confusing 11:26:29 Lyka: understand the mattress. cherish the pillow. stare at the detailed ceiling. 11:27:02 boily: embrace the ceiling's many aspects. understand the world. close the world... 11:30:23 -!- boily has quit (Quit: ALABASTER CHICKEN). 11:33:24 -!- Phantom_Hoover has joined. 11:36:15 WHILE A A ; While A == A 11:37:18 INSERT @00000600 ; Insert the asm code that this is shorthand for starting at position 0x00000600 11:39:56 or, i could stick to "SET 04 00 01 GADR 00 00 01 00 02 00 03 00 JINZ 04 00 00 00 01 00 02 00 03 00" like stuff 11:40:48 -!- oerjan has quit (Quit: Later). 11:51:28 -!- AnotherTest has quit (Ping timeout: 246 seconds). 12:04:41 -!- Patashu has quit (Ping timeout: 256 seconds). 12:29:24 -!- Lyka has changed nick to Lyka|Away. 12:29:28 -!- idris-bot has quit (Quit: Terminated). 12:39:24 -!- doesthiswork has joined. 12:43:24 -!- AnotherTest has joined. 12:51:01 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 13:05:42 -!- Guest37878 has quit (Quit: KVIrc 4.2.0 Equilibrium http://www.kvirc.net/). 13:08:51 -!- AnotherTest has joined. 13:15:07 -!- `^_^v has joined. 13:16:18 [wiki] [[QO]] http://esolangs.org/w/index.php?diff=44891&oldid=44877 * Zdimension * (+184) Added = operator 13:21:13 -!- qwertyo has quit (Ping timeout: 252 seconds). 13:21:25 -!- AnotherTest has quit (Ping timeout: 246 seconds). 13:45:59 -!- J_Arcane has joined. 14:03:11 -!- shikhin has quit (Ping timeout: 264 seconds). 14:03:38 -!- FireFly has quit (Ping timeout: 268 seconds). 14:04:48 -!- bender| has joined. 14:05:15 -!- spiette has joined. 14:05:27 -!- FireFly has joined. 14:05:48 -!- shikhin has joined. 14:18:05 -!- AnotherTest has joined. 14:26:51 -!- AnotherTest has quit (Ping timeout: 252 seconds). 14:27:03 -!- doesthiswork has quit (Quit: Leaving.). 14:39:43 \oren\: I don't see the rotated long vowel sign, or the rotated Chinese dot and comma. 14:40:01 \oren\: and is that really "Deseret and Shavian alphabets"? It looks as if it was only Deseret, or something 14:40:14 though... I dunno 14:40:22 there are some shavian letters 14:40:24 so maybe 14:40:30 I dunno, I don't understand this stuff 14:41:27 b_jonas: I can sympathize, I'm in a lecture about representing a chomsky grammar as a graph grammar 14:41:59 I don't understand this stuff 14:42:31 \oren\: also, 百 still 14:47:22 -!- AnotherTest has joined. 14:51:25 -!- AnotherTest has quit (Ping timeout: 240 seconds). 14:53:10 -!- bender| has quit (Quit: [G-socks is the new trend now!]). 14:56:16 -!- AnotherTest has joined. 14:59:38 -!- JesseH has joined. 15:03:27 -!- AnotherTest has quit (Ping timeout: 268 seconds). 15:14:13 What's the highest-level brainfuck outthere? 15:15:31 brainfuck 15:16:35 Could you elaborate? I'm not sure I'm understanding the question 15:17:34 Like brainfuck derivatives that make it little less brainfucky 15:17:49 Oh 15:17:52 So, not brainfuck 15:18:04 brainfuck "derivatives" 15:18:08 or brainfuck extensions 15:18:19 * int-e is tempted to say "Mathematica" (or some other CAS)... and wait for objections 15:18:49 OBJECTION 15:19:09 `? stephen wolfram 15:19:10 Stephen Wolfram is an esolanger with too much money and power. Taneb invented him. 15:19:23 Okay I'll admit that I was hoping for justifications as well. 15:19:33 Well you were wrong. 15:19:43 int-e: Wolfram language is higher-level 15:19:46 What? How can I be wrong about my hopes... 15:20:00 Oh, they're the same thing 15:20:05 I don't know, but it's certainly possible to be wrong about hopes. 15:20:10 Wikipedia's CSS seems to have failed 15:20:17 -!- Froox has joined. 15:20:41 Is there a brainfuck derivative that uses the tape like a mix between a stack and a tape? 15:20:55 tack 15:20:56 stape 15:21:00 i.e. it's a stack but with < > you can manipulate the stack pointer 15:22:09 (so technically all brainfuck programs would run perfectly fine, at least the ones in normal form) 15:22:36 -!- Frooxius has quit (Ping timeout: 255 seconds). 15:23:43 but there would be additional commands like adding two numbers on the stack 15:23:49 stuff like that 15:23:57 -!- AnotherTest has joined. 15:24:08 -!- Froo has joined. 15:24:55 mroman: the Ook! derivative I wrote a long time ago had some stuff like that 15:25:08 Although it had two tapes that moved independently rather than a stack 15:25:28 I guess you could also traverse a tree... this may have been done 15:25:34 ...or a grid, for that matter 15:26:22 -!- Froox has quit (Ping timeout: 246 seconds). 15:27:51 or a balloon? 15:29:45 -!- nycs has joined. 15:31:18 -!- nycs has quit (Read error: No route to host). 15:32:05 -!- `^_^v has quit (Ping timeout: 256 seconds). 15:33:11 -!- AnotherTest has quit (Ping timeout: 264 seconds). 15:37:26 -!- AnotherTest has joined. 15:41:46 -!- AnotherTest has quit (Ping timeout: 240 seconds). 15:49:22 -!- Sprocklem has joined. 16:00:05 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:08:43 *Main> run "+++>++++>++aa@n" 16:08:43 9 16:08:47 ^- like that 16:08:57 (a is an addition, @ show number, n show newline) 16:32:33 -!- mihow has joined. 16:38:15 Maths vocabulary is fun sometimes 16:38:27 Just had a lecturer ask "How many of you have come across bags?" 16:38:49 does he mean multisets? 16:39:52 -!- AnotherTest has joined. 16:40:27 YEs 16:43:29 I remember a talk where the presenter was visibly happy that he finally found "the right" notation for bags: ⟅ ... ⟆ 16:44:46 So the natural numbers are a free semilattice generated by powers of 2. 16:44:47 `unidecode ⟅⟆ 16:44:48 ​[U+27C5 LEFT S-SHAPED BAG DELIMITER] [U+27C6 RIGHT S-SHAPED BAG DELIMITER] 16:45:01 And the positive naturals are a free commutative monoid generated by the primes. 16:45:36 What other exciting free structures do they have? 16:45:49 -!- TieSoul has joined. 16:46:31 what about the basic one (free monoid)? 16:46:45 You mean, free monoid generated by a singleton set? 16:46:46 with one generator. 16:46:52 Sure. 16:47:05 What else? 16:47:20 also, any free countable thing... by definition of countability ;) 16:47:33 look 16:47:37 this is why parametricity is great 16:47:42 i mean naturality 16:47:48 it doesn't let you play those tricks 16:50:46 -!- TieSoul has quit (Ping timeout: 260 seconds). 16:52:35 Maybe the conaturals have something? You have structure with min/infty and and so on. 16:52:57 liftA2 mappend/pure mempty for ZipList () 16:55:46 maybe that would be a cofree thing, because it's codata? 16:56:36 -!- llue has joined. 16:56:36 -!- llue has quit (Changing host). 16:56:36 -!- llue has joined. 16:57:44 The skeleton of the category of morphisms between finite vector spaces over the reals is I think equivalent to the naturals 16:58:19 -!- lleu has quit (Read error: Connection reset by peer). 16:59:30 you mean the objects are? 17:00:00 that is true but objects aren't important 17:00:25 PERHAPS 17:00:26 all you're saying is that there are countably infinitely many objects? 17:00:30 Maybe 17:00:32 the skeleton of the category of finite sets and functions between them also has naturals as objects 17:00:46 an arrow : N -> M is an N-tuple of numbers composition is pointwise indexing 17:01:00 this is when i wish i understood category theory 17:01:10 where did oyu guys learn all this stuff 17:01:19 i learned it all from Taneb 17:01:22 who invented it 17:01:36 Taneb: will you be my tutor. 17:01:53 quintopia: I learnt it all from shachaf 17:01:57 who inspired me to invent it 17:02:43 but to what end did you invent it 17:02:58 I was bored 17:03:06 Who invented Taneb? 17:03:10 taneb 17:03:10 quintopia: http://arxiv.org/pdf/1501.02503v2.pdf hth 17:03:11 duh 17:03:12 `? Taneb 17:03:12 int-e: my parents, I think 17:03:13 Taneb is not elliott, no matter who you ask. He also isn't a rabbi although he has pretended in the past. He has at least two backup keyboards with dodgy SHIFT KEys, cube root of five genders, and voluminous but calm eyebrows. (See also: tanebventions) 17:03:34 `` rgrep 'invented Taneb' wisdom 17:03:35 wisdom/ci:The CIs are a secret society led by David Morgan-Mar, bent on conquering the world from Sydney with web comics and unsolvable puzzles. They invented Taneb. 17:03:46 ah. 17:03:47 `? nitia 17:03:47 That explains it 17:03:48 nitia is the inventor of all things. The BBC invented her. 17:03:54 -!- Taneb has changed nick to nitia. 17:04:02 nitia's the best 17:04:10 `? bbc 17:04:11 The BBC is the BreadBox Corporation. Its inventions include, without limitation, Muppets and tiny elfs. 17:04:14 Taneb invented the CIs and nitia 17:04:32 `? all things 17:04:33 all things? ¯\(°​_o)/¯ 17:04:40 I'd say nitia was discovered, not invented. 17:04:47 well, nitia only indirectly, by inventing BBC 17:04:54 -!- GoToTell has quit (Quit: Want to be different? Try HydraIRC -> http://www.hydrairc.com <-). 17:05:06 The set of all things is not a set. nitia invented it 17:05:40 long before Russell and Whitehead broke it 17:05:51 party poopers 17:08:19 -!- nitia has changed nick to nvd. 17:09:04 `? nvd 17:09:05 nvd is what Taneb calls himself when he wants to feel professional. 17:09:16 i see 17:09:20 nvd: what is your profession 17:09:24 shachaf: student 17:09:27 you all learned category theory from david madore. it all makes sense now. 17:10:17 shachaf: also person who helps people be students 17:10:59 help me be a student 17:11:36 quintopia: do you regularly go to a place of education? 17:11:41 If so, in what capacity? 17:12:45 yes. i am an after-school tutor. 17:12:52 who doesn't know category theory. 17:13:31 I would suggest that that is the wrong capacity 17:13:42 Try attending in the capacity of being a student 17:14:29 i have tried. i've told my students to be the tutors instead and teach me, but they don't seem to know category theory either 17:15:30 Right, don't take action; be a bystander. Showing interest is optional. 17:15:59 huh? 17:16:09 it's the teacher's job to make you learn 17:16:11 * int-e runs. 17:17:26 yeah that's the worst part of teaching 17:17:32 (disclaimer: the statements above are my own but do not necessarily reflect my opinion) 17:17:46 if i ran the place, i'd just kick out everyone who wasn't willing to take an active role in their education 17:18:12 nvd: Should I be a student? 17:18:23 sure why not 17:18:30 shachaf: do you want to learn? 17:18:37 you can be anything you want 17:18:40 nvd: Sure. 17:18:43 you are *free* 17:18:59 in how many parameters? 17:19:16 shachaf: then why not be a student 17:19:16 * izabera sends quintopia in a corner 17:19:23 nvd: takes up a lot of time 17:19:26 and money 17:19:33 Be a night student! 17:19:39 is it an educational corner? 17:19:41 takes up time at night too 17:20:09 There is more time at night than during the day 17:20:09 it's a punishment corner for educational purposes 17:20:25 Because it's after the autumn equinox in the northern hemispher 17:20:26 e 17:20:36 yeah but i like to play by myself 17:20:50 but i never learn very much 17:27:46 -!- ^v has joined. 17:29:21 quintopia: you could read Leinster's _Basic Category Theory_ 17:29:30 -!- Lyka|Away has changed nick to Lyka. 17:29:36 I've been reading Schubert's Category Theory 17:29:44 It's... not a good introductory text 17:29:51 quintopia: come Jan 01 it'll be available on the Internet for free 17:29:55 I prefer his music 17:29:57 but you can already get it as a book 17:32:07 -!- Froo has quit (Quit: *bubbles away*). 17:32:26 -!- Frooxius has joined. 17:37:11 -!- Lyka has changed nick to Lyka|Away. 17:42:09 -!- TieSoul has joined. 17:42:28 Make SQLite extension for accessing various kind of external data, such as weather and finance and perhaps various different search engines for specific kind of stuff. 17:43:36 Why does that belong in SQLite? 17:44:06 It does not belong in the SQLite core, but it can be use in extensions. 17:44:55 @metar lowi 17:44:56 LOWI 261720Z VRB02KT CAVOK 09/07 Q1018 NOSIG 17:45:15 Therefore you don't need to use web-browser and so on to access, just using SQL to access it instead and you can even use multiple sources (including local data) together, making backups of data, etc. In some cases you may even want to be able to send data to the server; a virtual table can be read/write so this is possible. 17:46:31 -!- llue has quit (Read error: Connection reset by peer). 17:46:41 -!- lleu has joined. 17:46:41 -!- lleu has quit (Changing host). 17:46:41 -!- lleu has joined. 17:48:15 It would be useful if SQLite had the way for a virtual table to consume LIMIT/OFFSET clauses (especially when used with remote data accessed over internet), although a few considerations must be made in order to do so: [1] The SQLite core may add implicit LIMIT/OFFSET, for example in a scalar subquery. [2] If the virtual table cannot consume the ORDER BY clause, then it will not be able to consume the LIMIT/OFFSET clause either. 17:48:35 -!- nvd has changed nick to Taneb. 17:51:42 -!- mroman has quit (Quit: Lost terminal). 18:21:55 -!- bb010g has joined. 18:45:41 Battle for Zendikar has an Ur-Golem's Eye with a 4/4 body for {5} 18:47:44 Also an instant for {7} with “Exile target permanent.” 18:48:55 Also a couple of cards that can put an opponent's exiled cards (including suspended etc) to graveyard. 18:54:30 -!- evalj has joined. 19:08:18 -!- hppavilion[1] has joined. 19:11:56 -!- mauris has joined. 19:18:49 stop talking about your yugioh cards 19:19:49 * izabera hides 19:20:02 it's probably MtG 19:20:03 I have no idea 19:20:06 but probably MtG 19:20:36 gamemanj: yes, but "yugioh" is the correct derogatory term in this context when you want to annoy M:tG players 19:20:59 hmm... "MtG is an esoteric card-based co-programming language, meant to be executed by hand between a set of human beings." 19:21:49 or more like tease them, rather than annoy 19:21:52 "The flow of the program is determined by randomness and the strategic choices those humans make, along with the sets of cards." 19:22:21 "Thus, MtG is not entirely deterministic. It is likely to be possible to predict all potential flows through a program, but not to determine the flow that will occur." 19:22:41 How many non-scheming players should normally play in a Archenemy game? 19:22:52 "The output of the program is the information on which human 'won' the game." 19:23:06 The game might nonterminate. 19:23:10 zzo38: all players available, I say 19:26:01 I'd like an Unscar card (hybrid Battlegrowth), that is, an instant for {W/G} with “Put a +1/+1 counter on target creature” 19:26:31 shachaf: The game terminates when the humans are. 19:27:09 -!- zzo38 has quit (Remote host closed the connection). 19:27:13 (read: even if you an MtG program ran forever, when the humans died, it wouldn't be running, would it?) 19:27:26 gamemanj: no 19:27:46 gamemanj: humans manipulating physical cards or MTGO are just the usual ways to execute the program 19:28:04 just like how compiling, linking, and then running the linked program is just the usual way to run a C program 19:28:25 the game rules model is abstract and well-defined regardless the humans, 19:28:33 so you can talk about a game without humans playing 19:28:45 ok, fair enough 19:31:15 there's two separate documents, the game rules and the tournament rules. the game rules (which is like the C standard) describes the abstract flow of the game. the tournament rules describe a way humans can play with physical cards, how they have to represent the state of the game, and what the judges shall do when they make mistakes or cheat deliberately. 19:31:43 but the tournament rules isn't the only way you can play the game defined by the game rules. 19:32:10 (in addition, the tournament rules also describes tournament structure, drafts, deck checks, and stuff like that.) 19:32:28 (those are things that happen between or outside games) 19:33:47 So MtG may as well come with a programming language for the rules, then. Noted... 19:33:59 In particular, the tournament rules say that during the game, the players must not use note made before the game, but only notes they made during the game. This is for practical reasons, to speed up matches, but if you start programming M:tG, you don't want to play that way. 19:34:44 This isn't really unique to M:tG. Chess or contact bridge also have abstract game rules and tournament rules, though in those cases they might be in the same document. 19:36:04 (Chess has like a hundred different rules documents, because the chess association of each country has a separate one.) 19:44:22 The tournament rules also imply that some tournament games don't map to games valid in the game rules, because for some accidental mistakes, the judges can continue the game from an invalid game derivation. 19:44:30 -!- augur has quit (Ping timeout: 260 seconds). 19:44:59 However, you can't deliberately play an invalid game, because if you do, that counts as cheating, so the judge has to award you at least a game loss, likely worse. 19:54:56 -!- augur has joined. 20:02:11 A white Assassinate? What the heck? Why are they printing all creature removal in white now? 20:05:55 -!- hppavilion[2] has joined. 20:08:37 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 20:11:41 -!- Patashu has joined. 20:14:18 -!- hppavilion[2] has quit (Ping timeout: 250 seconds). 20:20:11 -!- TieSoul has quit (Read error: Connection reset by peer). 20:24:38 -!- nchambers has changed nick to agent_nchambers. 20:27:31 -!- agent_nchambers has changed nick to nchambers. 20:38:28 -!- FreeFull has joined. 20:41:28 Trivia: porting a C doubly linked list to Haskell is not easy 20:42:10 -!- hppavilion[2] has joined. 20:42:57 -!- atrapado has joined. 20:44:35 -!- Patashu has quit (Ping timeout: 264 seconds). 20:46:36 -!- hppavilion[2] has quit (Ping timeout: 255 seconds). 20:50:53 -!- hppavilion[2] has joined. 20:51:58 -!- hppavilion[2] has changed nick to hppavilion[1]. 20:55:13 -!- Sgeo has joined. 20:56:30 -!- Sgeo__ has quit (Ping timeout: 255 seconds). 20:57:11 -!- hppavilion[1] has quit (Read error: Connection reset by peer). 20:57:34 -!- hppavilion[1] has joined. 20:57:36 -!- aretecode has joined. 20:57:56 how easy is it? 20:59:54 -!- aretecode has quit (Read error: Connection reset by peer). 21:21:49 -!- evalj has quit (Remote host closed the connection). 21:29:43 -!- qwertyo has joined. 21:30:20 izabera, not 21:34:37 Taneb how is computer science 21:35:05 It goes 21:35:12 Our website now supports https 21:35:32 wait weren't you doing something with maths 21:35:38 That also goes 21:35:45 I'm doing joint honours Maths and CS 21:35:59 How goes Warwick 21:39:18 i'm desperately trying to master brian bowditchology 21:40:05 -!- bb010g has quit (Quit: Connection closed for inactivity). 21:40:42 i need someone to supervise my project and it's between him and someone else 21:40:47 and they're both terrible 21:45:25 -!- qwertyo has quit (Ping timeout: 246 seconds). 21:45:31 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 21:48:38 -!- qwertyo has joined. 21:51:38 -!- boily has joined. 21:53:31 Oooh, that's a thing I need to do 21:53:38 (choose who to supervise my project) 21:53:43 I'd suggest choosing a better project 21:59:08 Tanelle! 21:59:58 QUINTHELLOPIAAAAAAAAAAAAAAAAAAAAAAAAAAA! 22:00:33 https://hacksoc.org/ check out that delicious SSL 22:01:32 yes? what about it? 22:01:49 We have it! 22:01:54 oh! it's let'sencrypted! 22:02:06 Yeah! 22:02:19 Our infrastructure guy got on the beta 22:03:10 Nom alternatif du sujet du certificat, nom DNS: runciman.hacksoc.org. 22:03:34 runciman is the name of our shell server 22:03:40 With user webspace 22:03:48 It's where my esolangs page lives 22:05:01 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:05:09 I'd suggest choosing a better project 22:05:18 i haven't chosen a project so... 22:05:35 In that case, I suggest choosing a better university 22:05:38 Might I recommend York? 22:05:43 -!- atrapado has quit (Quit: Leaving). 22:06:12 (University of, that is, otherwise you might bump into oren) 22:06:21 Taneb, fuck off your underwater hockey team is mediocre 22:07:11 That is a fair point 22:08:17 though they're hosting student nationals this year so do not tell them i said that 22:08:42 -!- gamemanj has quit (Ping timeout: 260 seconds). 22:08:49 I'm afraid I don't follow underwater hockey too closely 22:09:16 \oren\: \helloren\. you york? 22:09:42 boily, I believe \oren\ is or was associated with York University 22:09:52 Which is a completely different establishment 22:10:09 Taneb, well yes, you can't really see anything unless you are also underwater 22:10:16 the solution to this is to play underwater hockey 22:14:25 That sounds like a lot of effort 22:43:29 -!- mauris has quit (Ping timeout: 268 seconds). 22:52:21 Porting a C linked list to Haskell? 22:52:21 I dunno, wouldn't that be a matter of, like... 22:52:45 data DLL a = DLL a (Ptr a) (Ptr a) 22:52:51 No, not quite. 22:53:01 data DLL a = DLL a (Ptr (DLL a)) (Ptr (DLL a)) 22:53:12 Voilà. 22:58:06 -!- bb010g has joined. 22:58:56 `wisdom tanebventions 22:58:57 find: `wisdom/*tanebventions*': No such file or directory \ /cat: : No such file or directory 22:59:02 `? tanebventions 22:59:03 Tanebventions include D-modules, Chu spaces, automatic squirrel feeders, the torus, Stephen Wolfram, Go, the universe, weetoflakes, persistence, the reals, robots, progress, and this sentence. He never invents anything involving sex. 22:59:16 `fundamental theorem of tanebventions 22:59:16 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: fundamental: not found 22:59:21 `?fundamental theorem of tanebventions 22:59:22 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ?fundamental: not found 22:59:23 `? fundamental theorem of tanebventions 22:59:24 fundamental theorem of tanebventions? ¯\(°​_o)/¯ 23:00:37 -!- boily has quit (Quit: RENEWED CHICKEN). 23:03:20 `? progress 23:03:21 Progress has been made today. It was invented by Taneb. 23:13:31 -!- Wright has joined. 23:23:04 `? this sentence 23:23:05 This sentence was not invented by Taneb. Taneb invented it. 23:23:49 `paste bin/wisdom 23:23:52 http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/bin/wisdom 23:25:00 I see 23:25:24 `wisdom 23:25:25 native/The natives are restless, also armed with sed. 23:25:43 `wisdom 23:25:44 lord/The way of the Lord is not just. 23:25:49 `wisdom 23:25:51 bfjoust/bfjoust is a spamming tool for #esoteric. 23:26:04 `` echo wisdom/* | wc -l 23:26:05 1 23:26:31 `` echo wisdom/* | tr -dc \ | wc -c 23:26:32 727 23:26:35 -!- qwertyo has quit (Ping timeout: 252 seconds). 23:27:46 There are probably better ways to figure out how many elements a glob expands to 23:28:25 `` tmp=(wisdom/*); echo ${#tmp} 23:28:26 8 23:34:17 <\oren\> boily: no, I'm an alumnus of UofT, but my dad works at York U 23:45:11 `? UofT 23:45:12 UofT? ¯\(°​_o)/¯ 23:45:22 -!- mihow has quit (Quit: mihow). 23:45:46 <\oren\> Can one use proliferate to charage up planeswalkers faster? 23:46:00 Hey, what happens when damage is dealt to a planeswalker creature? 23:51:09 <\oren\> it loses loyalty counters 23:56:59 Does a planeswalker creature necessarily have toughness?