00:00:46 volatile types? 00:00:53 elliott: why are you trying so hard to get rid of kmc? 00:01:25 ais523: Well, he's the worst person in the world and I hate him. 00:01:30 kmc: Right? 00:02:08 ais523: (I'm not.) 00:02:21 `cat /etc/*-release 00:02:22 cat: /etc/*-release: No such file or directory 00:02:46 :D 00:02:55 I think consensus is that we approve of kmc 00:03:44 the #esoteric seal of approval? 00:03:57 possibly 00:04:04 elliott is just jealous of his cool blog 00:04:26 I bet kmc doesn't even get hate mail for his blog. 00:04:30 PH's blog is the true one to be envious of. 00:04:45 Sgeo: You should notify me of updates to mainisusuallyafunction.blogspot.com 00:04:46 aww <3 00:05:10 kmc: I guess you can notify me too, if you happen to notice them first. 00:05:14 shachaf: It's mainisusuallyafunction.blogspot.co.uk 00:05:25 mainisusuallyafunction.blogspot.hebrew 00:05:35 it's trying to tell me its address is http://mainisusuallyafunction.blogspot.se/ 00:05:54 i'm sure y'all are just misspelling http://mainisusuallyafunction.blogspot.no/ 00:05:55 elliott: I think that's spelled ".co.il" 00:06:55 this mortal co.il 00:06:56 you know someone is going to buy .jew 00:07:13 definitely worth the thousands of dollars 00:07:24 hell yes 00:07:38 hm did mentifex mention .jew 00:08:27 kmc: on that note, I hadn't seen that hex-editing kernel module post 00:08:34 that is magnificently horrific 00:08:39 thanks 00:08:54 i thought linux modules had checksums but... not this one anyway 00:09:38 oh, he didn't :( 00:10:00 Bike: do you have a degree in crackpots or something 00:10:13 from crackpottery barn 00:10:38 -!- Nisstyre-laptop has joined. 00:10:42 #esoteric is the best place to study crackpottery 00:10:42 Nothing here 00:10:52 #hi 00:10:54 no, i just took a wrong turn in my life back in the day 00:10:58 #esoteric oonbotti? 00:10:59 Nothing here 00:11:13 greyknight would you help me with this debian installation of mono? i'm not sure why this doesn't work -> http://mono-project.com/DistroPackages/Debian 00:11:22 one day you're just chucling at frakenstein surgery computer gangster boxes, and the next you're smoking kallisti cores off a schizo's back 00:11:30 * shachaf is tempted to quote #haskell now 00:11:43 hagb4rd: one problem with installing things on HackEgo is commands timing out :-) 00:11:51 shachaf: You should do it. Hypocrisy is fashionable. 00:12:03 elliott: It's on-topic this time! 00:12:05 Unlike monads. 00:12:14 hm 00:12:18 Is it about lenses? 00:12:25 No. 00:12:33 It's about, uh, sheep? 00:12:42 yessssss the frakenstein surgery computer gangster boxes 00:12:49 #esoteric What would be here if what was here was shachaf's common sense? 00:12:50 Nothing here 00:12:59 gangster computer god world-wide secret containment policy!! 00:13:16 Finally in Dungeons&Dragons game I got the spellbook. 00:13:28 now you can spell 00:13:47 kmc: I have no idea what is going on. 00:13:57 another crackpot 00:14:15 Related: http://www.giantitp.com/comics/oots0012.html 00:14:16 lawyer who went nuts and wrote all these barely legible rants about communist gangster frakenstein surgery 00:14:35 GreyKnight: exactly what I was thinking of 00:14:45 elliott: http://www.bentoandstarchky.com/dec/containmentpolicy.htm 00:15:04 there's a nice audio recording linked from there 00:15:23 i love that site's design 00:15:47 Four billion wordwide population - all living - have a Computer God Containment Policy Brain Bank Brain, a real brain, in the Brain Bank Cities on the far side of the moon we never see. 00:15:49 actually i get some "Permission denied" errors :/ 00:16:37 the Brain Bank Cities! 00:16:41 I want to see those 00:16:46 Worldwide as a Frankenstein slave, usually at night, you go to the nearby hospital or camouflaged miniature-hospital van trucks. You strip naked, lay on the operating table, which slides into the sealed Computer God Robot Operating Cabinet. 00:16:47 are you sure i'd have the rights to install packages in the sandbox? 00:16:56 * impomatic wonders when mannerisky was last here... 00:17:27 `which seen 00:17:29 No output. 00:17:43 hagb4rd: everyone can write to it, that's why it's in a sandbox in the first place :-P 00:17:53 WAKE UP SHEEPLE 00:18:02 -!- epicmonkey has quit (Ping timeout: 246 seconds). 00:18:04 GreyKnight: http://www.bentoandstarchky.com/dec/containmentpolicy/brainbankcities.jpg uh, HELLO, there's a picture RIGHT THERE 00:18:13 I don't think `run has root access (inside the sandbox) 00:18:17 `whoami 00:18:20 whoami: cannot find name for user ID 5000 00:18:31 `touch /this 00:18:33 touch: cannot touch `/this': Permission denied 00:18:55 there are some restrictions 00:19:06 :( 00:19:07 Bike: clicking takes effort -o- 00:19:14 weak 00:19:39 `uname -a 00:19:41 Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux 00:20:24 `cat the_list 00:20:26 Sgeo \ Fiora 00:20:27 `update 00:20:30 Sgeo Fiora: update 00:20:52 no more forgetful incidents :-) 00:21:47 Bike: I expected something more city-like, disappointed 00:22:11 You could just make it a wisdom entry.. 00:22:11 @ask Gregor: would you please do me a favour and install the mono-packages? i don't seem to have sufficiant rights. only if you find some time to do so. Can you give me some feedback? I'd be gratful. 00:22:11 Consider it noted. 00:22:14 i enjoy the way Francis E. Dec uses language 00:22:22 GreyKnight: "slow" 00:22:40 @tell Gregor http://mono-project.com/DistroPackages/Debian 00:22:41 Consider it noted. 00:22:54 zzo38: perhaps the Brain Bank Cities on the moon would be a good spot for a D&D game. The illithids would love it there (perhaps they run the place) 00:22:57 his run-on sentences are mostly grammatical, except that a lot of them are just huge noun clauses 00:23:51 hm I should have written it in Haskell for the practice 00:24:26 `ls interps 00:24:28 1l \ 2l \ adjust \ axo \ befunge \ bfjoust \ bf_txtgen \ boof \ build.sh \ cfunge \ c-intercal \ clc-intercal \ dimensifuck \ egobch \ egobf \ fukyorbrane \ gcccomp \ gforth_quit \ ghc \ glass \ glypho \ kipple \ lambda \ lazyk \ linguine \ Makefile \ malbolge \ pbrain \ qbf \ rail \ rhotor \ sadol \ sceql \ trigger \ udage01 \ underload \ unlambda 00:24:39 Hm, no plof ,_, 00:25:32 write one :-D 00:25:46 there is no plof on the wiki 00:25:55 I can't remember how to compile it 00:26:07 http://plof.codu.org/wiki/ fwiw 00:26:11 plof is not esoteric 00:26:23 *more* links to click? 00:26:25 Fair enoughs 00:26:37 enough* even 00:26:50 `cat bin/update 00:26:50 ​#!/bin/sh \ echo "$(cat the_list | xargs -d'\n'): update" 00:26:51 But neither is Haskell!! 00:26:58 `ls 00:26:59 bin \ canary \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ gktemp \ ibin \ index.html \ interps \ karma \ lib \ luabuild \ paste \ quotes \ quotese \ run \ share \ test \ the_list \ wisdom \ zalgo.hs 00:27:16 and it clearly knows how to run haskell programs 00:27:29 FireFly: that was why it's not on the wiki, not why it's not in interps 00:27:33 Haskell is confusing enough to count as an honorary esolang :-) 00:27:38 Oh. 00:27:39 `ls usr/bin 00:27:40 but can hackego's `update compete with sgeo's personality 00:27:43 ls: cannot access usr/bin: No such file or directory 00:27:47 `ls /usr/bin 00:27:48 ​[ \ 2to3 \ 2to3-2.6 \ a2p \ addpart \ addr2line \ aot-compile \ appletviewer \ apropos \ apt \ apt-cache \ apt-cdrom \ apt-config \ apt-extracttemplates \ apt-ftparchive \ apt-get \ aptitude \ aptitude-create-state-bundle \ aptitude-curses \ aptitude-run-state-bundle \ apt-key \ apt-mark \ apt-sortpkgs \ ar \ arch \ as \ awk \ axi-cache \ base64 00:27:56 monqy: I doubt it. 00:28:02 `install sgeo 00:28:02 `ls /usr/bin | paste 00:28:03 ls: cannot access /usr/bin | paste: No such file or directory 00:28:04 install: missing destination file operand after `sgeo' \ Try `install --help' for more information. 00:28:06 `cat /usr/bin/[ 00:28:07 ​ELF............>.....ð@.....@.......(z..........@.8..@.........@.......@.@.....@.@.....À.......À............................@......@............................................@.......@.....Ìu......Ìu........ ............Ðu......Ðu`.....Ðu`.....p.............. ...........øu......øu`.....øu`..... ....... ................ 00:28:11 `run ls /usr/bin | paste 00:28:12 Nice 00:28:16 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.14597 00:28:21 `run mv sgeo $(which update) 00:28:23 mv: cannot stat `sgeo': No such file or directory 00:28:24 hm maybe I should've file'd it first :-) 00:29:23 I like how HackEgo contains /usr/bin/aptitude-curses, how are we supposed to use that?! 00:30:32 * GreyKnight tries it in private, gets expected garbage 00:30:44 `aptitude-curses 00:30:57 -!- copumpkin has quit (Ping timeout: 248 seconds). 00:31:29 -!- copumpkin has joined. 00:31:48 ​[1;24r[0;10m[4l[?7h[39;49m[?1000h[?25l[?1c[39;49m[0;10m[H[J[24d[0;10;1m[37m[41m[J[H[37m[44m Actions Undo Package Resolver Search Options Views Help[K 00:31:56 pretty 00:32:10 `cat /dev/urandom | hexdump -C | less 00:32:12 cat: /dev/urandom | hexdump -C | less: No such file or directory 00:32:12 er 00:32:16 `run cat /dev/urandom | hexdump -C | less 00:32:18 00000000 57 e0 19 43 83 b8 be 92 4c 8a 68 87 c6 5f ae df |W..C....L.h.._..| \ 00000010 66 50 15 32 bb 8f 48 a2 fc 58 78 50 35 b3 7c 31 |fP.2..H..XxP5.|1| \ 00000020 31 a5 c2 7d 4f e5 1d 2b 02 5f 5e e6 63 f6 88 ab |1..}O..+._^.c...| \ 00000030 02 49 5f 89 48 b1 68 bc 09 be 4f 99 0a d6 20 a3 |.I_.H.h...O... .| \ 00000040 ca da 4f c6 ab 0 00:32:26 not pretty 00:32:35 `run base64 /dev/urandom 00:32:36 mVJnSjwftK95Zyx8f8GkXRRlJ8chsnslHIlp1XzcR4mdgOzg26oUZoLIjXfrg6/G5MHnco1wSQdW \ F1VQnLnImapZhyLkqwVWb7QskNTJofO008uTsucre/cvYXZACci97uy8NU3egKs4aEtqQXaqe4/Q \ j3uhPl0xLBA5dqYBt8VaHVrwaiVEnCogIgRmr88yXZNR8D67BGwPeTwZkkTq5xEMTeT/8XOwb9LD \ wXL/eYryzlJZ9ZJzc9PVWtYOvXfynYERs8NfR8zg8RDtVxcC/33Fq/3GojBhJXSbcjoEg7F9mtIE \ Lj/WdVicmyLDKLzNXi+0Vix98JU6HGaIXd 00:32:40 `run cat /dev/urandom | hexdump -C | vi - 00:33:09 -!- SirCmpwn has quit (Changing host). 00:33:09 -!- SirCmpwn has joined. 00:33:15 `run ls -la /proc/self/fd/ 00:33:30 umm 00:33:39 HackEgo: you alive? 00:33:43 Vim: Warning: Output is not to a terminal 00:33:45 total 0 \ dr-x------ 2 5000 5000 0 Jan 12 00:33 . \ dr-xr-xr-x 7 5000 5000 0 Jan 12 00:33 .. \ lr-x------ 1 5000 5000 64 Jan 12 00:33 0 -> /tty1 \ l-wx------ 1 5000 5000 64 Jan 12 00:33 1 -> pipe:[66] \ l-wx------ 1 5000 5000 64 Jan 12 00:33 2 -> /tty1 \ lr-x------ 1 5000 5000 64 Jan 12 00:33 3 -> /console \ l-wx------ 1 5000 5000 64 Jan 12 00:33 00:33:47 -!- impomatic has quit (Quit: impomatic). 00:33:49 Oh, good 00:34:01 "I think I heard that monads are about something involving overloading burrito operators in an endospacesuit category. I don't know, it sounds pretty complicated." 00:34:21 `? endospacesuit 00:34:23 endospacesuit? ¯\(°_o)/¯ 00:34:29 cospacesuit 00:34:30 /tty1? 00:34:34 `run stat /tty1 00:34:34 vim takes about a minute to start up apparently 00:34:36 stat: cannot stat `/tty1': No such file or directory 00:34:46 GreyKnight: That shouldn't happen 00:34:53 Or the timeout is after about a minute 00:35:01 (and that is when the output is collected) 00:35:08 `run stat /console 00:35:09 stat: cannot stat `/console': No such file or directory 00:35:22 `run echo echo echo 00:35:23 echo echo 00:35:35 Let's try implementing an infinite list in bash 00:35:37 `run sleep 2; stat /tty1 00:35:41 stat: cannot stat `/tty1': No such file or directory 00:35:46 `run yes :D | tr -d '\n' 00:35:47 ​:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D:D: 00:36:20 Pipes are partially lazy :D 00:36:22 `run (echo 8; yes =; echo D) | tr -d '\n' 00:36:24 8============================================================================================================================================================================================================================================================================================================================================================= 00:37:07 -!- ogrom has quit (Quit: Left). 00:37:40 `run yes '_,/`¯`\\,' | tr -d '\n' 00:37:42 _,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\,_,/`¯`\\, 00:37:43 -!- hagb4rd has quit (Quit: good night). 00:37:51 Fancy 00:37:58 hm too many \s 00:38:05 Try double quotes 00:38:05 `run yes '_,/`¯`\,' | tr -d '\n' 00:38:06 _,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\,_,/`¯`\ 00:38:09 or that 00:38:32 `run cat /dev/urandom | tr -cd 'A-Za-z' | tr -d '\n' 00:38:34 TLXJzjqIVvmotKMELfBLqdaOtHHwMkUotikPSoBjreENxPzqmMHeEzWSSlOOCrIXOXNVCjwXUGBDqyAKmDzUcYRHQOcXaGfuuNzOJfBGckRYARPutXorbAiUeHtNndjMWIiSUBbTftqzLatYZSccvCTCztlMSAhqBzTwroHUXEUWQYhqQktWFZIxaNbIvcNxOzjJxqTzxfdKDiTWKqyxsqLpKExeQIHkmZTGZahJomZlvBGhvhHIWoGhrUzNmqZVLJjFtnczPrmGjWmcqQwXGFWuTYSBhtskvEaCmolUrxGRjvKYdWIRbKBMNqINyClAhOtcHlVVWdIAfTEFVzdJPGrfCaEBMi 00:38:44 Looks like base64 00:39:05 why are y'all spamming the channel 00:39:06 stop it 00:39:14 `run cat /dev/urandom | tr -cd 'A-Za-z' | tr 'A-Z' \\ | tr 'a-z' / 00:39:14 sowwy 00:39:15 tr: warning: an unescaped backslash at end of string is not portable \ //\//\\\\//\///\\\\\\////\\\\//\\\/\\/\\\/\/\\/\/\/\\//\//\\\/\\//\/\///\///\\\//\\//////\///\/\\\\\\///\\\\/\\\\\/\///\\\/\///\\\\\/\/\\/\/\\\//\//\//\/\\\/\\\\\//\\////\//\\\/\/\\///\///\//\//////\/////\\//\\///\//\\\\\/\/\\/\//\\///\\/\\\////////\\\//\///\\//\/\\\/\////\///\\ 00:39:24 yeah spamming is shachaf's job :-U 00:40:58 -!- sebbu has quit (Ping timeout: 245 seconds). 00:41:16 !slashes //\//\\\\//\///\\\\\\////\\\\//\\\/\\/\\\/\/\\/\/\/\\//\//\\\/\\//\/\///\///\\\//\\//////\///\/\\\\\\///\\\\/\\\\\/\///\\\/\///\\\\\/\/\\/\/\\\//\//\//\/\\\/\\\\\//\\////\//\\\/\/\\///\///\//\//////\/////\\//\\///\//\\\\\/\/\\/\//\\///\\/\\\////////\\\//\///\\//\/\\\/\////\///\\ 00:41:45 huh, why is that the same as the /dev/urandom tr'ed output? 00:42:01 * ais523 gets suspicious 00:42:03 oh 00:42:08 it's you saying it not a bot 00:42:36 SPOOOOKY 00:42:48 oerjan isn't a bot? 00:42:51 oh it starts with // no wonder it output nothing 00:43:14 do we know for sure oerjan isn't a bot? 00:43:27 all humans are bots, duh 00:43:38 Ö 00:44:01 hellørjan 00:44:01 `run cat /dev/urandom | tr -cd 'A-Za-z' | tr 'A-Z' \\ | tr 'a-z' / | head -c 10 00:44:03 some of them are just programmed not to believe it 00:44:04 tr: warning: an unescaped backslash at end of string is not portable \ //////\//\ 00:44:12 `run cat /dev/urandom | tr -cd 'A-Za-z' | tr 'A-Z' \\\\ | tr 'a-z' / | head -c 10 00:44:15 ​\\\\\\//// 00:44:17 `run tr -cd '/\' < /dev/urandom 00:44:19 tr: warning: an unescaped backslash at end of string is not portable \ \/\//\\\\//\\////\\\//\////\/\\/\\\///////\/\/\\//////\/////\//\////\////\\////\////\\/\/////\////\///\//////\\\////\\//\\\\\\\///\////////\/\\///\/\/\/\/\/\/\\/\///\//\/\///\\//\\\//\///\/\\\///\\\/\/////\////\\/\\//\/\/\\/\/\////\\/\//\\\\//\\//\/\\//\\\\\/\/\\\/\/\\//\\/\/\\/ 00:44:21 `run cp -a bin/quoerjan bin/quørjan 00:44:25 No output. 00:44:30 `quørjan 00:44:32 585) But wait what if I'm using a quantum computer <-- there is "quantum entropy". it's the same except no one understands it. \ 16) oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler! executing program. please let me go... put me out! he's really a tricycle! pass him! \ 59) * oe 00:44:41 `shachaf 00:44:50 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: shachaf: not found 00:44:57 `run declare -a x=('╱' '╲');while true;do echo -n ${x[$(($RANDOM%2))]};done 00:45:10 ​╱╱╲╲╱╲╲╲╲╱╱╲╲╱╱╲╱╱╱╲╲╲╱╱╲╱╲╱╱╲╲╱╱╲╱╱╱╲╲╱╲╱╱╲╱╲╲╲╱╲╲╲╲╲╲╲╱╱╱╲╱╲╱╱╱╲╱╲╲╲╱╲╱╲╲╱╱╱╱╲╱╱╱╱╲╱╲╲╱╱╲╱╱╱╲╲╲╱╲╲╱╲╱╲╱╱╲╱╲╱╱╲╲╲╱╠00:45:12 i sometimes think shachaf seems a little obsessed with me, what do you think? 00:45:22 oerjan: Just with your name. 00:45:26 It's a great name 00:45:31 true, true 00:45:39 I could say ørjan all day. 00:45:42 character encoding fails? 00:45:45 ørjan ørjan ørjan 00:46:16 Are there any english words with /ø/? 00:46:25 `run declare -a x=('╱' '╲');while true;do echo -n ${x[$(($RANDOM/4%2))]};done 00:46:27 ​╱╱╲╱╱╲╱╲╱╲╲╲╱╱╱╲╲╱╱╲╲╱╱╲╲╲╱╱╱╲╱╲╱╲╲╲╱╱╱╱╲╲╲╲╲╱╲╲╱╲╱╱╱╱╲╲╲╱╲╱╱╲╱╱╲╱╱╲╱╲╱╱╱╱╱╲╲╱╲╲╱╱╲╲╱╱╱╲╱╲╱╲╲╲╱╱╱╱╱╲╲╲╲╱╲╲╱╲╲╱╱╲╱╲╱╠00:46:28 ønglish 00:46:33 place names? i can't think of any loanwords 00:46:51 Not a lone word. 00:46:55 oh or do you mean the phoneme 00:47:00 elliott subtly(*) hints that shachaf is obsessed with _everyone_. (*) that is, he didn't actually say it 00:47:13 Yes, the phoneme 00:47:20 * FreeFull kisses shachaf to break the obsession curse 00:47:25 elliott: very subtle 00:48:15 FireFly: wikipedia says it's present in south african english "bird". 00:49:21 is it a børd? is it a plejn? 00:49:45 `run while true; do printf "\xe2\x95\xb$(($RANDOM%2+1))"; done 00:49:46 ​╱╱╱╲╲╲╲╲╲╲╱╱╱╱╲╱╲╲╱╱╲╱╱╲╱╱╲╲╲╲╲╱╲╲╲╲╱╲╱╲╱╱╲╲╱╲╲╱╱╱╲╲╱╱╲╲╲╲╲╱╲╲╲╲╱╲╲╲╱╲╱╱╱╲╱╱╱╱╲╱╱╱╲╲╱╲╲╱╱╲╲╲╲╱╲╱╱╲╲╱╱╱╲╱╲╱╱╱╲╲╲╱╲╱╲╠00:49:49 ffs 00:50:24 `run while true; do LC_ALL=en_US.utf-8 printf "\xe2\x95\xb$(($RANDOM%2+1))"; done 00:50:27 ​╱╱╲╱╲╲╲╱╱╲╱╱╲╱╲╲╱╱╱╱╲╲╲╲╱╱╲╱╱╲╱╲╲╱╱╲╱╲╱╱╱╱╲╱╱╱╲╱╲╱╲╱╲╲╲╲╱╱╱╱╱╱╱╲╱╱╲╲╱╲╱╲╲╲╲╱╱╲╱╲╲╲╲╱╲╱╱╲╱╲╱╱╲╲╱╱╱╱╲╱╲╲╲╲╱╲╱╱╱╲╲╱╱╱╲╠00:51:31 I guess "bird" is pretty close 00:52:05 Well, okay, somewhat close 00:52:17 elliott is now subtly(*) angry at me for referring to things he said in private, especially when he never said them. (*) ARGH STOP HITTING ME WITH THAT 00:52:48 * FireFly subtly swats oerjan -----### 00:56:43 all these copycat swatters around these days 00:56:46 -!- sebbu has joined. 00:56:46 -!- sebbu has quit (Changing host). 00:56:46 -!- sebbu has joined. 00:59:24 :t Monad 00:59:25 Not in scope: data constructor `Monad' 01:00:00 * shachaf swats the copycats -----### 01:00:55 oerjan: What did he actually say to you? 01:00:58 :k Monad 01:01:00 (* -> *) -> Constraint 01:09:14 http://www.haskell.org/haskellwiki/Monad_tutorials_timeline 01:09:32 jesus christ. 01:09:46 while true; do printf "\e[3$(($RANDOM%3+2));1m\xe2\x95\xb$(($RANDOM%2+1))"; done 01:10:39 kmc: Is it just me or does that slow down the longer you leave it running? 01:12:25 a lot of terminals suck at scrolling non-ascii chars 01:14:17 urxvt 01:14:59 elliott: shachaf: sorry, i said too much stupid. 01:15:52 (much more stupid than whatever elliott said, anyway.) 01:20:10 `monad-tutorial 01:20:11 All space stations must put their astronauts into space suits before sending them out. 01:20:31 wat 01:20:35 `cat bin/monad-tutorial 01:20:37 ​#!/bin/sh \ shuf -n 1 wisdom/monad-tutorials 01:20:50 oerjan: prints random monad analogies from a list :-) 01:20:57 `monad-tutorial 01:20:58 All space stations must put their astronauts into space suits before sending them out. 01:21:02 (all actual examples of the breed scoured from the internet) 01:21:16 `monad-tutorial 01:21:18 Monads are like burritos. 01:21:31 the burrito thing is not from an actual monad tutorial. 01:21:51 @quote copumpkin monads.are 01:21:52 copumpkin says: monads are like monad tutorials 01:21:52 elliott: yeah but it's funny so. 01:21:56 @quote copumpkin monads.are.just 01:21:56 No quotes match. :( 01:22:01 Oh I like that one 01:22:01 @quote copumpkin terminal 01:22:01 copumpkin says: a monad is just a lax functor from a terminal bicategory, duh. fuck that monoid in category of endofunctors shit 01:22:03 @quote monad 01:22:03 psykotic says: the reader monad is your friend. trust the reader monad. be happy! 01:22:18 `cat wisdom/monad-tutorials 01:22:18 monad tutorial jokes are the most overdone thing in the universe 01:22:20 Monads are a bucket brigade with project managers. \ Monads are like burritos. \ Think of a monad as a spacesuite full of nuclear waste in the ocean next to a container of apples. now, you can't put oranges in the space suite or the nucelar waste falls in the ocean, but the apples are carried around anyway, and you just take what you need. \ All sp 01:22:23 this is bad 01:22:24 `run echo "Monads are like monad tutorials." >> wisdom/monad-tutorials 01:22:27 No output. 01:22:27 `rm wisdom/monad-tutorials 01:22:31 No output. 01:22:32 @quote burrito 01:22:32 jmcarthur says: web monads are unicorn burritos that have been laying around in the attic for a few years 01:22:33 `rm bin/monad-tutorial 01:22:36 No output. 01:22:40 @quote burrito 01:22:40 kmc says: une monade est comme une crêpe. una mónada es como un burrito. eine Monade ist wie ein Strudel 01:22:45 monqy: >:-( 01:22:52 shut up about monad tutorials shut up shut up shut up 01:22:57 @quote monqy 01:22:57 Plugin `quote' failed with: getRandItem: empty list 01:23:01 thanks monqy 01:23:03 rude 01:23:07 you'rewelcomechaf 01:23:22 monqy: what's a better topic to talk about 01:23:31 > words "Yep, these are words." 01:23:31 how about lens :-) 01:23:32 ["Yep,","these","are","words."] 01:23:39 lens tutorial 01:23:45 @quote lens 01:23:46 roconnor says: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem? 01:24:02 @quote coalgebra 01:24:03 roconnor says: a lens is a monoidal natural transformation between higher-order coalgebra functors, what's the problem? 01:24:03 i think a monad may have hurt monqy once 01:24:11 `? lens 01:24:13 A lens is just a store comonad coalgebra. 01:24:21 wow, i understand a positively weird amount of that question 01:24:22 `? store 01:24:24 store? ¯\(°_o)/¯ 01:24:31 I apologies for not having the same sense of humour as monqy I guess (!) 01:24:48 `? coalgebra 01:24:50 coalgebra? ¯\(°_o)/¯ 01:24:51 monad tutorial jokes are old as heck 01:25:00 `? heck 01:25:02 heck? ¯\(°_o)/¯ 01:25:05 Oh okay, I'll go turn myself in to the Fun Police immediately 01:25:33 monqy is right btw 01:25:48 `learn Heck is where you end up if you don't believe in Gosh. 01:25:58 monad tutorial jokes are older than programming 01:26:00 I still want to know what an endospacesuit is for, though 01:26:02 I knew that. 01:26:26 possibly related to endoscopy? 01:27:17 `run rm -r gktemp 01:27:20 No output. 01:27:22 `run rm -r luabuild 01:27:22 there have been movies about that. 01:27:27 No output. 01:27:50 about luabuild 01:27:51 ? 01:28:31 `run rm bin/update the_list 01:28:32 Do new versions of C allow duplicate definitions? 01:28:36 No output. 01:29:23 GreyKnight: are you removing everything you added to the bot because monqy removed one thing you added to the bot 01:30:08 I removed two temp directories and a bit of humour which nobody cared about? 01:30:19 `run echo "shachaf, elliot" > the_list 01:30:22 No output. 01:30:31 Bike: it's gotta be newline separated 01:30:46 i applaud the sentiment though 01:30:46 boring 01:31:00 `run echo -e "shachaf\nelliot" > the_list 01:31:02 No output. 01:32:09 -!- ChanServ has set channel mode: +o oerjan. 01:33:00 -!- oerjan has set channel mode: -o oerjan. 01:34:48 Interestingly I only found a handful of monad tutorial things which were halfway amusing. Most of the hits for "monad tutorial" are people complaining about how many monad tutorials there are 01:35:20 I suppose the next level is people complaining about how many complaints there are about how many monad tutorials there are? 01:35:35 that's when it's time to just lay down and smoke a bit 01:36:11 setting fire to yourself is not the answer Bike 01:36:31 oerjan: ? 01:36:34 hey it worked pretty well in africa right 01:38:24 … 01:38:51 that guy was tunisian, right? 01:38:59 yep he was. go me. 01:39:27 he got a postage stamp! 01:42:46 elliott: ! 01:43:03 -!- TeruFSX has joined. 01:44:32 -!- ais523 has quit. 01:45:42 -!- GreyKnight has quit (Quit: zzz). 01:45:58 Is there a way in a C program to tell to open a file with read-only and not allow other programs to write to that file while this program keeps it open for reading? 01:46:32 no I don't think that's something you can do in portable C 01:46:45 different operating systems have different forms of (advisory or mandatory) file locking 01:46:48 that sounds like something you need os-dependent locks for 02:02:34 Is there any such section (in ELF and so on) as a section which cannot read/write/execute but is guaranteed to be unique pointers, which is not valid and is not the same as any valid pointers? 02:04:08 .section .zzo 02:05:25 -!- azaq23 has left. 02:11:06 well in ELF you can have custom sections of any name with whatever permissions you like 02:20:22 But can the system and the programming language support such things which I specified? 02:31:23 i don't understand totally what you mean 02:31:25 but probably 02:32:51 -!- augur has quit (Remote host closed the connection). 02:35:26 System and Method to Support Such Things Which I Specified 02:55:59 -!- mig21a has joined. 02:56:05 -!- mig21a has quit (Client Quit). 02:58:23 Accordion #3! 02:58:24 Gregor: You have 3 new messages. '/msg lambdabot @messages' to read them. 02:58:41 Gregor: How many of them are chromatic button accordions? 02:58:56 shachaf: Zero! This is three because #1 is in Oregon and I sold #2. 02:59:05 They were all roughly equivalent accordions. 02:59:08 *are 02:59:10 You should acquire a chromatic button accordion. 02:59:14 You would be a happier person. 02:59:17 shachaf: I would love to. Ain't gonna happen. 02:59:34 shachaf: I don't think you understand. My initial goal was a chromatic button accordion. Piano accordions are meh. But it just isn't going to happen. 02:59:51 Better no accordion than a piano accordion! 03:00:06 Well now you're just being silly. 03:00:18 Gregor: How about a concertina? 03:00:20 "Better no news than good news," goes the old saying. 03:00:28 One of the sane ones. 03:00:28 shachaf: Concertinas aren't even chromatic! 03:00:34 Gregor: Some of them are! 03:00:43 That one layout, what's-it-called. 03:01:03 Oh, apparently some of them are, quoth Wikipedia. 03:01:11 What are the popular layouts? 03:01:44 Hayden, was it? 03:02:37 http://www.concertina.com/fingering/images/hayden-W1350H480.gif 03:02:46 That looks chromatic to me. 03:03:06 And it's also not that kind where it makes a different note when you push and pull. 03:03:09 Wikipedia suggests English, German, and various variations on them. English is unisonoric (thank Jebus) and chromatic. 03:03:43 Unisonoric, that's the word. 03:03:48 shachaf: did you read about that asterisk exploit 03:04:10 kmc: No! I should read that. 03:04:15 * shachaf has too many tabs open. 03:05:05 Why are there five uppercase letters in the diagram, and others are lowercase? They don't even have all of the notes with uppercase. 03:05:34 zzo38: I think it's the opposite of ' 03:05:42 (Like people sometimes do with integrals!) 03:05:58 So F' = f 03:07:27 OK 03:07:42 You know how "bit" and "octave" mean the same thing? 03:08:48 Gregor: How do I tell a good concertina from a bad one? 03:09:12 shachaf: Personally, I wouldn't buy one without playing it first. 03:09:23 Unless it's brand new from, e.g., Hohner (if they make concertinas) 03:10:15 Gregor: But I don't know anything about playing concertinas. 03:10:23 In fact I've never played any musical instrument. 03:11:49 I had never played a piano accordion when I bought my first one. I just read up enough and tested what I could figure out. All that's important is that all the reeds make sound (both on push and pull), and that it sounds nice. 03:12:41 -!- carado has quit (Ping timeout: 246 seconds). 03:19:30 -!- augur has joined. 03:22:51 -!- augur has quit (Remote host closed the connection). 03:24:07 -!- augur has joined. 03:24:39 monqy, Fiora if you didn't see it there was a recent update 03:25:43 -!- augur has quit (Remote host closed the connection). 03:26:26 sgeo can you move me from this list to the supermega list. shachaf can replace me on this list. 03:26:41 monqy: im already on another list........... 03:26:43 What's the supermega list 03:26:49 the list for super mega 03:26:55 i need my super mega updates 03:28:27 i'd like to be on the super mega list too yes 03:29:14 elliott did you see it's been updating recently!! it's a christmas miracle 03:29:37 monqy: i did not. i often find it hard to tell whether i've seen a super mega comic before or not though 03:30:16 after looking at the first and last super mega comics - are you actually following this? 03:30:38 oerjan: um super mega is fantastic 03:30:58 O KAY 03:32:20 q: how can you see http://www.supermegacomics.com/index.php?i=385 and not laugh. a: maybe you're a zombie?? a skeleton, other misc. forms of dead and undeadness 03:33:53 * oerjan checks his pulse 03:34:01 -!- monqy_ has joined. 03:34:15 -!- monqy has quit (Disconnected by services). 03:34:27 -!- monqy_ has changed nick to monqy. 03:34:39 well i guess if i'm dead i could be imagining my pulse. 03:35:12 If you are dead you should not do anything. 03:35:35 zzo38: I DON'T ASCRIBE TO YOUR SENSELESS LIMITATIONS 03:35:54 You don't? 03:36:01 I thought you did. 03:36:17 ok maybe i did chuckle from the sheer absurdity of that comic. a little. 03:36:37 zzo38: WELL YOU WERE WRONG 03:36:53 O, OK. 03:37:05 -!- sebbu has quit (Ping timeout: 248 seconds). 03:37:34 anyway i find the evidence that elliott isn't being sarcastic inconclusive. 03:37:54 i can assure you super mega is 100% verygood 03:38:17 oh it has spurious quotation marks 03:38:49 my inconclusion stands. 03:39:26 oerjan: sorry I actually do find super mega genuinely hilarious 03:39:32 me too 03:39:41 OKAY 03:43:05 * Sgeo will not maintain a super mega list 03:43:53 `cat the_list 03:43:55 shachaf \ elliot 03:44:22 `update 03:44:23 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: update: not found 03:44:25 (Just guessing.) 03:44:43 @id hm 03:44:43 hm 03:45:08 @@ @id (@tell elliott testing) (@tell fizzie testing) 03:45:08 Consider it noted. Consider it noted. 03:45:08 the lack of sgeoinality was the primary issue with update v. 1. maybe we can avoid that problem if sgeo is the architect of v. 3. 03:45:10 `run (cat the_list; echo update) | xargs # is that the syntax? 03:45:10 fizzie: You have 1 new message. '/msg lambdabot @messages' to read it. 03:45:11 shachaf elliot update 03:45:16 @messages 03:45:16 oerjan said 9s ago: testing 03:45:22 What an unexpected message! 03:46:02 oerjan: nice 03:46:02 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 03:46:06 @messages 03:46:06 oerjan said 58s ago: testing 03:46:34 (Okay I have to go catch a train.) 03:47:30 -!- carado has joined. 03:48:26 I have recorded the most recent Dungeons&Dragons session (from four days ago), except the experience points. 03:48:47 @read "test ho" 03:48:47 test ho 03:49:31 What is the command in C to shorten a file? 03:49:48 head 03:51:14 @@ (@id hi) 03:51:14 hi 03:51:21 @@ (@id hi) (@id hi) 03:51:21 hi hi 03:52:02 @@ @@ @read @run concat ["(\64tell " ++ s ++ " testing)" | s <- ["elliott", "oerjan"]] 03:52:04 Consider it noted.You can tell yourself! 03:52:15 * oerjan whistles innocently 03:52:21 19:45 I offer: sequence_ (intersperse (threadDelay 100000) (map (putStrLn . show) the_list) 03:52:35 @messages? 03:52:35 elliott: You have 1 new message. '/msg lambdabot @messages' to read it. 03:52:37 Is it an omen? 03:52:39 @messages 03:52:39 oerjan said 35s ago: testing 03:53:01 oerjan: I think I wanted this kind of sequencing before, but I forget what for. 04:00:33 -!- nooodl_ has quit (Ping timeout: 248 seconds). 04:05:05 `cat the_list 04:05:06 shachaf \ elliot 04:05:21 `rm the_list 04:05:24 No output. 04:19:20 > ['a'..'z'] 04:19:21 "abcdefghijklmnopqrstuvwxyz" 04:21:32 > ['ad'..] 04:21:34 Syntax error on 'ad' 04:21:34 Perhaps you intended to use -XTemplateHaskell 04:21:36 aw. 04:32:18 > sequence [['a'..'z'],['d'..'z']] 04:32:20 ["ad","ae","af","ag","ah","ai","aj","ak","al","am","an","ao","ap","aq","ar"... 04:33:07 > ["ad"..] 04:33:09 No instance for (GHC.Enum.Enum [GHC.Types.Char]) 04:33:09 arising from the arithm... 04:33:12 bah! 04:34:42 > flip replicateM ['a'..'z'] =<< [2..] 04:34:43 ["aa","ab","ac","ad","ae","af","ag","ah","ai","aj","ak","al","am","an","ao"... 04:38:57 -!- Frooxius has quit (Ping timeout: 248 seconds). 04:55:14 -!- carado has quit (Ping timeout: 246 seconds). 04:59:59 -!- augur has joined. 05:35:39 -!- WeThePeople has joined. 05:38:50 http://depts.washington.edu/sibl/Publications/Cheryan,%20Plaut,%20Davies,%20&%20Steele%20(2009).pdf 05:38:53 'People can make decisions to join a group based solely on exposure to that group's physical environment... In Study 1, simply changing the objects in a computer science classroom from those considered stereotypical of computer science (e.g., Star Trek poster, video games) to objects not considered stereotypical of computer science (e.g., nature poster, phone books) was sufficient to boost female undergraduates' interest in computer s 05:40:03 "how can we make it more pink?" 05:41:17 Bike: I suggest a sucker 05:41:23 elephants 05:42:22 i think the freshman cs lab had some poster of a BSD joke up, how stereotypical is that on the scale 05:43:21 11.3 05:43:30 noted 05:45:00 Bike: doly surround sound typical 05:45:30 dolby? 05:45:35 no, dolly parton 05:45:42 hth 05:45:53 Bike: tis a pun 05:46:11 fuck puns 05:46:20 ^rot13 fuck puns 05:46:20 shpx chaf 05:46:54 so close 05:47:00 The more edgy version of shachaf. 05:47:25 (Also good morning from a train. 05:47:50 It's an early one. 05:48:26 ^rot13 good morning 05:48:26 tbbq zbeavat 05:49:28 bourre beaivi 05:49:44 kmc: that cut off at "in computer s" fwiw 05:49:59 fizzie: Are you a train again? 05:50:32 oh i misunderstood 05:50:55 i though shpx chaf was good morning from a train. they're not known for having the best PA systems. 05:51:29 elliott: Yes, I am a train again. 05:51:35 wait does fizzie take a train every morning? 05:51:48 *is 05:51:55 does fizzie is a train every morning 05:52:10 is fizzie ever not a train 05:52:16 does he is or does he ain't? 05:52:38 i should get that line split whatever 05:52:52 '...was sufficient to boost female undergraduates' interest in computer science to the level of their male peers.' 05:53:16 fizzie: happy train 05:53:19 peer du lyver 05:53:43 Why does this thing keep reconnecting all the time. 05:54:22 kmc: The number of this train is "1". 05:54:39 is obama on it? 05:54:55 fizzie: You're number 1. 05:55:11 It's not Train Force One, no. 05:55:35 how come there's no train force 05:56:00 which reminds me, i haven’t played OpenTTD for quite a while. 05:56:06 elliott: did deewiant write fizze 05:56:10 some armies had great success with trains in the 19th century 05:56:28 admittedly they probably did not fight from them 05:56:47 I think maybe trains are not terribly useful for an invasion. At least to a place with no railways. 05:57:09 this is why russia uses a different rail gauge from germany 05:57:11 trains are indispensable for supply lines 05:57:17 (the prussians won a major war with austria due to it.) 05:57:18 armored trains are the shit though. 05:57:33 fizzie: what about for defense against invasions 05:57:52 kmc: doesnt sound too difficult to deal with. just build a multigauge train carriage 05:58:14 it is an obstacle though 05:58:17 i think they actually did that a few times 05:58:25 germany already had a bunch of equipment on one gauge and would have to modify it to invade 05:58:31 but, the problem is that you have your shitload of trains already and retrofitting them would take a lot of time and money 05:58:41 germany was probably modifying it anyway 05:58:46 variable gauge systems are used in spain today 05:58:57 and i guess it's kind of hard to justify "WE NEED TO REBUILD OUR TRAIN CARRIAGES" to an oblivious military planner 05:58:57 they output some high quality qar shit 05:59:01 *war 05:59:31 i think trains were indispensible in the first half of 20th century for moving tanks and artillery to the general battle area 05:59:43 you don't want to drive a tank hundreds of miles, they break down and consume enormous amounts of fuel 05:59:57 these days you would use airplanes or huge fuckoff trucks instead 06:00:12 or both! 06:00:14 on the downside, they did klystron instead of vacuum magnetron for radar which was probably their biggest mistake 06:00:30 in WWI they had some small railways in the trenches, using temporary equipment based on mining railways 06:00:53 i hear the whole pakistan truck block and related resortion of the US military to planes cost a shitload of money though 06:00:55 http://en.m.wikipedia.org/wiki/Railway_gun also there's this. 06:01:08 hm, finland and sweden use different gauges 06:01:31 They sought it with thimbles, they sought it with care; / They pursued it with forks and hope; / They threatened its life with a railway-share; / They charmed it with smiles and soap. 06:01:33 hm... did different american rail companies use different gauges in order to be shitlords to one another? 06:01:40 yes sometimes 06:01:51 the streetcars in philadelphia are nonstandard gauge for this reason i believe 06:01:56 nice 06:02:23 they wanted to not get taken over by the commuter rail company (i'm not sure why) 06:02:44 mainline railroads had lots of through-running on other people's infrastructure via trackage rights 06:02:53 as well as frequent mergers, splits, etc 06:03:04 so there there was more call for standardization 06:03:06 and governments I guess weren't smart enough to go 'fuck you standard guage' 06:03:08 ? 06:03:15 not sure 06:03:20 what, in the 19th century? 06:03:26 The http://en.m.wikipedia.org/wiki/Schwerer_Gustav is I think what I was thinking about when I mentioned railway guns. 06:03:38 that was the one they only fired like once, wasn't it? 06:03:47 and had shells larger than some small tanks 06:04:02 they changed the gauge in the south of the US in one weekend 06:04:34 'Over a period of 36 hours, tens of thousands of workers pulled the spikes from the west rail of all the broad gauge lines in the South, moved them 3 in (76 mm) east and spiked them back in place.' 06:04:52 " The twin guns weighed nearly 1,350 tonnes, and could fire shells weighing seven tonnes to a range of 47 kilometers (29 mi)." 06:05:23 finland uses Russian Close Enough Gauge 06:05:33 kmc: man that sounds tedious 06:05:35 1524 mm instead of the standard Russian gauge of 1520 mm 06:05:42 Hm. I'm trying to write a set theory into Coq. I wrote that anything can have an element, but only a set can be an element. 06:06:14 Good ol' reverse set theory... 06:06:28 ok 06:06:33 tswett: sounds perfectly right for gödel-von neumann-bernays theory 06:06:36 shouldn't you call them "cosets" for maximum hipsterability? 06:06:42 the USSR had rail-launched ICBMs too 06:07:00 i thought the US did too for a bit? 06:07:16 i think it was planned but not implemented 06:07:34 here you can see one launch: https://www.youtube.com/watch?v=6BCoBGdvyiQ&t=0m42s 06:08:19 and then from a truck 06:08:29 it must be exciting to be inside the truck when this happens 06:08:31 it doesn't fire while moving. shame 06:08:35 i can bomb more 06:08:36 haha yes 06:09:01 Another odd Windows-people thing is that they associate the idea of a language-level exception with some sort of OS-provided facility. 06:09:42 what does that mean 06:09:49 jesus christ, that launch 06:09:59 just sorta pops up and them WHAM rocket 06:10:44 and according to the description the train one is called a Satan. 06:11:13 oh, that's just the nato name. 06:11:25 yeah that's the NATO code for it 06:12:03 your pizza in 30 minutes or the next one is free 06:12:23 i wonder if i can find a video of one of them fancy chinese carrierfucker missiles yet. probably not quite as explosive as an icbm, but still neat 06:13:22 http://hybriddiplomacy.files.wordpress.com/2010/12/pizza.jpeg 06:13:43 they got pretty bored in those silos, didn't they. 06:14:00 i imagine there was a tremendous amount of masturbation 06:14:26 kinky! 06:16:52 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer). 06:17:13 -!- zzo38 has quit (Remote host closed the connection). 06:19:13 -!- Nisstyre-laptop has joined. 06:22:08 Hm, what would a reverse set theory look like, anyway? 06:22:27 all i can think of is reverse mathematics, which is kind of not the same 06:22:41 It is the weirdest. The SSH connection has not completely disconnected even once, but the port-forwarded IRC one has done it five times. 06:23:04 Maybe the client has some kind of too eager timeout. 06:23:35 ZFC is essentially a set of first-order axioms for V. V is constructed by starting with the empty set, and taking the powerset On times. 06:24:40 tswett: Got anything to say about Peano axioms? 06:24:55 Well, that depends on whether you mean the first-order ones or the second-order ones. 06:25:13 If you're talking about the first-order ones, rumor has it they actually have multiple models. 06:25:58 V_0 is the empty set; for all a, a is not an element of V_0. For any ordinal number n, V_(n+1) is the power set of V_n; for all a, a is an element of V_(n+1) if and only if a is a subset of V_n. 06:26:07 So what if you just reverse all those "element of" relations? 06:26:23 Call the result M, for obvious reasons. 06:27:07 For all a, a is not an element of M_0. 06:27:39 Er, no, that's not reversed. 06:27:44 For all a, M_0 is not an element of a. 06:27:46 That's more like it. 06:28:09 M_0 cannot be contained by any set. It's the yo mama set. 06:28:26 isn't it the set of all sets (except itself)? 06:29:17 Perhaps. 06:30:10 M_1, then, is the... co-power-set of M_0, I guess? For all a, M_1 is an element of a if and only if a is a subset of M_0. Does that make sense? 06:30:50 It doesn't seem to. M_0, being yo mama, must be really huge, so this would mean that M_1 is an element of everything. 06:30:59 How about: M_1 is an element of a if and only if M_0 is a subset of a. 06:31:51 Now M_1 is an element of M_0 and nothing else. 06:33:06 -!- TeruFSX has quit (Ping timeout: 264 seconds). 06:34:14 Gee. V is what you get if you allow "all conceivable sets", under the restriction that there can't be an infinite chain of sets where each set contains the next. 06:36:05 Well, if you just flip the element relation, and talk about reverse sets, then... sets behave quite like they did before, except it's like the element relation has been flipped. 06:39:52 tswett: aka axiom of foundation 06:40:52 or are you reversing that too 06:41:18 set theory where well-founded sets aren't allowed 06:41:38 ooh 06:42:23 ugh non-well-founded set theories just remind me of this shitty paper about how they supposedly are needed in biology, though 06:42:42 ??? 06:42:49 hi monqy 06:42:52 hi shachaf 06:42:54 is this about lens 06:42:54 do you know anything about Codensity? 06:42:57 : ) 06:42:58 not really 06:43:05 i've "heard things" 06:43:11 what about Density 06:43:13 "the dual" 06:43:20 i haven't heard much about it 06:43:32 so you know how Codensity is just the result of >>= right 06:43:42 sure 06:44:08 so what's Density 06:44:17 is it "the input to <<="???? 06:44:32 is this a question to which you know the answer 06:44:43 not really 06:44:46 just trying to figure this out 06:44:51 data Density k a where Density :: (k b -> a) -> k b -> Density k a 06:45:04 so it's existential over the b 06:45:25 (<<=) :: Comonad w => (w b -> a) -> w b -> w a 06:45:56 oh, aczel's theory is what i joked about, and was the thing in the paper. go me 06:46:22 er no it doesn't mandate cycles in the graphs i guess. eh 06:47:36 monqy: so like can you tell me what it means 06:47:38 and stuff 06:48:27 -!- WeThePeople has quit (Quit: Leaving). 06:49:47 y'all are just being dense 06:50:59 shachaf: it sure LOOKS like the input to <<=....... 06:51:20 monqy: but what's that existntial doing there............. 06:51:25 oh i guess it makes sense? 06:51:29 because you don't know what b is 06:51:32 yes 06:51:35 you can still apply it to <== 06:51:38 <<<= 06:51:41 wthat thing 06:51:43 that 06:51:46 yes 06:51:54 so that's good right? 06:51:57 what's it good for 06:52:04 pfff who knows 06:52:11 monqy: do you "get" comonads 06:52:16 like what they're good for and stuff 06:52:19 not just what they are 06:52:26 like intuitions 06:53:06 uhh istr knowing "how they work" and "how to use them" but i forget what theyre good for 06:54:36 monqy: btw Codensity m is bigger than m right 06:54:47 like Codensity (e ->) = State e?? 06:55:04 what about Density 06:55:57 monqy: btw super mega is "pretty good" 06:56:06 super mega is art 06:56:07 i have the feeling it might get old though?? 06:56:10 does it get old 06:56:39 super mega gets un-old, and it also never updates 06:56:47 always fresh 06:57:03 if you read it backwards it might get old though, but that's just how things go 06:57:10 i havent tried it 06:57:15 what if i read it forwards 06:57:46 the newer stuff is generally better than the older stuff 07:02:40 -!- ogrom has joined. 07:02:54 -!- ogrom has quit (Client Quit). 07:05:38 53 is pretty good 07:06:09 yes 07:06:29 what else is pretty good 07:06:47 68 07:07:18 http://www.supermegacomics.com/images/332.gif 07:08:26 did you see http://www.supermegacomics.com/images/385.gif linked earlier it is good 07:09:03 what else is good 07:09:13 gosh so much 07:09:17 you should find them for yourself 07:11:26 -!- oerjan has quit (Quit: leaving). 07:11:38 http://www.supermegacomics.com/images/353.gif 07:12:55 btw 62 has a grammar mistake 07:12:59 it says it's instead of its 07:13:04 oops 07:13:07 do i really want to read a comic with mistakes 07:13:49 head is a dinosaur is great 07:15:08 monqy: do you remember the girl scouts in psychonauts 07:15:39 girl scouts......maybe??? vaguely 07:16:18 oh the rainbow squirts??? 07:16:26 oh right 07:16:28 those 07:16:38 what's the difference anyway 07:16:43 i don't know "american culture" 07:16:54 Is there a list? 07:16:55 `ls 07:16:58 bin \ canary \ egobot.tar.xz \ etc \ factor \ factor-linux-x86-64-0.95.tar.gz \ foo \ foo.err \ foo.out \ ibin \ interps \ karma \ lib \ paste \ quotes \ quotese \ run \ share \ test \ wisdom \ zalgo.hs 07:17:16 Sgeo: For what? 07:17:23 `ls bin 07:17:24 ​? \ @ \ WELCOME \ addquote \ allquotes \ anonlog \ botsnack \ calc \ define \ delquote \ emoclew \ etymology \ forget \ fortune \ frink \ google \ hatesgeo \ interp \ joustreport \ jousturl \ json \ karma \ karma- \ karma+ \ learn \ log \ logurl \ lua \ luac \ luarocks \ luarocks-admin \ macro \ maketext \ marco \ No \ pastaquote \ 07:17:24 fungot: What do you think of dinosaurs? 07:17:26 fizzie: but i've got great names for everyone else's hypothetical sons! love! hate to break up with utahraptor." then, hey presto, you're a muslim! give me a challenge to me!! 07:17:42 Who's on the list, I forget 07:17:47 Is elliott on the list 07:18:01 71 is 07:18:05 ? 07:18:06 Sgeo: Which list? 07:18:12 The list list 07:18:21 Which one? 07:19:02 `run echo "echo Taneb atriq Ngevd Fiora" > bin/list 07:19:06 No output. 07:19:11 I want to test it 07:19:14 ~list 07:19:16 `list 07:19:17 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: /hackenv/bin/list: Permission denied \ /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: /hackenv/bin/list: cannot execute: Permission denied 07:19:25 Sgeo: you can put me on the super mega list. 07:19:27 `run chmod a+x bin/list 07:19:30 No output. 07:19:35 I am not maintaining the super mega list 07:19:38 `list 07:19:39 Taneb atriq Ngevd Fiora 07:20:00 monqy are you on the list 07:20:06 i'm on the super mega list 07:20:21 Ok, so you're not on the existent list 07:20:28 Sgeo: elliott is not on the list, but elliot is. 07:21:29 monqy: did you link 78 here before 07:21:39 or was that someone else/somewhere else???? 07:21:53 Well-founded people are not on the list. 07:22:06 probably somewhere else? 07:22:15 somewhen else???? 07:23:47 monqy: So any idea what these operations should be? 07:23:57 operations?? 07:24:06 p a -> p (a,b); p a -> p (Either a b); p (a,b) -> p a; p (Either a b) -> p a 07:24:10 te ones from before 07:24:12 oh those operations 07:24:20 i think they should just be themselves 07:24:39 Well, they're weaker than co/contravariance. 07:24:50 Because you can apply them to Endo (Endo a = a -> a) 07:25:05 (a -> a) -> (a,b) -> (a,b) 07:25:21 But it seems like there ought to be a better version of them? 07:29:12 you said something earlier about generalising to an arbitrary (co)monad?? 07:31:07 -!- zzo38 has joined. 07:31:46 forall a : NS, forall r : N -> N -> Prop, a realizes r <-> forall x : N, x in a <-> exists y z, x = pair y z /\ r y z 07:32:10 monqy: well instead of ((b,a) -> a) you can have extract 07:32:25 monqy: and instead of (a -> Either b a) you can have return 07:32:28 yes 07:32:36 but does that truly help you 07:32:42 who knows 07:34:05 monqy: can you somehow reduce this down to only 2 operations 07:35:43 monqy: it's "kind of tricky" because Endo is Lensy and Prismy 07:35:49 but not Unlensy or Unprismy 07:35:59 lensy :: p a -> p (s, a) 07:36:04 prismy :: p a -> p (Either s a) 07:36:09 wait 07:36:21 yes 07:36:33 isn't there some general thing that (a,b) and Either a b are, like a functor or whatever? Tuple a b and Either a b 07:37:03 Yes. 07:37:11 They are functors, they are also swappable but I don't know what else they would be 07:37:14 (b,) is a Functor, and (Either b) is a Functor 07:37:22 They're also bifunctors but I think that's less relevant? 07:37:37 (By swappable I mean to make (a,b) to (b,a) and (Either a b) to (Either b a)) 07:38:35 so uh, can't you have one operation p a -> p q a b to subsume p a -> p (a,b) and p a -> p (Either a b) 07:39:01 Not really? 07:39:03 what's a pqab 07:39:23 p (q a b) 07:39:46 "not really" is a good answer imo 07:39:52 fine 07:40:34 Bike: The issue is that one of these behaves like mapping and the other behaves like contramapping. 07:40:58 should i even ask what the difference between contramapping and comapping is 07:41:16 map :: (a -> b) -> f a -> f b 07:41:23 contramap :: (a -> b) -> f b -> f a 07:41:38 ... 07:41:58 whats ... about it 07:42:14 what does that actually do 07:42:25 "depends on the instance" 07:42:27 You wrote: ... 07:42:30 Did you mean: !!! 07:43:24 no, i did not mean that. 07:43:44 monqy: how about List since that's the easydumb one for me. 07:43:52 list isn't contravariant :-) 07:44:12 right forget me go back to your whatevers 07:44:29 if you have questions ask them..... 07:44:33 like "what's an example" 07:44:39 that's a pretty good question?? 07:44:57 ok sure, what's a good example? 07:45:14 of what 07:45:20 a contravariant functor. 07:45:41 newtype Op a b = Op (b -> a) 07:45:48 wait let's simplify 07:45:54 Predicate a = a -> Bool 07:45:57 that's contravariant 07:46:01 you can write 07:46:10 contramap :: (a -> b) -> Predicate b -> Predicate a 07:46:14 "think about it" 07:47:02 for example if we have a machine that can classify cats (thats the predicate) 07:47:08 and we can turn a dog into a cat 07:47:15 then we can build a machine that can classify dogs 07:47:35 ohhhhhh. 07:48:44 crazy huh 07:48:55 not that crazy, which is why it's nice 07:49:05 yes it's pretty simple 07:49:07 think of it this way 07:49:20 in a vague general sense, a covariant functor "produces" things 07:49:25 a contravariant functor "consumes" things 07:49:34 that is a pretty vague sense 07:49:45 not all that vague 07:49:55 for example [a] "produces" as 07:50:02 (a list of 'a's) 07:50:07 it might produce 0 'a's 07:50:13 or it might produce a lot 07:50:16 but it's always producing 07:50:27 (Bool -> a) also produces 'a's 07:50:36 and other things 07:50:40 also produce 07:51:25 well ok it's "kind of vague?" 07:51:28 so is map Predicate remotely useful 07:51:28 good night monqy 07:51:34 Proxy a is my favourite 'a' producer 07:51:47 Const b a comes in close 2nd 07:52:01 monqy: i kinda prefer "data Help a" 07:52:07 ie Const Void 07:52:14 ahh yes 07:52:17 p.good 07:52:50 Bike: well if you have the cat classifier and a cat->dog transmogrifier........... 07:52:52 btw remember my logarithm class 07:53:16 Bike: i think monqy is implying "theres not much you can do" 07:53:24 you're "out of luck" 07:53:26 "game over??" 07:53:35 "no" is like, one word 07:53:44 but ok 07:53:48 it would be very useful 07:53:51 you just can't write it 07:53:57 (well you can in this case) 07:54:02 (but it wouldn't obey the laws) 07:54:08 LAW NUMBER 1 07:54:12 contramap id x = x 07:54:20 actually that's all you need in haskell i think?? 07:54:46 :o 07:54:56 law number 2: "the rest of haskell" 07:55:17 monqy: it's because of "parateremicity" 07:55:22 ye 07:55:26 at least it works for functors 07:55:35 i guess why wouldn't it work for contravariant functors 07:55:37 right? 07:55:47 i hvaent thought about it 07:55:48 but actually i'm not quite sure what the proof is 07:55:57 so i don't know...... 08:09:42 Parametricity? 08:13:07 I keep thinking of covariant as being on the result side of a function and contravariant as being on the input side 08:13:25 ok 08:13:46 What's a non-function example of a contravariant functor? 08:14:17 Well, input side isn't contravariant as much as it is negate variance, I think 08:15:41 `list 08:15:45 Taneb atriq Ngevd Fiora 08:16:34 you can ``check out'' an instance list at http://hackage.haskell.org/packages/archive/contravariant/0.2.0.2/doc/html/Data-Functor-Contravariant.html 08:16:41 of course there are more instances they just aren't on that list 08:16:47 but maybe you'll get an idea??? 08:17:53 Predicates are functions 08:18:02 Comparisons are functions 08:18:10 Equivalences 08:18:19 well arent you mr. picky 08:18:40 how about id 08:19:38 -!- Bike has quit (Quit: hello). 08:19:58 idk what you mean by id but bye bye 08:20:24 > id k 08:20:26 k 08:55:12 I don't have four energy! 08:56:30 -!- Taneb has joined. 08:58:05 I want to add some command or parameter or something to Internet Quiz Engine to allow four boolean questions to take up one byte of the selector string, but am not quite sure. 09:08:56 -!- Taneb has quit (Quit: Leaving). 09:41:37 -!- epicmonkey has joined. 09:44:19 Numberwang is the best thing ever 10:10:49 -!- impomatic has joined. 10:40:08 Sgeo: It's time for wangernumb 10:49:56 -!- mekeor has joined. 10:50:10 -!- sploknee has joined. 11:00:07 FreeFull, is the German one in actual German, or nonsense? 11:00:31 -!- Nisstyre-laptop has quit (Quit: Leaving). 11:07:00 -!- Zerker has joined. 11:07:29 -!- carado has joined. 11:14:22 -!- zzo38 has quit (Remote host closed the connection). 11:16:48 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 11:23:53 -!- monqy has quit (Quit: hello). 11:35:59 -!- sploknee has quit (Ping timeout: 260 seconds). 11:36:53 -!- sploknee has joined. 11:49:51 -!- sebbu has joined. 11:49:51 -!- sebbu has quit (Changing host). 11:49:51 -!- sebbu has joined. 11:49:53 -!- epicmonkey has quit (Ping timeout: 248 seconds). 11:53:24 `list 11:53:25 Taneb atriq Ngevd Fiora 12:03:06 Sgeo: No idea 12:03:14 `which list 12:03:16 ​/hackenv/bin/list 12:03:29 `run cat list | paste 12:03:34 cat: list: No such file or directory \ http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.3232 12:03:41 `run cat bin/list | paste 12:03:46 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.21316 12:04:05 > k 12:04:07 k 12:04:12 @src k 12:04:12 Source not found. 12:04:16 :info k 12:04:24 :list k 12:04:54 @pl \x y z -> cos x + cos y + cos z 12:04:54 flip flip cos . (((.) . (+)) .) . (. cos) . (+) . cos 12:05:14 why is there a command named list that is "echo Taneb atriq Ngevd Fiora" 12:21:18 http://www.reddit.com/r/news/comments/16ffph/reddit_cofounder_aaron_swartz_commits_suicide/ 12:21:30 nortti: it pings people when there's a homestuck update 12:21:49 I think sgeo set it up 12:22:16 No. It pings people when I use it. I might be AFK or sleeping when there's an update 12:22:26 And thus skip that list ping 12:22:39 clearly you need to like. hook it up to an rss thing 12:23:17 aren't taneb, atriq and ngevd the same person? 12:24:43 olsner, yes, but too lazy to try to figure out how to make it figure out which one he's using 12:55:05 -!- sebbu has quit (Ping timeout: 260 seconds). 13:08:52 -!- sebbu has joined. 13:08:52 -!- sebbu has quit (Changing host). 13:08:52 -!- sebbu has joined. 13:15:35 Sgeo: actual german 13:26:23 -!- DHeadshot has joined. 13:50:22 -!- nooodl has joined. 13:55:45 -!- azaq23 has joined. 13:55:57 -!- azaq23 has quit (Max SendQ exceeded). 13:56:48 -!- sirdancealot7 has quit (Ping timeout: 245 seconds). 13:57:22 -!- azaq23 has joined. 14:06:00 -!- nooodl has quit (Read error: Connection reset by peer). 14:06:12 -!- iamcal_ has quit (Quit: Planned maintenance, back soon). 14:16:58 -!- WeThePeople has joined. 14:39:11 If I can't find an open-source editor to change my file smoothly, how terrible an idea is it to just open the .docx as a .zip and change the text I need in there? 14:40:07 awful 14:40:14 you will go to hell 14:41:56 You should try it out anyway though. 14:42:20 (I'd like to know what happens.) 14:42:50 Plus it's just hell, right? 14:44:43 LibreOffice refuses to open, Google Docs says "file:///home/sgeo/Downloads/resume-2013-01-12.docx" 14:44:51 No, that's not what Google Docs says 14:45:03 "Sorry, we are unable to generate a view of the document at this time. Please try again later." 14:47:30 That was a boring result. I was hoping for something more exciting. 14:50:13 -!- DHeadshot has quit (Read error: Connection reset by peer). 14:50:15 -!- DH____ has joined. 14:53:14 Maybe if I just use Microsoft Office Live... 14:53:30 -!- iamcal_ has joined. 14:54:12 I suppose Google Docs can edit too? 14:54:33 fizzie, Google Docs does something with the spacing that makes it into 2 pages when it was originally one page 14:55:38 And LibreOffice does something silly too? 14:57:44 LibreOffice does the same thing 15:05:22 Microsoft Office Live, in edit mode, did some weird thing where it ignored some tabs, or at least didn't look like they showed up, but in view mode they were there 15:05:25 So it was enoygh 15:05:29 enough 15:16:15 -!- epicmonkey has joined. 15:24:18 -!- Vorpal has joined. 15:35:20 -!- nys has joined. 15:41:27 -!- DHeadshot has joined. 15:41:47 -!- DH____ has quit (Read error: Connection reset by peer). 16:09:27 -!- TeruFSX has joined. 16:19:55 -!- sploknee has quit (Read error: Operation timed out). 16:28:32 -!- oklofok has quit (Ping timeout: 255 seconds). 16:29:59 A whole new kind of monad tutorial! http://i.imgur.com/rxec4.png 16:34:56 -!- sploknee has joined. 16:56:13 -!- mig22 has quit (Quit: mig22). 17:09:56 -!- sploknee has left ("wait shit i'm still banned"). 17:13:08 -!- Frooxius has joined. 17:27:32 -!- olsner has quit (Ping timeout: 245 seconds). 17:34:42 Realm of the Mad God reminds me a very little of Mutation 17:35:07 In that there's an end boss and everyone in the world is affected by the fight and by defeating the boss 17:36:37 Sgeo: Which lists am I on now? 17:36:56 The "if I remember, and see OOTS update, I'll tell you" list 17:37:13 What about the super mega list? 17:37:25 And that one other list, I've forgotten what it's called. 17:40:01 -!- olsner has joined. 17:43:20 -!- Taneb has joined. 17:47:17 -!- azaq23 has quit (Read error: Connection reset by peer). 17:59:01 -!- Bike has joined. 18:08:54 -!- sebbu2 has joined. 18:08:55 -!- sebbu2 has quit (Changing host). 18:08:55 -!- sebbu2 has joined. 18:09:37 -!- sebbu has quit (Ping timeout: 248 seconds). 18:17:23 -!- NickOfCourse has joined. 18:21:43 -!- NickOfCourse has quit (Ping timeout: 245 seconds). 18:41:44 -!- sebbu2 has changed nick to sebbu. 18:42:41 -!- Nisstyre-laptop has joined. 19:08:26 -!- zzo38 has joined. 19:10:58 -!- DHeadshot has quit (Ping timeout: 248 seconds). 19:12:55 -!- DHeadshot has joined. 19:37:06 -!- ogrom has joined. 19:37:10 -!- AnotherTest has joined. 19:37:14 Hi 19:37:16 -!- ogrom has quit (Client Quit). 19:38:51 shachaf, you're not on those lists, even if you think you're on those lists, because I'm not thinking about those lists 19:39:48 That's not really fair. 19:40:17 Sgeo, add shachaf to the lists 19:40:29 I can add shachaf to the list list 19:40:41 `run echo shachaf >> bin/list 19:40:47 No output. 19:40:52 `cat bin/list 19:40:54 echo Taneb atriq Ngevd Fiora \ shachaf 19:41:05 ...oops 19:41:12 I like how I'm 60% of the lsit 19:41:30 Gregor, can you add a way for HackEgo to see the channel's userlist? 19:41:48 * Sgeo would be too lazy to use that functionality, probably 19:42:09 `run sed -i s/shachaf// the_list 19:42:11 sed: can't read the_list: No such file or directory 19:42:22 `run sed -i s/shachaf// bin/list 19:42:24 No output. 19:42:35 `run sed -i 's/Fiora/Fiora shachaf/' bin/list # fixed 19:42:38 No output. 19:42:42 `cat bin/list 19:42:42 echo Taneb atriq Ngevd Fiora shachaf 19:42:43 Perfect. 19:44:17 `run sed -i s/shachaf// bin/list 19:44:21 No output. 19:45:06 `list 19:45:08 Taneb atriq Ngevd Fiora 19:45:31 I'm 75% of the list, and I'm gonna see it at the same time as Sgeo now 19:48:11 shachaf: You left a trailing space. 19:48:18 `revert 19:48:20 Done. 19:48:50 elliott: I don't care. 19:48:56 `run sed -i s/shachaf// bin/list 19:49:05 If you don't like trailing spaces, you fix it. 19:49:07 `run sed -i s/shachaf// bin/list 19:49:12 No output. 19:49:23 FireFly's Pokemon Card puzzle seems something wrong with it; it doesn't seem to work. 19:49:42 shachaf: I'm not the one changing bin/list! 19:50:57 `run echo echo \''tail -n +2 $0 | paste -s -d" "; exit 0'\' \>\$1\;chmod +x \$1 > bin/makelist 19:51:00 No output. 19:51:41 ... etc 19:54:50 hmm, paste is not the normal paste in hackego 19:58:24 I think Realm of the Mad God would be more interesting if death was a total reset 19:58:58 Rather than "Oh, you can keep items in vaults, more if you pay RL money, and you accumulate fame over time that doesn't reset on death that gives you stuff" 19:59:37 perhaps Realm of the Mad God is not interesting under any circumstances 20:00:53 I do generally like the idea of stats not being a permanent account thing though 20:01:02 That's also a thing that interests me about LoL 20:01:17 (Although in both LoL and RotMG, there are permanent stats) 20:02:43 `sed -i bin/list 1s/$/shachaf nortti/ 20:02:44 Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- 20:02:50 -!- monqy has joined. 20:03:07 `run sed -i '1s/$/shachaf nortti/' bin/list 20:03:10 No output. 20:03:46 nortti.................................................. 20:03:50 `rm bin/list 20:03:53 No output. 20:03:56 y? 20:03:59 -wh 20:04:04 *why? 20:04:32 `revert 20:04:34 Done. 20:04:39 `cat bin/list 20:04:40 cat: bin/list: No such file or directory 20:04:47 ??? 20:05:01 `revert 20:05:03 Done. 20:05:08 `cat bin/list 20:05:10 cat: bin/list: No such file or directory 20:05:13 `revert 4 20:05:17 How tall is Michael Cera 20:05:34 `run echo 'echo Taneb atriq Ngevd Fiora shachaf nortti' > bin/list 20:05:34 Done. 20:05:37 No output. 20:05:48 `rm bin/list 20:05:50 No output. 20:05:51 I'm not on that list. 20:05:57 `run echo 'echo Taneb atriq Ngevd Fiora nortti' > bin/list 20:06:00 No output. 20:06:21 hey guys whats up (is it dumb) 20:06:31 monqy: no (yes) 20:06:35 `help 20:06:35 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 20:06:52 Wait, nortti is capable of reading Homestuck? 20:07:07 Sigh. 20:07:14 FreeFull: Please don't use `revert if you don't know how it works. 20:07:40 `revert 1492 20:07:46 (One commit before `revert 4.) 20:07:53 Done. 20:11:23 -!- DHeadshot has quit (Read error: Connection reset by peer). 20:13:31 -!- ais523 has joined. 20:23:27 -!- ssue has quit (Remote host closed the connection). 20:25:20 monqy: 106 is good 20:25:41 `run echo 'echo Taneb atriq Ngevd Fiora nortti' > bin/list 20:25:44 No output. 20:25:50 `quote 106 20:25:52 106) [...] i'm a law student so i am loving my bread machine 20:26:07 `run echo " elliot" >> bin/list 20:26:11 No output. 20:26:11 `quote 53 20:26:12 53) both of you, quit it with the f-bombs. kaelis: what's the matter? something censoring stuff you're interested in? 20:26:25 `ls bin/list 20:26:27 bin/list 20:26:29 i nominate quote 53 for deletion 20:26:32 `cat bin/list 20:26:33 echo Taneb atriq Ngevd Fiora nortti \ elliot 20:26:40 darn 20:27:17 22:06 < Sgeo> Wait, nortti is capable of reading Homestuck? <-- at least I think I am. it seems to work with seamonkey 1.1.19 20:27:28 `cat bin/list 20:27:30 echo Taneb atriq Ngevd Fiora nortti \ elliot 20:27:55 `sed -i '2d;1s/$/ elliott/' bin/list 20:27:56 Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- 20:28:07 `sed -i '2d' bin/list 20:28:09 Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- 20:28:21 nortti, even the flash animations? 20:28:23 `run sed -i '2d;1s/$/ elliott/' bin/list 20:28:26 No output. 20:28:29 And HTML5 games? 20:28:43 no html5 20:28:52 flash should work 20:29:06 I'll have to check that out 20:29:10 The HTML5 games are kind of important 20:29:21 -!- oerjan has joined. 20:29:21 I guess you could watch YouTube videos of people playing them 20:29:32 ok 20:29:38 `revert 20:29:40 Done. 20:29:50 `cat bin/list 20:29:51 echo Taneb atriq Ngevd Fiora nortti \ elliot 20:30:03 `sed -i 2d bin/list 20:30:04 Usage: sed [OPTION]... {script-only-if-no-other-script} [input-file]... \ \ -n, --quiet, --silent \ suppress automatic printing of pattern space \ -e script, --expression=script \ add the script to the commands to be executed \ -f script-file, --file=script-file \ add the contents of script- 20:30:11 `run sed -i 2d bin/list 20:30:14 No output. 20:30:22 I always put an -e for the expression there. 20:30:29 ah 20:30:34 monqy: i like FLOAT FAR REMOTE too 20:30:41 well part 6 20:31:10 -!- ssue has joined. 20:31:46 Even if it's not strictly necessary. 20:32:09 also part 9 20:32:38 and part 10 20:32:53 `cat bin/list 20:32:55 echo Taneb atriq Ngevd Fiora nortti 20:32:56 hm the ban list is the opposite order today of what it was yesterday 20:33:21 i cannot recall that i was on a different server... 20:34:51 Also I have to say I kind of like this Swype-style keyboard. It feels a bit like what I imagine the draw-runes-in-the-air magic in the Death Gate books to be. 20:34:56 perhaps there is some weird reversal when servers retell it to each other... 20:35:37 fizzie: do you see the ban list oldest first or newest first? :P 20:36:25 (i see newest first today, but it was oldest yesterday) 20:36:31 I see it oldest first 20:36:40 I see oldest first. 20:36:56 fancy 20:39:29 -!- epicmonkey has quit (Ping timeout: 248 seconds). 20:40:07 -!- aloril has quit (Ping timeout: 260 seconds). 20:40:08 also i think the lines are longer, they are wrapping now and i suspect the "by gibson.freenode.net, " wasn't there yesterday (and that's my current server). 20:43:20 http://www.supermegacomics.com/index.php?i=133 20:44:31 From /mode ... b or from ChanServ? 20:45:43 just /ban in irssi 20:46:04 /mode #esoteric -b gives the same 20:50:23 and 141?? 20:51:45 Proxy a is my favourite 'a' producer <-- that's _both_ covariant and contravariant, i'd think 20:52:02 since a isn't used at all 20:52:40 i'm not sure if there is any essential other way to get a type that is both 20:53:07 well, also Const 20:53:37 data Friend a where Map :: (a -> b) -> Friend a -> Friend b; Contramap :: (b -> a) -> Friend a -> Friend b 20:53:40 HTH. 20:53:43 (OK, that violates the laws.) 20:54:06 oerjan: The thing with Void? 20:54:12 Well, it's all special cases of Const. 20:54:25 Const (), Const Void, Const HiMonqy 20:55:15 147.. maybe 20:55:26 Mine was newest first. 20:55:45 (Sorry, a bit busy.) 20:57:03 When will they make Vatican III? 20:58:21 -!- atriq has joined. 20:59:11 well let's see, vatican i was in '68 20:59:21 -!- Taneb has quit (Ping timeout: 276 seconds). 20:59:26 so, by linear extrapolation, about 2059. 20:59:35 um wasn't the first one in the 19th century. 20:59:42 1868, yes. 20:59:48 I think I may have had a bit much coffee 21:00:19 zzo38: well the current pope isn't very big on having doctrine changed, i think. 21:00:40 Hmm, I thought Vatican I just went back to thousands-of-whenever-the-fuck ago. 21:00:55 Catholicism: what's up with that?? 21:00:57 nah they weren't in the basilica 21:00:59 elliott: they called them councils back then 21:01:06 and that. 21:01:14 nicea is rather from rome, i assume 21:01:15 they're all named The Council Of Wherever The Fuck We're Meeting, so 21:01:49 hm indeed it's vatican council as well iirc 21:02:14 so it will be Cybervatican3000.com III 21:02:32 hm, apparently nicea is called Ä°znik now. cool. 21:02:50 "Unlike the five earlier General Councils held in Rome, which met in the Lateran Basilica and are known as Lateran Councils, it met in the Vatican Basilica, hence its name. Its best-known decision is its definition of papal infallibility." 21:03:10 * Sgeo is attempting to upgrade from Kubuntu 10.10 to a non-obsolete version 21:03:27 * Sgeo fails 21:03:28 http://www.supermegacomics.com/index.php?i=164 21:03:35 * atriq is attempting to actually go through with a silly idea elliott had the other day 21:03:52 atriq: REPENT BEFORE IT'S TOO LATE 21:03:55 Papal infallibility is rare, however I have read once that the way it was originally done was by popes doing bad things, however they corrected it since then. 21:03:57 atriq: Um. What idea? 21:03:59 -!- atriq has changed nick to Taneb. 21:04:09 elliott, text-diagrams 21:04:14 What is your opinion on the Catholic doctrine and tradition and so on? 21:04:29 zzo38, traditioooooooon 21:04:30 i give it 7/10. 21:04:31 tradition 21:04:33 .... 21:04:34 Taneb: That was more "a thing I'm working on" than a one-off idea. 21:04:34 tradition 21:04:40 elliott, how far have you got with it? 21:04:49 * Sgeo watches it fail 21:04:49 http://paste.ubuntu.com/1524824/ 21:04:50 :( 21:04:54 `addquote What is your opinion on the Catholic doctrine and tradition and so on? i give it 7/10. 21:04:57 912) What is your opinion on the Catholic doctrine and tradition and so on? i give it 7/10. 21:05:09 Taneb: Well, I don't know of a resolution to the fundamental problem I discussed with kmc yet. 21:05:17 http://www.supermegacomics.com/index.php?i=170 21:05:34 Bike: That isn't very specific. 21:05:41 (honestly not sure how one is supposed to answer that question. "it's pretty cool"? "i think they need more hats"?) 21:06:46 I don't know either. Still is isn't very specific, though. 21:07:19 it's not a very specific question! 21:07:51 elliott, I'm just diving in and seeing how far I get 21:07:57 elliott: should i have put a [...] between those? Taneb commented on the same thing but i don't think it adds to the joke. 21:08:06 oerjan, nah 21:08:21 I was making an injoke which nobody here could reasonably get 21:08:32 > ['a','\NUL'] 21:08:33 "a\NUL" 21:08:34 Taneb: fiddler on the roof? >:) 21:08:43 oerjan, it's deeper than that 21:08:57 ok 21:09:02 My school's youth theatre made that bit ridiculous 21:09:08 aha 21:09:15 Anything that vaguely sounded like "tradition" would get sung that way 21:09:23 elisioooooooooon 21:09:36 auditiooooooooooon 21:09:51 oerjan: the elision there is fine 21:10:06 only when lots of time passes or there's a significant amount of noise that would change the interpretation of the quote do you need a [...] 21:10:27 `quote insanity 21:10:28 412) There's that saying that the definition of insanity is doing the same thing over and over again and expecting different results. [...] You've just gave me a different result [...] It's always insane to expect different results, even when it's likely to occur. 21:11:22 An example of quotelision 21:11:24 * oerjan goes to youtube to find how it actually sounds 21:11:52 -!- oklopol has joined. 21:11:56 kyrie, kyrie, kyrie elision 21:12:11 Such as, do you agree/disagree/neutral of things in the Catholic church, doctrine, and tradition; and if you think some things should be changed, their relation to things doing in other parts of the world, their relation with scientific things, and so on? 21:12:33 uh, i think the pope should shut up about condoms? how about that? 21:12:39 I disagree with the catholic church on many points 21:12:54 Bike: Yes, that is the kind of things I meant. 21:13:09 Condoms and homosexuality mainly 21:13:17 As an asexual, these are big issues for me 21:13:33 Taneb: I, too, disagree with the Catholic church on many points. 21:13:40 well, that's the main thing. other than that catholicism seems mostly easier to deal with than the protestants presently attempting to run the government 21:13:56 Bike: Yes, that is also the kind of things I meant to ask. 21:14:04 -!- AnotherTest has left. 21:14:21 UK, it seems every single religion out there is trying to run the government 21:14:22 for example i think they've been cool with evolutionary theory for at least a century or so 21:15:35 Yes, I think so. 21:16:48 why are you asking this? 21:17:14 Bike: "Do or do not, there is no why." -- tolkein 21:17:14 I have heard once that the local diocese said that they respect homosexuality but would not have them married and things like that, but other people thought they said the Catholic church hates homosexuality. I agree that the church needs not have them married; you can go elsewhere there is a lot of everything all around. 21:17:20 -!- Nisstyre-laptop has quit (Ping timeout: 252 seconds). 21:17:42 * Sgeo would love not to be his step-mother's 411 service 21:17:51 I read a book yesterday about Catholic catechism; I disagree with most of it but I agree with a few. 21:17:52 Sgeo: what does 411 do? 21:18:17 I disagree with humanist doctrine, for one thing. 21:18:18 Information, I think, find out a phone number given a business? 21:18:42 At least, that is what I was just asked to do, so not certain whether "411" was an accurate description 21:18:42 I also disagree with Trinity; it is completely illogical. 21:18:55 If you say it is symbolic, though, then I am OK with it (but still don't need it). 21:18:57 oh, that's some old-skool heresy right there 21:19:13 Wait, what's wrong with humanism? 21:19:47 They say humanity is the most important thing in the universe. I disagree; it is just one of many everything in the universe. 21:20:20 what's equally or more important? 21:20:20 Humanity is the most important thing to humans, and to me that's pretty important 21:20:44 or incomparable 21:20:49 um if there were intelligent aliens and they were my friends they would be pretty important to me........... 21:20:53 Even if we're insignificant on some "cosmic" scale, I don't really care about the cosmic scale. It's not conscious, as far as we know 21:21:01 have you considered gnosticism, zzo? (imagine me dressed in a mormon missionary outfit, holding a ripped up bible soaked in my blood) 21:21:15 it's Pretty Cool 21:21:37 I have certainly studied all of those things, on Wikipedia and in books. 21:21:52 then you, too, may already be Pretty Cool. 21:22:12 learning japanese is reminding me of learning an esoteric programming langauge 21:22:52 I feel weird from caffeine 21:23:56 oh, also about catholics, i think missionaries should retroactively not be full of shit. that'd be good for all these readings I do. Thanks in retrovance catholics 21:24:00 "God is eternal [not limited to time], immense [not limited to space], contains all things, beyond human understanding" this much I agree with. "God chooses the Hebrews and makes them a people, gives the Jews a land, establishes the kingdom of David, ..." but this I just call mythology. 21:24:31 deist! 21:25:44 trinity is insufficently illogical to be spiritually true, duh! 21:26:56 Weird and absurd sounding does not inherently imply incorrect 21:27:09 It does imply that pretty strong evidence is needed for it 21:27:34 evidence? your inductive inference is no good here, son 21:27:50 btw has anyone been to Kyuakse 21:28:21 @google kyuakse 21:28:23 http://www.facebook.com/pages/Kyuakse/114985111848082 21:28:23 Title: Update Your Browser | Facebook 21:28:29 "humanity is the most important thing to humans" s/humans/humans who believe humanity is the most important thing to them/ presumably 21:28:40 VERY GOOD HIT, GOOGLE 21:28:48 It's a small town in Burma. 21:28:52 Bike: "retrovance" is a good word 21:29:07 coretrovance 21:30:10 Bike: a more serious google search suggests it's spelled "kyaukse" 21:30:35 It is famous for the Kyaukse Elephant Dance. 21:30:57 so it is. i blame transliteration 21:30:58 hmm, Wikipedia calls the country "Myanmar" in that article. but the link is to a redirect to "Burma". 21:31:11 Bike: qhdgadfaffy 21:31:15 it was called myanmar in the past, o'course 21:31:31 * elliott knows about the whole naming thing 21:31:37 but it's interesting that Wikipedia can't decide which to use 21:32:14 i would guess it's because nobody gives half a damn about kyaukse or its wikipedia article. or maybe some people do, and they're the people who edit articles on forgettable townships. 21:32:45 so why are you asking us whether we have been there exactly :P 21:33:09 because burma is more interesting than idle inexpert theology 21:33:10 according to tvtropes, myanmar and burma are spelled the same way in burmese (or whatever their script is called) 21:33:19 that's a damn good point Bike 21:33:54 (iirc) 21:34:04 Well, you are correct that weird and absurd sounding does not inherently imply incorrect; nevertheless, to me, Trinity is only symbolic. It is my opinion. 21:34:42 Did you write on Wikipedia talk page about name of the countries, if it is necessary? 21:35:59 hm, there are lots of norwegians here, right? how do i get to the point where i can recognize what country the name Fiskesjö is from without having to look it up? do i lick you or something? 21:36:10 Bike: It's Finns we have a lot of. 21:36:13 Does food help calm caffeinated nerves? 21:36:22 darn and the name is swedish 21:36:22 Feel free to lick oerjan tohugh 21:36:24 Bike: shachaf is norwegian 21:36:25 i'm doomed 21:36:27 zzo38: i doubt there is any point in us rehashing an old political issue on wikipedia 21:36:41 oerjan: Well, it should be consistent with what the article on the country itself is called. 21:36:44 Maybe I'll just change it. 21:37:03 olsner: I'm Asian... 21:37:21 well norwegia is in eurasia. 21:37:30 oerjan: Well, if it is already there, there is no point, you are correct. But first you should see if it is already! 21:37:51 Bike: ö is the swedish letter, the danish and norweigan equivalent would be ø. otherwise, the _spelling_ seems norwegian to me, although it might be swedish as well; i think danish uses "sø" for the final subword. 21:37:59 (fish lake, basically) 21:38:08 hmmmm, okay. 21:38:21 What about the first name, Magnus? Mostly that just makes me think of an Icelandic strongman. 21:39:10 Maybe I should have just skipped to looking up his faculty page instead of guessing nationalities randomly. 21:39:21 oerjan: do you really call your country "norwegia" 21:39:23 what a dumb name 21:39:35 elliott: not in norwegian, no. 21:39:50 is this about the nynorsk bokmal thing 21:39:53 is it Noreg? 21:39:56 norweegie 21:40:02 the polish might call it that, they have w and words that look similar. 21:40:16 noreg is nynorsk, norge is bokmÃ¥l. 21:40:47 I suspect they just misspelled it while writing the nynorsk dictionary 21:40:50 oh that top google result is the pl wikipedia article 21:40:52 not no wikipedia 21:41:05 Hmm, some page I found seems to be reassuring, but on the other hand, it seems to be agenda-y 21:41:18 these are presumably both from an older form similar to "norveg", which basically means north way 21:41:43 apparently it's noregsland in faroese 21:42:07 Sgeo: ...reassuring about what 21:42:17 the caffeine agenda 21:42:54 Bike: afaict fiskesjø is not used as any well-known norwegian place name 21:42:59 elliott, whether I might be in danger from how much coffee I had 21:43:30 danger??? 21:43:31 and latin called it "norvegia", from which many others may have borrowed it 21:43:51 Sgeo: how much coffee have you drinken exactly... 21:44:00 One extra-large cup 21:44:02 to a norwegian, "norvegia" is a rather bland brand of cheese. 21:44:11 coffee isn't exactly a hard drug man 21:44:21 unless you cut it with heroin or something you're fine 21:44:23 which for some reason gets marketed out the wazoo. 21:44:38 and latin called it "norvegia" <-- vindication 21:44:51 -!- TeruFSX has quit (Ping timeout: 276 seconds). 21:44:53 "Norja" here. 21:45:05 Sgeo: how are you going to die from one cup of coffee exactly 21:45:11 people drink lots of coffee sgeo.... 21:45:15 elliott: um it was extra large 21:45:32 he probably hasnt adjusted to the shock & terror 21:46:04 sgeo, you really should have done some coke or hookers or telnet or something in college to loosen you up. 21:46:12 Bike: there are indeed many danish lakes called fiskesø, although seemingly not as the sole name 21:46:40 lakes what 21:46:50 Bike: telling kids to use telnet is just irresponsible 21:46:57 what if someone steals their password 21:46:57 Bike: maybe you could just ask magnus where he comes from 21:47:14 I've telnetted before 21:47:15 that sounds hard 21:47:42 elliott: you gotta take risks when you're young man 21:47:56 Mostly just to play on public NetHack servers though 21:48:05 "I have written on Scandinavian outlaws, and a recent pamphlet addressed sovereign power more generally, through a discussion of the annual ritualized U.S. presidential pardon granted to one Thanksgiving turkey." 21:48:09 the list of publications does include a bunch of entries with the note "(In Swedish)." 21:49:20 I do think I'm above however much caffeine I should be consuming, I feel really weird 21:49:37 have you ever had caffeine before, sgeo 21:50:01 Yes 21:50:04 sgeo, it's a stim 21:50:07 it stimulates you 21:50:59 Bike: Magnus is a common norwegian name, our crown prince is named HÃ¥kon Magnus and his son is Sverre Magnus. also five medieval kings. however it is clearly borrowed from latin "magnus", great, probably via Carolus Magnus, the latin name of Charlemagne. 21:51:12 i didn't know you even had a prince. 21:51:34 oerjan: um magnus isn't THAT great imo 21:51:36 there are better names 21:52:03 e.g. Ultra Magnus 21:52:13 topical: super mega magnus 21:52:48 oh and we shouldn't forget Magnus Carlsen >:) 21:53:39 elliott: it _means_ "great" you doofus :) 21:54:10 oerjan: I take it Ørjan means frog-killer 21:54:18 there are levels of irony here i don't think i understand 21:54:19 -!- ion has quit (Ping timeout: 276 seconds). 21:54:33 no, it means farmer, originally. 21:54:44 Bike: yeah obviously elliott realized that 21:56:17 four swedish kings as well 21:56:38 six saints 21:57:03 only one of which could be considered scandinavian, though 21:57:55 but now i'm just summarizing the english wikipedia. 21:58:02 the current swedish royalty was imported from france 21:58:14 -!- ion has joined. 21:58:39 olsner: i understand they're quite happy to borrow medieval names nevertheless. 21:59:48 otoh wasn't there some noise about victoria's daughter not having any good swedish name 22:00:12 -!- sebbu2 has joined. 22:00:30 -!- sebbu2 has quit (Changing host). 22:00:30 -!- sebbu2 has joined. 22:01:05 "Estelle Silvia Ewa Mary" pretty much 22:01:37 -!- sebbu has quit (Ping timeout: 248 seconds). 22:08:17 -!- sebbu2 has quit (Ping timeout: 272 seconds). 22:08:55 `run cat list | paste <-- `url hth 22:09:48 `cat bin/url 22:09:49 ​#!/bin/bash \ if [ "$1" ] \ then \ echo 'http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/'"$1" \ else \ echo 'http://codu.org/projects/hackbot/fshg/' \ fi 22:10:15 `url list 22:10:17 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/list 22:10:31 mind you that file isn't there 22:10:45 is this a ghost?? 22:10:46 `cat bin/paste 22:10:48 ​#!/bin/bash \ if [ ! "$1" ] \ then \ PASTE=- \ else \ PASTE="$1" \ fi \ \ PASTENUM="$RANDOM" \ \ mkdir -p $HACKENV/paste \ \ echo 'http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.'"$PASTENUM" \ cat "$PASTE" > $HACKENV/paste/paste."$PASTENUM" 22:10:53 `ls list 22:10:54 list 22:10:58 oh it is 22:11:02 OKAY THEN 22:11:34 `cat list 22:11:35 tail -n +2 $0 | xargs echo; exit 0 \ shachaf 22:11:38 `cat bin/list 22:11:39 echo Taneb atriq Ngevd Fiora nortti elliot 22:11:48 IMO this is stupid 22:11:54 `rm list 22:11:56 No output. 22:12:57 `run sed -i 's/^echo .*tip\//url /' bin/paste 22:13:01 No output. 22:13:10 `run echo hi | paste 22:13:11 oerjan: ? 22:13:12 ​/hackenv/bin/paste: line 13: unexpected EOF while looking for matching `'' \ /hackenv/bin/paste: line 15: syntax error: unexpected end of file 22:13:14 `cat bin/paste 22:13:16 ​#!/bin/bash \ if [ ! "$1" ] \ then \ PASTE=- \ else \ PASTE="$1" \ fi \ \ PASTENUM="$RANDOM" \ \ mkdir -p $HACKENV/paste \ \ url paste/paste.'"$PASTENUM" \ cat "$PASTE" > $HACKENV/paste/paste."$PASTENUM" 22:13:16 argh 22:13:28 oh 22:14:18 -!- sebbu has joined. 22:14:19 -!- sebbu has quit (Changing host). 22:14:19 -!- sebbu has joined. 22:15:03 `run sed -i "s/paste.'/paste./" bin/paste 22:15:06 No output. 22:15:10 `run echo hi | paste 22:15:15 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.25721 22:15:44 elliott: i like HackEgo's commands being modular 22:18:38 interestingly paste has no collision prevention. 22:20:42 `cat bin/paste 22:20:43 ​#!/bin/bash \ if [ ! "$1" ] \ then \ PASTE=- \ else \ PASTE="$1" \ fi \ \ PASTENUM="$RANDOM" \ \ mkdir -p $HACKENV/paste \ \ url paste/paste."$PASTENUM" \ cat "$PASTE" > $HACKENV/paste/paste."$PASTENUM" 22:20:44 Does any new C standard allow const members in a struct or union? I think functions (not function pointers) should also be allowed, but only if they are declared as const. I also thought typedefs should be allowed, but that might make the syntax difficult. (If a struct/union contains only const members, then the sizeof should be zero.) 22:20:50 `cat bin/paste | paste 22:20:51 cat: bin/paste | paste: No such file or directory 22:20:57 `run cat bin/paste | paste 22:21:01 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.12606 22:21:21 oerjan: I suspect that might be intentional. 22:21:30 nortti: ERM I JUST TRIED TO TELL YOU YOU DON'T NEED `paste FOR EXISTING FILES 22:21:50 ok 22:22:11 elliott: yeah otoh someone recently decided not to clean up paste/ and seemed to imply this was for making the logs easier to browse 22:22:24 oerjan: someone is a hypocrite and also not Gregor 22:23:20 (This is different to C++, which allows functions in a struct but in an entirely different way; in a way which does not fit with C, in my opinion.) 22:23:59 "If a struct/union contains only const members, then the sizeof should be zero." but why 22:25:14 The const members should not take up any space. Actually, const members in a struct/union should be required to be also declared static, I think. 22:26:07 > k 22:26:09 :t k 22:26:10 Expr 22:26:15 :t var 22:26:17 String -> Sym a 22:26:17 So that struct s { const int x; } is not allowed, but struct s { static const int x = 5; } should be OK. 22:26:22 hmph 22:26:24 :t fun 22:26:25 FromExpr a => String -> a 22:26:41 :t val 22:26:42 Not in scope: `val' 22:26:42 Perhaps you meant one of these: 22:26:42 `var' (imported from Data.Number.Symbolic), 22:26:47 Same with functions they should be static const. 22:27:26 > var "hello" 22:27:27 hello 22:27:30 oerjan: what are you looking for? 22:27:31 genius 22:27:38 FreeFull: a-z are basically defined in lambdabot as a = fun "a" :: Expr etc. except f,g,h don't have the :: Expr part 22:28:07 FreeFull: this makes them a primitive form of symbolic expression 22:28:30 and f,g,h can be used as functions since they are more overloaded. 22:29:07 :t f 22:29:09 FromExpr a => a 22:29:34 > f 22:29:35 Ambiguous type variable `a0' in the constraints: 22:29:35 (GHC.Show.Show a0) 22:29:35 ... 22:29:48 oerjan: Interesting 22:30:26 (i think there's a var function which does fun + the :: Expr part automatically, but lambdabot chooses to import a different module's slightly similar but incompatible function of the same name instead.) 22:31:21 both var's have the nice property you can use them to show strings unescaped, though :) 22:31:30 :t tex 22:31:31 :t text 22:31:31 Not in scope: `tex' 22:31:32 Perhaps you meant one of these: 22:31:32 `lex' (imported from Prelude), 22:31:32 String -> Doc 22:31:34 What is your opinion of having static members of a struct/union? 22:31:35 that too 22:31:46 text has the disadvantage it's strict in string length. 22:31:55 > text $ repeat 'a' 22:32:00 mueval: ExitFailure 1 22:32:00 mueval: Prelude.undefined 22:32:03 > var $ repeat 'b' 22:32:04 bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb... 22:32:35 -!- carado has quit (Ping timeout: 246 seconds). 22:35:34 `run yes b | head -n 10 | xargs printf '%s' 22:35:35 bbbbbbbbbb 22:36:35 > var $ cycle "a\n" 22:36:37 a 22:36:37 a 22:36:37 a 22:36:37 a 22:36:37 a 22:36:39 [21 @more lines] 22:36:42 @more 22:36:42 a 22:36:43 a 22:36:45 a 22:36:46 love this feature 22:36:47 a 22:36:51 a 22:36:55 [16 @more lines] 22:39:17 -!- asiekierka has joined. 22:57:45 -!- aloril has joined. 22:58:58 FreeFull: `revert does _not_ take a number of revisions to revert, but the number of a revision to revert _to_. you need to look at the hg web browser to find the number. 22:59:02 `help 22:59:02 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 22:59:08 the last url there. 22:59:55 you can also revert N revisions past iirc though i forget how, I think I implemetned that 22:59:58 `revert --help 22:59:59 abort: unknown revision '--help'! 23:00:03 gj 23:01:52 -!- Nisstyre-laptop has joined. 23:02:01 oerjan: Why did you think I thought it took the number of revisions to revert 23:02:11 -!- aloril has quit (Ping timeout: 252 seconds). 23:02:13 Maybe I wanted to revert to revision 4 just to see what it was like 23:03:13 FreeFull: i tend not to assume people are pricks without evidence. 23:04:38 (some here would say even _with_ evidence. there would be more if i hadn't banned them.) 23:05:02 ...here i go again. 23:05:47 oerjan: I don't think you're being cynical enough. 23:05:57 OKAY 23:06:47 oerjan: Well, you can always go back to a revision in the future 23:06:51 I like how 4/7 of the ban list is the same person. 23:07:02 Also 2/7. 23:07:49 FreeFull: sure but if people don't notice soon enough there may be a mess of intervening information lost 23:07:56 how does one get banned from #esoteric 23:08:27 Bike: IME you have to try *really* hard. 23:08:30 (this includes PH.) 23:08:37 wait I got banned sometimes 23:08:38 > 90909 - 86400 23:08:40 4509 23:08:40 ok you have to try really hard 23:08:41 or be me 23:08:52 how does one be elliott 23:09:00 now _that_ is really hard 23:09:03 I hope we never find out. 23:21:50 -!- Taneb has quit (Quit: Leaving). 23:32:46 -!- mekeor has quit (Quit: bai bai). 23:49:07 -!- jdiez has quit (Ping timeout: 256 seconds). 23:50:28 Someone banned themself from Wikipedia for Lent. 23:52:25 -!- Fiora has quit (Quit: leaving). 23:52:27 wikipedia is harmful and addictive 23:52:56 i think i recall someone doing the similar thing on reddit 23:53:02 a previous year 23:53:06 reddit is harmful and addictive 23:54:43 monqy: is #esoteric harmful and addictive 23:54:59 of course it is! 23:55:33 what about #haskell-lens 23:55:44 "maximum addictivity??" 23:55:49 i'm afraid of haskell lens, what if i get harmed and addicted 23:57:44 or worse, addicted and harmed?? 23:58:22 zzo38: banning yourself from Wikipedia is actually banned, in case it causes collateral damage 23:58:31 strangely, banning your own bots from Wikipedia to stop them in an emergency isn't 23:58:38 -!- Bike has quit (Quit: leaving). 23:58:42 despite apparently having the same problem 23:58:53 presumably because the bans tend to be undone faster 23:59:21 ais523: Banning yourself from Wikipedia is banned? 23:59:32 ais523: O, OK, I didn't know those things before; now I do know. 23:59:47 What's the point of that? 23:59:55 shachaf: yes, in case you have a shared IP address and you happen to catch someone else in the ban