00:03:02 -!- deltab has quit (Ping timeout: 276 seconds). 00:03:22 -!- variable has quit (Quit: 1 found in /dev/zero). 00:09:41 -!- deltab has joined. 00:15:47 firefox won't load a page that works in curl... 00:18:06 yay get to use lynx 00:18:41 aww it doesn't work in lynx 00:18:46 if the page is on gopher, you might just need to install a firefox extension 00:18:55 it's not ;-; 00:19:12 it's the znc web interface on my server 00:20:08 ah it's a https problem... 00:23:37 -!- MDude has joined. 00:23:38 -!- oerjan has joined. 00:27:46 -!- heroux has quit (Ping timeout: 240 seconds). 00:43:09 -!- heroux has joined. 00:51:42 -!- lambda-11235 has quit (Ping timeout: 252 seconds). 01:10:17 -!- adu has quit (Read error: Connection reset by peer). 01:12:07 -!- adu has joined. 01:13:17 -!- adu has quit (Client Quit). 01:17:04 -!- lambda-11235 has joined. 01:17:34 -!- jaboja64 has quit (Ping timeout: 256 seconds). 01:18:11 -!- heroux has quit (Ping timeout: 264 seconds). 01:18:40 -!- heroux has joined. 01:22:02 `? #esoteric 01:22:19 ​#esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. 01:23:28 `le/rn_append #esoteric It's the calcified 2500 year old sanitary customs that are the source of the weirdness here. 01:23:30 No output. 01:23:38 `? #esoteric 01:23:39 ​#esoteric is the only channel that exists. monqy is its centroïd. It's about 30 m (100 ft) across. 01:23:46 hmm, someone used an append command the other day 01:23:49 nm 01:24:25 olsner: FAIL 01:24:30 xD 01:25:23 hppavilion[1]: to be fair, it was about 30 m across *when* it was about 50 ns old. 01:25:56 lifthrasiir: I had to look that up because I'm making a joke on another channel xD 01:25:59 I asked its dimensions 01:26:05 Just to confuse all present 01:26:23 -!- Guest33799 has changed nick to atslash. 01:26:50 I guess the / is too subtle. 01:26:53 olsner: hint: all the le/rn* commands require you to use a slash in them. except `le/nn which someone misguidedly added the other day. 01:26:57 -!- jaboja has joined. 01:27:12 also, there's `learn_append which doesn't. 01:27:12 `cat le/nn 01:27:13 key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned «$key»" 01:27:15 `culprits le/nn 01:27:42 `` mv le/nn bin/leann 01:27:43 izabera izabera 01:27:46 No output. 01:27:50 FIXED 01:28:09 (naming scheme needs work) 01:29:26 `cat ma/rx 01:32:27 `culprits bin/leann 01:32:29 -!- adu has joined. 01:32:29 oerjan 01:32:58 now why would oerjan have written that script 01:33:21 -!- adu has quit (Client Quit). 01:33:23 * oerjan swats shachaf -----### 01:37:40 -!- madbr has joined. 01:38:48 misguidedly?! 01:39:40 izabera: you made a `le/* command that doesn't use slashes tdnh 01:41:15 you mean a usable command 01:41:30 * izabera best ui designer ever 01:41:39 it's the naming of the command i'm complaining about 01:41:55 also, it's only more useable if you insist on using `` 01:42:19 and it'll break with all kinds of special characters. 01:42:25 nah 01:42:54 still misguided, i see 01:42:57 no 01:43:31 i can make it better 01:45:15 we used to use lots of `` echo >... stuff for special wisdoms. 01:45:52 they always required escaping stuff. and _any_ command that runs inside `` must intrinsically have the same problem. 01:46:01 gimme a min 01:46:35 you can make space the separator, but then you cannot make keys with spaces in them. 01:46:45 GIMME. A. MIN. 01:47:38 -!- adu has joined. 01:49:05 `` printf '(($#==1)) && set -- "${1%% *}" "${1#* }"; key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned «$key»"' > bin/leann 01:49:07 No output. 01:49:38 izabera: btw you should use `mkx >:) 01:49:48 oerjan: oh, you just gave me an idea 01:49:55 `learn oerjantest this is a test 01:49:58 Learned 'oerjantest': oerjantest this is a test 01:50:05 wat 01:50:08 https://www.youtube.com/watch?v=oUUdW2bTa3Y 01:50:08 `? oerjantest 01:50:10 i broke somthing 01:50:11 oerjantest this is a test 01:50:29 izabera: you've just reimplemented _old_ `learn, before the improvements. 01:50:37 1 sec plz 01:51:13 `rm wisdom/oerjantest 01:51:14 sweet, sweet despair 01:51:15 No output. 01:52:05 oh wait 01:52:12 i used `learn instead of `leann 01:52:19 `leann oerjantest this is a test 01:52:22 Learned «oerjantest this is a» 01:52:27 shit 01:52:29 `rm wisdom/oerjantest 01:52:30 rm: cannot remove `wisdom/oerjantest': No such file or directory 01:52:38 shit^2 01:52:42 `rm wisdom/oerjantest this is a 01:52:44 No output. 01:52:57 * izabera very noob 01:53:23 `cat bin/run 01:53:23 echo run run run 01:53:25 what's all this? 01:53:29 `culprits bin/run 01:53:32 tswett tswett tswett tswett Lyrissa Lyrissa Lyrissa Roujo Roujo elliott elliott FreeFull elliott Gregor elliott 01:54:50 i don't understand 01:55:10 that code looks ok... 01:56:36 `` leann 'test-test-test-test test test test' 01:56:44 Learned «test-test-test-test test test» 01:56:48 whyy 01:56:52 what am i doing wrong 01:57:03 `rm wisdom/test-test-test-test test test 01:57:06 No output. 01:57:39 `` echo $BASH_VERSION 01:57:40 4.2.37(1)-release 01:58:40 `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; echo "<$1><$2>"; }; f "a b c d e f" 01:58:41 01:58:46 that's correct 01:58:52 so wtf is happening 01:59:28 `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; key=$1; shift; echo "<$key><$*>"; }; f "a b c d e f" 01:59:30 01:59:36 still correct 01:59:55 -!- andrew_ has joined. 02:00:34 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:01:16 `` f () { (($#==1)) && set -- "${1%% *}" "${1#* }"; key=${1,,}; shift; echo "Learned «$key»"; }; f "a b c d e f" 02:01:17 Learned «a» 02:01:36 i give up, everything looks correct 02:04:11 `` >bin/cmd echo -e '#!/bin/bash\ncut -d "" -f 3 < /proc/$1/cmdline'; chmod +x /tmp/hmm 02:04:13 chmod: cannot access `/tmp/hmm': No such file or directory 02:04:20 `` chmod +x bin/cmd 02:04:22 No output. 02:04:31 `` cmd $$ 02:04:32 cmd $$ 02:04:39 `` cmd $$ # content 02:04:40 cmd $$ # content 02:05:22 didn't know that cut uses \0 as a delimiter when you specify "" 02:05:47 `run cmd $$ # oops 02:05:48 290 02:06:57 `` >bin/cmd echo -e '#!/bin/bash\npid="$PPID"\n[ -n "$1" ] && pid="$1"; cut -d "" -f 3 < /proc/$pid/cmdline' 02:07:00 No output. 02:07:05 `` cmd 02:07:06 cmd 02:08:30 Now you can put definitions in comments without needing to escape. 02:09:11 You might have to parse bash syntax for it, though. 02:09:49 `run cat /proc/$$/cmdline # hmm 02:09:50 cat./proc/290/cmdline. 02:09:58 `run cat /proc/$PPID/cmdline # hmm 02:09:59 sh.-c.'env' 'PATH=/hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin' 'HACKENV=/hackenv' 'http_proxy=http://127.0.0.1:3128' 'LANG=en_NZ.UTF-8' '/home/hackbot/hackbot.hg/multibot_cmds/lib/limits' 'bash' '-c' 'cat /proc/$PPID/cmdline # hmm' | cat. 02:10:09 I guess you can make it work. 02:10:38 `run cat /proc/$PID/cmdline # This is what I was doing wrong. 02:10:39 initrd=/usr/bin/../lib/umlbox/umlbox-initrd.gz ubda=/tmp/27380.conf mem=256M con1=null,fd:3 con2=fd:5,fd:8 con=null,null root=98:0 02:11:12 `run cat /proc/cmdline 02:11:12 initrd=/usr/bin/../lib/umlbox/umlbox-initrd.gz ubda=/tmp/27471.conf mem=256M con1=null,fd:3 con2=fd:5,fd:8 con=null,null root=98:0 02:12:16 -!- XorSwap has joined. 02:13:55 -!- adu has quit (Quit: adu). 02:15:19 Lambda Nomic is working well :) 02:21:23 -!- adu has joined. 02:23:37 -!- adu has quit (Client Quit). 02:34:18 -!- jaboja has quit (Ping timeout: 250 seconds). 02:37:44 -!- XorSwap has quit (Ping timeout: 276 seconds). 02:46:39 -!- Opodeldoc_ has quit (Quit: Leaving). 02:47:02 -!- Opodeldoc has joined. 02:59:49 -!- Froo has joined. 03:02:36 -!- Froox has quit (Ping timeout: 252 seconds). 03:06:56 -!- heroux has quit (Ping timeout: 256 seconds). 03:07:41 -!- nisstyre has joined. 03:10:36 -!- nisstyre has quit (Changing host). 03:10:36 -!- nisstyre has joined. 03:24:16 -!- heroux has joined. 03:26:48 -!- Sprocklem has joined. 04:24:04 Here's an idea for a little software suite I could distribute 04:24:10 hp's HTTP Server Utils 04:24:47 Basically, it's a pastebin/online IDE(?)/etc all rolled into a single convenient server 04:28:23 -!- adu has joined. 04:32:28 hadu 04:32:39 adu: I'm working on λ-nomic's LISP language 04:32:45 hi 04:33:24 -!- Melvar` has joined. 04:33:27 adu: What do you think I need in the stdlib? What should I do for control flow? 04:33:36 -!- idris-bot has quit (Ping timeout: 250 seconds). 04:33:37 what does "λ-nomic" mean? 04:34:21 adu: It's an online computerized implementation of Nomic 04:34:29 FOSS 04:34:34 Probably 04:34:58 -!- Melvar has quit (Ping timeout: 240 seconds). 04:35:14 hppavilion[1]: a google search for "lambdanomics" gives 0 results 04:35:23 adu: I haven't published it yet 04:35:36 then how am I supposed to know? 04:35:43 adu: Well I would talk to you 04:35:51 is it FP based? 04:35:57 adu: FP? 04:36:01 functional programming 04:36:08 Freepl- ah 04:36:16 Yes, it's a LISPy language to be exact 04:36:42 I currently have basic arithmetic, bitwise, comparators, `stdout`, and `progn` 04:37:17 for, map, fold-left, fold-right, filter, and-map, or-map, are a good place to start 04:37:19 The base ruleset is available here: http://206.174.0.58/lambda/rules with helper functions here: http://206.174.0.58/lambda/funcs 04:37:38 adu: But that's a rough draft, if you have any criticism of my design style, just tell me 04:37:52 damnit, i forgot about for-all and for-any 04:38:03 adu: ? 04:38:08 adu: Ah, yes 04:38:16 It isn't quite functional 04:38:26 (Though forall is similar to map) 04:38:29 "for" would probably be called "for-each" in that case 04:38:34 adu: OK 04:38:53 in my world, for-all returns true if f(x) is true for all elements of the input 04:38:56 -!- Melvar`` has joined. 04:39:03 adu: Ah 04:39:05 in my world, for-each returns void, always 04:39:41 but in all other aspects, is equivalent to map 04:40:27 and-map is defined here: 04:40:28 https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._andmap%29%29 04:40:38 and or-map: 04:40:38 https://docs.racket-lang.org/reference/pairs.html#%28def._%28%28lib._racket%2Fprivate%2Fmap..rkt%29._ormap%29%29 04:41:10 -!- Melvar` has quit (Ping timeout: 272 seconds). 04:41:18 hppavilion[1]: is that too much info? 04:41:43 adu: Nope 04:42:22 andmap/ormap are useful in defining things like is-alpha? and is-digit? on both characters and strings 04:43:31 also useful in defining (<=) applied to arbitrary lists 04:43:48 adu: Ooooh 04:44:27 andmap is very useful 04:45:47 -!- Sgeo has quit (Ping timeout: 276 seconds). 04:48:53 I might be using scheme-names, because I am more familiar with scheme, but I know that lisp progn is the same as scheme begin 04:52:13 oh, and for-any returns true if there exists an x in the input such that f(x) is true 04:52:36 adu: Implmeented 04:52:47 hppavilion[1]: all of them? even filter? 04:53:05 adu: I mean and-map and or-map 04:53:08 ah ok 04:53:23 (is there no xor-map, nand-map, nor-map, and xnor-map? xD) 04:53:33 no, that would just be silly 04:53:40 adu: Would it REALLY? 04:53:47 adu: How about add-map? 04:53:52 http://clhs.lisp.se/Body/f_boole.htm 04:54:21 that's a Common Lisp function that implements every possible 2-argument binary operation on the booleans 04:54:21 Which uses the truth table used by bin+bin 04:54:31 that's just silly 04:54:41 adu: This is #esoteric 04:54:45 :) 04:56:21 actually, you could probably implement for-all and for-any with and-map/or-map 04:59:45 -!- heroux has quit (Ping timeout: 240 seconds). 05:00:01 -!- perrier_ has quit (Remote host closed the connection). 05:01:16 -!- Guest9703 has joined. 05:01:53 -!- heroux has joined. 05:03:38 adu: just by the names, i'd have guessed they were the same thing 05:04:10 oerjan: they're probably the same for 1 list 05:04:44 http://www.r6rs.org/final/html/r6rs-lib/r6rs-lib-Z-H-4.html 05:04:49 n/m, they're both n-ary 05:05:22 adu: So is there anything I did wrong with the rules I set forth? 05:05:29 (I really like to set things forth) 05:05:53 -!- jix has quit (Remote host closed the connection). 05:06:37 hppavilion[1]: it's usually more efficient to iterate once, test twice, than to iterate twice with a single test 05:07:36 adu: In what function/rule did I do that? 05:07:44 hppavilion[1]: the first two 05:07:49 adu: Ah 05:07:57 adu: yeah, seem identical 05:09:00 -!- Sprocklem has quit (Ping timeout: 250 seconds). 05:09:05 I would do something like (let ((x (lowercase (lastmessage (player))))) (cond ((= x "i register") ...) ((= x "i leave") ... ))))) 05:09:06 adu: I don't see it in the first rule :/ 05:09:29 Oh! 05:09:37 You want me to merge the rules! 05:09:39 I can do that 05:10:37 do you have "let" in your language? 05:10:55 if not, you could totally implement it with lambda 05:11:18 ((lambda (x) ...) (lowercase (lastmessage (player)))) 05:13:15 <\oren\> WTF is everything down!?!?! 05:13:34 \oren\: Rackspace as been having a temper tantrum 05:13:50 <\oren\> google is down, rt is down, nhl is down, but irc is still up somehow? 05:14:09 google isn't down, are you sure it's not your DNS? 05:14:28 <\oren\> maybe my dns is down 05:14:43 \oren\: would you like some DNS ip addresses? 05:14:57 <\oren\> sure 05:16:48 Google: 8.8.8.8, 8.8.4.4, OpenDNS: 208.67.222.222, 208.67.220.220, Verizon: 75.75.75.75, 75.75.76.76 05:16:48 adu: OK 05:17:01 adu: I haven't implemented let, but I'm still designing the language 05:17:30 \oren\: Up is Down 05:17:32 hth 05:22:09 \oren\: that's my personal order, the most reliable is opendns (also in my opinion, the quickest latency), google the next reliable, and verizon is a piece of crap, but easy to remember 05:31:14 -!- Sgeo has joined. 05:33:09 -!- Sgeo_ has joined. 05:36:28 -!- Sgeo has quit (Ping timeout: 276 seconds). 05:57:23 \oren\: did it work? 06:01:28 -!- \oren\ has quit (Ping timeout: 256 seconds). 06:02:44 adu: DAMN YOU, adu! 06:02:55 what did I do? 06:03:04 adu: Notice hat \oren\ has quite 06:03:06 *quit 06:03:10 Clearly, it did not work 06:03:14 -!- \oren\ has joined. 06:03:22 Oh, maybe it did 06:03:33 \oren\: That was about you, ftr 06:03:45 or maybe it did work, and he could finally access Pr0n, which might by why he left 06:05:00 adu: That's probably it 06:05:38 I'm not saying that's the reason, it's just a theory 06:06:00 adu: A PR0N theory 06:06:01 <\oren\> well that fixed it up real good 06:06:05 <\oren\> I changed the dns settings on ym router from Bell's crapped out wervers to the opendns and 8.8.8.8 06:06:07 Thanks so much for watching 06:06:08 <\oren\> that's the last time some scarborough hoopleheads screw up my personal internet 06:06:13 lolol 06:06:44 famous last words indead 06:06:45 * adu <3 opendns 06:07:03 hppavilion[1]: What exaxctly is a “hardware SQL table”? 06:07:10 you're supposed to pay them if you use it commercially 06:07:18 * oerjan notes his ominous typo 06:07:44 A wooden table with the words SQL etched into it. 06:07:47 but opendns doesn't define "commercially" so I use it at work on 2 whole servers 06:08:01 oerjan: communismily 06:09:19 adu: Could you help me test λ-nomic when it's up and running? 06:09:50 hppavilion[1]: sure 06:09:56 adu: TY 06:09:58 if my cat isn't an issue 06:10:27 adu: It probably won't be 06:10:42 adu: Besides, your cat will probably be living on a farm by the time I've got it working xD 06:10:47 my cat is crazy, but mostly, I like blaming animate objects 06:11:36 adu: The big part I have to do is hack together an interface between a user-based chat client (similar to IRC) and my rule API 06:11:46 Also, get functions working in λ-nomic LISP 06:11:56 I can get functions to function 06:12:03 adu: xD 06:12:27 adu: But will your functional function implementation be functional? Or imperative? 06:13:05 -!- MDude has changed nick to MDream. 06:13:28 adu: Also, I have to design the entire website... and figure out authentication (though that'll be after testing) 06:13:32 Wow, this is a big project 06:13:37 hppavilion[1]: I'm hindered by writing many sofwares in Haskell, I cannot think imperatively anymore 06:14:03 adu: That must be weird. Not for you, but for anybody who visits the inside of your head. 06:14:42 hence, my first task in any imperative language is to define map, filter, etc. 06:15:01 adu: Great xD 06:15:20 adu: What about designing lists? 06:15:35 "My first task in any imperative language is to define an implementation of Haskell" 06:15:52 - The Doctor 06:16:53 -!- jaboja has joined. 06:17:54 i approve of that 06:22:25 hppavilion[1]: Doctor who? 06:22:31 lambda-11235: Yes. 06:26:30 -!- lambda-11235 has quit (Quit: WeeChat 1.4). 06:26:43 hppavilion[1]: designing? 06:27:09 adu: ? 06:27:20 Design the website? 06:27:26 hppavilion[1]: adu: What about designing lists? 06:27:28 What about it? 06:27:33 Ah 06:27:37 I meant defining 06:27:41 oh 06:27:43 adu: implementing lazyness in imperative languages could be quite the challenge 06:27:46 defining? 06:28:14 myname: the way that Python does it, is you have a class, and a method called __next__() 06:28:15 lists are easy 06:28:23 adu: YOu define map, filter, etc. But what about the lists they operate on? LTIC, C doesn't include homogenous unbounded lists as a builtin 06:28:33 well yeah, do that in C 06:28:49 myname: _myclass_next_() 06:29:55 you have to rewrite anything iterating 06:30:06 it's possible, of course 06:30:21 i like rusts lists 06:30:28 * adu <3 Rust 06:30:38 Mozilla is genious 06:30:39 adu <3 many things 06:30:43 Must be Cupid 06:30:47 St. Cupid 06:30:48 xD 06:30:51 * adu Microsoft is stupid 06:31:26 rust is like the most a haskell programmer can wish for in an imperative language 06:31:26 so does many other companies 06:31:28 do* 06:31:52 nowadays Microsoft is *less* stupid than it used to be I believe 06:31:56 Apple is stupid too, but I haven't found a company that makes sexy hardware with Linux preinstalled... 06:32:46 so I run tha MacOSX version of Oracle VirtualBox to run my favorite linuxes 06:33:16 for a while i really thought about buying an arm notebook 06:33:30 but they suck as much as x64 notebook do 06:33:31 myname: examples? 06:34:02 https://www.xi3.com/desktops/x7a-modular-computer 06:34:20 this is my favorite desktop computer, and you can select Linux to be preinstalled 06:34:42 what i basically want is: <=12", full hd or better, vaio like keyboard, trackpoint 06:34:45 it's a 4x4x4 cube 06:34:56 desktops are easy 06:35:27 This is still my ideal desktop: http://www.apple.com/mac-pro/ 06:36:03 the basic trick is to not care wether linux is preinstalled or not 06:36:14 the preinstalled linux will probably suck 06:36:23 myname: just delete everything and install it anyways? 06:36:30 yeah 06:36:41 you *can* install linux on macpro 06:36:47 -!- heroux has quit (Ping timeout: 264 seconds). 06:37:40 i am not at all interested in desktops 06:37:50 myname: My personal beef is with *subsidising* the purchase of windows along with whatever PC hardware I get 06:38:30 hardware with windows can actually be cheaper 06:38:46 I don't want to give any money to microsoft, even if it's only $50 of the cost of a laptop, or whatever 06:39:39 there are a lot of laptops for which microsoft actually pays to get windows on it 06:40:04 adu: That link to the "x7a modular computer" has a bad cert. I ain't looking. 06:40:04 myname: hmm, that might be useful 06:40:25 sorry, feel free to not look 06:40:39 I'm not trying to sell xi3, I just think they make cute computers 06:42:12 apple is probably more hip with the Google-Chrome-will-outlaw-Sha1-in-a-month policy 06:42:24 In this case, the cert was *expired*. 06:45:44 -!- heroux has joined. 06:46:48 YES! 06:46:51 GOT FUNCTIONS WORKING! 06:47:07 * hppavilion[1] raises his hand to adu for a high five 06:47:27 * adu gves hppavilion[1] a high 5 06:54:57 * zgrep gives adu a high C 06:58:35 I'm going to need it back, though. Some time tomorrow. 07:00:43 * adu gives zgrep it back 07:01:03 But I don't have space for it, yet! 07:01:08 * zgrep hands it back to adu 07:07:26 -!- andrew_ has quit (Remote host closed the connection). 07:09:44 -!- andrew_ has joined. 07:10:43 -!- heroux has quit (Ping timeout: 276 seconds). 07:14:41 -!- tromp__ has quit (Remote host closed the connection). 07:19:57 -!- heroux has joined. 07:23:45 adu: I'm back, though I suppose you don't realize I was gone 07:23:58 hppavilion[1]: i didnt 07:24:07 adu: Well I am, and I was xD 07:24:28 adu: If you like, you can design your own ruleset for λ-nomic and I'll implement it 07:24:47 Perhaps something less... bare bones than mine xD 07:25:01 (Though then again, starting bare bones IS sort of the point, but...) 07:29:55 well, anymap/ormap aren't really barebones, because they can be descibed with map and and 07:30:39 but then again "map" isn't barebones either, because it can be described with "pair" (I think the common lisp term for this is cons, same as scheme) and recursion 07:35:49 -!- hppavilion[2] has joined. 07:40:38 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 07:40:47 adu: No, I mean the ruleset is barebones 07:40:59 adu: The ruleset is the rules the players follow, not the langauge 07:41:05 for general mmorgp? 07:42:36 no, you also need "requestop", which would get a password from you, and "kick", which would allow admins to kcik stupid players for being stupid 07:42:57 adu: No, for Nomic 07:43:06 what's nomic? 07:43:10 adu: ... 07:43:19 Nomic is a game for making up rules 07:43:27 It's the game that I sent you the scripts for 07:43:34 The ones in LISP 07:43:35 you sent me 3 paragraphs 07:43:40 adu: Of scripts 07:43:46 adu: Those are game rules 07:43:53 adu: The actual backend code is in Python 07:43:59 right, but players are stupid, you need to kick them sometimes 07:44:12 adu: In the game, the objective is to modify those scripts to make the game more fun 07:44:14 adu: Good point 07:44:34 hppavilion[2]: I think I understand this better than you do 07:44:36 -!- Vorpal has quit (Ping timeout: 256 seconds). 07:44:45 adu: You don't even know what Nomic is xD 07:44:53 hppavilion[2]: correct 07:45:08 https://en.wikipedia.org/wiki/Nomic 07:45:15 Read that and you will understand 07:45:36 adu: The LISP is the rules of the game, not the code that drives the game 07:45:48 hppavilion[2]: http://angryorchard.com/our-ciders/cider-house-collection/the-legend-of-the-muse 07:46:09 Most of the code is in Python, but the game is in LISIP 07:46:10 *LISP 07:46:13 hppavilion[2]: that's what I'm drinking right now 07:46:29 -!- kragniz has quit (Ping timeout: 276 seconds). 07:46:49 -!- kragniz has joined. 07:48:37 -!- jix has joined. 07:49:22 -!- Vorpal has joined. 07:49:50 -!- oerjan has quit (Quit: Latör). 07:50:26 -!- jaboja has quit (Ping timeout: 252 seconds). 07:50:50 -!- hppavilion[2] has quit (Ping timeout: 256 seconds). 07:50:55 -!- hppavilion[1] has joined. 07:51:05 That was weird 07:51:27 hppavilion[1]: the IRC split? or my cider recommendation? 07:51:49 adu: Oh, is that what happened? 07:51:49 I wasn't on for the cider recommendation 07:52:08 adu: hppavilion[2]: http://angryorchard.com/our-ciders/cider-house-collection/the-legend-of-the-muse 07:54:55 adu: So do you understand Nomic now? 07:57:27 hppavilion[1]: there are rules that allow you to change rules. 07:57:47 adu: Yes 07:57:54 adu: And I'm automating it 07:58:18 hppavilion[1]: Do you understand CAH? 07:58:29 adu: Nope 07:58:38 adu: My internet's down 07:58:48 hppavilion[1]: how are you here? 07:58:49 adu: But IRC still works 07:58:57 (Deja vu) 07:59:02 adu: The internet is connecting, but I can't load any webpages 07:59:17 I probably have the same DNS as \oren\ xD 08:00:01 https://50.87.23.105/ 08:00:47 adu: My connection is not secure 08:01:01 adu: Should.... should I click it? 08:01:22 Oh, it's Cards Against Humanity 08:01:27 that's because the SSL cert is associated with the domain name, which is not in the URL because you are having DNS issues 08:01:36 Huh, that loaded 08:03:07 hppavilion[1]: are you using opendns/google/verizon? 08:03:19 adu: I don't know if it's my DNS 08:03:23 Or did you confirm it was? 08:03:58 hppavilion[1]: DNS settings are usually stored in RAM or HD, which I don't have access to 08:04:22 adu: And how do I access that? 08:04:29 hppavilion[1]: what OS? 08:04:31 adu: Well the link could've been you confirming... 08:04:36 Windows 08:04:39 10 08:06:09 Windows 10: "Network Connection" / "Properties" / "Internet Protocol Version 4" / "Use the following DNS server addresses" / Enter IP addresses 08:09:02 adu: OK, switched it to OpenDNS w/ alt google 08:09:13 hppavilion[1]: very wise 08:09:16 Took a slightly different path because I couldn't find the root 08:09:29 But it appears to be the correct interface 08:09:36 It worked 08:09:42 hppavilion[1]: that's because Windows is stupid 08:09:46 Thank you adu 08:09:48 :) 08:10:14 you should use Linux, but if I took my own advice, then I wouldn't be using Mac, which I am 08:11:26 hppavilion[1]: the root was supposed to be "Start Menu", but I realise that may not exist anymore 08:11:34 Ah 08:11:46 adu: I tried to get Linux working, but I couldn't 08:12:04 I tried to find "Start Menu" on Windows 8 once, and I spent about 3 hours, with no luck 08:12:46 then I googled it, and found out it's in the top-left corner mouseover 08:15:13 -!- tromp_ has joined. 08:18:55 adu: They brought it back for 10, at least 08:19:14 hppavilion[1]: I had no idea, but thanks for the info 08:19:42 -!- tromp_ has quit (Ping timeout: 265 seconds). 08:20:47 what would be really cool, is if every operating system had a directory, like /etc, where all configuration was stored 08:24:29 -!- adu has quit (Quit: adu). 08:26:44 -!- heroux has quit (Ping timeout: 248 seconds). 08:26:51 TMW you read "humor" as "horror" 08:27:33 -!- heroux has joined. 08:29:40 -!- Treio has quit (Ping timeout: 252 seconds). 08:33:55 Here's an idea for a stupid game 08:34:07 The x86-style opcode card game 08:36:38 My new second-favourite wiki: http://www.dvorakgame.co.uk 08:40:43 -!- madbr has quit (Quit: Pics or it didn't happen). 08:40:58 Call of Cthulhu + x86 opcodes + card game 08:43:14 Call of x86: The Card Game 08:51:47 -!- gniourf has quit (Read error: Connection reset by peer). 09:13:02 -!- AnotherTest has joined. 09:15:00 -!- gniourf has joined. 09:38:41 -!- andrew_ has quit (Remote host closed the connection). 09:39:15 -!- heroux has quit (Ping timeout: 240 seconds). 09:39:18 -!- andrew_ has joined. 09:39:39 -!- heroux has joined. 09:48:33 -!- AnotherTest has quit (Ping timeout: 240 seconds). 09:49:36 -!- J_Arcane has quit (Ping timeout: 252 seconds). 09:53:14 -!- heroux has quit (Ping timeout: 276 seconds). 09:55:30 -!- hppavilion[1] has quit (Ping timeout: 256 seconds). 10:01:23 -!- heroux has joined. 10:12:11 -!- heroux has quit (Ping timeout: 264 seconds). 10:24:58 -!- heroux has joined. 10:49:49 -!- bender|_ has joined. 10:54:22 -!- bender|_ has changed nick to bender. 11:00:35 -!- clog has quit (Ping timeout: 260 seconds). 11:09:11 -!- heroux has quit (Ping timeout: 264 seconds). 11:09:51 -!- heroux has joined. 11:16:29 -!- tromp_ has joined. 11:20:48 -!- tromp_ has quit (Ping timeout: 250 seconds). 11:23:20 -!- heroux has quit (Ping timeout: 272 seconds). 11:27:13 -!- heroux has joined. 11:34:44 -!- boily has joined. 11:43:22 -!- clog has joined. 11:45:27 @metar CYUL 11:45:27 CYUL 161138Z 02011KT 1 1/2SM -SN OVC015 M07/M09 A2992 RMK SN5SC3 SLP135 12:09:19 -!- J_Arcane has joined. 12:11:07 -!- AnotherTest has joined. 12:18:28 @metar EGLL 12:18:29 EGLL 161150Z AUTO 19009KT 160V240 9999 NCD 06/01 Q1035 NOSIG 12:18:35 It's a fine day. 12:18:45 As far as weather goes, anyway. 12:20:27 `ctof 36.4 12:20:37 `wisdom 12:20:40 36.40°C = 97.52°F 12:20:45 anagram/Interestingly, "Robert Galbraith" is *not* an anagram of "J. K. Rowling". 12:21:43 `ftoc 0 12:21:45 0.00°F = -17.78°C 12:25:41 fizziello. later today CYUL will be about the same as EGLL. 12:26:16 -!- boily has quit (Quit: SPACESHIP CHICKEN). 12:26:52 Oh no, UK and Canada are going to merge? Sounds drastic. 12:29:06 -!- andrew_ has quit (Ping timeout: 252 seconds). 12:43:23 -!- heroux has quit (Ping timeout: 264 seconds). 12:43:59 -!- Melvar`` has changed nick to Melvar. 12:44:12 `? canada 12:44:15 Canada is Big Scotland. Like, you know, very big. 12:44:30 Integrated circuit. 12:45:54 -!- heroux has joined. 12:58:26 -!- bender has quit (Ping timeout: 252 seconds). 12:59:04 -!- bender has joined. 13:40:37 -!- tromp_ has joined. 14:06:19 -!- J_Arcane has quit (Remote host closed the connection). 14:10:30 -!- Treio has joined. 14:20:08 -!- `^_^v has joined. 14:28:06 -!- idris-bot has joined. 14:43:34 `? scotland 14:43:48 it's that place where they all wear kilts and chase haggises around whilst warding off the loch ness monster with bagpipes 14:54:59 -!- lambda-11235 has joined. 14:58:55 `? sweden 14:58:57 `? UK 14:59:00 Sweden is the suburb capital of Norway. It's where all the Nobel prizes are announced, except the Math Prize. 14:59:00 UK? ¯\(°​_o)/¯ 14:59:06 `? Norway 14:59:07 Norway is the suburb capital of Sweden. It's where the Nobel Peace Prize is announced. 15:00:21 `? Finland 15:00:22 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. 15:01:15 Well, for completeness. 15:01:19 `? Denmark 15:01:20 Denmark? ¯\(°​_o)/¯ 15:01:22 `? Iceland 15:01:23 Iceland? ¯\(°​_o)/¯ 15:01:25 Aw. 15:01:34 <\oren\> `? canada 15:01:35 Canada is Big Scotland. Like, you know, very big. 15:01:43 <\oren\> oh right 15:01:44 Don't you love it when you go to a lecturer's office to ask a question about an edge case in an algorithm described in a module he teaches, and his response is "I don't know, but it doesn't actually matter" 15:01:55 <\oren\> rrgh 15:12:46 -!- MDream has changed nick to MDude. 15:18:11 -!- AnotherTest has quit (Ping timeout: 264 seconds). 15:19:00 -!- Treio has quit (Ping timeout: 248 seconds). 15:28:35 -!- bender has quit (Ping timeout: 240 seconds). 15:35:22 -!- AnotherTest has joined. 15:36:08 -!- Treio has joined. 15:37:01 -!- Treio has quit (Remote host closed the connection). 15:42:20 -!- AnotherTest has quit (Ping timeout: 260 seconds). 15:46:29 -!- atslash has quit (Quit: This computer has gone to sleep). 15:57:57 -!- lambda-11235 has quit (Quit: WeeChat 1.4). 16:12:57 -!- spiette has joined. 16:14:36 -!- ski____ has quit (Ping timeout: 252 seconds). 16:21:32 Taneb: No I wouldn't love it. 16:21:54 Taneb: It's okay to not know, but it's not ok not to care. 16:21:57 -!- ski has joined. 16:24:57 `? Scandinavia 16:25:03 Scandinavia? ¯\(°​_o)/¯ 16:29:59 hint-e 16:30:12 @uptime 16:30:13 uptime: 1m 11d 20h 51m 38s, longest uptime: 1m 11d 20h 51m 38s 16:30:34 wow 16:33:33 -!- LexiciScriptor has joined. 16:34:59 perhaps I should finally do some lb maintenance... with ghc 8.0.1 on the doorstep... 16:36:26 -!- XorSwap has joined. 16:36:53 -!- XorSwap has quit (Read error: Connection reset by peer). 16:37:17 -!- XorSwap has joined. 16:38:08 [wiki] [[Condit]] M https://esolangs.org/w/index.php?diff=46408&oldid=42127 * LegionMammal978 * (+13) /* External resources */ 16:43:48 -!- ski has quit (Ping timeout: 272 seconds). 16:46:06 -!- Lord_of_Life has quit (Excess Flood). 16:48:06 -!- Lord_of_Life has joined. 16:55:27 -!- ski has joined. 17:02:54 `? japan 17:02:57 japan? ¯\(°​_o)/¯ 17:03:09 `? bohemia 17:03:10 bohemia? ¯\(°​_o)/¯ 17:11:22 `? geography 17:11:24 geography? ¯\(°​_o)/¯ 17:21:41 -!- tromp_ has quit (Remote host closed the connection). 17:27:35 -!- XorSwap has quit (Ping timeout: 276 seconds). 17:33:25 -!- jix has quit (Quit: Lost terminal). 17:36:18 `? physics 17:36:20 physics? ¯\(°​_o)/¯ 17:36:22 `wisdom 17:36:25 koen/Koen vit au haut de la Tour Eiffel (coordonnées approximatives). 17:38:22 -!- nycs has joined. 17:39:13 -!- jix has joined. 17:39:18 `? star wars 17:39:19 star wars? ¯\(°​_o)/¯ 17:39:20 `? harry potter 17:39:21 harry potter? ¯\(°​_o)/¯ 17:39:53 -!- `^_^v has quit (Ping timeout: 265 seconds). 17:46:44 i just hacked a server o.o 17:47:44 sdf.org gives you a small shell if you donate $1 or more 17:48:06 if you don't, you still get a limited sorta-shell with like 6 commands 17:48:37 one of these commands is faq 17:49:00 and it's an interactive program that asks things and you type things in it 17:49:16 and i received some error messages that were very shell-like 17:49:40 then i found a thing that gave an error that was obviously a shell math error 17:49:52 so i tried array[$(somecmd >&2)] 17:49:55 and it works 17:50:12 and you can use array[$(bash >&2)] 17:50:17 so i now have a shell worth 1$ 17:50:27 because of my awesome hacking skills 17:53:16 * izabera fixes their script... 17:53:25 `olist 1024 17:53:26 olist 1024: shachaf oerjan Sgeo FireFly boily nortti b_jonas 17:53:34 oh 17:53:39 let me look 17:54:03 olist: also, the news page is updated today 17:54:09 with GOOD news 17:55:07 Gumroad is scow. 17:55:54 And when you send an email to complain about their user interface (to accomplish a simple transaction I have to read the source code to their web page and do some reverse engineering), they don't really care. 17:56:40 shachaf: yeah, their web interface sucks, just like so many webpages these days 17:58:40 oh... vampire shenenigans 17:59:09 I suspected that would come up somehow, but I didn't guess it was this way 18:00:47 do you think the restriction works for public places too? or only private homes and closed places like churches? 18:00:56 in the stickiverse that is 18:00:57 hmm 18:01:11 maybe it works for "homes", and the dwarven homeland counts as one? 18:08:29 b_jonas: whoa whoa whoa, spoilers 18:08:34 i haven't read it yet 18:09:30 b_jonas: Here's a puzzle: Start at https://gumroad.com/richburlew , and try to send a gift copy of a PDF. 18:10:00 (Oh, they've made it somewhat easier since last time I tried.) 18:14:05 b_jonas: What vampire shenanigans? 18:22:11 -!- tromp_ has joined. 18:27:22 -!- tromp_ has quit (Ping timeout: 276 seconds). 18:34:38 -!- Treio has joined. 18:38:04 -!- Treio has quit (Remote host closed the connection). 18:38:51 -!- Treio has joined. 18:41:42 -!- Treio has quit (Remote host closed the connection). 18:41:52 -!- Phantom_Hoover has joined. 18:47:49 shachaf: they're mentioned in the forum too. D&D rules says (based on some legends) that a vampire is unable to enter to a home unless he is invited by the owners. 18:48:47 shachaf: http://www.d20srd.org/srd/monsters/vampire.htm Vampires “are utterly unable to enter a home or other building unless invited in by someone with the authority to do so. They may freely enter public places, since these are by definition open to all.” 18:50:19 That's why a vampire often has to hide that it's a vampire. 19:00:44 The ironic part is of course that vampire Durkon will regenerate his mother's missing arm, and pay from Durkon's money, to convince the dwarves that he's still Durkon. 19:00:50 -!- lynn has joined. 19:04:33 And Durkon will thank him just like how O-Chul thanked Belkar. 19:07:09 -!- earendel has joined. 19:07:57 -!- Treio has joined. 19:12:36 -!- AnotherTest has joined. 19:13:15 -!- lambda-11235 has joined. 19:14:20 -!- Treio_ has joined. 19:14:35 -!- Treio has quit (Ping timeout: 264 seconds). 19:32:24 -!- Alcedo has joined. 19:34:15 -!- lambda-11235 has quit (Ping timeout: 240 seconds). 19:35:08 -!- Alcedo has left. 19:41:47 -!- lambda-11235 has joined. 19:45:51 -!- hppavilion[1] has joined. 19:45:52 I'm ba-ack! 19:58:43 http://jebbush.com 20:03:36 -!- jaboja has joined. 20:05:56 -!- J_Arcane has joined. 20:11:15 -!- lambda-11235 has quit (Ping timeout: 260 seconds). 20:13:15 -!- lleu has quit (Ping timeout: 240 seconds). 20:15:39 -!- lleu has joined. 20:15:40 -!- lleu has quit (Changing host). 20:15:40 -!- lleu has joined. 20:22:46 -!- tromp_ has joined. 20:27:38 -!- tromp_ has quit (Ping timeout: 276 seconds). 20:29:20 -!- Treio_ has quit (Ping timeout: 260 seconds). 20:38:57 -!- oerjan has joined. 21:05:51 uptime: 1m 11d 20h 51m 38s, longest uptime: 1m 11d 20h 51m 38s <-- ooh 21:05:56 @uptime 21:05:56 uptime: 1m 12d 1h 27m 22s, longest uptime: 1m 12d 1h 27m 22s 21:06:04 @botsnack 21:06:04 :) 21:07:46 `? japan 21:07:57 japan? ¯\(°​_o)/¯ 21:12:48 `learn Japan is so far from Finland. However, like Finland, it is so close to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is. 21:12:57 Learned 'japan': Japan is so far from Finland. However, like Finland, it is so close to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is. 21:13:26 oops 21:14:04 `learn Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is. 21:14:08 Learned 'japan': Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's much fewer miles from Vietnam than Finland is. 21:14:37 `learn Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is. 21:14:41 Learned 'japan': Japan is so far from Finland. However, like Finland, it is so near to Russia, and quite a long way from Cairo. It's many fewer miles from Vietnam than Finland is. 21:14:51 accuracy is hard. 21:15:37 so far so good 21:19:44 `? star wars 21:19:45 star wars? ¯\(°​_o)/¯ 21:22:30 `le/rn star wars/Star Wars was a missile defence system invented by Ronald Reagan. With it, he managed to destroy the Soviet Union, then rode into the sunset. 21:22:32 Learned «star wars» 21:26:51 `? russia 21:26:52 russia? ¯\(°​_o)/¯ 21:28:31 `learn Russia is a country so huge it manages to be near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 21:28:33 Learned 'russia': Russia is a country so huge it manages to be near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 21:28:47 `learn Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 21:28:50 Learned 'russia': Russia is a country so huge it manages to be so near to both Finland and Japan. It used to be part of the Soviet Union before Ronald Reagan destroyed it. 21:29:22 `? the them 21:29:24 Information on the THEM has been removed for national security reasons. 21:33:18 `le/rn soviet union/In ancient history, the Soviet Union used to be The THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no The THEM for a while. 21:33:22 Learned «soviet union» 21:33:58 `? ronald reagan 21:33:59 ronald reagan? ¯\(°​_o)/¯ 21:35:13 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 21:36:34 `le/rn ronald reagan/Ronald Reagan was an actor so great he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union. 21:36:36 Learned «ronald reagan» 21:36:52 `le/rn ronald reagan/Ronald Reagan was an actor so great that he managed to convince the US that he was the President. Then he created the Star Wars project to destroy the Soviet Union. 21:36:55 Learned «ronald reagan» 21:37:43 oerjan: makes sense that a star would create Star Wars 21:38:07 indeed 21:39:00 hm 21:39:20 `le/rn soviet union/In ancient history, the Soviet Union used to be the THEM. They believed in absurd principles like "Better Red than Dead". Then Ronald Reagan invented Star Wars to destroy it, after which there seemed to be no the THEM for a while. 21:39:23 Learned «soviet union» 21:39:26 -!- hppavilion[1] has joined. 21:49:00 `? j 21:49:01 j? ¯\(°​_o)/¯ 21:49:03 `? haskell 21:49:05 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 21:49:12 -!- p34k has joined. 21:49:42 `? C 21:49:43 C is the language of��V�>WIד�.��Segmentation fault 21:49:46 `? K 21:49:47 K K K Ken 21:49:48 `? J 21:49:49 J? ¯\(°​_o)/¯ 21:49:53 `? R 21:49:55 R? ¯\(°​_o)/¯ 21:50:04 -!- lynn has quit (Ping timeout: 256 seconds). 21:51:02 `? them 21:51:04 them? ¯\(°​_o)/¯ 21:51:08 `? the them 21:51:09 Information on the THEM has been removed for national security reasons. 21:51:13 oerjan: what happened to national security twh 21:53:37 `? C++ 21:53:38 Along with C, C++ is a language for smart people. 21:53:41 `? octave 21:53:43 octave? ¯\(°​_o)/¯ 21:53:46 `? rust 21:53:47 `? go 21:53:48 Rust is C++ as designed by the makers of Haskell. 21:53:49 Go is a common verbal game programming language invented by the Germanic Taneb tribes in the strategic territories of East Asia. 21:53:50 `? golang 21:53:51 golang? ¯\(°​_o)/¯ 21:54:19 `? ruby 21:54:20 Ruby is a programming language from Japan, that Eventually decided to support non-ascii characters. 21:54:20 `? perl 21:54:22 Perl is the Perfect Emacs Rewriting Language 21:54:23 `? python 21:54:24 python? ¯\(°​_o)/¯ 21:54:25 `? php 21:54:26 php is the PigeonHole Principle 21:54:45 `? C# 21:54:47 C Pound is Java's good twin. 21:54:55 `? java 21:54:56 java is a programming-language shaped collection of misfeatures 21:55:00 `? .net 21:55:01 ​.net? ¯\(°​_o)/¯ 21:55:02 shachaf: i could tell you, but then i would have to kill you. 21:55:05 `? basic 21:55:07 basic? ¯\(°​_o)/¯ 21:55:16 `? him 21:55:17 him? ¯\(°​_o)/¯ 21:55:31 `? he 21:55:32 he? ¯\(°​_o)/¯ 21:55:32 `? sh 21:55:33 sh? ¯\(°​_o)/¯ 21:55:33 `? she] 21:55:34 she]? ¯\(°​_o)/¯ 21:55:36 argh 21:55:37 `? she 21:55:38 she? ¯\(°​_o)/¯ 21:55:43 `` ls wisdom/sh* 21:55:44 wisdom/shachaf \ wisdom/shiasdayviaerqjjjjjjjj \ wisdom/shikhin 21:56:01 `? shiasdayviaerqjjjjjjjj 21:56:02 shiasdayviaerqjjjjjjjj is the reason why the USA don't use the metric system. 21:56:04 help 21:56:17 shachaf: go on 21:56:21 shachaf: oh, the fact that the SU was the THEM in the past is not secret hth 21:56:33 `` ls wisodm/he* 21:56:34 ls: cannot access wisodm/he*: No such file or directory 21:56:39 `` ls wisodm/h* 21:56:40 ls: cannot access wisodm/h*: No such file or directory 21:56:46 `` ls wisdom/h* 21:56:48 wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r \ wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \ 21:56:55 `? haar measure 21:56:56 A Haar measure is what Dutch people use to find out how long their hair is. 21:57:08 `culprits wisdom/haar measure 21:57:10 `? h[e-~] 21:57:17 mauris_ 21:57:17 h[e-~]? ¯\(°​_o)/¯ 21:57:22 `` ls -d wisdom/h[e-~] 21:57:24 ls: cannot access wisdom/h[e-~]: No such file or directory 21:57:28 wha 21:57:38 `` ls -d wisdom/h[e-~]* 21:57:40 ls: cannot access wisdom/h[e-~]*: No such file or directory 21:57:43 huh 21:57:43 `? haskell' 21:57:45 Unbound implicit parameter (?haskell::Wisdom) \ arising from a use of implicit parameter `?haskell' 21:57:55 well 21:58:03 um 21:58:09 `` ls -d wisdom/h[e-}]* 21:58:11 ls: cannot access wisdom/h[e-}]*: No such file or directory 21:58:15 I don't get it 21:58:36 but there's a wisdom/hello, why does it not match? 21:58:48 oh 21:58:57 ``` ls -d wisdom/h[e-~]* # classic 21:58:59 wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \ wisdom/hexchat \ wisdom/hexham \ wisdom/hipchat \ wisdom/hmph \ wisdom/hockey \ wisdom/holy water \ wisdom/hom-set \ wisdom/homestuck \ wisdom/horse \ wisdom/hovercraft \ wisdom/hppavilion1 \ wisdom/hppavilion[1] \ wisdom/htdh \ wisdom/hth \ wisdom/hthmonoid \ wisdom/hth 21:59:07 ``` ls -d wisdom/h[!-d]* # classic 21:59:08 wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r \ wisdom/heck \ wisdom/heh \ wisdom/hello \ wisdom/helsinki \ wisdom/herbalist \ 21:59:57 huh? why does that cover he* 22:00:03 e is before d 22:00:09 after d 22:00:10 um 22:00:13 you know 22:00:23 oh 22:00:28 ``` ls -d wisdom/h[ -d]* # classic 22:00:29 ls: invalid option -- ']' \ Try `ls --help' for more information. 22:00:35 ``` ls -d wisdom/h[\ -d]* # 22:00:36 wisdom/haar measure \ wisdom/hackego \ wisdom/hagb4rd \ wisdom/haiku \ wisdom/halfling \ wisdom/hallucination \ wisdom/ham \ wisdom/hand \ wisdom/hari \ wisdom/hash 2346ad27d7568ba9896f1b7da6b5991251debdf2 \ wisdom/haskell \ wisdom/haskell' \ wisdom/hat \ wisdom/hax0r 22:00:47 the bang negates the character set 22:00:49 in bash 22:01:02 `? holy water 22:01:04 Holy water is water made by boiling the hell out of Spain. 22:01:08 `? conic 22:01:09 conic? ¯\(°​_o)/¯ 22:01:26 `? hovercraft 22:01:28 a-é-ro-g-liss-e-ur. If you mention eels, you'll get smacked with one of them in a most unappropriate manner. 22:01:36 `? python 22:01:37 python? ¯\(°​_o)/¯ 22:02:24 ``` ls -d wisdom/t* 22:02:25 wisdom/tadpole \ wisdom/tanea \ wisdom/taneb \ wisdom/tanebvention \ wisdom/tanebventory \ wisdom/tapeworm \ wisdom/tautology \ wisdom/tdh \ wisdom/tdnh \ wisdom/tdt \ wisdom/terminal symbol \ wisdom/termite \ wisdom/test \ wisdom/tetrapleur \ wisdom/thanks ants \ wisdom/thausiblee \ wisdom/the \ wisdom/the meaning of life \ wisdom/the neverending 22:02:35 ``` ls -d wisdom/t[h-~]* 22:02:36 wisdom/thanks ants \ wisdom/thausiblee \ wisdom/the \ wisdom/the meaning of life \ wisdom/the neverending work \ wisdom/the question \ wisdom/the reals \ wisdom/the them \ wisdom/the torus \ wisdom/the u \ wisdom/the universe \ wisdom/the us \ wisdom/things boily likes \ wisdom/thirt \ wisdom/this \ wisdom/this sentence \ wisdom/thwackamacallit \ w 22:02:56 ``` ls -d wisdom/t{h[w-~]*,[i-~]} 22:02:57 ls: cannot access wisdom/t[i-~]: No such file or directory \ wisdom/thwackamacallit \ wisdom/thyme 22:03:08 ``` ls -d wisdom/t{h[w-~]*,[i-~]*} 22:03:09 wisdom/thwackamacallit \ wisdom/thyme \ wisdom/til \ wisdom/tisc \ wisdom/tmnh \ wisdom/tmns \ wisdom/tmyk \ wisdom/tomfoolery \ wisdom/topology \ wisdom/torus \ wisdom/transformer \ wisdom/translater \ wisdom/treant \ wisdom/treaty \ wisdom/treefolk \ wisdom/trick \ wisdom/trisecting the angle \ wisdom/tswett \ wisdom/tur \ wisdom/turing \ wisdom/ 22:03:17 ``` ls -d wisdom/t[u-~]* 22:03:18 wisdom/tur \ wisdom/turing \ wisdom/turkey \ wisdom/tvtropes \ wisdom/twh \ wisdom/twhib \ wisdom/twitter \ wisdom/twnh \ wisdom/twoducks \ wisdom/type system 22:03:35 `? the reals 22:03:37 The reals are an overt complete ordered Brazilian currency invented by Taneb in 1994. 22:03:42 `? this 22:03:43 this is a word 22:03:58 `? tomfoolery 22:04:00 tomfoolery is always factually inaccurate. always. 22:04:02 `? treant 22:04:03 Treants are genericized ents for intellectual property reasons. 22:04:16 oh right, I added that one 22:04:34 together with treefolk, halfling, kithkin 22:04:42 `? twnh 22:04:43 twnh is dubious hambiguitous help that will or will not be help. It is provided by a toe with no hair. 22:04:44 `? turkey 22:04:45 Turkey was the center of an empire that gobbled up much of Eastern Europe and the Middle East, something which brought them into conflict with Ostrich. In the 19th century the overstuffed empire started declining, and after the Great War it was cut up like so much Shish Kebab. 22:04:47 `? tvtropes 22:04:49 We'll write about TVTropes here, we just have to finish these tabs first. 22:04:52 `? duck 22:04:53 duck? ¯\(°​_o)/¯ 22:04:54 `? duck typing 22:04:55 duck typing? ¯\(°​_o)/¯ 22:05:22 `learn Duck typing means typing on a terminal blinding without an echo. 22:05:26 Learned 'duck': Duck typing means typing on a terminal blinding without an echo. 22:05:29 um, no 22:05:36 `revert 22:05:44 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 22:05:51 `? duck 22:05:52 duck? ¯\(°​_o)/¯ 22:05:54 `slashlearn duck typing/Duck typing means typing on a terminal blinding without an echo. 22:05:57 Learned «duck typing» 22:06:02 `? duck 22:06:03 `? duck typing 22:06:05 Duck typing means typing on a terminal blinding without an echo. 22:06:05 Duck typing means typing on a terminal blinding without an echo. 22:06:20 slashlearn?! 22:06:36 shachaf: it's like SLASH'EM 22:06:56 `? augustss 22:06:58 augustss? ¯\(°​_o)/¯ 22:07:00 `? bellard 22:07:01 bellard? ¯\(°​_o)/¯ 22:07:46 -!- nycs has quit (Ping timeout: 250 seconds). 22:08:10 `? augustsson 22:08:11 augustsson? ¯\(°​_o)/¯ 22:08:17 `? august 22:08:18 august? ¯\(°​_o)/¯ 22:10:24 `? hmph 22:10:25 His Master's Phonetic Hmph 22:11:17 oh incidentally, for *list people, http://bobadventures.comicgenesis.com/ has updated (after a very long pause) 22:11:44 `? qc 22:11:45 qc? ¯\(°​_o)/¯ 22:11:58 `? ligo 22:11:59 ligo? ¯\(°​_o)/¯ 22:12:16 `? zzo38 22:12:18 zzo38 is not actually the next version of fungot, much as it may seem. 22:12:19 `? zzo37 22:12:20 zzo37? ¯\(°​_o)/¯ 22:12:21 `? zzo39 22:12:23 zzo39? ¯\(°​_o)/¯ 22:12:26 `? dmm 22:12:27 dmm? ¯\(°​_o)/¯ 22:12:41 every time you ask for a nonexistent wisdom entry, it messes up my terminal 22:12:51 until it scrolls off the screen 22:12:53 um 22:13:12 -!- ais523 has joined. 22:13:13 shachaf: make a replacement command for ? then 22:13:40 `? select 22:13:41 select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. 22:14:01 `? 2016 22:14:02 2016? ¯\(°​_o)/¯ 22:14:22 you definitely need the INTERCAL definition there too 22:14:30 -!- LexiciScriptor has quit (Quit: LexiciScriptor). 22:15:04 ahis523 22:15:05 `` sed wisdom/select 's/loop, /loop, deletes bits from one number according to a pattern in another, /' 22:15:06 sed: couldn't open file isdom/select: No such file or directory 22:15:13 hmm 22:15:24 `` sed -e 's/loop, /loop, deletes bits from one number according to a pattern in another, /' -i wisdom/select 22:15:28 No output. 22:15:31 `? select 22:15:33 select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, deletes bits from 22:15:38 bleh 22:15:40 `revert 22:15:46 rm: cannot remove `/home/hackbot/hackbot.hg/multibot_cmds/env/.hg/store/data/canary.orig': Is a directory \ Done. 22:17:21 -!- spiette has quit (Quit: :qa!). 22:30:03 -!- p34k has quit. 22:31:25 ais523: oh! good idea, I didn't have that on the list I used as the source 22:32:03 it's hard to come up with a more concise definition of what INTERCAL select actually does, though (and even mine is missing details) 22:32:53 ais523: it certainly is, but sadly the entry is already close to full (well, that's sort of the point), 22:33:01 I had to carefully cut words when I wrote it 22:33:31 I'll add to the source list though, that doesn't have such a small length limit. 22:34:10 the general definition (that works in any base, not just base 2) is "do a digitwise max-except-0-is-highest operation, then sort the digits of the result using the digits of the second input as a key" 22:36:09 ais523: for the binary version, something similar to that is called sheep-and-goats, althoguh that doesn't do the max, it only does the sort part 22:36:30 the max probably makes the operation less useful :-D 22:36:54 sorts the bits of one number according to the corresponding bits in another number used as a key, stable 22:36:58 and it's not really a max, because 0 has a higher precedence than anything else; it's a min if either digit is a 0 and a max otherwise 22:37:03 and yes, stable sort 22:37:18 I guess it had to be complex so as to avoid colliding with any existing operations 22:37:29 ais523: I think in Intercal it might actually be more useful with the max 22:37:37 Perhaps even in general 22:37:46 but it doesn't matter much, you can get either version from the other 22:38:02 well in INTERCAL you need it because otherwise you can't produce an acceptable argument to mingle 22:38:06 if a number has more than 16 set bits 22:38:40 at least as long as you have a binary logarithm (find highest bit set) operator 22:38:47 which you usually have before you have sheep-and-goats 22:38:52 in non-eso stuff that is 22:39:16 -!- tromp_ has joined. 22:39:48 ok, so what if we just say it “rearranges bits” or something? 22:40:08 well it doesn't just rearrange them, because of the max 22:40:15 "deletes bits" is a pretty good explanation, really 22:40:22 and is some characters shorter 22:40:24 ok 22:42:39 I'm looking to design a powerful functional language 22:42:42 Something that might be useful 22:42:54 What would be a good model for that? 22:42:58 ais523: erases bits? rejects bits? 22:43:19 b_jonas: but the bits that are kept are all moved to one end of the number 22:43:19 removes bits? 22:43:40 "deletes" fits that operation pretty well, in typical computer terminology; deleting from a list normally implies moving all the other elements to be adjacent 22:43:46 hppavilion[1]: lambda calculus, continuation passing style 22:43:54 -!- tromp_ has quit (Ping timeout: 265 seconds). 22:43:55 I suggest you do CPS because it's used less often 22:43:57 ais523: Perhaps 22:43:59 ais523: exactly, and so does remove and reject 22:44:00 and is mroe powerful 22:45:03 Should I do some prototypical OO in it? 22:45:17 Something object-based, but not like OO exactly, because OO is bad 22:45:28 -!- oerjan has quit (Quit: Later). 22:45:47 ais523: oddly, I can't find a reference to the "select" keyword in the Magma manual. but I know too little about Magma. Was my list originally wrong about it, or has it changed? 22:46:07 b_jonas: what's Magma? 22:46:14 http://magma.maths.usyd.edu.au/magma/ 22:46:22 hppavilion[1]: be very careful here 22:46:25 a computer algebra system, sort of like GAP 22:46:28 you're repeating some of the design decisions that lead to Feather 22:46:29 ais523: I will 22:46:36 as in, http://www.gap-system.org/ 22:46:37 ais523: Oh joy 22:47:27 I'm thinking Modal Logic-based static typing 22:49:01 nope, I wasn't just dreaming 22:49:09 web search says so 22:49:13 even if I can't find it in the handbook 22:49:16 Perhaps a combination of Epistemic, Deontic, and Temporal (epistemic for throwing around information, deontic for security, and temporal for reactivity) 22:49:58 and here it is in the handbook too: http://magma.maths.usyd.edu.au/magma/handbook/text/11#62 22:50:08 I think I'll working-name it... Mo' Def 22:50:23 with fucking no syntax given, only examples 22:50:29 (a pun on Mode F, which is derived from Mod(al logic)+F(unction)) 22:52:06 ais523: we could also say it "compresses bits", due to the classical APL operator / which was called compress 22:52:13 s,was,is, 22:52:30 that'd be confused with the sort of compression that, say, gzip does 22:52:37 (J calls it "repeat") 22:52:44 ais523: yeah, I dunno 22:52:58 ok, so I'm not a good writer, what to remove from the almost too long description? 22:53:02 `? select 22:53:04 select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. 22:53:11 s,very,, ? 22:53:18 "creates a list from elements of an input list that satisfy a condition" looks golfable 22:56:25 ais523: You shouldn't go all the way up to the line length limit. 22:56:33 Since some people use HackEgo in /msg, where the limit might be shorter. 22:56:53 the limit also depends on which server you're connected to 22:57:07 ais523: um... no? 22:57:13 I don't think it does 22:57:13 "HackEgo" is two characters shorter than "#esoteric", though 22:57:19 b_jonas: I thought it was 512 including all metadata 22:57:27 and the name of the server you're connected to is part of the metadata 22:57:33 ais523: it's not HackEgo, it's _yuor_ nick that replaces #esoteric 22:57:49 really? 22:57:52 and its' not part of the metadata included in that line 22:57:57 ais523: this is about when HackEgo messages you 22:57:59 are we talking about sending or receiving? 22:58:03 not when you message HackEgo 22:58:18 when I write to HackEgo, I can send in chunks with shell commands, just like you demonstrated with sed 22:58:28 but when someone queries `? select then HackEgo sends to yuo 22:58:31 or to a channel 22:58:33 oh, hmm, when HackEgo sends to the channel you get HackEgo's name /and/ the channel's 22:58:40 but the server you're connected to is never part of the line 22:58:40 when it sends to a query you get HackEgo's name and yours 22:58:43 so I guess it is your own nick that counts 22:58:50 only the host you're connected from 22:58:57 which could be really long by the way 22:59:03 but that only appears if you send, not if you receive 22:59:11 -!- ais523_telnet has joined. 22:59:22 `? select 22:59:23 select is a very versatile construct: it waits for events, retrieves data from tables, creates a list from elements of an input list that satisfy a condition, a dropdown list element, an event for when selection changes, branches between multiple arms, conditional between two expressions, prints a text-based menu prompt in a loop, and more. 22:59:24 ais523: yes, but HackEgo's name and hostmask and user is always there, even on a channel 22:59:52 (which is why it's better to use a one character username and a short hostname) 23:00:05 you're right, the server name only appears in numerics, not privmsgs 23:00:15 -!- jaboja has quit (Ping timeout: 240 seconds). 23:00:22 alt 23:00:31 -!- ais523_telnet has quit (Client Quit). 23:00:48 ais523: and the limits for the nick and channel lengths vary a lot depending on network, but constant within freenode 23:00:58 (I think the hostname max length might vary too) 23:00:59 -!- jaboja has joined. 23:01:04 I keep forgetting what a pain it is when someone else sends a message while you're typing yours, over telnet 23:01:08 I have the numbers noted somewhere 23:01:19 ais523: I use rlwrap for that 23:01:25 it refreshes the output sanely 23:01:36 as in, rlwrap nc -v chat.freenode.net 6667 | cat -v 23:01:49 but then it isn't pure telnet 23:02:00 and that point you might as well just use an IRC client 23:03:47 oh right, whether (the obsolate old) identify-messages feature is enabled by the receiver also matters one byte in the length, and some irc clients enable it by default 23:04:10 here are the numbers I wrote up at some point => http://dpaste.com/0ZRXKB9 23:04:31 what does identify-messages do? 23:05:03 prepends a + or a - to PRIVMSG or NOTICE content depending on whether the user is identified to nickserv (regardless of whether he owns the nickanme he uses) 23:05:35 -!- hppavilion[1] has quit (Ping timeout: 276 seconds). 23:05:46 these days there's a set of three more modern features that let you follow the nickserv account of everyone you see on channels, which is much better, and replaces all practical uses of this 23:07:01 I have no idea why some of these limits are so high, given that the line length was always 512 bytes 23:07:36 IMO the max hostname length should be 39 bytes 23:07:53 what if the hostname someone's connecting from happens to be longer? 23:08:02 ais523: you get the IP address 23:08:11 just like when there's no reverse DNS 23:08:23 maximum length of an IP address in ASCII is, hmm 23:08:29 you can always ask the server for the ip address _in addition_ to the nick by the way, with WHO 23:08:34 ais523: it's 39 23:08:34 seven colons, eight blocks of 4 hex digits 23:08:35 so 39 23:08:40 exactly 23:08:47 that's why I said 39 23:10:21 and the max hostname length could be reduced unilaterally by the server, without breaking compatibility with almost anything, except for a very few people who expect to see certain hostnames 23:10:36 although some of the cloaks freenode uses may have to be adjusted 23:15:04 -!- AnotherTest has quit (Ping timeout: 256 seconds). 23:15:06 The 200 byte long channel names are ridiculous by the way, because in messages about channel forwarding, the server must fit two channel names 23:15:53 and possibly even worse than that is the mode +f foo message for when someone sets the channel forward 23:16:10 because then the server must send a nick with hostmask AND two channel names 23:16:36 if the hostname and username and nick is long, that could be tight 23:18:08 and the 512 byte line length limit is serious by the way, because IIRC freenode servers immediately disconnect you if you send a line longer than that 23:19:11 (they also immediately disconnect you if you surpass the approximately 3070 byte long input buffer) 23:22:05 -!- I has joined. 23:22:29 -!- I has changed nick to Guest55944. 23:22:33 There was something weird when it came to fungot's line truncation, but I forget exactly what. 23:22:34 fizzie: is a canny old bastard... is he american, these english, and these turkish. we hope to make your stay as pleasant as possible, i'm a writer, but i need a screwdriver 23:24:10 ^style 23:24:10 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc iwcs* jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 23:24:17 ^style iwcs 23:24:17 Selected style: iwcs (Irregular Webcomic scripts) 23:24:33 fungot: I haven't seen much of this style yet 23:24:33 ais523: hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey, hey 23:24:36 ah right 23:24:44 fungot: less repetitive, please? 23:24:44 ais523: how are you going?! come about fer a broadside! prepare to be annihilated! that would depressurise the plane, hinder control and navigation, and endanger the lives of your comrades. 23:24:52 -!- bender has joined. 23:25:05 `welcome bender 23:25:07 bender: 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.) 23:25:19 That's almost the maximum length that was just spoken of. 23:25:22 fungot, does the amplitude of gravity waves attenuate linearly or quadratically in distance? 23:25:23 b_jonas: i always thought, i'll hire a car! the very idea! why, i'd be careful if the nazis get on a strictly for parts of time, as i suspected. a hidden from will's so athletic, he's obviously the better to do? 23:25:51 will and nazis. clearly IWCS 23:26:20 fungot, on the 2016 Rio Olympics, which event are you looking forward the most? 23:26:20 b_jonas: the way they can reach, look as good a milestone as any to move the entire universe, a better universe! we choose only die fittest people, animals, a mad skeletal in some depictions, this transition can take place anywhere, and a killer taipan 23:26:29 The "s" in the name was to differentiate from IWC something-else, but I don't remember what the something-else was, and it never made it to a style. 23:27:00 I think we've seen the fragment "die fittest people, animals, a mad skeletal" already. 23:27:40 2011-11-12 olsner: on the way, myth, god created the universe, a better universe! we choose only die fittest people, animals, a mad skeletal in some depictions, this transition can take place anywhere, and a killer taipan 23:27:40 fizzie: a ha! so it's a fortnight to forge 23:27:59 fungot, why not the men's keirin? 23:27:59 b_jonas: with the world, we should at my word install the patch of light a star. they're a regular letters back in the 1950s traditionally up to the captain to save the earth from the bonds of an evil, tortured, masked freak. but how often do, i daresay 23:28:00 Also one from 2015-10-11. It's a bit overly prone to repeating the same things. 23:28:15 -!- Tod-Autojoined has joined. 23:29:15 fungot, will you watch the opening ceremony? 23:29:15 b_jonas: what, the ability to be captured a spanish galleon! arrr!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaaarrrgghh!!! aaa 23:29:29 mm, fungot 23:29:29 olsner: how are you going?! come about fer a broadside! prepare to be annihilated! what's the good guys, the name of the game is just about killing monsters. crikey, terry! nice to... er... french, does the allosaurus have a policy on death? i can just walk through, erwin! 23:29:29 fungot: oh come on, it won't be _that_ bad 23:29:30 b_jonas: but the government!! as monty unties them, minnesota? why waste! he talks in pirate, sir. 23:29:55 monty and minnesota. yes, definitely trained on IWC 23:31:30 what scientific value does this have? http://arxiv.org/abs/1305.4365 23:31:53 -!- mysanthrop has joined. 23:32:24 -!- heroux_ has joined. 23:32:25 izabera: probably to know when a particular calculation will become valuable, as computer speeds increase 23:32:36 -!- FreeFull_ has joined. 23:32:38 no i mean 23:32:40 that paper 23:32:48 ^style oots 23:32:48 Selected style: oots (Order Of The Stick) 23:32:48 test 23:32:52 it's been published 23:32:56 -!- puck1pedia has joined. 23:33:03 there's no code, no algorithms 23:33:07 there are pictures 23:33:08 fungot: are you up to date with the latest vampire shenanigans 23:33:08 shachaf: he be tha heart an' soul o" tiles because, you get you down here. let my people handle that much melee.) 23:33:14 and trivial facts 23:33:16 -!- sewilton_ has joined. 23:33:24 shachaf: perhaps not, fungot's using durkon's accent 23:33:25 ais523: we had to get " out a good plan to end your life and saving us from the orcs and told me 23:33:39 -!- mbrcknl_ has joined. 23:33:39 ais523: Could be another dwarf. 23:34:00 -!- earenndil has joined. 23:34:23 I gues 23:34:25 *guess 23:37:02 -!- heroux has quit (*.net *.split). 23:37:03 -!- FreeFull has quit (*.net *.split). 23:37:04 -!- TodPunk has quit (*.net *.split). 23:37:05 -!- Elronnd has quit (*.net *.split). 23:37:07 -!- myname has quit (*.net *.split). 23:37:07 -!- trn has quit (*.net *.split). 23:37:09 -!- EgoBot has quit (*.net *.split). 23:37:09 -!- puckipedia has quit (*.net *.split). 23:37:10 -!- mbrcknl has quit (*.net *.split). 23:37:11 -!- sewilton has quit (*.net *.split). 23:37:12 -!- puck1pedia has changed nick to puckipedia. 23:37:12 -!- heroux_ has changed nick to heroux. 23:37:18 -!- EgoBot has joined. 23:39:54 -!- trn has joined. 23:40:33 -!- FreeFull_ has changed nick to FreeFull. 23:40:41 -!- tromp_ has joined. 23:41:02 -!- Guest55944 has quit (Quit: This computer has gone to sleep). 23:41:37 -!- mbrcknl_ has changed nick to mbrcknl. 23:42:28 My uni's electronics society is running a "brainf*ck programming challenge" 23:42:43 ooh 23:42:46 what's the challenge? 23:42:54 -!- sewilton_ has changed nick to sewilton. 23:43:04 izabera, dunno, it runs for two hours a week on Wednesday 23:43:21 well it's wednesday now 23:43:32 Time zones, izabera, time zones 23:43:36 -!- hppavilion[1] has joined. 23:43:37 come here 23:43:39 I've got 17 minutes of Tuesday 23:44:02 @time Taneb 23:44:02 Local time for Taneb is Wed Feb 17 00:44:02 23:44:07 JSON is a (non-programming) language based on pure data with no semantics. Its complement, therefor, is a language that's pure semantics with no data 23:44:12 What would such a language look like? 23:44:35 perl 23:44:49 shachaf, my computer may not be set to the correct time zone 23:44:59 @time 23:44:59 hppavilion[1]: that's an interesting idea. 23:45:00 Local time for izabera is Tue, 16 Feb 2016 23:52:29 +0000 23:45:06 boo wrong 23:45:07 tswett: Yay! 23:45:13 -!- tromp_ has quit (Ping timeout: 276 seconds). 23:45:18 izabera's clock is completely wrong 23:45:19 tswett: The first thought that comes to mind is "Finite state machine" 23:45:20 wtf, izabera 23:45:21 hppavilion[1]: it's sort of hard, I think, to allow semantics while prohibiting data. Like, consider the following semantics... 23:45:32 Taneb: or perhaps your computer's time zone is correct but your location's time zone is not 23:45:33 "Input a first thing. Input a second thing. Output the first thing." 23:45:49 tswett: Yep, that's data 23:45:53 It's not all that easy to get more purely-semantic than that. 23:45:54 not sure which time it uses 23:45:56 But yeah, that's data. 23:45:58 I mean... 23:46:06 the one on my vps is not italian 23:46:20 It's not anything 23:46:25 tswett: Combinatory Logic and Lambda Calculus might count if you don't count functions as data 23:46:31 It's like 7 minutes ahead of GMT 23:46:42 Arguably, all possible computer languages represent data to some degree, since valid modules consist of data that's interpreted somehow. 23:46:53 @time 23:46:54 Local time for tswett is Tue Feb 16 23:46:54 2016 23:46:55 Which is probably a bit accurate to how languages like Haskell compile it 23:46:58 @time 23:46:59 Local time for hppavilion[1] is Tue Feb 16 14:46:58 23:47:03 @time fungot 23:47:03 fizzie: is that the one where we set to notify both her and us that you couldn't leave well enough alone and kill you, so my two associates. 23:47:06 Local time for fungot is the past, the present, the future; all at the same time 23:47:13 Woooooooooow 23:47:22 That's amazing 23:47:51 fungot: How's the future? Do we all die in a nuclear holocaust? 23:47:51 hppavilion[1]: so, i know that, i'm your mommy make that would trump what we need is a means to an " understanding" 23:48:32 @time 23:48:32 In other, more prosaic words: I didn't implement CTCP TIME (or CTCP in general), so I just do it by hand with ^raw. 23:48:56 lambdabot? 23:49:12 Perhaps there's a cooldown. 23:49:17 Probably 23:49:20 @time fungot 23:49:20 hppavilion[1]: it's a dungeon, and the spell turns us all into-- ideas": telling everyone that much quicker, so roy, if we could conference over and let the woman with years of combat, probably against a paladin," as " par for, so that the dwarf, " stabby" 23:49:26 fizzie: Looks like it 23:49:39 Local time for fungot is something that keeps on ticking, ticking, ticking, into the future 23:49:40 @karma into 23:49:40 into has a karma of -2 23:49:43 a spell that turns people into ideas 23:50:01 ais523: I read a book about the opposite direction. 23:50:03 I actually created a magic: the gathering spell that did that 23:50:06 Well, it wasn't really a spell. 23:50:28 hppavilion[1]: Perhaps it's your client that has a cooldown for responding to CTCP TIME, actually, since I did get that query at the 'got. 23:50:33 "Idealize, 1W, Enchantment - Aura, Enchant creature or enchantment, enchanted permanent is an enchantment (instead of its other types)." 23:50:34 (Was just a bit slow replying.) 23:51:44 @karma i 23:51:44 i has a karma of 111 23:52:24 @karma geddon 23:52:24 geddon has a karma of 0 23:52:27 ais523: What happens if you use that on a Bestowed enchantment creature? 23:52:49 @karma chameleon 23:52:49 chameleon has a karma of 0 23:52:51 shachaf: I think the answer is nothing, until it falls off, then it doesn't turn into a creature 23:55:08 Does it just die? 23:55:27 I believe it stops being an aura 23:55:32 so it'd just sit there on the battlefield 23:56:10 which is the whole idea of idealize, really; it's a pacifism variant that's a little worse on enemy creatures but a little better on your own (because while it pacifies them, it saves them from creature destruction) 23:56:16 perhaps it should cost 2W and have flash 23:56:26 What happens if a non-Aura enchantment says "Enchant Creature"? 23:59:33 I'm not sure whether it falls off or not; I'm also not sure if it's possible to cause the situation to happen 23:59:51 or, hmm 23:59:57 I suspect it wouldn't go to the graveyard