00:00:01 :t Nu "hi shachaf" (Just . (++"!")) 00:00:09 what about that one? 00:00:09 Nu Maybe 00:01:00 Also equal. 00:01:19 Imagine I give you x :: Nu Maybe 00:01:22 What can you do with it? 00:01:35 not this again :P 00:01:52 should we take this to ##somewhereelse 00:01:56 Looj coppro 00:02:05 no, it's incredibly ontopic 00:02:08 This is great. 00:02:59 okay! your x is (Nu a f), where f :: a -> Maybe a 00:04:06 mauris :: Nu Maybe -> String is the same as mauris :: forall x. x -> (x -> Maybe x) -> String 00:04:16 This is how you turn exists into forall 00:04:26 maybe if I hear shachaf explain this enough times I'll understand it 00:04:43 I'm not explaining it, I'm letting mauris figure it out. 00:04:48 When have you heard me explain this? 00:05:07 you did it in #haskell the other day, didn't you? 00:05:45 so, re: "What can you do with it?": first of all, trivially, i could take out the a 00:06:11 coppro: Only for a few minutes. 00:06:24 Existential types are so good. 00:06:27 Duality is the best. 00:06:45 or i could run it through f once, and get a `Maybe a`... 00:07:19 and then i can fmap f on that to get a `Maybe (Maybe a)`, etc. 00:08:18 You can do all of those things. 00:08:27 But a :: x isn't very useful to you. 00:08:34 You can't do anything with it. 00:09:32 yeah, that's the thing 00:11:18 i mean, i can write a Nu Maybe -> String that just returns a constant string, but that sounds very boring. so the question is: what meaningful info can i extract from my `a :: x` and `f :: x -> Maybe x` without assuming anything about the type `x`, right? 00:12:54 i could >>= my `Just a` through `f` repeatedly, and count how many iterations it takes to get a Nothing 00:13:10 eh wot? 00:13:27 oh, nvm 00:15:28 mauris: sgtm 00:16:48 (this feels a little like an unfold to me, the way Mu feels like a fold, which i was expecting! but it's a bit frustrating that i can't pin down the exact correspondence) 00:16:50 :t unfoldr 00:16:52 (b -> Maybe (a, b)) -> b -> [a] 00:17:04 Mu Maybe and Nu Maybe are both types of natural numbers. 00:17:20 What's the difference between them? 00:17:30 i suppose if a = (), then [a] is Nat! 00:17:49 You were just talking about ana and cata, right? 00:17:58 Which in polite company we call unfold and fold. 00:18:07 fold :: Fix f -> (f r -> r) -> r 00:18:18 unfoldr :: x -> (x -> f x) -> Fix f 00:18:19 hth 00:18:20 right 00:20:05 " What's the difference between them?" <-- well, arrows got flipped, so i suppose they are (waves hands) dual 00:20:23 In a sense. 00:20:32 What's the difference between these types? Do they have the same inhabitants? 00:22:06 i would guess: up to isomorphism, they do? 00:22:55 what with Mu Maybe and Nu Maybe both being the naturals, and those signatures of fold and unfold looking like they compose into each other nicely to at least get from Nu to Mu 00:23:17 There is a difference. 00:23:52 You could write zeroMu, succMu, muToInt, and zeroNu, succNu, nuToInt 00:24:05 i guess omegaNu exists, but omegaMu doesn't 00:24:09 (You're allowed to use recursion in nuToInt.) 00:24:15 Right. 00:24:40 Nu Maybe is the type of conatural numbers (i.e. natural numbers with infinity), defined without any recursion. 00:25:05 omegaNu being where `f :: x -> Maybe x` is simply `Just`, and you *never* get a `Nothing` out of it 00:25:17 Right. 00:25:41 You can think of Nu Maybe as a simple state machine thing. 00:25:58 It has an internal state, and you can press a button, which might give you a new state. 00:26:05 either it "halts" after some amount of steps, or it goes on forever? 00:26:17 Right. 00:26:28 It represents the natural number "how many times does it run before it halts". 00:26:43 The state is opaque, which is why all those values you named are equal. 00:26:59 i see! 00:28:23 maybe this doesn't make a lot of sense at all, but my intuition is saying something like... 00:29:57 Mu is a bit like fold, and you fold from some finite number "down" to zero in a number of steps. but Nu is the opposite and can unfold "up" into infinity 00:30:31 Now write muToNu and nuToMu 00:30:46 You can also write muToFix, fixToNu, nuToFix, fixToMu. 00:30:48 this is really hard for me to put into words (the darn things are so concrete :<) 00:32:18 do i need the fact that `f` is a Functor, for these? 00:32:44 like, do i write `mu2nu :: Functor f => Mu f -> Nu f` or just `mu2nu :: Mu f -> Nu f` 00:32:52 you tell me hth 00:34:20 Oh, you can also write inMu :: f (Mu f) -> Mu f, outMu :: Mu f -> f (Mu f), inNu :: f (Nu f) -> Nu f, outNu :: Nu f -> f (Nu f) 00:34:33 For all of these things, some directions are easy, and some are hard. 00:34:59 I can give you a hint for which you should expect to be easy. 00:35:05 alrighty. i'm going to fidget with this locally, unless you really want to see me mess around with ghci and follow my train of thought, in which case i could try lambdabot? 00:35:19 imo do whatever you want hth 00:35:46 mostly flooding #esoteric with ghc errors sounds scary ;.; 00:36:01 Use Gobby. 00:36:06 That way everyone wins. 00:36:50 (looks that up) 00:37:06 Or maybe try https://coderpad.io/Y4W93H37 00:42:58 -!- mihow has quit (Quit: mihow). 00:53:32 I thought of some a bit unusual idea related to Dungeons&Dragons game, such as, a "Break Numerical Barrier" spell that can change one instance of an effect that normally has a minimum of one or zero to instead have no minimum. 00:55:24 Other ideas are such thing as magic items that have one effect in the daylight and another effect in the darkness, such as a magic weapon with +2 hit and -1 damage in daylight but +2 damage and -1 hit in darkness. 01:02:27 :t maybe 01:02:28 b -> (a -> b) -> Maybe a -> b 01:04:10 mauris: hauris 01:04:30 hichaf 01:06:36 -!- boily has joined. 01:08:04 boiɥly 01:11:24 Heverywellone. 01:11:43 I have more wisdom from the neural net: 01:12:03 19:41:19: (I have no large weird alternate constructors of the comment) 01:13:14 and let us all be thankful for that 01:13:15 hellœʁjan! 01:13:21 dippellorswett! 01:13:25 @massages-loud 01:13:25 fizzie said 13h 51m 6s ago: päältä 'from on top' (ablative case of päällä 'on top of something', or 'on' as in "the radio is on") 01:13:25 fizzie said 13h 51m 2s ago: säänne 'your (pl.) weather' (second-person plural possessive of sää 'weather') 01:13:25 fizzie said 13h 50m 55s ago: silleen -- a colloquialism that's rather hard to translate without resorting to just listing a bunch of example uses. 01:13:25 fizzie said 13h 50m 47s ago: varpaastasi 'from your toe' (elative case of the second-person singular possessive of varvas 'toe') 01:14:00 Oh sweet, I get a new groileeting. 01:14:07 groil??? 01:14:37 aaaaurgh... Finnish has too many cases. 01:14:58 from your toe. come on, that should never be a single word! at least in polite company! 01:15:03 in case of finnish break glass 01:15:04 I'm going to upload a bunch of pictures of some of the maps from my atlas, this time is high-res 01:15:09 Or is your name pronounced like /bwaly/ or something instead of /boili/. 01:15:26 helloren! 01:15:46 boily: clearly it must be stallman's favorite finnish word hth 01:15:46 * dipperswett sets the neural net to Insane Mode. 01:15:47 dipperswett: more like /bwali/. you can realize the /a/ as [æ] if you prefer. 01:15:47 hi 01:16:15 oerjan: indeed. stallman's toes are very hambiguitous hth 01:16:51 The neural net's behavior in Insane Mode is pretty interesting. 01:16:59 damn, not high res enough 01:17:34 ham and cheesy 01:17:47 I'm gonna clbin it. 01:18:21 `? clbin 01:18:23 clbin? ¯\(°​_o)/¯ 01:18:55 `learn clbin is a "command line pastebin" web application: https://clbin.com 01:18:57 Learned 'clbin': clbin is a "command line pastebin" web application: https://clbin.com 01:19:08 The only useful learndb entry ever created. 01:19:34 well there have been previous attempts that were squashed 01:19:43 os 01:19:44 some may even have survived 01:19:52 `? learndb 01:19:52 learndb? ¯\(°​_o)/¯ 01:20:04 `? wisdom 01:20:05 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 01:20:09 `? ¯\(°​_o)/¯ 01:20:10 ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 01:20:10 | 01:20:10 o/`¯º 01:20:26 Does that somehow invoke myndzi on purpose? 01:20:58 `unidecode ¯\(°​_o)/¯ ¯\(°_o)/¯ 01:20:58 | 01:20:58 º¯`\o 01:20:58 ​[U+00AF MACRON] [U+005C REVERSE SOLIDUS] [U+0028 LEFT PARENTHESIS] [U+00B0 DEGREE SIGN] [U+200B ZERO WIDTH SPACE] [U+005F LOW LINE] [U+006F LATIN SMALL LETTER O] [U+0029 RIGHT PARENTHESIS] [U+002F SOLIDUS] [U+00AF MACRON] [U+0020 SPACE] [U+00AF MACRON] [U+005C REVERSE SOLIDUS] [U+0028 LEFT PARENTHESIS] [U+00B0 DEGREE SIGN] [U+005F LOW LINE] [U+0 01:21:01 myndzi is part bot, part cyborg. they are a very strange entity. 01:21:16 fungot: have you tried communicating with myndzi? 01:21:17 boily: was there a train somewhere in the file. 01:21:27 Aha. 01:21:35 I'm gonna unidecode those one at a time. 01:21:41 `? ¯\(°​_o)/¯ 01:21:42 ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 01:21:42 | 01:21:42 o/`¯º 01:21:43 `unidecode ¯\(°​_o)/¯ 01:21:44 ​[U+00AF MACRON] [U+005C REVERSE SOLIDUS] [U+0028 LEFT PARENTHESIS] [U+00B0 DEGREE SIGN] [U+200B ZERO WIDTH SPACE] [U+005F LOW LINE] [U+006F LATIN SMALL LETTER O] [U+0029 RIGHT PARENTHESIS] [U+002F SOLIDUS] [U+00AF MACRON] 01:21:53 `? ¯\(°​_o)/¯ 01:21:54 ​¯\(°​_o)/¯ is a misspelling of ¯\(°_o)/¯ 01:21:54 | 01:21:54 º¯`\o 01:22:00 `unidecode ¯\(°​_o)/¯ 01:22:01 ​[U+00AF MACRON] [U+005C REVERSE SOLIDUS] [U+0028 LEFT PARENTHESIS] [U+00B0 DEGREE SIGN] [U+200B ZERO WIDTH SPACE] [U+005F LOW LINE] [U+006F LATIN SMALL LETTER O] [U+0029 RIGHT PARENTHESIS] [U+002F SOLIDUS] [U+00AF MACRON] 01:22:09 `unidecode ¯\(°_o)/¯ 01:22:09 | 01:22:09 º¯`\o 01:22:09 ​[U+00AF MACRON] [U+005C REVERSE SOLIDUS] [U+0028 LEFT PARENTHESIS] [U+00B0 DEGREE SIGN] [U+005F LOW LINE] [U+006F LATIN SMALL LETTER O] [U+0029 RIGHT PARENTHESIS] [U+002F SOLIDUS] [U+00AF MACRON] 01:22:36 `? ¯\(°_o)/¯ 01:22:36 | 01:22:36 o/`¯º 01:22:37 ​¯\(°_o)/¯ `? ¯\(°_o)/¯ 01:22:37 | | 01:22:37 º¯`\o o/`¯º 01:22:56 ¯\(°​_o)/¯ 01:23:02 ¯\(°​_o)/¯ 01:23:13 ¯\(°_o)/¯ 01:23:13 | 01:23:13 º¯`\o 01:23:15 this chännel went full bönkers mode... 01:23:20 oh the fungotity... 01:23:21 boily: you rule!" joke that was posted on reddit has him going into detail on that 01:23:21 `? ¯\(°_o)/¯ 01:23:21 | 01:23:22 º¯`\o 01:23:22 ​¯\(°_o)/¯ `? ¯\(°_o)/¯ 01:23:22 | | 01:23:22 o/`¯º º¯`\o 01:23:40 ¯\(°_o)/¯ ¯\(°_o)/¯ ¯\(°_o)/¯ ¯\(°_o)/¯ ¯\(°_o)/¯ ¯\(°_o)/¯ ¯\(°_o)/¯ 01:23:46 Oh come on. 01:24:00 there's a line length limit 01:24:17 ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ 01:24:17 | | | | | 01:24:17 º¯`\o o/`¯º º¯`\o º¯`\o º¯`\o 01:24:25 Wait a minute. 01:24:42 ¯\(°​_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°​_o)/¯ 01:24:42 | | 01:24:42 o/`¯º º¯`\o 01:24:51 I'm confused. 01:24:53 me too 01:25:07 ¯\(°​_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°​_o)/¯ 01:25:07 | | 01:25:07 o/`¯º º¯`\o 01:25:09 ¯\(°​_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°​_o)/¯ 01:25:09 | | 01:25:09 º¯`\o º¯`\o 01:25:10 ¯\(°​_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°​_o)/¯ 01:25:10 bonk bonk bonk bonk bonk ♪ 01:25:10 | | 01:25:11 º¯`\o º¯`\o 01:25:38 ¯\(°_o)/¯ and ¯\(°​_o)/¯ but ¯\(°​_o)/¯ and ¯\(°_o)/¯ and 01:25:38 | | 01:25:38 º¯`\o º¯`\o 01:25:52 Nnnnnnnnnnnnnnnnnnnno. 01:26:09 ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/ 01:26:10 | | | | | 01:26:10 o/`¯º o/`¯º o/`¯º o/`¯º º¯`\o 01:26:27 ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ and ¯\(°_o)/¯ 01:26:27 | | | | | 01:26:27 º¯`\o o/`¯º o/`¯º o/`¯º º¯`\o 01:26:46 This is a bit heavy on the bot spam for my taste. 01:26:54 i suppose no one person can test this because the nick length affects it a little?? 01:26:56 _o_ 01:27:04 fffff _o_ 01:27:04 | 01:27:04 >\ 01:27:14 fffff _o_ _o_ 01:27:15 | | 01:27:15 |\ >\ 01:27:18 fffff _o_ _o_ 01:27:18 | | 01:27:18 >\ |\ 01:27:26 fffff _o_ _o_ _o_ 01:27:27 | | | 01:27:27 |\ /| |\ 01:27:45 fffff _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:27:45 | | ¦ | | | | | ¦ 01:27:45 /| >\ ´¸¨ |\ /^\ /| /| /| ´¸¨ 01:27:50 hellochaf. bonk ♪ 01:28:42 i'm sure myndzi's script still has some bugs 01:29:03 ps: hichaf, i will probably be busy for a while but maybe i will ping you when i'm ready for more greek letter fun 01:29:04 `` perl -e 'print "_o_ " x 15 01:29:05 | 01:29:05 /´\ 01:29:05 bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file 01:29:11 `` perl -e 'print "_o_ " x 15' 01:29:11 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:29:11 | 01:29:11 /< 01:29:12 | | | | | | | ¦ | | | | | | | 01:29:12 |\ /< |\ >\ >\ /´\ >\ ´¸¨ /'\ /< /< >\ |\ >\ /| 01:29:17 shachaf: ^ + does this coderpad.io thing time out 01:29:41 oren: nice one 01:29:42 `` perl -e 'print "_o_ " x 30' 01:29:42 | 01:29:42 >\ 01:29:42 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:29:49 mauris: I have no idea. 01:29:58 `` perl -e 'print "_o_ " x 20' 01:29:59 | 01:29:59 /´\ 01:29:59 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:30:04 ah. well, i've copied it all into a text editor locally 01:30:11 `` perl -e 'print "_o_ " x 17' 01:30:11 | 01:30:11 /'\ 01:30:11 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:30:19 `` perl -e 'print "_o_ " x 16' 01:30:19 | 01:30:19 |\ 01:30:19 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:30:26 `` perl -e 'print "_o_ " x 15' 01:30:26 | 01:30:26 |\ 01:30:26 _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ _o_ 01:30:27 | | | | | ¦ | | | | | | | | | 01:30:27 |\ >\ |\ /'\ /| ´¸¨ >\ /^\ /| /| |\ /^\ /| /< /'\ 01:30:43 the population limit is 15 01:30:50 good, good 01:31:12 i think i cannot in conscience let this go on for much longer 01:31:16 *+good 01:32:01 All right, here's the insane output: https://db.tt/LvdF6xWG 01:32:09 Relatively sane line: 15:05:48: -!- Sprocklem_ has joined #esoteric. 01:32:21 Also relatively sane line: 13:33:12: eventually.tmm:IHv/!*t&v&[u| Somewhat insane line: 05:16:0d: -!- kon 01:32:54 14:27:10: butzind:;*?}Bhok'-8:΋qÅ¡l+ 01:32:55 exactly like the original oerjan! 01:33:00 Did you catch the 0x0F byte in there? There's a 0x0F byte in there. 01:33:28 le/rn butzind/butzind:;*?}Bhok'-8:΋qÅ¡l+ 01:33:40 I like this one: 03:42:10: candi raze | "a �# At) ...Too, fan5smKdwat!E 01:33:55 oerjan, I'm USl'nuqÌ ← is that one of Taneb's genders? 01:34:32 dipperswett: sadly, there aren't any CHICKENs in it. 01:35:17 it seems to know that there are 24 hours in a day and 60 minutes/seconds per hour/minute 01:36:13 Though in insane mode, it does sometimes generate a timestamp like 16:5P:11. 01:36:44 @ask b_jonas But I've met the similar non-qwerty TIs more. I've also seen HPs and Casios, but none of them have I delved so deeply as into that Sharp I own. <-- no balrogs yet? 01:36:44 Consider it noted. 01:36:53 dipperswett: that's simply fungot AM hth 01:36:53 boily: now i'm finally feeling comfortable with the fact that the build system currently works, but i got the same answer, 16. 01:36:57 Every line begins with something satisfying the regex '^..:..:..: ', with one exception: there's one beginning with '00:48 48: ' instead. 01:37:01 (You may nitpick.) 01:37:07 boily: fungot who? 01:37:07 dipperswett: one needs set-cdr!, and then 01:37:17 `? fungot am 01:37:18 boily: can you write the code usually it has only two words of the same 01:37:18 fungot am? ¯\(°​_o)/¯ 01:37:23 ... 01:37:28 where was it again... 01:38:10 ah! 01:38:13 `? fnord am 01:38:14 Fnord AM is the repeated hour that happens when DST resolves. It is customary to celebrate it with a Garou Ping if one is awake during that time. 01:38:19 dipperswett: see ↑ 01:38:35 O, that's what you call it. Now I can know! 01:38:38 os 01:38:53 hezzo38! 01:39:22 This line is surprisingly ASCII: 17:22:44: -!- dtsacotoo pretestrosee have somotored, mekz, too 01:40:29 fnord. 01:40:39 oerjan: oots #1000 is coming out tonight hth 01:42:31 Have you ever try to make up any spell/psionics/feats/class for a Dungeons&Dragons game? Also how many characters did you ever make up in total if you can remember any idea/detail? 01:45:36 I've probably made between five and ten D&D characters. 01:46:09 I am still playing tsume shogi game today (because I like this kind of game, although other people I have shown it to they do not understand it) 01:46:54 dipperswett: Do you remember any detail about class and level and other stuff? 01:47:21 I remember them more as fictional characters than game mechanics. Let's see. 01:47:39 OK then, what kind of details as fictional characters do you remember? 01:48:15 Redgroat, cleric. Duvessa Ashling, fighter. Dowan Ashling, sorcerer. 01:48:20 Brief summary... 01:48:36 Redgroat was insane but not brave. Duvessa was brave but not insane. Dowan was both brave and insane. 01:48:51 For this reason, Redgroat and Duvessa couldn't really handle what was going on in the campaign. 01:49:07 shachaf: AAAAAAH 01:49:33 dipperswett: what was the inspiration behind the Redgroat name? 01:49:36 Dowan and Duvessa were pretty much completely inspired by this picture: http://i.imgur.com/bzQwC.png 01:50:00 boily: a dessert which I'd call "Danish redgroat" in English. 01:50:12 I can't type the slashy O's because I'm currently on STUPID WINDOWS. 01:50:24 ah! the Danishibboleth! 01:50:32 Yup. 01:50:34 Rødgrød. 01:50:47 Pronounced [ˈʁœðˀɡʁœðˀ] 01:51:10 say, did you ever play DCSS? 01:51:24 i can say that but it sounds a bit like i'm choking 01:51:43 also yes, good characters lifted directly from dcss >:O 01:51:47 And, if they are both name Ashling are they of a same family or is just their name is the same? Also is it human character or something else, do you remember anything else about what kind of spells or personalities or what happened in those campaign, or what level? 01:51:58 boily: how did you guess? 01:52:12 They're elf twins. Lessee. 01:52:19 I think they both reached around level 8. As for personality... 01:52:36 Duvessa was "the sober one" and Dowan was "the crazy one". 01:53:06 You already mention something like that, I think 01:53:12 Yep. 01:53:15 To give you some idea of their personalities, here's something I imagined happening... 01:53:45 Dowan was killed in battle at the tender young age of 85. About forty-two years later, Duvessa finally managed to get him resurrected. 01:54:10 She was, needless to say, ecstatic about this, and so she immediately wrote a letter to her parents. 01:54:13 The letter read: 01:54:28 "Dear Keean and Ava Ashling. Your son is alive. Sincerely, Duvessa Ashling." 01:54:45 She then handed the paper to Dowan, who scribbled a picture of himself grinning. 01:55:01 And off they sent it. 01:55:12 O, OK that's how it works 01:55:57 By the way, you may be misspelling "oh". 01:57:20 I seem to have a thing for stories involving fraternal twins of opposite genders. 01:58:38 OK. I have never made up the D&D characters which are related, except for his cousin's godmother's roommate or something like that (I do not quite remember). 01:59:03 Additional wisdom from the neural net: 01:59:09 i've linked this before https://www.youtube.com/watch?v=qQkvqJJvR9U 01:59:17 14:14:11: *structures* 02:00:04 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:01:50 -!- boily has quit (Quit: SKATEBOARD CHICKEN). 02:02:45 -!- dipperswett has set topic: This channel is logically pubbed. | The channel where Sir Fungellot does not [REDACTED]. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | http://esolangs.org/. 02:05:01 I think I have played characters of levels from 2 all the way to 2 to 27 and now have two characters active (in campaigns that interfere with each other) 02:19:00 shachaf: is `inNu . outNu = id` and `inMu . outMu = id`? 02:19:19 Yep. 02:19:23 Also the other way around. 02:24:44 mauris: Nu f and Mu f are fixed points of f. 02:26:49 largest and smallest, no? 02:35:48 -!- adu has joined. 02:45:06 Is there a way to tell aptitude that a package is already installed even though it is not installed? 02:48:58 oerjan: To the degree that that makes sense when you have a category rather than an ordering. 02:49:02 Terminal and initial, at any rate. 02:49:22 okay 02:50:47 dammit another reboot 02:54:04 -!- paul2520 has quit (Ping timeout: 246 seconds). 02:58:36 -!- paul2520 has joined. 03:11:48 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 03:12:01 ' "Dear Keean and Ava Ashling. Your son is alive. Sincerely, Duvessa Ashling."' isn't that a weird way for her to address her parents / talk about her twin brother?! 03:18:43 [wiki] [[€]] http://esolangs.org/w/index.php?diff=43941&oldid=43925 * 123.151.64.143 * (+1) 03:24:04 `olist 1000 03:24:05 olist 1000: shachaf oerjan Sgeo FireFly boily nortti 03:28:56 -!- Lymia has quit (Ping timeout: 246 seconds). 03:32:40 -!- Lymia has joined. 03:33:43 -!- adu has quit (Quit: adu). 03:39:11 Damn! stars everywhere, I died 03:39:15 unfortunately the Os have yet to be listed 03:41:19 I've beaten Imperishable Night but I've yet to get anywhere near beating Double Dealing Character 03:53:18 Many computer games have a high score list that you can type your name, but I generally don't type my name but instead type in something such as the date or level number 03:58:27 shachaf: coming back to this, i have no idea how to do inNu/outNu 03:58:44 One of them is easier than the other one. 03:58:53 They're pretty much dual to inMu/outMu, if that helps. 03:59:32 i haven't done those yet, but i guess it's the same kind of "one of them is easier than the other one" situation there, if they're duals? 03:59:49 Yep. 04:00:15 But you might find a type without existentials easier to think about? 04:00:37 Really it's the same situation with both, though. You're either producing and consuming a universal, or you're producing and consuming an existential. 04:00:48 In both cases, you get to choose the type for one of them and not for the other. 04:13:16 shachaf: end of the world slightly postponed hth 04:13:51 oerjan: prediction: durkon defeats roy, wrecan defeats veldrina hth 04:14:09 ooh 04:14:14 sounds rash 04:15:08 i have an uncertain memory that i may have thought of that honor thing, but i didn't actually expect rich burlew to actually _use_ that aspect of norse mythology... 04:15:49 oerjan: hasn't it already come up twice 04:16:00 hm i don't remember 04:16:19 e.g. http://www.giantitp.com/comics/oots0737.html 04:17:11 also, a helpful thought: no one else can help roy _fight_, but there are a lot of priests there and there might not be any rule against them _healing_ him... 04:18:04 Does that count as to help you to fight? Not really, but maybe it kind of is, I do not know how they would to consider such thing? 04:19:31 zzo38: Do you read olist? 04:19:53 zzo38: i mean, no one else can directly attack for him 04:20:09 it remains to be seen what the actual rules are 04:20:23 No 04:20:42 But I am just making suggestion, I don't actually know. 04:21:15 oerjan: i'm wondering whether to make `olist print a link 04:21:21 especially now that it doesn't have to zero-pad 04:21:41 what zero-padding 04:21:56 olist xyz into oots0xyz.html 04:22:39 shachaf: I still think may be better to do it properly by adding the correct amount of zero-padding such as in case it go beyond 999 04:22:53 zzo38: It just went to 1000. 04:23:01 And there are no more zeros. 04:23:29 OK, I suppose it take much longer if they ever decide to go to 10000 then they would have to change it anyways and it would take a long time. 04:24:15 I know that `danddreclist does print a link, but that one is the same URL each time; see other stuff you have too, whether or not it does same or differently links each time based on that. 04:31:16 getting to 10000 seems rather unlikely 04:32:00 Does the "Don't kill other god's bodyguards" rule apply to bodyguards or to the priests too? 04:32:03 shachaf: ok so it was mentioned, i guess for foreshadowing 04:32:05 er, priests 04:32:13 oerjan: it was also mentioned in another case 04:33:30 Also not every priest there agrees with Durkon 04:33:34 erm, agrees with Roy 04:33:43 I assume, some might side with the god that they represent? 04:34:54 Sgeo: i think what Hel said is _very_ likely to make most of those Gods change their opinion 04:35:39 Can they even change their vote? I can't believe that Hel is that dumb to say that if the gods can change their minds 04:36:31 Sgeo: http://www.giantitp.com/comics/oots0994.html is pretty clear that priests cannot attack other priests 04:36:48 Sgeo: i assume she did vote last on purpose, yes 04:37:16 Oh, but they might instruct their priests to act in a way contrary to their prior opinion 04:37:23 Can priests hurt bodyguards? 04:38:04 that may not have been explicitly mentioned yet 04:39:37 i recommend assuming some narrative causality hth 04:39:42 -!- Wright has quit (Ping timeout: 272 seconds). 05:11:24 -!- J_Arcane has joined. 05:13:04 -!- J_Arcane has quit (Client Quit). 05:20:47 -!- J_Arcane has joined. 05:23:03 In this tsume shogi game sometimes there is multiple possibilities for the computer-controlled pieces to be played out, although only one is played. Sometimes the others are obvious, but sometimes it isn't so it might help to also have one mode to move the pieces by yourself in case you want to examine such possibilities. 05:31:26 "Acting against your god's wishes is probably hazardous to your eternal afterlife." 05:32:01 Yes, although you might not necessarily care about an afterlife 05:33:05 mauris is learning all sorts of jams 05:41:22 At least my opinion (and that of some other people) is: the biggest Greed is wanting an afterlife. 05:48:37 http://www.orenwatson.be/fontdemo.htm new characters in green 05:51:48 -!- hppavilion[1] has joined. 05:53:33 Now you can spell the band ℃-ute properly 06:00:43 or you can state in three characters that ℚ⊂ℝ 06:02:46 wow, a rotated page! 06:03:27 (in OotS that is) 06:07:32 NICE 06:16:53 zzo38: do you think something like Tajuru Preserver that protects you from _discard_ effects would be possible to work in the rules? 06:17:37 of course it might be strange with draw-and-discard effects 06:17:46 (or discard-and-draw effects of red) 06:18:12 so it might be abusable if you also donate something 06:18:27 but there are probably easier ways that that to draw a ton of cards 06:18:43 I am not quite sure? I do not see the reason why it should not work 06:21:21 I'm gonna go ahead and draw the kelvin sign as °K 06:28:34 -!- gonad has joined. 06:31:30 -!- llue has quit (Ping timeout: 240 seconds). 06:39:39 mauris has disappeauris 06:50:00 -!- gonad has quit (Ping timeout: 245 seconds). 06:50:39 -!- lleu has joined. 06:50:39 -!- lleu has quit (Changing host). 06:50:39 -!- lleu has joined. 06:56:50 * oerjan hits oren with the saucepan ===\__/ 06:56:58 THAT'S UNSCIENTIFIC 07:00:39 °erjan 07:00:51 what does it take to get the saucepan, huh? 07:01:17 pure villainy hth 07:02:03 Since when is mauris on this continent? 07:02:09 @time mauris 07:02:09 Local time for mauris is Fri Aug 28 03:02:01 07:04:17 oerjan: who's the person who knows the name thundershield twh 07:05:02 -!- AnotherTest has joined. 07:05:18 oh, high priest of thor 07:06:03 iirc she gave him that permission to return that never got back to him 07:06:37 Wouldn't that be a dwarf? 07:06:54 Oh, I guess not. 07:06:57 isn't she a dwarf? 07:07:12 she certainly looked short 07:07:28 Wait, I was looking at the wrong person. 07:27:53 oh she may not have been shown before http://www.giantitp.com/comics/oots0375.html 07:36:05 -!- Froox has quit (Quit: *bubbles away*). 08:03:07 hellachaf 08:03:24 hauris 08:03:30 shachaf: yes somehow i am in florida! 08:03:57 oh 08:04:00 en route to california, right? 08:05:24 that would be cool but sadly i'm staying within this state until like, mid-september, and then going back home :( 08:20:10 -!- APic has joined. 08:30:10 -!- AnotherTest has quit (Ping timeout: 244 seconds). 08:31:19 -!- AnotherTest has joined. 08:32:29 -!- Patashu has joined. 08:40:00 -!- Patashu has quit (Ping timeout: 264 seconds). 08:41:08 -!- Patashu has joined. 08:49:00 `coins 08:49:10 ​celiccoin rimcoin tbarbaz,ohmy!coin iectcoin omagecoin agecoin subrientcoin rezcoin braincantcoin picoiicoin heformacoin beathcoin consurplandcoin ignercoin briggcoin abcdefencoin c-coin gizattecoin 5-longcoin brakcoin 08:49:23 um what? "tbarbaz,ohmy!coin" ? 08:49:31 what language is this using? 08:49:56 `coins 08:49:58 ​partratrecoin liqcoin bfmcoin ypecoin vcoin cowrchemicasmitcoin azararicoin bflipcoin brbcoin bogurcoin egiambdarcoin noilancoin obbecoin tratcoin compalcoin bigcoin nonozcoin kimcoin dourcoin brecoin 08:50:25 `coins 08:50:27 ​rumecoin maridgemacoin pietcoin womensiblecoin dd/ddcoin venandcoin anyngnedcoin slasscoin sbeezcoin easyecoin hatcoin orovskicoin linimcoin iikerefiftinuarelecomcoin bullycoin factcoin mechecoin facecoin rdwoncoin salcoin 08:50:47 womensiblecoin! hah 08:50:55 pietcoin 08:51:09 and factcoin 08:51:14 also facecoin 08:52:20 Now someone just needs to make a chart of unit conversions 08:57:53 -!- rdococ has joined. 08:59:25 -!- adu has joined. 09:01:59 b_jonas: English and esolangs. 09:02:06 With a 1:1 mix. 09:02:52 what is the esolang part based on? 09:03:04 myname: esolangs.org "Language list" article, if I remember right. 09:03:31 `words --esolangs 20 09:03:33 furscript dzzz reverseme kipple glypho flog .gertrelnokoff kelxquoia rflct superl when tg brainfche goto++ unreall torylambda tworb liquish catch mouse 09:04:22 It's sometimes a bit too plagiaristic, but not all of those are actually real. 09:06:55 hey guys 09:07:30 https://esolangs.org/wiki/Foobar_and_Foobaz_and_Barbaz,_oh_my! hth 09:09:06 torylambda, the conservative functional language 09:09:33 sometimes I feel like every programming language has already been made 09:09:42 or at least its idea 09:10:17 -!- oerjan has quit (Quit: ZZZ). 09:13:18 -!- b_jonas has quit (Remote host closed the connection). 09:27:51 -!- TodPunk has quit (Read error: Connection reset by peer). 09:28:12 -!- TodPunk has joined. 09:32:58 -!- lleu has quit (Quit: That's what she said). 09:33:25 -!- LewisMCYoutube has joined. 09:33:33 -!- lleu has joined. 09:33:45 -!- lleu has quit (Changing host). 09:33:45 -!- lleu has joined. 09:34:00 Hi, I heard this channel is weird in that wisdom thing. 09:34:36 'quotes kmc 09:37:05 Huh? 09:37:08 -!- LewisMCYoutube has quit (Client Quit). 09:37:19 Uh huh… 09:37:38 -!- LewisMCYoutube has joined. 09:37:42 Yeah 09:38:50 'pastequotes kmc 09:43:24 -!- LewisMCYoutube has quit (Ping timeout: 246 seconds). 09:44:16 ' vs. ` 0:1. 09:50:05 -!- J_Arcane has quit (Ping timeout: 246 seconds). 09:55:41 is there a programming language based on the stanley parable? 09:55:45 -!- x10A94 has joined. 09:56:27 -!- LewisMCYoutube has joined. 09:56:59 -!- TodPunk has quit (Ping timeout: 244 seconds). 09:58:29 that's a pretty broad question 09:58:39 What is? 09:58:48 is there a programming language based on the stanley parable? 09:59:05 Em... yep. 09:59:23 really? 09:59:29 tell me, what language 09:59:34 Jk 09:59:45 oh 10:00:27 lol 10:01:24 Also what would being based on the Stanley Parable entail 10:01:53 being in a pair of two. 10:02:06 well... 10:02:43 The Stanley Parable is basically just a choose your own adventure thing 10:02:48 maybe programs made with the language are games like the stanley parable with a lot of endings? 10:02:50 It's just a bunch of branching choices 10:02:51 yeah Slereah is right 10:03:03 sort of like my Folder really 10:03:04 It's not very specific to it 10:03:11 In that case, it would entail: 10:03:32 you could even remake the stanley parable in Folder, and even have all the audio and stuff, and it won't be that hard 10:03:47 has quit (nothing) 10:04:48 Er... ror? 10:05:00 Hell World! 10:06:06 https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf 10:08:08 Hi 10:08:33 -!- LewisMCYoutube has quit. 10:11:45 -!- LewisMCYoutube has joined. 10:12:35 -!- LewisMCYoutube has quit (Client Quit). 10:23:48 -!- AnotherTest has quit (Ping timeout: 264 seconds). 10:26:30 -!- mauris has quit (Ping timeout: 240 seconds). 10:27:01 -!- villasukka has quit (*.net *.split). 10:27:02 -!- heroux has quit (*.net *.split). 10:27:02 -!- olsner has quit (*.net *.split). 10:27:02 -!- FreeFull has quit (*.net *.split). 10:27:03 -!- skarn has quit (*.net *.split). 10:27:03 -!- atehwa has quit (*.net *.split). 10:27:03 -!- PinealGlandOptic has quit (*.net *.split). 10:27:04 -!- int-e has quit (*.net *.split). 10:27:04 -!- Patashu has quit (*.net *.split). 10:27:04 -!- FireFly has quit (*.net *.split). 10:27:05 -!- erdic has quit (*.net *.split). 10:27:05 -!- haavard has quit (*.net *.split). 10:29:40 -!- villasukka has joined. 10:29:45 -!- Patashu has joined. 10:29:45 -!- FireFly has joined. 10:29:45 -!- erdic has joined. 10:29:45 -!- haavard has joined. 10:30:03 -!- heroux has joined. 10:30:03 -!- olsner has joined. 10:30:03 -!- FreeFull has joined. 10:30:03 -!- skarn has joined. 10:30:03 -!- atehwa has joined. 10:30:03 -!- PinealGlandOptic has joined. 10:30:03 -!- int-e has joined. 10:30:42 -!- heroux has quit (*.net *.split). 10:30:42 -!- olsner has quit (*.net *.split). 10:30:42 -!- FreeFull has quit (*.net *.split). 10:30:43 -!- skarn has quit (*.net *.split). 10:30:44 -!- atehwa has quit (*.net *.split). 10:30:45 -!- PinealGlandOptic has quit (*.net *.split). 10:30:45 -!- int-e has quit (*.net *.split). 10:31:23 -!- FireFly has quit (Ping timeout: 246 seconds). 10:31:28 -!- boily has joined. 10:32:56 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 10:32:59 -!- heroux has joined. 10:32:59 -!- olsner has joined. 10:32:59 -!- FreeFull has joined. 10:32:59 -!- skarn has joined. 10:32:59 -!- atehwa has joined. 10:32:59 -!- PinealGlandOptic has joined. 10:32:59 -!- int-e has joined. 10:41:17 -!- MDude has joined. 10:46:33 -!- b_jonas has joined. 10:47:39 -!- adu has quit (Quit: adu). 10:53:15 @ask oerjan you now wield a saucepan? 10:53:15 Consider it noted. 11:13:08 -!- AnotherTest has joined. 11:23:46 I would think that one use for unit tests would be as a form of search query that lets you search libraries to see if there's already a function that passes. 11:30:25 -!- boily has quit (Quit: UNBOUND CHICKEN). 11:30:41 -!- FireFly has joined. 11:52:26 -!- Phantom_Hoover has joined. 11:58:53 -!- AnotherTest has quit (Ping timeout: 244 seconds). 11:59:30 -!- TieSoul_ has joined. 11:59:32 -!- TieSoul has joined. 12:01:22 -!- TieSoul has quit (Read error: Connection reset by peer). 12:03:16 -!- TieSoul has joined. 12:03:16 -!- llue has joined. 12:03:50 -!- TieSoul_ has quit (Ping timeout: 260 seconds). 12:03:55 -!- lleu has quit (Ping timeout: 246 seconds). 12:32:07 -!- Lymia has quit (Ping timeout: 252 seconds). 12:37:35 -!- Lymia has joined. 12:38:45 -!- AnotherTest has joined. 12:43:21 -!- AnotherTest has quit (Ping timeout: 244 seconds). 12:44:52 -!- Lymia has quit (Max SendQ exceeded). 12:46:18 -!- Lymia has joined. 12:46:41 -!- FireFly has quit (Changing host). 12:46:41 -!- FireFly has joined. 12:52:47 -!- stalem has joined. 12:56:59 -!- Patashu has quit (Ping timeout: 246 seconds). 12:57:11 [wiki] [[Stuck]] http://esolangs.org/w/index.php?diff=43942&oldid=43831 * Vioz- * (+2) 12:57:14 -!- AnotherTest has joined. 12:57:45 -!- TodPunk has joined. 12:58:39 -!- adu has joined. 12:59:01 -!- adu has quit (Client Quit). 12:59:48 I am wroking on a new unix utility 13:00:04 how will you call it? 13:00:34 not sure 13:00:41 it's important 13:00:52 right now it's called ./a.out, happy? 13:00:59 not really 13:01:08 anyway 13:01:16 it'd be better to call it MEGATRON2773.d21 13:01:43 memorable names help a lot 13:02:11 -!- TodPunk has quit (Ping timeout: 250 seconds). 13:02:43 ok what does it do? <.< 13:03:02 ./a.out '%i%i' '%i{a+b}' 13:03:07 ooh 13:03:21 no i don't get it 13:03:37 reads records of two integers at a time (32-bit) and writed out their sums 13:03:57 ...you're writing a calculator? 13:04:13 a streaming calculatore 13:04:33 you define a function from input records to output records 13:05:10 while (scanf(argv[1],something)) printf(argv[2],something); ? 13:05:48 yeah it is sort of like that but dynamic 13:06:10 awk '{ print $1 + $2 }' 13:06:31 awk is easy 13:06:45 awk works on plaintext. my utility is for binary 13:06:59 this wasn't clear 13:07:47 ./a.out '%F' '%F{F^0.5}' 13:07:54 ./a.out '%F' '%F{a^0.5}' 13:07:57 whoops 13:08:15 the variables are numbered in base 26 like in excel 13:10:41 so you can have an input record like '%i%F%20s%i', then a is an int, b is a double, c is a 20 character long string, and d is an int 13:11:30 you can also have delimited records like '%i%{a}s' 13:14:21 I might also make equivalents to grep and sort 13:16:51 -!- AnotherTest has quit (Ping timeout: 252 seconds). 13:23:45 -!- AnotherTest has joined. 13:37:09 @tell mauris Re talking about her twin brother: yes, it certainly is. 13:37:09 Consider it noted. 13:37:40 -!- TodPunk has joined. 13:41:22 `run echo -e '\x034,9S\x039,4T' 13:41:33 ​ST 13:42:06 -!- AnotherTest has quit (Ping timeout: 240 seconds). 13:42:20 uhoh 13:42:43 Uh oh is right. 13:42:48 `run echo -e '\x034,9S\x039,4T\x034,9O\x039,4P\x034,9 \x039,4T\x034,9H\x039,4E\x034,9 \x039,4M\x034,9A\x039,4D\x034,9N\x039,4E\x034,9S\x039,4S' > madness 13:42:49 No output. 13:50:08 `run cat madness 13:50:09 ​STOP THE MADNESS 13:50:13 Ouch 13:56:59 -!- TodPunk has quit (Read error: Connection reset by peer). 13:57:47 -!- TodPunk has joined. 13:58:19 haha 13:58:24 I found my python image script again! 13:59:34 now I just need a camera that produces bad images 13:59:55 you can borrow my phone 14:00:06 sure 14:00:09 want my home address? 14:00:21 come and get it <.< 14:00:47 coincidentally I'm on vacation! 14:00:48 -!- TodPunk has quit (Read error: Connection reset by peer). 14:00:49 or am i? 14:01:20 -!- TodPunk has joined. 14:02:13 -!- ProofTechnique has joined. 14:02:59 izabera: where do you live? 14:03:02 UK? 14:03:04 US? 14:03:07 Or worse 14:03:08 Finland? 14:03:19 Finland, the land of fins. 14:03:32 Sounds kinda gross. 14:03:47 Every now and then you'll step into some fishy parts. 14:04:02 -!- J_Arcane has joined. 14:04:45 italy D: 14:04:51 oh 14:04:56 that's not too far away 14:05:02 depending on *where* in italy exactly 14:05:17 like... rich italy or poor italy? 14:05:27 or super-rich italy 14:05:34 (super-rich italy obviously means vatican) 14:05:41 then not-so-rich italy 14:05:43 `? vatican 14:05:45 vatican? ¯\(°​_o)/¯ 14:05:47 north of it 14:05:54 -!- TodPunk has quit (Read error: Connection reset by peer). 14:06:04 `learn vatican is the super-rich part of italy. 14:06:06 Learned 'vatican': vatican is the super-rich part of italy. 14:06:31 `learn vatican is the super-rich part of italy. Sadly, it has a huge crime rate. 14:06:33 Learned 'vatican': vatican is the super-rich part of italy. Sadly, it has a huge crime rate. 14:06:44 hm 14:06:48 `learn vatican is the super-rich part of italy. Sadly, it has a huge crime rate. You will be robbed. 14:06:50 Learned 'vatican': vatican is the super-rich part of italy. Sadly, it has a huge crime rate. You will be robbed. 14:19:19 -!- AnotherTest has joined. 15:04:43 -!- J_Arcane has quit (Ping timeout: 246 seconds). 15:11:34 `cat HackEgo!!!!! Are you still alive??? 15:12:18 `cat Requiescat in pace. 15:12:22 did you mean `echo 15:13:33 cat: Requiescat in pace.: No such file or directory 15:13:33 cat: HackEgo!!!!! Are you still alive???: No such file or directory 15:13:43 I did. 15:20:57 All right, I don't know why my "loudly" utility isn't working. 15:20:59 `cat bin/loudly 15:20:59 ​#!/usr/bin/env python \ import itertools \ inp = raw_input() \ cyc = itertools.cycle(["\00304,09","\00309,04"]) \ print "".join(cyc.next() + c for c in inp) 15:21:29 `loudly It doesn't do anything; it just hangs for 30 seconds and then says "No output". Why is that? 15:22:00 No output. 15:22:02 dipperswett: I would guess the stuff you put after the `loudly is arguments, not raw_input? 15:22:16 Doink. I think you are correct. 15:22:37 `run Let\'s try that again. | loudly 15:22:38 bash: Let's: command not found \ Traceback (most recent call last): \ File "/hackenv/bin/loudly", line 3, in \ inp = raw_input() \ EOFError: EOF when reading a line 15:22:50 `run echo Let\'s try that again again. | loudly 15:22:51 ​Let's try that again again. 15:22:54 \o/ 15:22:54 | 15:22:55 /| 15:37:37 `run welcome | loudly 15:37:40 ​Welcome to the international hub for esoteric pro, 15:38:02 The color codes take up a lot of space. 15:38:17 -!- Frooxius has joined. 15:38:29 `run echo Hi Frooxius. | loudly 15:38:30 ​Hi Frooxius. 15:38:47 `run echo "I'm going to stop now." | loudly 15:38:47 ​I'm going to stop now. 15:38:55 Hello O.O 15:39:10 -!- AnotherTest has quit (Ping timeout: 246 seconds). 15:40:00 * ashl twitches 15:40:07 ''.join(chain.from_iterable(izip(cycle(["\00304,09","\00309,04"]), inp))) 15:40:44 -!- J_Arcane has joined. 15:40:57 That looks awful. 15:42:07 at least it has no weird side-effects in a generator expression! 15:42:47 I mean the greeting! The color combination hurts! D: But that too :P 15:45:47 -!- Wright has joined. 15:49:12 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 15:49:44 -!- ProofTechnique has joined. 15:56:29 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 15:58:36 `run echo "''.join(chain.from_iterable(izip(cycle([\"\\00304,09\",\"\\00309,04\"]), inp)))" | loudly 15:58:37 ​''.join(chain.from_iterable(izip(cycle(["\00304,0, 15:58:40 bwahaha 15:59:12 why did i bother quoting that myself 15:59:18 `run loudly < loudly 15:59:19 bash: loudly: No such file or directory 15:59:25 `run loudly < $(which loudly) 15:59:26 ​#!/usr/bin/env python 15:59:29 bah. 15:59:42 lol 16:02:22 `run echo 12345678901234567890123456789012345678901234567890 | loudly 16:02:23 ​1234567890123456789012345678901234567890123456789, 16:02:49 why does it cut at 49 chars? 16:03:12 -!- hppavilion[1] has joined. 16:03:25 `run echo 12 | loudly | wc -c 16:03:26 15 16:03:57 `run echo 7 49 \* p | bc 16:03:58 ​(standard_in) 1: syntax error 16:04:05 huh 16:04:09 `run echo 7 49 \* p | dc 16:04:10 343 16:04:11 oh 16:04:23 what's the length limit on IRC messages 16:05:05 ah 16:05:36 -!- adu has joined. 16:08:27 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 16:16:45 -!- AnotherTest has joined. 16:38:53 -!- AnotherTest has quit (Ping timeout: 252 seconds). 16:40:14 -!- AnotherTest has joined. 16:44:39 -!- hppavilion[1] has joined. 16:44:40 -!- ProofTechnique has joined. 16:45:29 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 16:58:00 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 16:59:30 -!- hppavilion[1] has joined. 16:59:39 -!- copumpkin has joined. 17:02:17 -!- copumpkin has quit (Client Quit). 17:04:36 -!- mauris has joined. 17:04:36 -!- mauris has quit (Changing host). 17:04:36 -!- mauris has joined. 17:11:12 -!- hppavilion[1] has quit (Ping timeout: 264 seconds). 17:15:24 -!- tompar has joined. 17:20:36 -!- TodPunk has joined. 17:26:03 -!- tompar has left ("Leaving"). 17:29:33 -!- TodPunk has quit (Read error: Connection reset by peer). 17:29:56 -!- TodPunk has joined. 17:34:53 -!- mauris_ has joined. 17:37:57 ashl: I think the length limit is 512, but that's including metadata. 17:38:21 -!- mauris has quit (Ping timeout: 244 seconds). 17:38:58 In HackEgo's case, each message is prefixed with ":HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :" 17:39:03 > length ":HackEgo!~HackEgo@162.248.166.242 PRIVMSG #esoteric :" 17:39:05 53 17:40:32 Also each message must end with CRLF does that count too or not? 17:40:35 That counts. 17:40:42 So the maximum body size for HackEgo is... 17:40:44 > 512 - 53 - 2 17:40:45 457 17:40:52 457, eh? 17:41:22 wait, I have the computation for that in my notes 17:42:08 see http://dpaste.com/0EBGH2K 17:42:11 gives the numbers 17:42:12 Each mIRC color code is six bytes (though I could use five instead), so each one-byte character ends up at 7 bytes, so the limit ends up being... 17:42:17 > 457 `div` 7 17:42:19 65 17:42:28 65? 17:42:30 you can get more if you use the name of the actual target channel/user. 17:42:47 and your username and host (it's worth to choose a short username) 17:42:52 > 356 `div` 7 17:42:53 50 17:42:58 Yes, I thought that too, shorten your username 17:43:14 (b_jonas has just "~x") 17:43:17 but you can't depend on your nick completely because the server may change it asynchronously on a colision 17:43:18 So HackEgo must be chopping at about 356. 17:43:20 zzo38: yep. 17:43:34 dipperswett: no, do count the channel name at least 17:43:44 dipperswett: 50 char long channel names rarely come up 17:43:57 dipperswett: so use the name of the actual target channel or nick (which you _do_ know) for the computation 17:44:19 also, you get one more byte from a NOTICE than from a PRIVMSG :-) 17:44:26 b_jonas: so... the maximum body size for HackEgo sending to #esoteric is 457 bytes, then? 17:45:10 `run echo 鋼の錬金術師 | loudly 17:45:11 ​鋼の錬金術師 17:45:22 Yes you would (and a reply which is not itself meant to be auto-replied to should be NOTICE anyways) 17:46:53 You could also change the IP-address/domain-name, if I was allowed to have "zzo38computer.org" instead of "24-207-56-9.eastlink.ca" then it would be shorter. 17:47:10 Whelp, it doesn't handle multi-byte characters correctly. 17:47:23 But they won't do it even though I would said so 17:47:32 dipperswett: dunno, I can't do additions now. you figure it out. 17:48:25 dipperswett: basically, you have to have ":nick!user@host PRIVMSG target :-message\r\n" to fit in 512 bytes 17:49:16 -!- TieSoul_ has joined. 17:53:22 -!- TieSoul has quit (Ping timeout: 260 seconds). 18:03:23 Why do I often get this error: Warning: Cannot convert string "-*-helvetica-medium-r-*-*-12-*-*-*-*-*-*" to type FontStruct 18:03:33 It is not the font I am trying to use 18:04:03 Is it trying to use Helvetica instead of Fixed and if so, why? 18:04:11 zzo38: that error from running what program? I don't get the context 18:05:08 Many programs give that error, although the program still runs. 18:05:08 it is incorrect to think of it as you "get"ing an error 18:05:15 And I get no problems with the program 18:05:17 all that is occurring is that your program is printing that string 18:08:24 Yes, although it seems many programs do 18:09:15 Xterm also shows a similar message the first time you display a menu (although many of the * are changed to other things) 18:10:45 -!- TodPunk has quit (Read error: Connection reset by peer). 18:11:08 -!- TodPunk has joined. 18:14:26 Some things for my new Dungeons&Dragons character I did not fill in yet, such as: eye, height, weight, age, alphabet. 18:15:32 How can you do with aptitude to check what commands are installed by a package? 18:18:03 -!- mauris_ has changed nick to mauris. 18:26:15 zzo38: "alphabet"? what does that maen in this context? 18:26:31 did you fill in the blood type yet? 18:27:57 -!- AnotherTest has quit (Ping timeout: 244 seconds). 18:29:48 -!- hppavilion[1] has joined. 18:30:15 Blood type isn't one of the stuff that would be important here. (If it ever does become important then I suppose we can decide at random at that point) 18:31:15 Alphabet means what kind of alphabets to use for writing; they list the alphabets of the languages in the Dungeons&Dragons book but they didn't list this one (it says they have their own language, but not any details such as alphabet) 18:31:37 I see 18:31:47 zzo38 fontstruct eh? nice, could i have a look at your work? 18:31:49 -!- mihow has joined. 18:32:32 I do not use fontstruct 18:33:06 oh i thought so seeing as it was included in your error message 18:33:24 but i geuss you got a font from there? 18:34:01 No, that is something to do with the X window protocol 18:34:17 "FontStruct" is the data type used for font data 18:38:50 fair enough haha i had no idea 18:41:09 For designing printer fonts I prefer METAFONT 18:41:52 (For screen fonts, tile editor editing by pixels work best in my opinion, though) 18:43:10 hm, curious you should say, because fontstruct.com is just that; font design mosaic style. truetype instead of bitmaps, but still works great for pixel fonts 18:44:43 but as i'm not experienced in font creation, metafont and tile editor are prob far better editor 18:44:44 *s 18:45:23 -!- Wright has quit (Ping timeout: 250 seconds). 18:45:57 Help I'm teaching someone monads 18:46:22 The Computer Modern fonts used with TeX are made with METAFONT. I also made a set of chess icons with METAFONT 18:46:31 Taneb: why are you teaching someone monads? 18:46:46 He asked 18:47:00 Does he know Haskell? Does he already understand how to do I/O? 18:47:11 He knows a bit of Haskell but not much 18:47:19 Taneb: When using with Haskell programming (or possibly some other computer programming) I believe it seem best to explain in terms of list comprehensions if you know that already 18:47:26 Also I cannot get into my salsa 18:47:30 -!- hppavilion[1] has quit (Ping timeout: 245 seconds). 18:47:45 Generally, one should understand I/O before learning monads. 18:47:49 Because you can see how the monad operations are corresponding to list comprehension stuff, and then you can see it is generalized. 18:48:18 dipperswett: Some people believe that, some don't. My own opinion is not; it can be learn at same time 18:48:33 You *can*, yeah. 18:48:46 dipperswett, I'm avoiding talking about IO 18:48:49 Lemme say this. 18:49:05 It's a monad, sure, but it leads people to the red herring that "Monads are about IO" 18:49:12 One shouldn't learn monads *in order to* understand IO. 18:49:25 That's like learning ring theory in order to understand arithmetic. 18:49:29 Yes that is true you should avoid that it is aboit I/O 18:49:47 Nevertheless it seem one example of it. 18:50:13 So I am showing him Maybe and [] 18:50:20 Not sure where to go after that... maybe Writer? 18:50:22 Whether or not you know how to make I/O in Haskell, you can understand its working also by monad (same you can also understand lists working by monad, even if you already know lists working) 18:50:58 I would probably start with lists and list comprehensions, since if you already know list comprehension even from other programming languages, you may see how it is generalized. 18:51:55 (And then you can easily see what return, fmap, and join for lists mean and then also what bind means, since you can see this bind also related to list comprehensions) 18:59:56 -!- AnotherTest has joined. 19:33:51 wtf you must be kidding me 19:34:06 sorry, I'm trying to see what this linker error means 19:35:05 -!- TieSoul_ has changed nick to TieSoul. 19:36:35 I think it's a bug 19:37:35 What error and what circumstance? If it is the bug then you should try to figure out and possibly to report. What linker is it? 19:37:46 not a linker bug 19:37:48 a bug in a library 19:37:52 that fails to define this template function 19:37:56 only declares it 19:38:09 Ah, but what library is it? 19:38:20 wait, I'm still looking at it 19:38:26 but it's opencv 2.4.11 19:38:37 Which is a library for doing what? 19:39:31 hmm wait 19:39:33 there is a definition here 19:39:38 no wait 19:39:41 that's a different overload 19:39:56 this constructor has like twelve overloads 19:40:41 hmm, it doesn't seem to be defined 19:40:47 opencv is a library for image processing 19:41:16 Taneb: did I ever tell you my "it's impossible to understand monads" idea? 19:41:37 People often try to come up with some summary of what a monad is, which is both accurate and easy to understand. 19:41:49 Oh no, that is absolutely true 19:42:02 Along the lines of "monads are a certain type of container", or "a monad is a context in which a computation can execute", or something like that. 19:42:17 the definition missing is that of template cv::Mat_::Mat_(int ndims, const int *sizes, T *data, const size_t *steps); 19:42:35 I think that it's really not possible to come up with a "good" summary. 19:42:58 dipperswett: is that like the "monad tutorial fallacy"? 19:43:08 So the upshot is... 19:43:23 You don't understand monads by realizing that monads are really just some simple underlying thing. 19:43:46 You understand monads by knowing the definition of a monad, and enough examples that you can see how they're related to each other and how other things relate to the examples. 19:44:11 dipperswett: definitely sounds like the monad tutorial fallacy 19:44:18 b_jonas: is that the same as the "I've figured out the secret" fallacy? 19:44:20 Which is to say... 19:44:43 dunno 19:44:49 You struggle for a long time to understand something, and then after learning some fact, you finally understand the concept. 19:45:01 You conclude that "the secret" to understanding the concept is whatever the last fact you learned was. 19:45:22 And so you go out and write a blog post that's supposed to make it easy for everyone by telling them "the secret". 19:45:30 dipperswett: https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/ 19:45:36 dipperswett: yes, sounds like that 19:46:02 It doesn't work, because "the secret" is merely one of the crucial components. People need to know all of them, not just the one. 19:46:37 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 19:47:20 -!- Phantom_Hoover has joined. 19:47:31 I did suggest to do by example and also by definition 19:49:46 I figure that if I wanted to teach people mathematics, I'd try to explain everything. 19:50:27 The definition. The intuition. Examples. How the intuition describes the examples. How the examples motivate the definition. How the definition satisfies the intuition. And so forth. 20:15:50 -!- adu has quit (Quit: adu). 20:16:00 -!- J_Arcane has quit (Ping timeout: 255 seconds). 20:22:39 -!- AnotherTest has quit (Ping timeout: 244 seconds). 20:24:02 -!- AnotherTest has joined. 20:25:12 -!- x10A94 has quit (Read error: Connection reset by peer). 20:26:22 Even the first Dungeons&Dragons character I played which was a level 2 human wizard, I was able to defeat a level 11 human wizard who for some reason was able to use ten magical rings at once, and even had a magic rod in his belt, several spellbooks, etc. I was able to defeat him by stealing the wand (while he thought he had me paralyzed) and breaking it in half, this destroyed all of his rings as well as a necklace he was wearing; his spellbooks we 20:27:58 Earlier, our group of three characters managed to escape detection by disguising ourself as statues and standing next to similarly shaped statues (which the DM says were actually put there to work against us), and writing numbers above them 20:46:10 -!- sebbu has quit (Ping timeout: 240 seconds). 20:47:08 -!- AnotherTest has quit (Ping timeout: 260 seconds). 20:48:10 -!- AnotherTest has joined. 20:50:35 -!- olsner has changed nick to olsmer. 20:51:31 -!- olsmer has changed nick to olsner. 20:52:18 -!- TieSoul has quit (Remote host closed the connection). 20:58:42 The GNU "units" program is using old exchange rates, what program can be use to do currency conversion which can automatically download current exchange rates if configured? 20:59:51 why not write one yourself? 20:59:58 -!- ProofTechnique has quit (Quit: My Mac has gone to sleep. ZZZzzz…). 21:00:01 otherwise, google does it afaik 21:00:40 so i guess a simple script or something to do a google search on the currency conversion, grep the result and print? 21:13:56 [wiki] [[Mice in a maze]] http://esolangs.org/w/index.php?diff=43943&oldid=41879 * 63.232.95.4 * (+1) /* Mice */ 21:14:50 -!- sebbu has joined. 21:15:26 -!- sebbu has quit (Changing host). 21:15:26 -!- sebbu has joined. 21:25:46 Google is the best calculator 21:26:10 It even understands math like 1+2)*3 21:30:26 -!- hppavilion[1] has joined. 21:30:29 I'm here 21:32:11 ok 21:37:03 -!- hppavilion[1] has quit (Ping timeout: 244 seconds). 21:39:08 anyone fancy with regex? i've been stuck with a problematic pattern for the last hour now 21:39:29 it should be trivial so i must be doing something horribly wrong 21:42:10 nvm i solved it 21:43:42 -!- rdococ has quit (Ping timeout: 246 seconds). 21:43:46 -!- sebbu has quit (Ping timeout: 244 seconds). 21:44:28 hm no closer but not quite there. the pattern ^[\w\d\{\} ]+(/[\w\d\{\} ]*)+[^\/]$ captures n/n/) but not n/(n)/) 21:44:37 while it should capture neither of those 21:47:16 by capture do you mean match 21:48:12 yes 21:48:37 i sometimes switch places with match and capture groups 21:48:48 their definitions that is 21:48:54 Why do you think it shouldn't match those? 21:48:56 why shouldn't it match those 21:49:38 n/n/) matches with "n" in the first part, "/n" in first repeat of the paren block, "/" in the other repeat, and ")" matching the [^\/]. 21:50:14 i guess the [^\/] pattern is wrong then. looking at my pattern i noticed im not even consistent in escaping my slashes 21:50:36 Do you have a simple description of what you want to be matching? 21:50:57 i'm writing it right now ;) 21:51:38 (Incidentally, [\w\d] is redundant and the same as [\w], because \w is alpha-and-numeric.) 21:52:31 a pattern that matches one or more words, numbers, {, } or spaces, followed by one or more groups consisting of a single forward slash and one or more words, numbers, {, } or spaces 21:52:57 should not end in a slash. i e 2/x/{2} is valid while 2//2/ is not 21:53:03 thanks for the tip btw! 21:53:39 i guess i should read up on regex a bit, i'm feelin a bit rusty now 21:53:56 Is "2//2/" also not valid because of the // in the middle? Because that doesn't fit in your description. 21:54:33 "consisting of a _single_ forward slash" i thought i did, but yes, no double slashes 21:54:51 Turning the description directly into a regex would give [\w{} ]+(?:/[\w{} ]+)+ 21:55:04 Where the (?:...) can be a (...) but a non-capturing group seems more reasonable. 21:55:46 seems to be working wonders! 21:55:54 * stalem bows before fizzie 21:56:01 many thanks \o/ 21:56:01 | 21:56:01 /| 21:56:27 You're welcome, but I think you did the hard work in writing that description, because I just wrote a mechanical translation of it. 21:56:50 why does myndzi do that 21:56:55 nah mate, i call it teamwork! 21:57:02 badly formatted stick figures 21:57:30 fizzie: tho i was thrown off by the [^\/] matching a paren. why would it do that? 21:57:52 You asked for "anything that's not a slash", and a paren is not a slash. 21:58:02 I can just use dc when I can calculate arbitrary precision stuff, I can make such calculation by command-line, it is working OK. 21:58:22 of course! now i feel stupider than before hah 22:03:20 -!- ProofTechnique has joined. 22:04:43 Re earlier discussion, Google used to have a "Finance API", but it was removed in a "spring cleaning". Our esteemed competitor Yahoo! still has a "yahoo.finance.xchange" data source in their "YQL" API. 22:05:30 * ashl frowns at the idea that yahoo is a competitor to google 22:05:34 hm i guess datamining the raw html isn't an option? 22:05:36 is that true? 22:06:52 It's always an option, I just think it's generally inelegant. 22:08:08 i agree, but as a last resort it's worth something, i know of some sites that provides daily stock market dumps, but not an api for exchange prices 22:08:12 not free anyway 22:08:52 ashl: Well, I mean, in some areas at least. Gmail vs. Yahoo Mail, and so on. 22:09:28 yahoo has a mail service? 22:10:32 has had for as long as i can remember 22:10:40 oh well 22:10:44 @yahoo.com? 22:10:44 Unknown command, try @list 22:10:55 shush lambda 22:10:59 i assume their business model is the same as google's, namely churning out ads? 22:12:43 come to think of it, i actually have no idea what yahoo's main business interests are since google took over the search engine market 22:13:15 i don't even really think of google as a search engine company any more ;) 22:13:19 how times have changed 22:13:23 -!- AnotherTest has quit (Quit: ZNC - http://znc.in). 22:13:34 "According to third-party web analytics providers, Alexa and SimilarWeb, Yahoo! is the highest-read news and media website, with over 7 billion readers per month, being the fourth most visited website globally, as of June 2015." 22:13:45 Not exactly defunct yet. 22:13:48 interesting 22:14:03 ashl: ah yes remember landline phones? those where the days 22:14:27 that is interesting. i guess it must be highly localized cos i never see any yahoo news or media here in the nords 22:14:50 stalem: yes, i even had one until a couple of months ago! 22:14:54 They tried to get to social networking, but I think it went about as well as G+. 22:15:01 If even that. 22:15:15 7 billion readers per month are highly localized? 22:15:24 -!- Patashu has joined. 22:15:30 well, obviously it's not unique readers :P 22:15:50 dunno, my grandma goes on yahoo pretty often 22:15:55 ashl: nice! why did you have to get rid of it? 22:16:08 stalem: i didn't have to, per se, i just moved house 22:16:18 Here (UK) it's pretty hard to get a DSL thing without a bundled landline. I have one, but I don't have a machine plugged in it. 22:16:26 izabera: exactly. i think mostly older generations read yahoo, and they are highly localized geographically 22:16:35 fizzie: i thought it was impossible unless you were in london 22:16:45 ...i was jk, my grandma doesn't know how to use a computer 22:16:54 Maybe? I'm in London. 22:17:09 ashl; then i would get a new one! before they're completely lost. i know the newer generations have NO idea what a phone is and are dumbfounded when confronted with one 22:17:17 londoners don't tend to have a good idea what things are like outside london :P 22:17:40 I have a landline telephone too 22:17:42 I saw some providers with a "no telephone" option, but it generally didn't seem to save any money really. 22:17:51 maybe your grandma has you fooled? but i stand by that i think older generations tend towards yaoo 22:17:57 (Although not with the internet; the internet is with the television service) 22:18:20 im more content now that i know people still use landlines at home 22:19:11 In the university campus back home (Finland), you could call local university numbers for free, and they had a dialup modem bank, so the landline was a handy backup internet service if something happened to the campus network. 22:19:21 zzo38: interesting, where i come from all three are usually in one package. tv, phone and internet for one price. pick n mix 22:19:25 (They were entirely separate systems.) 22:20:18 nice brother of coast! how many finns are on here anyway? or scandinavians in general 22:20:24 i get a feeling they're overrepresented 22:22:12 There's been quite a few Finns. 22:23:10 been? what have you done with them? :P 22:23:23 I count 5 in the current list of nicks, and one Finnish word that might be. 22:23:43 not bad. then we have the icelandic augur 22:23:56 the icelandic augur? 22:23:59 i will never be icelandic! 22:24:01 Also there was someone with a non-Finnish background, who had moved to Finland, but I forget who that was. 22:24:12 you are now! EYE OF ICELAND! 22:24:18 O_O 22:24:24 !_! 22:24:25 @_@ 22:24:26 #_# 22:24:28 `? Finland 22:24:29 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 22:24:36 hahahah 22:24:38 heh 22:25:04 learn is the command for new entries right? 22:26:22 to be icelanding, my nick needs more diacritics and shit. aúgurðùrr 22:26:55 iceland (v) to add diacritics and shit 22:27:15 exactly 22:30:17 I have made up the back story of my new Dungeons&Dragons character and also wrote one for my other character (I lost the previous one if I ever had one); if the other player also write their character back story then I can put those ones into the computer too. 22:30:51 `? Sweden 22:30:52 Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 22:31:03 heh 22:31:10 unfortunately i've never played d&d 22:32:57 You have not? I have made recording of story of stuff that we do in Dungeons&Dragons game 22:33:39 nope. every 'friend' i've ever had never had an interest in it or didn't know what it is 22:33:45 i bet it's a ton of fun 22:37:16 It is the 3.5 edition that I play. Some people prefer newer or older versions 22:37:19 `words --gaelic 22:37:20 làn 22:37:23 `words --gaelic 20 22:37:24 bhrach éifeag formaidh sail t-iar faich smùc ridheana bhean dha garra léig bhear fig dhuidh prìne cnàmh phanach leóghaich h-ait 22:37:37 We didn't have Icelandic, so I went with an approximation. 22:38:51 funny thing, i'm actually designing a scripting language for generating fake (spoken) languages 22:38:59 hence my regex issues 22:39:13 so are those true gaelic words? 22:39:45 See if you think these background story are OK, or if there is a mistake, but, when available I will also show to the referee and then possibly we will have to get past him too. 22:40:36 i'm a complete noob on this but sure 22:40:41 I want to connect a HP Laserjet 4 printer to my computer but this new computer does not have a parallel port 22:41:03 do you have a parallel>usb connector? 22:41:08 No I do not have. 22:41:25 then that might turn out to be a problem 22:41:26 -!- hppavilion[1] has joined. 22:41:41 This computer has far more USB ports than I should ever need but no parallel port 22:42:32 who uses parallel ports nowadays anyways? 22:42:41 i recommend a converter or a new printer! 22:44:21 USB isn't very good though. Also a HP Laserjet 4 printer is a pretty good printer; I don't have another PCL laser printer but even if I had I would want to use PCL and laser printer 22:44:36 There are also things you can do conveniently with a parallel port that require extra hardware for USB. 22:44:48 Like a X1541 cable. 22:44:50 USB is very high-latency, so parallel ports are good for really low-latency stuff 22:45:12 like any machine tools and stuff 22:46:11 i guess that's true. never having to use parallel ports puts me out of perspective 22:46:18 This computer does at least have PS/2 for keyboard and mouse though, and I want to disable support for USB keyboard/mouse for security purposes (but still support filesystem device); how can I do that with Linux? 22:47:18 (I don't like USB automount filesystems either but I have already avoided that I think) 22:47:59 what's the security issue 22:49:01 zzo38: One way might be to add "blacklist X" lines in the modprobe configuration for USB input drivers, so they're not loaded at all. 22:49:24 Possibly "blacklist usbhid" would be enough. 22:49:25 -!- oerjan has joined. 22:51:42 that wouldn't work for non-HID input devices though 22:52:11 I think 22:52:37 As long as it is not a primary input device (i.e. the keyboard and mouse) I am fine if they can still work with USB 22:53:14 ah okay 22:53:33 @tell oren i found this http://arin.ga/BaYiFD/raw 22:53:33 Consider it noted. 23:02:44 -!- Frooxius has quit (Read error: Connection reset by peer). 23:02:44 -!- Patashu has quit (Ping timeout: 244 seconds). 23:02:48 -!- gde33 has quit (Ping timeout: 244 seconds). 23:03:10 -!- gde33|2 has joined. 23:03:10 -!- Froox has joined. 23:03:10 @botsnack 23:03:10 :) 23:03:11 no disconnect in 11 days 23:03:53 -!- Patashu has joined. 23:05:47 any suggestions about this font being used as a programming font? http://fontstruct.com/fontstructions/show/1179104 23:07:06 -!- sebbu has joined. 23:07:17 -!- oerjan has set topic: The font of all knowledge | The channel where Sir Fungellot does not [REDACTED]. | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | http://esolangs.org/. 23:07:48 -!- sebbu has quit (Changing host). 23:07:48 -!- sebbu has joined. 23:08:11 stalem: very nice 23:08:14 -!- llue has quit (Quit: That's what she said). 23:08:37 -!- lleu has joined. 23:08:37 -!- lleu has quit (Changing host). 23:08:37 -!- lleu has joined. 23:09:17 oren: thank you! i am a bit concerned it's too fancy for being useful. 23:09:35 The #$%& sequence looks a bit crowded. But to be fair, it does on this font too. 23:09:53 fizzie: whoa whoa whoa, no need to get rude about it 23:10:55 haha yeah it's a tight squeeze 23:11:25 I used to use Sanafon Obi, so yours doesn't look swishy by comparison 23:11:34 i guess it's a real issue with monospaced fonts; i and j provide lots of spacing while the chars you mentioned are toghtly packed 23:11:36 -!- boily has joined. 23:12:31 can't seem to be able to find that font, but good thing i'm not overdoing it then 23:13:46 http://sana.s12.xrea.com/2_sanafonmaru.html 23:13:54 oh, it was maru 23:14:12 Maybe the Obi font was from a different website 23:14:30 you didn't program in japanese did you? 23:15:06 No, but I can read and write it. 23:15:07 you did didn't you? :D i found the page http://sana.s12.xrea.com/2_sanafonobi.html 23:15:17 Oh there it is 23:15:20 yeah 23:15:24 stalellom! helloren! 23:15:53 not bad mate, i'm impressed by ppl reading/writing japanese 23:15:58 boilhey! 23:16:00 afk getting buffalo wings, back in 15 min... 23:16:27 afk getting a haircut. be back in amodné. 23:16:37 -!- boily has quit (Quit: OTHERWORLDLY CHICKEN). 23:17:22 @messages- 23:17:22 boily asked 12h 24m 7s ago: you now wield a saucepan? 23:17:22 stalem said 10h 21m 23s ago: hey. i realized i reacted over the top back when and i know it's not an excuse, but i'm a bit of a fuck-up. i guess my lesson is to do my research before attempting stupid shit 23:17:30 oops 23:17:37 o/ 23:17:44 stalem: sorry, i assumed boily's message was the only one 23:17:52 nah that's ok i dont mind really 23:17:56 otherwise i'd have checked that in private 23:18:08 i guess the whole channel might as well get the apology, i did write everything in here so 23:18:22 @tell boily The saucepan is also ancient hth 23:18:22 Consider it noted. 23:18:30 it's mostly that we spoke primarily so i thought it would be appropriate to /msg it 23:21:36 stalem: btw the interesting part of what you did was showing that those are the _only_ solutions. although i think you went a bit fast on excluding the extra 0s case (it's still true, i checked) 23:23:18 -!- bb010g has quit (Quit: Connection closed for inactivity). 23:26:19 -!- myndzi has quit (Quit: .). 23:27:33 -!- variable has joined. 23:28:10 -!- Froox has quit (Quit: *bubbles away*). 23:28:57 oerjan: well what do you know, i made a small contribution after all. too bad the page is blasted into cyblivion now haha 23:29:33 oerjan: btw what do you mean the extra 0s case? the 0 \/ part? 23:29:44 yeah 23:29:51 iirc 23:30:01 * oerjan didn't save the page either, although he considered it 23:31:42 it's a bit subtle because it can preserve the length for a little while. e.g. 2 2 -> 0 0 23:32:59 4 1 4 1 -> 4 1 0 0 -> 0 0 0 0 23:33:03 well, if it's worth it maybe i could take some time to rewrite it i dunno 23:33:40 it is, that's true. pretty much like shifting the sequence to the left slowly, before 0 0 becomes the instruction and it dies 23:34:52 i'm a bit bummed now i didn't pipe my experiment sequences to a file 23:39:20 stalem: btw there is an elegant way to see why that equation has only the solutions 2,2 and 1,3 23:40:09 hm if i could remember what the equation was... 23:40:44 2 + x = x * y 23:40:49 oerjan: is the saucepan more ancient than you twh 23:40:56 you can rewrite that as x * (y - 1) = 2 23:41:04 -!- variable has changed nick to function. 23:41:12 ok that might've come across as ruder than i intended 23:41:43 shachaf: possibly not hth 23:41:46 hmm, pan... ---(##) 23:41:55 How many solutions are there of w^3 + x^3 + y^3 = z^3 for natural w,x,y,z? 23:41:57 mmm, bacon 23:42:21 Are there infinite? 23:42:21 Taneb: i dunno but i'm pretty sure i've seen that discussed somewhere 23:43:16 oerjan: that's neat! i'm noting it for when i rewrite the article 23:44:31 also why does hth and twh mean in this realm? i'd like to be enlightened, cos i'm pretty sure hth doesnt mean hope this helps 23:44:38 > 3^3 + 4^3 + 5^3 23:44:40 216 23:44:44 > 6^3 23:44:46 216 23:44:55 `? twh 23:44:55 twh would help, but is an hth derivative. hth. twh. hand. 23:45:28 `? hth 23:45:31 hth is help received from a hairy toe. It is not at all hambiguitous. 23:45:35 oerjan, the answer seems to be "some" 23:45:42 stalem: that should clear it up hth 23:45:58 `? hand 23:45:59 A hand in the bush is better than a stoned bird. 23:46:02 \o/ 23:46:12 esoteric in its essence 23:46:14 `? everything 23:46:14 everything? ¯\(°​_o)/¯ 23:46:28 everything is nothing? 23:46:29 hackego does not know everything 23:46:46 `? anything 23:46:47 anything? ¯\(°​_o)/¯ 23:46:47 ergo hackego knows nothing 23:47:03 `? nothing 23:47:04 nothing? ¯\(°​_o)/¯ 23:47:06 No it doesn't 23:47:19 `? something 23:47:19 something? ¯\(°​_o)/¯ 23:47:26 no *thing at all 23:47:44 `? HackEgo 23:47:46 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. 23:48:13 i think i sort of derived the meaning of hth twh twnh tdnh etc. through osmosis :( 23:48:21 `? fomething 23:48:21 fomething denotes the obsolescence of clinical insanity. 23:48:47 `? something-that-isn't-in-hackego's-wisdom 23:48:48 It is now. 23:48:54 yesterday shachaf typed "tmnhh" and i understood it and it was worrying 23:49:17 `? things boily likes 23:49:18 Fire is good. I like fire. Also chicken. And phở. 23:49:22 i understood an oerjan acronym which i think even oerjan was surprised i understood 23:49:27 i don't remember what it was, though 23:49:28 oerjan? 23:49:30 I think that's all the things in HackEgo's wisdom. 23:49:43 -!- ProofTec_ has joined. 23:49:44 shachaf: a year or so here and i'm there with you 23:50:00 `? Wisdom 23:50:00 wisdom is always factually accurate, except for this entry, and uh that other one? it started with like, an ø? 23:50:24 is "tdms" taken? 23:50:37 shachaf sorry that was meant for mauris eeh 23:51:01 `? tdms 23:51:02 tdms? ¯\(°​_o)/¯ 23:51:10 I was about to say that that's the DVI/HDMI thing, but that's TMDS. 23:51:14 that doesn't make sense ;-) 23:51:18 -!- ProofTechnique has quit (Read error: Connection reset by peer). 23:51:40 -!- ProofTec_ has changed nick to ProofTechnique. 23:51:46 Transition-diminished minusfrential signaling. 23:51:52 tdmsaa 23:52:16 oerjan: what was that acronym i figured out recently twh 23:52:24 all i can think of is the dance must stay alive always 23:52:42 The ambiguity of does/doesn't dh in understanding these acronyms. 23:52:48 stalem: not bad, but "that doesn't make sense at all" was the intended reading. 23:52:52 fizzie: it dnh hth 23:53:13 int-e: please remain consistent with tdh/tdnh twh hand 23:53:23 tdnms it was just established.. oh, okay. 23:53:48 int-e: ah finally some clarity hah! 23:54:19 shachaf: I'm consistently inconsistent. You may recall that I've been complaining about tdh a lot. 23:54:33 shachaf: i also don't remember. i'm wondering if my deteriorating memory is karma for making y'all remembering all the acronyms tdnh 23:54:58 int-e: i'd ask you to change the meaning of tdms, but the definition must stand 23:55:17 iswydt 23:55:39 int-e: my mind revulses at letting d mean "doesn't" 23:57:04 I remember seeing, possibly in a dream, that you need to sum at least n nth powers to get an nth power 23:57:26 oerjan: that doesn't bother me (almost resisting the temptation to abbreviate it to "tdbm") 23:57:35 that doesn't make sense ;-) <-- on the contrary, that makes double sense hth 23:58:22 aww, "iswydt" even has an urban dictionary entry 23:59:18 int-e: is it about sex 23:59:28 ... 23:59:30 I suppose a proof of that would have Fermat's Last Theorem has a trivial whatdoyoucallit 23:59:36 Might begin with c 23:59:37 that's actually a good question, it could be. 23:59:40 What's that word 23:59:56 oerjan: but not really