←2013-02-09 2013-02-10 2013-02-11→ ↑2013 ↑all
00:00:00 <Sgeo> ) +`- @. 0
00:00:00 <jconn> Sgeo: +
00:00:02 <Sgeo> hm
00:07:45 <oerjan> !bf [
00:08:08 <oerjan> !sh echo hi
00:08:09 <EgoBot> hi
00:08:14 <oerjan> !bf [+
00:08:19 <oerjan> fancy
00:08:28 <fizzie> ^bf [+
00:08:28 <fungot> Mismatched [].
00:08:39 <fizzie> fungot: You picky.
00:08:40 <fungot> fizzie: they say a gelatinous cube can paralyze you..." " er" " need we wait until morning then?" asked conan, eyeing his companion uneasily. " the eyes.
00:08:49 <fizzie> The eyes.
00:08:52 <oerjan> fizzie: i knew that.
00:09:06 <oerjan> ^ord Unmatched [.
00:09:06 <fungot> 85 110 109 97 116 99 104 101 100 32 91 46
00:09:10 <fizzie> oerjan: Someone just added a new entry in your learndb?
00:09:25 <oerjan> no it's pretty old
00:10:28 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds).
00:16:19 -!- Taneb has quit (Quit: Leaving).
00:20:49 <FreeFull> !sh ls
00:20:50 <EgoBot> interps \ lib \ slox
00:21:16 <FreeFull> !sh echo $SHELL
00:21:17 <EgoBot> ​/bin/sh
00:21:36 <FreeFull> !sh sh --version
00:21:37 <EgoBot> GNU bash, version 4.0.28(1)-release (x86_64-pc-linux-gnu) \ Copyright (C) 2009 Free Software Foundation, Inc. \ License GPLv3+: GNU GPL version 3 or later <http://gnu.org/licenses/gpl.html> \ \ This is free software; you are free to change and redistribute it. \ There is NO WARRANTY, to the extent permitted by law.
00:22:28 -!- carado has quit (Ping timeout: 246 seconds).
00:27:42 <oerjan> `fueue ):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$6-%0]][~~~)*[)~(:+~~-)+1]---256%):]~]][)~~[[)~[)[H]]][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][48 33H])~!]]][~)~~!]
00:27:47 <HackEgo> Unmatched [.
00:27:50 -!- WeThePeople has joined.
00:27:52 <oerjan> excellent.
00:32:32 <oerjan> `run echo testing | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)]'
00:32:34 <HackEgo> Unmatched [.
00:32:41 <oerjan> darn
00:34:27 <oerjan> oh wait the iffalse case is supposed to delete the iftrue one
00:36:41 <oerjan> `run echo testing | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)] '
00:36:43 <HackEgo> u
00:37:11 <fizzie> HackEgo: NO U
00:37:59 <oerjan> ^ord Unmatched ].
00:37:59 <fungot> 85 110 109 97 116 99 104 101 100 32 93 46
00:40:02 <shachaf> ^ord Üñµätçhëd ⁆·
00:40:02 <fungot> 195 156 195 177 194 181 195 164 116 195 167 104 195 171 100 32 226 129 134 194 183
00:40:04 <shachaf> `ord Üñµätçhëd ⁆·
00:40:06 <HackEgo> 220 241 181 228 116 231 104 235 100 32 8262 183
00:40:14 <shachaf> Maybe µ is stretching it.
00:43:10 <olsner> > "Üñµätçhëd ⁆"
00:43:11 <lambdabot> mueval: recoverEncode: invalid argument (invalid character)
00:46:39 <oerjan> `fueue ):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~]][)~~[[85 110 109 97 116 99 104 101 100 32 93 46H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][85 110 109 97 116 99 104 101 100 32 91 46H]~)~~~][]!]!]!][[0]:[[0]<:[[0]<:]][48 33H])~!][~)]
00:46:41 <HackEgo> Unmatched ].
00:46:41 -!- Phantom_Hoover has joined.
00:56:37 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
00:58:24 <oerjan> `run echo so.. | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][48 33H])~!]]][~)~~!] '
00:58:26 <HackEgo> 1!
00:58:31 <oerjan> eek
01:00:11 <shachaf> `quoerjan
01:00:13 <HackEgo> 109) <oerjan> alise: mainly it's the fact it blows so hard i cannot avoid hitting the walls of the thing, which completely goes against my basic public toilet hygiene principles \ 95) <oerjan> insufficient time dilation. try running faster. \ 16) <fungot> oerjan: are you a man, if there weren't evil in this kingdom to you! you shall find bekkler!
01:00:40 <shachaf> fungot: did you really say that
01:00:40 <fungot> shachaf: anu: anu was the most recent indian edifices.... the leucrocotta, a large and heavy and quiet boy, and there were many stones lying in what appeared to be a previously used crested helmet.
01:00:48 <shachaf> ^style
01:00:49 <fungot> Available: agora alice c64 ct darwin discworld europarl ff7 fisher fungot homestuck ic irc iwcs jargon lovecraft nethack* pa qwantz sms speeches ss wp youtube
01:01:01 <shachaf> ^style irc
01:01:01 <fungot> Selected style: irc (IRC logs of freenode/#esoteric, freenode/#scheme and ircnet/#douglasadams)
01:01:04 <shachaf> fungot
01:01:05 <fungot> shachaf: realise elinks w3m.) in our system
01:01:17 <shachaf> fungot: riddle me a riddle
01:01:18 <fungot> shachaf: if you're going to have a junk cons at the base for the eso os, i agreed to that contract, i leave.
01:04:10 <oerjan> `run echo now | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]~!]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]][~)~~!] '
01:04:12 <HackEgo> 1!
01:04:18 <oerjan> same error, hm
01:05:37 -!- Phantom_Hoover has joined.
01:09:19 -!- Phantom__Hoover has joined.
01:10:44 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds).
01:15:26 -!- augur has joined.
01:25:19 -!- augur has quit (Remote host closed the connection).
01:43:39 -!- Phantom_Hoover has joined.
01:44:20 <ais523> <FreeFull> Can you supply a non-planar graph to eodermdrone? ← at one point I considered making that a way to exit
01:44:34 <ais523> btw, "eodermdrome" is the shortest "word" that produces one
01:44:47 <FreeFull> I see
01:44:48 <ais523> (it's not actually a word)
01:44:59 <ais523> it's not mine, it was taken from the book Making The Alphabet Dance
01:45:56 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds).
01:51:57 -!- Phantom__Hoover has joined.
01:54:28 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds).
01:54:44 -!- Phantom_Hoover has joined.
01:57:08 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds).
02:27:30 <oerjan> `run echo stupid bug | fueue '):[)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[50 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!][[~)])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]][~)~~!] '
02:27:32 <HackEgo> ssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssssss
02:27:52 <shachaf> what is fueue
02:28:18 <kmc> shachaf: do you know about /proc/self/pagemap ?
02:28:51 <oerjan> first i fixed a bug above because the iffalse case needed to delete the iftrue one, then now i had to fix that the iftrue tried to delete the iffalse case.
02:28:59 <shachaf> kmc: Hmm, no.
02:29:22 <kmc> it gives you various fun info: http://www.kernel.org/doc/Documentation/vm/pagemap.txt
02:29:26 <ais523> shachaf: http://esolangs.org/wiki/Fueue
02:29:40 <ais523> why don't you just try searching esolangs.org when someone mentions something that might be an esolang
02:29:50 <kmc> in particular you can get the physical page frame number for every page you've mapped
02:30:04 <shachaf> ais523: Because searching Google works just as well and is more general.
02:30:18 <ais523> being more general is /bad/ in this case
02:30:25 <shachaf> @google fueue
02:30:27 <lambdabot> http://esolangs.org/wiki/Fueue
02:30:27 <lambdabot> Title: Fueue - Esolang
02:30:28 <ais523> you're trying to look for something in particular, not other things with the same name
02:30:29 <shachaf> Seems fine to me.
02:30:31 <ais523> @google underload
02:30:33 <lambdabot> http://www.thefreedictionary.com/Underload
02:30:33 <lambdabot> Title: Underload - definition of Underload by the Free Online Dictionary, Thesaurus and ...
02:30:36 <shachaf> @google underload esolang
02:30:38 <lambdabot> http://esolangs.org/wiki/Underload
02:30:38 <lambdabot> Title: Underload - Esolang
02:30:42 <shachaf> wfm
02:30:53 <ais523> now you're doing more typing than you need to
02:31:12 <ais523> quite a lot more, actually, because it'd take me a while to switch to a Google or DuckDuckGo search box rather than an Esolang search box
02:31:16 <shachaf> That's less typing than typing esolangs.org/wiki/Special:Search?search=fueue
02:31:18 <ais523> (seems my browser's currently set to wikipedia)
02:31:56 <monqy> @google Most ever Brainfuckiest Fuck you Brain fucker Fuck
02:31:58 <lambdabot> http://esolangs.org/wiki/Most_ever_Brainfuckiest_Fuck_you_Brain_fucker_Fuck
02:31:58 <lambdabot> Title: Most ever Brainfuckiest Fuck you Brain fucker Fuck - Esolang
02:32:01 <monqy> thank you google!
02:32:12 <ais523> it can't be a very common phrase
02:32:26 <ais523> hmm, I wonder how many esolangs don't score first in a google search
02:32:28 <ais523> @google unlambda
02:32:30 <lambdabot> http://en.wikipedia.org/wiki/Unlambda
02:32:30 <lambdabot> Title: Unlambda - Wikipedia, the free encyclopedia
02:33:00 <Jafet> @google wierd
02:33:02 <lambdabot> http://www.urbandictionary.com/define.php?term=wierd
02:33:02 <lambdabot> Title: Urban Dictionary: wierd
02:33:06 <oerjan> hey _i_ managed to get an esolang search box, and i'm using IE!
02:33:23 <Jafet> Internet Esolangs
02:33:38 <monqy> @google twoducks
02:33:41 <lambdabot> http://www.twoduckshostel.com/
02:33:41 <lambdabot> Title: Two Ducks Hostel in Rome
02:34:30 <oerjan> @google moo
02:34:31 <lambdabot> No Result Found.
02:34:34 <ais523> @google malbolge
02:34:36 <lambdabot> http://en.wikipedia.org/wiki/Malbolge
02:34:36 <lambdabot> Title: Malbolge - Wikipedia, the free encyclopedia
02:34:45 <ais523> you'd expect that to go to the esolang because it uses an unusual spelling
02:34:49 <oerjan> now _that_ was unexpected
02:34:52 <oerjan> not finding moo
02:35:00 <Jafet> @google cow
02:35:01 <lambdabot> http://en.wikipedia.org/wiki/Cattle
02:35:01 <lambdabot> Title: Cattle - Wikipedia, the free encyclopedia
02:35:08 <shachaf> @google cow on write
02:35:10 <lambdabot> http://en.wikipedia.org/wiki/Copy-on-write
02:35:10 <lambdabot> Title: Copy-on-write - Wikipedia, the free encyclopedia
02:35:25 <shachaf> There should be a feature where you get a cow when you write.
02:35:41 <kmc> yes
02:35:53 <FreeFull> You'd either have a lot of cows or not write a lot
02:35:54 <kmc> kernel patch where instead of mmap() pages containing all zeroes, they contain cowsay
02:36:19 <FreeFull> Maybe you just get the same cow over and over
02:36:38 <shachaf> `cowsay hi
02:36:39 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: cowsay: not found
02:36:41 <kmc> you get the same cow until you write to it
02:37:00 <shachaf> Hmm, that would be cow *before* write.
02:37:29 * shachaf should write that strace-for-mmapped-pages program sometime.
02:39:57 <FreeFull> 0x006f6f4d
02:41:28 <kmc> now i want to write some kind of excessively pretty interactive javascript visualizer of all the pages mapped by processes on your system and the sharing beteen them
02:42:39 <ais523> kmc: it'd probably look boring
02:42:56 <ais523> also, don't programs normally rely on mmaped pages being zeroed out?
02:44:07 <shachaf> If they just mmap a new private page for themselves, sure.
02:44:14 <shachaf> Typically sharing pages is on purpose.
02:47:39 <kmc> yeah they do rely on that, so the cow thing would break a lot of stuff
02:48:00 <shachaf> Oh, you meant the cow thing.
02:48:07 <kmc> the visualization would basically cluster programs by what libraries they use
02:48:21 <kmc> and would group instances of the same binary of course
02:48:38 <kmc> so maybe it's not totally boring, but maybe it's not that interesting to do it at page granularity instead of just looking at ldd and such
02:52:14 <oerjan> `run echo comment | run fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:)~][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] '
02:52:16 <HackEgo> bash: run: command not found
02:52:22 <oerjan> oops
02:52:27 <oerjan> `run echo comment | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[~:)~][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] '
02:52:29 <HackEgo> c
02:53:02 <oerjan> only [ left in this phase...
02:55:48 -!- DH____ has quit (Ping timeout: 248 seconds).
02:58:45 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
03:25:42 -!- WeThePeople has quit (Quit: Leaving).
03:44:30 -!- noam_ has joined.
03:46:54 -!- noam has quit (Ping timeout: 264 seconds).
04:04:26 <shachaf> oerjan: more info plz
04:04:33 <shachaf> f :: forall a b c. ((a -> b) & (b -> c)) -> a -> c
04:04:57 <shachaf> <elliott> I don't know the exact name for it... what's important to realise it that it types every untyped lambda calculus term, IIRC.
04:05:34 <oerjan> i'm not sure i recall the exact name either
04:05:58 <shachaf> well can you tell me things about it
04:06:52 <oerjan> well it has disjunction types, as above, and also a type omega which types everything.
04:07:54 <oerjan> so being typeable in itself isn't very interesting, but if you restrict _where_ omega can appear in the types, you can type precisely those lambda terms which have weakly normal forms. also typing is preserved by beta reduction - _both_ ways.
04:08:21 <shachaf> Right, that was my original question.
04:08:23 <oerjan> and terms which have _strongly_ normal forms have types that don't contain omega, iirc.
04:08:39 <oerjan> and in fact principal such.
04:09:34 <oerjan> the above type is, i believe, the principal type for church numeral 2.
04:10:12 <shachaf> That's where it came up.
04:11:32 <oerjan> and also iirc the only terms which can share that principal type are beta-eta-equivalent to the normal form
04:12:18 <oerjan> that part is a bit vaguer
04:12:55 <oerjan> lessee, \x -> x has type a -> a, naturally
04:13:35 <oerjan> \x y -> x y has type (a -> b) -> a -> b, which is a substitution of the former
04:14:10 <oerjan> so \x -> x also has that type, but not principally, which means \x y -> x y must beta-eta-reduce to \x -> x. i think.
04:14:13 <shachaf> What about \x -> x x?
04:14:46 <oerjan> ((a -> b) & a) -> b, i assume
04:15:11 <oerjan> there was an algorithm for finding the type, but i've forgotten that
04:15:44 <oerjan> it may have been in the "famous" book by barendregt: "lambda calculus, it's syntax and semantics"
04:16:58 * oerjan finds a chapter list
04:16:59 <shachaf> Lambda Calculus: What is it? It's Syntax and Semantics!
04:18:37 <oerjan> hm looking at an online version, i have doubts.
04:19:37 <oerjan> it doesn't cover types until the appendix. must be another book.
04:29:42 <oerjan> it may be called intersection types, not disjunction types
04:30:37 -!- copumpkin has joined.
04:32:36 <oerjan> shachaf: his book "Lambda calculus with types" mentions intersection types on page 449 and onwards, although i don't think it's the book i remember
04:34:40 <oerjan> oh wtf it's not my job to do a literature search for this.
04:34:53 <oerjan> (stopping now) :P
04:34:58 <shachaf> OK.
04:35:00 * shachaf was just curious.
04:35:08 <shachaf> The name "interesection types" is helpful, thanks!
04:36:19 <kmc> i read it as "intercession types"
04:36:41 <oerjan> as expected, the [ case seems to have the most awkward queue shuffling
04:37:22 <oerjan> i need to convert [pcont][reader][loopflag] into ):[reader][[loopflag])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[pcont]][loopflag true]
04:40:28 <oerjan> oh hm
04:42:45 -!- augur has joined.
05:15:06 -!- TeruFSX has joined.
05:22:52 -!- Nisstyre-laptop has quit (Ping timeout: 240 seconds).
05:25:06 -!- Nisstyre-laptop has joined.
05:38:13 <oerjan> `run yes|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[85 110 109 97 116 99 104 101 100 32 93 46H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[
05:38:14 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file
05:39:05 <oerjan> lines: too damn big
05:40:00 <oerjan> oh hm duh there's a long message
05:40:32 <oerjan> `run yes|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)]'
05:40:59 <oerjan> eep
05:41:02 <HackEgo> bash: line 1: 279 Broken pipe yes \ 280 Killed | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[
05:41:23 <oerjan> `run echo ya|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)]'
05:41:52 <HackEgo> bash: line 1: 279 Done echo ya \ 280 Killed | fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~
05:42:00 <oerjan> something tells me that's not good
05:45:35 <oerjan> oh duh it's a missing bracket
05:45:59 <oerjan> and the interpreter hangs up instead of giving an error
05:46:58 <oerjan> `run echo ya|fueue '):[)~~[~:~~~)<[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~]][)~~[)~~[)~<[<<<~(~~~<)~][)[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]])(~~)~]~~]<~[[~)~~!]):]][)~~[~:~~~)<[)~~[)$--1[)~]<~~<)<[)$%0]][):]~]][)~~[[48 33H][)~[))$11~<<~:(~:<]]~)~~~][)~~[[)~[)[H]]~!][49 33H]~)~~~][51H]!]!]!]!]!][[0]:[[0]<:[[0]<:]][50 33H])~!][~)] '
05:47:00 <HackEgo> yyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyyy
05:47:06 <oerjan> ya!
05:49:33 <monqy> not quite `yes` yet
05:49:52 <oerjan> that was actually just ,[.] in brainfuck
05:49:59 <shachaf> `yes monqy
05:50:00 <HackEgo> monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy \ monqy
05:50:04 <monqy> hi shachaf
05:50:09 <shachaf> hi
06:09:08 -!- ogrom has joined.
06:11:27 <kmc> `yes /
06:11:29 <HackEgo> ​/ \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \ / \
06:30:22 <shachaf> `? monqy
06:30:24 <HackEgo> The friendship monqy is an ancient Chinese mystery; ask itidus21 for details.
06:30:31 <monqy> hi???
06:30:33 <shachaf> `seen itidus21
06:30:37 <HackEgo> not lately; try `seen itidus21 ever
06:30:43 <shachaf> `seen itidus21 EVER
06:30:47 <HackEgo> not lately; try `seen itidus21 ever
06:30:48 <shachaf> `seen itidus21 ever
06:30:54 <HackEgo> 2012-10-13 12:14:44: <itidus21> the odd thing was me re-posting the topic with the linebreaks based on the width of my xchat window
06:35:47 -!- asiekierka has quit (Ping timeout: 248 seconds).
06:41:35 -!- asiekierka has joined.
06:44:11 <oerjan> `run echo why is this working | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]'
06:44:13 <HackEgo> why is this working
06:45:14 <oerjan> `run echo and this | fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))(($3~)<(][0]:[[0]<:[[0]<:]][3
06:45:15 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file
06:45:20 <oerjan> oops
06:45:53 <oerjan> `run echo now | fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))(($3~)<(][0]:[[0]<:[[0]<:]][33H]'
06:45:54 <HackEgo> ​ \ won
06:46:16 <oerjan> i just convinced myself , should break on NUL's...
06:51:55 <oerjan> `fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33]
06:52:10 <oerjan> fancy
06:52:26 <HackEgo> No output.
06:52:41 <oerjan> `echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33]
06:52:42 <HackEgo> hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33]
06:52:47 <oerjan> `run echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33]
06:52:48 <HackEgo> bash: -c: line 0: syntax error near unexpected token `)' \ bash: -c: line 0: `echo hm | fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] '
06:52:58 <oerjan> `run echo hm | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] '
06:53:00 <HackEgo> 104
06:56:27 -!- azaq23 has joined.
06:56:36 -!- azaq23 has quit (Max SendQ exceeded).
06:57:15 <oerjan> `fueue )[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:][0]
06:57:16 <HackEgo> 0
06:57:21 <oerjan> `fueue )[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:][33]
06:57:23 <HackEgo> 33
07:05:26 <oerjan> `run cat /dev/null | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] '
07:05:28 <HackEgo> 33
07:05:56 <oerjan> `fueue )))~$([[)[~~~~()+1])][0]$%~~1)][][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33]
07:06:27 <HackEgo> No output.
07:06:52 <oerjan> `cat -
07:07:00 <oerjan> ic
07:07:18 <oerjan> it's an accident of stdin blocking there
07:07:23 <HackEgo> No output.
07:08:46 <oerjan> oh the rev simply works because it always reads into a zero cell
07:09:42 <oerjan> hm...
07:10:09 <oerjan> `printf \n\n\n\n\n\n
07:10:11 <HackEgo> No output.
07:10:15 <oerjan> `printf \n\n\n\n\n\na
07:10:17 <HackEgo> ​ \ \ \ \ \ \ a
07:10:57 <oerjan> hah and the cat seemed to work because hackego removes trailing newlines which were what were printed by the "no change" NULs :P
07:11:31 <oerjan> `printf a\n\n\n\n\n\n
07:11:33 <HackEgo> a
07:16:09 <oerjan> i guess a bf implementation which treats EOF as NUL and no change simultaneously is a bit unusual, *cough*
07:18:05 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer).
07:19:36 -!- Nisstyre-laptop has joined.
07:23:40 <oerjan> `run echo -n why is this working | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]'
07:23:42 <HackEgo> why is this workingggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggggg
07:23:48 <oerjan> XD
07:36:27 <Sgeo> `slist
07:36:28 <HackEgo> Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
07:37:25 -!- oerjan has quit (Quit: Good night).
07:48:21 -!- stuntaneous has joined.
08:11:35 -!- sirdancealot7 has quit (Ping timeout: 244 seconds).
08:12:41 -!- ais523 has quit.
08:17:45 -!- yours_truly has joined.
08:21:08 -!- stuntane has joined.
08:24:26 -!- stuntaneous has quit (Ping timeout: 276 seconds).
08:34:34 <zzo38> <[th]s0[st]s1[nd]s2[rd]s3dBr100%d10%r10/1-1 0 1i*d3-1d0i*`0+L+>
09:01:32 -!- yours_truly has quit (Quit: Leaving).
09:06:02 -!- Taneb has joined.
09:07:44 -!- Taneb has quit (Client Quit).
09:07:58 -!- Taneb has joined.
09:12:02 <Taneb> What's Opera like as a browser
09:12:22 <shachaf> zzo38: I disagree.
09:12:48 <zzo38> shachaf: Why do you disagree?
09:17:48 <oklopol> the % should be an ¤
09:18:26 <Gregor> My sleep schedule feels pretty broken when I wake up naturally at 4AM.
09:18:35 -!- DHeadshot has joined.
09:18:39 <elliott> Gregor: it can get much worse
09:18:43 <monqy> much worse
09:18:57 <zzo38> oklopol: Then you make it like that if you want.
09:18:58 <oklopol> at some point last year i woke up at midnight and went straight to work
09:19:12 <oklopol> left at 16, went to sleep
09:19:21 <oklopol> good times
09:19:25 <Sgeo> Going to sleep at 6pm until 3am is not a good thing
09:19:36 <Sgeo> Although I've done worse than that
09:19:39 <elliott> its not that awful a thing
09:19:43 <elliott> just think of it as a real early morning
09:19:53 <elliott> it's bad if you're bad at waking up in the dark depending on location tho
09:20:02 <shachaf> zzo38: A hunch.
09:20:15 <oklopol> it's a bad thing if there are bad social/work consequences. caused me no problems.
09:20:34 <elliott> by bad I mean it makes you feel awful
09:20:37 <oklopol> nowadays i got to sleep between 22 and 23 and wake up at 8. girlfriends SUCK :(
09:21:17 <monqy> maybe a boy friend would be better
09:21:34 <oklopol> yeah we could gay up all night.
09:23:27 -!- TeruFSX has quit (Ping timeout: 276 seconds).
09:24:47 <zzo38> shachaf: What hunch?
09:25:59 <shachaf> zzo38: http://www.youtube.com/watch?v=GPdzCZdvBp0
10:23:24 -!- monqy has quit (Quit: hello).
10:24:10 -!- sirdancealot7 has joined.
10:30:45 <Taneb> shachaf, what do you make of last night's Homestuck update
10:31:04 <shachaf> Taneb: I don't read Holmes Tuck.
10:31:30 <Taneb> That's irrelevant
10:31:43 <shachaf> It's probably pretty BAD.
10:32:09 <Taneb> Yes
10:32:14 <Taneb> One character isn't wearing pants
10:32:21 <Taneb> And has been called out on it by his grandmother
10:45:16 -!- sirdancealot7 has quit (Read error: Connection reset by peer).
10:53:27 <Sgeo> And also by his granddaughter
10:53:54 <shachaf> And also by Taneb.
10:54:14 <Taneb> Sgeo, by that logic 1 is prime
10:54:41 <shachaf> i love logic
10:57:00 <Sgeo> grandmadaughter is overpowered
10:57:31 <shachaf> monoids are easy
11:01:06 <Taneb> It's such a deus ex machina for Jake and Jane
11:02:17 <Sgeo> How did Jade know what was going on, exactly?
11:02:23 <Sgeo> Is she omniscient now too?
11:02:36 <Taneb> First guardian powers
11:02:47 <Taneb> Wait, that doesn't grant omniscient
11:03:28 <shachaf> imo this is offtopic
11:03:39 <shachaf> y'all'ren't talking about esolangs
11:04:06 <Sgeo> Surely ~ATH counts
11:04:24 <Taneb> And Brazil isn't a vegetable
11:04:26 <Sgeo> Although I guess it was used for a practical purpose
11:04:57 <Taneb> What, dooming everybody Karkat ever met?
11:05:12 <Sgeo> And summoning an evil invincible demon
11:10:11 <Sgeo> shachaf, is summoning an evil invincible demon too practical for an esolang?
11:10:58 <zzo38> Sgeo: Maybe. Make it a evil invisible demon instead of invincible.
11:12:06 -!- Phantom_Hoover has joined.
11:12:17 <zzo38> "You have bitshifted the result of a boolean expression and used it as an array index to avoid using ?: or an if statement." Have you done things like that?
11:12:23 <Sgeo> Phantom_Hoover, you should try to catch up
11:12:32 <Phantom_Hoover> ugh
11:12:42 <Phantom_Hoover> i haven't followed my webcomic list for like
11:12:43 <Phantom_Hoover> ever
11:12:50 <Phantom_Hoover> well over a month
11:13:04 <Sgeo> don
11:13:09 <Sgeo> don't logread, there are spoilers
11:13:15 <Phantom_Hoover> the backlog is now a sort of mental augean stable
11:13:54 <Phantom_Hoover> wating faithfully for some sort of... hercules to wash it away in a... torrent of... reading
11:19:16 -!- Phantom_Hoover has quit (Remote host closed the connection).
11:43:44 <Sgeo> I cannot sing along with Wormsong 2011
11:43:47 <Sgeo> The lyrics are just wrong
11:45:05 <zzo38> Can you correct them?
11:47:38 <Sgeo> I can listen to Wormsong 2003 instead
11:47:52 -!- sebbu2 has joined.
11:48:07 -!- sebbu2 has quit (Changing host).
11:48:07 -!- sebbu2 has joined.
11:49:08 -!- sebbu has quit (Ping timeout: 248 seconds).
11:59:21 <Vorpal> hm what was the name of that software that HackEgo and EgoBot use for the sandbox?
11:59:47 <elliott> UMLBox
12:03:12 <Vorpal> ah
12:03:13 <Vorpal> thanks
12:03:21 <Vorpal> elliott, he wrote that himself right?
12:03:35 <Vorpal> yeah
12:04:07 <elliott> yeah
12:04:17 <FreeFull> Hey, why is
12:04:23 <Vorpal> no package in debian for it :/
12:04:31 <FreeFull> Hey, why is (=>>) not part of the Comonad instance in Control.Comonad ?
12:04:38 <Vorpal> elliott, what was the old one? That was based on some crazy debian-only thingy
12:04:56 <elliott> plash
12:05:03 <elliott> FreeFull: It's defined separately.
12:05:08 <Vorpal> I forgot what was wrong with plash
12:05:08 <FreeFull> Doesn't this mean you can't define your own, and have to rely on the built-in definition?
12:05:10 <elliott> "extend" is equivalent.
12:05:15 <elliott> (It's just flipped.)
12:05:16 <FreeFull> Ah
12:05:27 <FreeFull> (=>>) = flip extend ?
12:05:44 <FreeFull> Fair enough
12:07:37 <FreeFull> Oh, right
12:08:37 <FreeFull> I know why fail "something" :: Either String a doesn't return Left "something" but it's inconvienient
12:09:02 <FreeFull> I guess you'd want a separate monad that constricts the failure value to a string?
12:09:57 <elliott> If you can avoid fail you probably should.
12:10:34 <FreeFull> True
12:11:09 <FreeFull> For Boolean I can think of two monoid instances, And and Or. Would Xor work as a monoid instance too?
12:11:25 <Taneb> No, there's no identity
12:11:32 <shachaf> Yes there is?
12:11:32 <FreeFull> Ah, yeah
12:11:37 <Taneb> Is there?
12:11:38 <FreeFull> 0 is the identity
12:11:41 <Taneb> Of course
12:11:42 <Taneb> :(
12:11:44 <FreeFull> Well, False
12:11:54 <elliott> FreeFull: Any/All are the newtype wrappers for those Monoid instances
12:12:38 <FreeFull> I don't think Nor or Nand are monoids
12:12:57 <elliott> shachaf: Is xor actually a monoid?
12:13:03 <elliott> semigroups defines xor for non-empty lists.
12:13:06 <elliott> I presume there's a reason for that.
12:13:25 <shachaf> Because it's semigroups?
12:13:31 <elliott> shachaf: It doesn't define and/or/etc.
12:13:33 <elliott> Just xor.
12:13:46 <shachaf> The Prelude defines and/or/etc. but not xor
12:14:24 <elliott> Are you suggesting it has xor even though you can (in this hypothetical) define xor perfectly normally and well-behavedly on full lists just for the hell of it, despite not having anything else like that?
12:14:29 <elliott> It's edwardk, he'd define the [] version.
12:14:34 <elliott> Why restrict it unless it has to be?
12:15:07 <FreeFull> Let me look up the monoid laws
12:15:18 <shachaf> Maybe xor is a useful operation on nonempty lists in particular?
12:15:49 <elliott> @check True
12:15:50 <FreeFull> xor does seem to follow the laws
12:15:52 <lambdabot> Not in scope: `myquickcheck'
12:15:54 <elliott> Ugh.
12:16:14 <shachaf> elliott: xor is the most well-behaved operation in the world.
12:16:34 <shachaf> (Bool,False,(/=)) is definitely a monoid.
12:17:00 <elliott> Hmm.
12:17:03 <elliott> So what's up with that?
12:17:36 <FreeFull> Well, monoids are semigroups
12:17:52 <FreeFull> And someone probably didn't like xor being a monoid
12:20:39 <shachaf> xor is so great
12:20:41 <shachaf> a^b=c
12:20:43 <shachaf> b^a=c
12:20:47 <shachaf> c^a=b
12:20:49 <shachaf> a^c=b
12:20:51 <shachaf> b^c=a
12:20:58 <shachaf> c^b=a
12:21:02 <FreeFull> Yes
12:21:03 <shachaf> All of those mean the same thing!
12:21:36 <FreeFull> Assuming a, b and c don't get modified or are distinct
12:24:22 <shachaf> xor isn't short-circuiting, sadly.
12:24:27 <shachaf> Well, I guess that's not so sad.
12:25:13 <elliott> shachaf: What should the newtype for Xor be called?
12:25:15 <elliott> All, Any, ...?
12:25:57 <shachaf> Odd?
12:26:06 <elliott> That feels about numbers.
12:26:42 <shachaf> It doesn't need a newtype.
12:27:28 <elliott> Sure it does.
12:32:10 <shachaf> Unbalanced.
12:32:19 <shachaf> Hmm, no, that's just wrong.
12:37:27 <FreeFull> Flip?
12:40:54 <Sgeo> Toggle
12:40:56 <Sgeo> Hmm, no
12:41:08 <Sgeo> Toggle may be better than Flip but only 1 toggles
12:41:10 -!- zzo38 has quit (Remote host closed the connection).
12:41:33 <FreeFull> Exclusive?
12:44:31 -!- sebbu2 has changed nick to sebbu.
13:00:01 -!- hagb4rd has quit (Quit: Nettalk6 - www.ntalk.de).
13:11:06 -!- hagb4rd has joined.
13:23:38 <hagb4rd> @tell kmc darn! you forgot to turn off the light in the refrigerator once again.
13:23:38 <lambdabot> Consider it noted.
13:27:47 <FreeFull> If monads are monoids, are comonads comonoids?
13:28:31 <shachaf> Aren't comonads also monoids, or something?
13:33:33 -!- carado has joined.
13:34:31 <elliott> It's unlikely anything is a comonoid.
13:35:23 <Taneb> A comonoid, you'd have to split it, right?
13:35:38 <Taneb> And everything splits into comempty and itself
13:36:07 <elliott> I hear comonoids are completely boring in Hask.
13:36:17 <elliott> You end up with x -> (x, x) where the laws require \x -> (x, x) or something.
13:36:51 <shachaf> elliott: Are you sure about that second part?
13:37:09 <elliott> I think that's what edwardk told me.
13:37:13 <elliott> Certainly x -> (x, x) is an interesting type.
13:37:24 <elliott> e.g. splitting name supplies
13:45:28 -!- carado has quit (Remote host closed the connection).
13:49:42 -!- carado has joined.
13:52:44 -!- ogrom has quit (Quit: Left).
14:02:31 -!- hagb4rd has quit (Quit: Nettalk6 - www.ntalk.de).
14:03:33 <FreeFull> elliott: Wouldn't that not apply with the restraint Comonoid x
14:04:00 <elliott> ?
14:04:13 <FreeFull> And the behaviour would depend on the comonoid instance of x, rather than always leading to \x -> (x,x)
14:04:31 * elliott doesn't know what's unclear about "where the laws require \x -> (x, x)"
14:04:54 <FreeFull> What are the comonoid laws?
14:05:40 <FreeFull> Lessee
14:06:50 <shachaf> Shouldn't the dual of (a,a) -> a be a -> Either a a?
14:07:13 <Taneb> Ssh
14:08:20 -!- DHeadshot has quit (Ping timeout: 248 seconds).
14:08:54 <FreeFull> For the Sum monoid, mappend a b = c has an infinite number of values for a and b that will produce c
14:09:20 -!- hagb4rd has joined.
14:09:56 <FreeFull> So I'm thinking the Comonoid instance would have something like comappend c = ([0,1..],[c,c-1..])
14:10:01 <FreeFull> Although that might not make sense
14:10:29 <FreeFull> Well, technically ([comempty,comempty+1..],[c,c-1..])
14:14:35 <elliott> comempty would be x -> ().
14:17:05 -!- DHeadshot has joined.
14:49:10 -!- Phantom_Hoover has joined.
14:54:48 <Phantom_Hoover> i...
14:54:57 <Taneb> you...
14:55:02 <Phantom_Hoover> think i just had haute cuisine haggis
14:55:11 <Taneb> My god
14:55:22 <Taneb> In Warwick!?
14:55:38 <Phantom_Hoover> no, i was back home for the weekend
14:55:54 <Phantom_Hoover> also don't let the name fool you, the university of warwick is in coventry
14:56:18 <Taneb> :O
15:03:23 <Phantom_Hoover> OK
15:03:43 <Phantom_Hoover> is it just me, or is it incredibly, pointlessly hard to get a USB headset working on Arch?
15:08:21 <Phantom_Hoover> i am now restarting
15:08:25 <Phantom_Hoover> to get some fucking headphones working
15:08:31 -!- Phantom_Hoover has quit (Remote host closed the connection).
15:11:09 -!- TeruFSX has joined.
15:11:34 -!- Phantom_Hoover has joined.
15:36:43 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer).
15:36:50 <Phantom_Hoover> i feel like as i move south the scenery should get less snowy, not more
15:38:17 -!- WeThePeople has joined.
15:38:37 <Gregor> My Little Haskell: Lenses are Magic
15:38:40 <Gregor> *wheeeeeeeeew*
15:38:46 <Gregor> I had to say that somewhere, better here than there.
15:41:00 -!- Nisstyre-laptop has joined.
15:42:03 <hagb4rd> look like you run a little late. lens have been completely demystified in that channel.
15:42:39 <hagb4rd> gregor: have you done sth usefull using lens?
15:42:54 <Gregor> I don't Haskell much.
15:43:19 -!- DHeadshot has quit (Read error: Connection reset by peer).
15:43:28 -!- DH____ has joined.
15:49:42 <hagb4rd> gregor: have you got your new accordion?
15:50:23 <Gregor> I got one in Indiana, if that's what you mean, but it's kind of meh.
15:50:34 <Gregor> I'm still looking for (and not finding) a better one.
15:51:50 -!- WeThePeople has quit (Quit: Leaving).
15:52:59 <hagb4rd> yes, it's hard at least in that low-price-class
15:53:16 <Gregor> Indeed *sigh*
15:54:28 -!- Gracenotes has quit (Ping timeout: 248 seconds).
15:54:35 <hagb4rd> and some 2nd hand instruments seems to be more expensive than the fresh-manufactured
15:57:29 <Gregor> If they're being sold by someone who knows what they're selling, yeah.
15:57:42 <Gregor> But I'm in the "what the heck is this, I'll just invent a price" market ;)
16:15:14 -!- WeThePeople has joined.
16:24:36 -!- DH____ has quit (Read error: Connection reset by peer).
16:24:44 -!- DHeadshot has joined.
16:29:19 -!- DHeadshot has quit (Ping timeout: 256 seconds).
16:30:13 <augur> http://network-tools.com/default.asp?prog=express&host=216.81.59.173
16:30:18 <augur> this is something one of you people would do
16:30:57 <FreeFull> Is [] a free monad?
16:31:08 <augur> no
16:31:17 <augur> the free monad is the term monad
16:32:24 <augur> [] is the free monoid functor tho
16:33:36 <FreeFull> I wonder when Haskell people realised "Hey, we can create a monad instance"
16:33:40 <FreeFull> Wait, no
16:33:42 <FreeFull> monad class
16:34:11 <augur> after moggi
16:34:38 <augur> moggi wrote some stuff, wadler read it and was impressed
16:51:12 -!- augur has quit (Remote host closed the connection).
16:55:10 <FreeFull> Hmm, the first moggi paper on monads seems to be from 1988
17:09:29 -!- carado has quit (Remote host closed the connection).
17:10:01 -!- carado has joined.
17:16:09 -!- Gracenotes has joined.
17:23:46 -!- DHeadshot has joined.
17:28:09 -!- hagb4rd has quit (Quit: Nettalk6 - www.ntalk.de).
17:35:37 -!- DHeadshot has quit (Ping timeout: 256 seconds).
17:36:50 -!- Taneb has quit (Read error: Connection reset by peer).
17:37:27 -!- DHeadshot has joined.
17:39:08 -!- hagb4rd has joined.
17:39:52 -!- Taneb has joined.
17:42:01 -!- DHeadshot has quit (Read error: Connection reset by peer).
17:42:21 -!- DHeadshot has joined.
17:49:16 -!- WeThePeople has quit (Quit: Leaving).
17:55:34 -!- augur has joined.
17:56:20 * Sgeo is starting to get a hatred of channels that don't put freenode staff on the access list
18:00:51 -!- Taneb has quit (Quit: Leaving).
18:04:15 -!- sirdancealot has joined.
18:09:13 <Phantom_Hoover> Sgeo, wat
18:10:13 <fizzie> I suppose that's a roundabout way of saying #esoteric.
18:10:16 <Sgeo> There's someone in #scala with a horribly broken connection, and no ops online, and #freenode can't do anything because they're not on the access list
18:10:24 -!- hagb4rd has quit (Ping timeout: 264 seconds).
18:10:28 <Sgeo> I think #esoteric has freenode staff on the access list
18:10:43 <Sgeo> -ChanServ- 6 freenode-staff +AFRfiorstv [modified 34 weeks, 1 day, 03:31:10 ago]
18:10:58 <Sgeo> I don't know if that line, without the ... hostmask thing, is effective or not
18:11:17 <fizzie> That seems a relatively recent thing.
18:11:41 <fizzie> I didn't even know it was a recommended practice. It certainly hasn't been.
18:11:58 <Phantom_Hoover> is that the result of the Plazma Incursion
18:12:48 -!- hagb4rd has joined.
18:15:23 <Sgeo> I don't know which one is a recommended practice
18:16:45 <fizzie> "Staff can be given access by providing [nick] as "*!*@freenode/staff/*".", on the Using the Network page.
18:16:52 -!- oklofok has quit (Ping timeout: 248 seconds).
18:16:53 <fizzie> I suppose it's a reasonably neutral statement, though.
18:17:28 <fizzie> #freenode has both "*!*@freenode/staff/*" and "freenode-staff" on the list.
18:17:29 -!- oklofok has joined.
18:18:24 <Sgeo> After seeing #scala , and a similar situation in the past, I have a strong preference
18:19:56 <fizzie> I see "freenode-staff" is nowadays our founder, too; might explain why it's on the list.
18:20:32 -!- DHeadshot has quit (Read error: Connection reset by peer).
18:20:45 -!- DHeadshot has joined.
18:25:54 -!- DHeadshot has quit (Read error: Connection reset by peer).
18:36:02 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds).
18:43:41 <Vorpal> !help
18:43:42 <EgoBot> ​help: General commands: !help, !info, !bf_txtgen. See also !help languages, !help userinterps. You can get help on some commands by typing !help <command>.
18:43:46 <Vorpal> !info
18:43:47 <EgoBot> ​EgoBot is a bot for running programs in esoteric programming languages. If you'd like to add support for your language to EgoBot, check out the source via mercurial at https://codu.org/projects/egobot/hg/ . Cheers and patches (preferably hg bundles) can be sent to Richards@codu.org , PayPal donations can be sent to AKAQuinn@hotmail.com , complaints can be sent to /dev/null
18:43:57 <Vorpal> `help
18:43:58 <HackEgo> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
18:44:02 <Vorpal> hm
18:44:17 <Vorpal> where is the hack ego bot code repo, as opposed to the file system repo
18:46:00 <Vorpal> specifically I'm looking for how he set up umlbox
18:50:08 <Gregor> Vorpal: http://bitbucket.org/GregorR/hackbot
18:50:23 <Vorpal> thanks
18:50:45 <Vorpal> Gregor, that does not contain the call to umlbox?
18:50:56 <Vorpal> Gregor, which is what I was looking for
18:51:08 <Vorpal> Gregor, specifically how you set up the socket stuff
18:51:21 <Vorpal> Gregor, because that umlbox-mudem has me confused
18:51:25 <Gregor> That DOES contain the call to umlbox.
18:51:38 <Gregor> If you want to know how umlbox itself works, then look at the umlbox code.
18:51:39 <Vorpal> oh not in runner.sh?
18:51:56 <Vorpal> I thought you ran umlbox outermost
18:52:16 <Gregor> No, it runs a umlbox per call.
18:52:25 <Vorpal> aaah
18:52:25 <Gregor> `uptime
18:52:29 <HackEgo> ​ 18:52:27 up 0 min, 0 users, load average: 0.00, 0.00, 0.00
18:52:32 <Gregor> `uptime
18:52:33 <HackEgo> ​ 18:52:33 up 0 min, 0 users, load average: 0.00, 0.00, 0.00
18:53:16 <Vorpal> `run echo $HOME
18:53:17 <HackEgo> ​/tmp
18:53:41 <Vorpal> Gregor, so where do you use the mudem thing?
18:53:58 <Gregor> mudem is all handled by umlbox, it's just the -R in the args that make it run.
18:54:12 <Vorpal> ah
18:54:22 <Gregor> The problem is that uml doesn't provide an especially reliable pipe to/from the host.
18:54:29 <Vorpal> Gregor, but what about direct connections to the internet? Is that possible at all?
18:54:33 <Vorpal> from inside the box
18:54:35 <Gregor> No.
18:54:38 <Gregor> That's kinda the idea.
18:54:52 <Vorpal> Gregor, well I was wondering if it was possible to set that up
18:54:54 <Vorpal> oh well
18:54:59 <Gregor> It'd be possible to set it up with, say, a SOCKS proxy.
18:55:15 <Gregor> If you want direct connections, you could adjust it to make umlbox use slip.
18:55:19 <Vorpal> hm I guess I could use -R and then an socat in my case
18:55:33 <Vorpal> Gregor, slip? lol what?
18:55:53 <Vorpal> is that a pre-PPP thingy?
18:56:31 <Gregor> Yes, but there's a program, the name of which I forget, that simulates a whole network stack for one end of a slip connection. UML and Qemu both use/include a derivative of it.
18:56:42 <Vorpal> oh, nice
18:56:43 <fizzie> Slirp, I guess?
18:56:49 <Gregor> That's what I was looking for.
18:56:56 <Vorpal> Gregor, I thought qemu used a virtual ethernet adapter?
18:57:04 <Gregor> Yes, but that connects to slirp.
18:57:10 <Vorpal> and then a tun interface on the host
18:57:13 <Vorpal> really? okay
18:57:17 <Gregor> You can use tun if you want.
18:57:21 <Gregor> Or you can hook it to slirp.
18:57:24 <Gregor> slirp is all usermode.
18:57:24 <Vorpal> I see
18:57:29 <Vorpal> fair enough
18:57:44 <Vorpal> well I think -R and an socat would work for my case
18:57:47 <fizzie> Oh, I didn't know qemu's user-mode networking was a SLIRP derivative.
18:57:49 <fizzie> Fancy.
18:58:46 <Vorpal> wait.. -R takes a host?
18:58:53 <Vorpal> does that mean I don't need a socat in between
18:58:59 <Vorpal> if I want to connect to just one fixed host
19:00:04 <Gregor> Yeah, -R8080:google.com:80 would give you a pipe to google.
19:00:05 <Vorpal> Gregor, so I would say connect to, say, 127.0.0.1:1234 in the box, then put in -R1234:example.org:80?
19:00:07 <Vorpal> yeah
19:00:13 <Vorpal> perfect
19:00:16 <Vorpal> any plans for ipv6?
19:00:36 <Gregor> I don't think there's anything particularly missing for it, would just need to be integrated into mudem.
19:00:46 <Vorpal> fair enough, not a pressing need for me
19:00:49 <Gregor> The big issue is that the mudem is unreliable because there's no initial handshake...
19:00:50 <Vorpal> was just curious
19:00:59 <Vorpal> Gregor, oh?
19:01:15 <Gregor> UML doesn't provide a reliable pipe into/out of the virtual system, like I mentioned.
19:01:23 <Vorpal> ah
19:01:24 <Gregor> So to make it not suck, you need some kind of handshake between them.
19:01:33 <Gregor> I never bothered to make that work properly, so mudem is spotty.
19:01:36 <Vorpal> so what do you use for your bots then?
19:01:45 <Gregor> I use that, it just sucks.
19:01:49 <Vorpal> ah
19:11:18 <Vorpal> Gregor, so in what ways is it unreliable
19:11:22 <Vorpal> what can I expect failing
19:12:57 <Vorpal> Gregor, hm it just says "Terminated"?
19:13:44 <Vorpal> Gregor, when I try to use -R
19:14:29 <Vorpal> Gregor, and without said forwarding it is of no use to me
19:14:30 <Vorpal> sigh
19:15:45 <Vorpal> Gregor, I don't know how to debug python :/
19:16:08 * Gregor reappears.
19:16:14 <Vorpal> thank god
19:16:25 <Gregor> Generally speaking, mudem will work "fine" if you put some time between starting the session and actually trying to use a connection.
19:16:29 <Vorpal> #whenever I try to use -R it just says terminated, I'm trying to use it to a remote
19:16:33 <Vorpal> oh okay
19:16:37 <Vorpal> I will try add a sleep then
19:16:42 <Gregor> No guarantees X-D
19:16:51 <Gregor> (Like I said, unreliable)
19:16:51 <Vorpal> Gregor, err nope
19:16:59 <Vorpal> Gregor, I tried to forward a port and run ls
19:17:02 <Vorpal> it just said terminated
19:17:12 <Vorpal> so this is not THAT issue it seems
19:17:18 <Gregor> And if you do it without port forwarding, it works?
19:17:23 <Vorpal> yep
19:17:34 <Gregor> Run it with -v then
19:17:36 <Vorpal> -R6697:myircserver:6697 is what I tried
19:17:55 <Vorpal> Gregor, kernel panic in uml
19:18:01 <Vorpal> let me pastebin
19:19:08 <Vorpal> Gregor, I'm using the debian uml package kernel as the README suggested
19:19:11 <Vorpal> does that matter?
19:19:17 <Gregor> Should work.
19:19:22 <Vorpal> Gregor, anyway, here it is but replaced with google http://sprunge.us/ghVK
19:19:27 <Vorpal> Gregor, also I use debian testing
19:20:10 <Gregor> Well that's strange >_O
19:20:15 <Vorpal> arvid@tux /tmp $ $HOME/local/umlbox/bin/umlbox -v -B -R6697:google.com:6697 --copy-cwd ls
19:20:17 <Gregor> What happens if you use -n < /dev/null ?
19:20:18 <Vorpal> that was the command
19:20:25 <Vorpal> Gregor, on which part?
19:20:33 <Vorpal> after ls?
19:20:38 <Gregor> Use -n as an option, and append < /dev/null
19:20:41 <Gregor> Don't put the -n after ls :)
19:20:54 <Vorpal> same crash
19:21:10 <Vorpal> Gregor, 64-bit debian testing
19:21:42 <Vorpal> Gregor, if I remove the forward it works just fine
19:22:14 <Gregor> Oh look, it fails for me too X-D
19:22:20 <Vorpal> okay
19:22:27 <Vorpal> Gregor, so you don't use this feature then?
19:22:36 <Vorpal> now what do I do :/
19:22:38 <Vorpal> plash?
19:23:38 <Gregor> I guess X-D
19:23:43 <Gregor> G'luck installing it.
19:23:51 <Gregor> This is really weird. Why is it working on codu X-D
19:23:52 <Vorpal> Gregor, you aren't going to fix this right now?
19:23:58 <Vorpal> oh well
19:24:07 -!- impomatic has quit (Read error: Connection reset by peer).
19:24:08 <Vorpal> Gregor, I have no idea where to even start to look
19:24:19 <Vorpal> Gregor, but if you find out what differs on codu, please tell me
19:26:37 <Vorpal> !c char*a,b[9999];main(){gets(a=b);while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:26:42 <EgoBot> No output.
19:27:15 <Vorpal> !c char*a,b[9999]="test string";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:27:17 <EgoBot> est string
19:27:26 <Vorpal> well, that was fairly boring
19:27:41 <Gregor> It does more, but you need an interesting input X-D
19:28:05 <Vorpal> !c char*a,b[9999]="THIS... IS... INTERESTING!";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:28:08 <EgoBot> HIS... IS... INTERESTING!
19:28:13 <Vorpal> Gregor, nope!
19:29:34 <Vorpal> Gregor, any suggestions for more interesting inputs?
19:29:42 <Vorpal> !c char*a,b[9999]="654321";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:29:45 <EgoBot> 54321
19:29:53 <Vorpal> !c char*a,b[9999]="123456";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:29:55 <EgoBot> 23456
19:30:08 <Vorpal> !c char*a,b[9999]="121212";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:30:10 <EgoBot> 21212
19:30:13 <Vorpal> !c char*a,b[9999]="111121212";main(){a=b;while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);}
19:30:16 <EgoBot> 11121212
19:30:28 <Vorpal> Gregor, I give up
19:30:41 -!- augur has quit (Remote host closed the connection).
19:31:21 <Gregor> Vorpal: It's subleq you nut
19:31:30 <Vorpal> oh okay
19:31:37 <FreeFull> What are you trying to do?
19:31:41 <Vorpal> I'm too tried to read that sort of C code today
19:31:48 <Vorpal> FreeFull, live a successful life?
19:32:03 <Gregor> Being in #esoteric is your first mistake ;)
19:32:21 <Vorpal> hah
19:32:27 <Vorpal> anyway
19:32:42 <Vorpal> Gregor, what version of debian is on codu?
19:32:57 <Gregor> `cat /etc/debian_version
19:32:58 <HackEgo> cat: /etc/debian_version: No such file or directory
19:33:04 <Gregor> Hm, really thought that might work X-D
19:33:18 <Vorpal> $ cat /etc/debian_version
19:33:18 <Vorpal> 7.0
19:33:26 <Gregor> Yeah, it's running testing.
19:33:31 <Deewiant> `lsb_release -a
19:33:32 <Vorpal> okay
19:33:34 <HackEgo> No LSB modules are available. \ Distributor ID:Debian \ Description:Debian GNU/Linux \ Release:n/a \ Codename:n/a
19:33:42 <Vorpal> n/a
19:33:43 <Vorpal> yeah
19:33:44 <Vorpal> right
19:34:01 <hagb4rd> `run lsb_release -a
19:34:03 <HackEgo> No LSB modules are available. \ Distributor ID:Debian \ Description:Debian GNU/Linux \ Release:n/a \ Codename:n/a
19:34:13 <Vorpal> `uname -a
19:34:14 <HackEgo> Linux umlbox 3.0.8-umlbox #2 Sun Nov 13 21:30:28 UTC 2011 x86_64 GNU/Linux
19:34:24 <Vorpal> hm 64-bit too
19:34:26 <Vorpal> so uh
19:35:14 <Vorpal> $ ~/local/umlbox/bin/umlbox -B uname -a
19:35:14 <Vorpal> Linux (none) 3.2.35 #2 Fri Jan 4 23:20:55 UTC 2013 x86_64 GNU/Linux
19:35:15 <Vorpal> wait what
19:35:20 <Vorpal> hm
19:35:24 <Vorpal> Gregor, different kernel
19:35:39 <Vorpal> $ uname -a
19:35:40 <Vorpal> Linux tux 3.2.0-4-amd64 #1 SMP Debian 3.2.35-2 x86_64 GNU/Linux
19:35:41 <Vorpal> so yeah
19:36:05 <Vorpal> huh, no build date?
19:36:35 <Vorpal> Gregor, where did you get the kernel from on codu? And can you put up a copy of that so I can test with that
19:39:36 <Gregor> On codu I'm using the kernel that umlbox builds if you ask it to.
19:39:44 <Gregor> But I'm using that here too.
19:40:41 <Vorpal> hm okay
19:40:44 <Vorpal> so it isn't that then
19:40:50 <Vorpal> Gregor, any sysctl differences?
19:40:52 <Vorpal> or such
19:40:56 <Vorpal> iptables setup?
19:41:29 <Gregor> It seems to have something to do with using the ttys in uml, not networking.
19:42:03 <Vorpal> Gregor, okay, how do I deal with that?
19:42:14 <Vorpal> Gregor, not run it interactively?
19:42:30 <Gregor> That's why I was suggesting -n < /dev/null
19:42:44 <Vorpal> well that didn
19:42:49 <Gregor> Yeah, I know.
19:42:50 <Vorpal> didn't* do a difference
19:43:07 <Vorpal> Gregor, anyway it is using that -R line that triggers it
19:43:24 <Gregor> Yes, I'm aware.
19:43:27 <Gregor> Like I said, I can repro.
19:43:31 <Vorpal> so how is it tty related
19:43:33 <Vorpal> :/
19:43:39 <Gregor> The mudem attaches via tty.
19:43:43 <Vorpal> aha
19:47:05 <Vorpal> Gregor, the README: "Alternatively, you may extract Linux 3.4.4 to umlbox/linux-3.4.4 (substitute
19:47:06 <Vorpal> "
19:47:14 <Vorpal> Gregor, yet you have 3.0.8 on the server
19:47:26 <Vorpal> Gregor, are you sure you have 3.0.8 locally?
19:47:31 <Vorpal> if not that could be the difference
19:47:34 <Gregor> Locally I certainly don't.
19:47:43 <Gregor> I doubt that that's the difference, but anything's possible.
19:47:49 <Vorpal> Gregor, well maybe that it is, why not try the kernel from there?
19:47:53 <Vorpal> for umlbox
19:48:02 <Gregor> Because I'm doing other stuff and intend to debug later X-D\
19:49:29 <Vorpal> Gregor, upload that kernel for me and I'll test it
19:50:02 <Gregor> http://codu.org/tmp/umlbox-linux
19:50:18 <Vorpal> Length: 2597176 (2,5M) [text/plain]
19:50:19 <Vorpal> hrrm
19:50:34 <Vorpal> bc4ca95329341d20e92b702d5f6f8695 umlbox-linux
19:50:37 <Vorpal> correct md5sum?
19:50:46 <Gregor> Yup
19:52:26 <Vorpal> Gregor, that did it
19:52:32 <Vorpal> well
19:52:41 <Vorpal> it now complains about the initramfs
19:52:49 <Vorpal> or wait
19:52:50 <Vorpal> no
19:52:52 <Vorpal> nvm
19:52:53 <Gregor> Soooooo, that made it fail in a different way? X-D
19:53:00 <Vorpal> Gregor, permission issues on the file
19:53:09 <Vorpal> I guess umlbox-linux needs to be executable
19:53:11 <kmc> md5 :(
19:53:11 <lambdabot> kmc: You have 1 new message. '/msg lambdabot @messages' to read it.
19:53:29 <Vorpal> Gregor, yeah still crash
19:53:44 <Vorpal> Gregor, so no such luck
19:54:51 -!- ais523 has joined.
19:54:59 <ais523> @messages?
19:54:59 <lambdabot> Sorry, no messages today.
19:55:48 <Vorpal> ais523, hi
19:56:11 <Vorpal> bbl
19:57:09 <ais523> hi
19:57:11 <ais523> and bye
19:59:38 -!- monqy has joined.
20:13:30 -!- augur has joined.
20:14:52 -!- oerjan has joined.
20:15:59 <Vorpal> ais523, back'
20:16:01 <Vorpal> back*
20:16:08 <ais523> wb
20:18:01 -!- pikhq has quit (Ping timeout: 244 seconds).
20:18:10 -!- pikhq has joined.
20:25:03 <Sgeo> `slist no actual update, but the RSS feed changed
20:25:04 <HackEgo> Taneb atriq Ngevd Fiora nortti Sgeo ThatOtherPerson alot
20:25:13 <Sgeo> Currently trying to see what
20:25:22 <Vorpal> what does slist do
20:25:33 <Vorpal> `type slist
20:25:34 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: type: not found
20:25:39 <Vorpal> `run type slist
20:25:40 <HackEgo> slist is /hackenv/bin/slist
20:25:53 <Vorpal> `run url /hackenv/bin/slist
20:25:56 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip//hackenv/bin/slist
20:26:00 <Vorpal> `run url bin/slist
20:26:02 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/slist
20:26:16 <Vorpal> oh I see
20:26:36 <Vorpal> Sgeo, what is the point of that
20:31:27 <Sgeo> Ping people when Homestuck updates
20:33:56 <Vorpal> ah
20:34:27 -!- Phantom_Hoover has joined.
20:34:31 <Vorpal> night
20:35:16 <Sgeo> night
20:41:25 -!- zzo38 has joined.
20:52:08 -!- sebbu2 has joined.
20:52:09 -!- sebbu2 has quit (Changing host).
20:52:09 -!- sebbu2 has joined.
20:52:15 -!- sebbu has quit (Ping timeout: 256 seconds).
20:53:27 <oerjan> 12:10:34: <FreeFull> True
20:53:27 <oerjan> 12:11:09: <FreeFull> For Boolean I can think of two monoid instances, And and Or. Would Xor work as a monoid instance too?
20:53:43 <zzo38> XOR is a monoid too.
20:53:46 <oerjan> and, or, xor, and the dual of xor (eqv or something?)
20:53:55 <FreeFull> Yes, we did talk about xor
20:53:57 <oerjan> zzo38: yes that was mentioned, i just wanted to add one
20:54:04 <zzo38> You can do boolean XOR in Haskell using (/=)
20:54:46 <FreeFull> And != in C
20:55:30 <zzo38> Yes, if you are using actual booleans
20:55:31 <kmc> xor is addition mod 2
20:55:43 <kmc> so yes it's a monoid and a group
20:56:07 <kmc> 'and' is multiplication on the same elements
20:56:27 <oerjan> False * x = x and x * False = x leaves only True * True to vary, so Or and Xor are the only ones with identity False, by duality And and Eqv are the only ones with identity True
20:56:36 <kmc> together you have the finite field of size 2
20:58:07 <Sgeo> In J, b. can be used for all possible binary boolean functions
20:59:01 <Sgeo> 1 (2b.) 0
20:59:06 <Sgeo> ) 1 (2b.) 0
20:59:06 <jconn> Sgeo: |ill-formed number
20:59:11 <Sgeo> ) 1 (2 b.) 0
20:59:11 <jconn> Sgeo: 1
20:59:42 <Sgeo> http://www.jsoftware.com/docs/help701/dictionary/dbdotn.htm
21:00:09 <oerjan> i suppose the dual of xor doesn't have a settled name since C doesn't include an operator for it.
21:00:35 <Sgeo> ==?
21:00:43 <oerjan> bitwise, Sgeo
21:00:53 -!- Phantom_Hoover has quit (Remote host closed the connection).
21:01:40 <oerjan> googling "names of boolean operators" gives wikipedia's C operators on top :(
21:01:55 <Sgeo> a xor b xor all1
21:01:57 <Sgeo> ?
21:02:14 <oerjan> a _name_ Sgeo, not an expression.
21:02:32 <oerjan> a name when spoken, to be precise.
21:02:38 -!- Phantom_Hoover has joined.
21:03:15 <FreeFull> http://en.wikipedia.org/wiki/Logical_connective#Common_logical_connectives
21:04:07 <oerjan> ah i found "XNOR"
21:05:02 <oerjan> or that.
21:05:17 * oerjan is grumpy today, if you cannot tell.
21:08:45 <oerjan> <shachaf> Maybe xor is a useful operation on nonempty lists in particular? <-- given that x xor x is empty, it wouldn't be closed...
21:10:55 <oerjan> or is that an analogue to or and and, so gives a boolean? still makes no sense to require nonemptiness indeed
21:20:22 -!- ais523 has quit (Read error: Operation timed out).
21:20:56 -!- sebbu has joined.
21:20:57 -!- sebbu has quit (Changing host).
21:20:57 -!- sebbu has joined.
21:21:09 <oerjan> <Sgeo> -ChanServ- 6 freenode-staff +AFRfiorstv [modified 34 weeks, 1 day, 03:31:10 ago] <-- i vaguely suspect that happened when andreou got deregistered, and freenode-staff automatically became the new founder
21:21:43 -!- sebbu2 has quit (Ping timeout: 256 seconds).
21:21:49 <Sgeo> It was 6th on the list though
21:22:00 <oerjan> yes but it has the F founder flag
21:24:09 <oerjan> fizzie: ^
21:25:26 <kmc> all hail lord xnor
21:25:46 <oerjan> xnor the notorious
21:27:56 -!- DHeadshot has joined.
21:28:06 -!- augur has quit (Remote host closed the connection).
21:29:20 <fizzie> oerjan: <fizzie> I see "freenode-staff" is nowadays our founder, too; might explain why it's on the list.
21:29:46 -!- ais523 has joined.
21:30:48 <oerjan> that was the next line i read in the logs, yes :P
21:35:08 <Sgeo> Who is John freenode-staff?
21:36:47 <Sgeo> Is there any chance of granting access to *!*@freenode/staff/*
21:36:47 <Sgeo> ?
21:36:55 <oerjan> <Gregor> UML doesn't provide a reliable pipe into/out of the virtual system, like I mentioned. <-- is that why the web proxy keeps failing?
21:37:03 <Gregor> Yes.
21:38:30 <zzo38> Sgeo: Grant access of what? Can't they do it by themself if they need to, if it is already freenote-staff on the founter list?
21:38:50 <Sgeo> zzo38, they said it's a placeholder accoun
21:38:51 <Sgeo> account
21:40:05 <oerjan> i didn't even know access add could take a wildcard nickname. i thought it stored accounts, not nicks...
21:40:28 <zzo38> Still I don't think you should right now. If it is capable to do so then you can make it once they tell you to do so, if they do.
21:40:31 <Gregor> What sort of a network is it where you can DENY access to staff >_O
21:40:54 <oerjan> Gregor: seems silly
21:41:10 <Sgeo> I just learned the name of one of the auto-kline chanels
21:41:12 <Sgeo> channels
21:41:22 <zzo38> On my IRC server I have configured it not to deny anyone.
21:41:34 <zzo38> Sgeo: What happens if you use a MODE or TOPIC request on one of those?
21:41:50 <Sgeo> I don't know
21:41:58 <Sgeo> But I know if you join it you get banned from Freenode
21:42:36 <zzo38> Or a CS INFO request?
21:42:37 <oerjan> zzo38: the idea is not that they demand it, it's that freenode staff for some reason cannot help out the channel without it, if no ops are present.
21:42:53 <oerjan> which is silly.
21:43:41 <zzo38> Then wait until they do need to help out the channel.
21:43:44 <oerjan> <Gregor> Yes. <-- well that makes it one of the top outstanding bugs, i'd say.
21:43:46 <Sgeo> -ChanServ- Registered : Nov 20 11:12:45 2009 (3 years, 11 weeks, 6 days, 10:30:28 ago)
21:43:46 <Sgeo> -ChanServ- Mode lock : +mnstcP
21:43:46 <Sgeo> -ChanServ- Flags : GUARD PRIVATE
21:44:04 <Sgeo> oerjan, political stuff I guess
21:44:18 -!- Nisstyre-laptop has quit (Read error: Connection reset by peer).
21:44:32 <Gregor> oerjan: It is the top outstanding bug in UMLBox, yes.
21:45:47 <Sgeo> zzo38, I don't know how to get the topic of a channel I'm not in
21:45:59 <oerjan> Gregor: btw my fueue experiments in the channel hid a bug for the longest time because HackEgo's stripping of final newlines made me not realize input of EOF was instead interpreted as doing no change. (so when i piped echo without -n into a cat it gave the right result :P)
21:45:59 <zzo38> Sgeo: Use the command TOPIC and the channel name.
21:46:04 -!- Nisstyre-laptop has joined.
21:46:06 <zzo38> (Same as a channel you are in)
21:46:22 <Sgeo> zzo38, I think client fills that in for me
21:46:27 <Sgeo> I guess I can use raw
21:46:37 <oerjan> *into a cat simulation
21:46:59 <zzo38> (Although in some channel the TOPIC command fails if you are not in.)
21:47:03 <Sgeo> "You're not on that channel"
21:47:26 <Gregor> Y'know, both HackEgo and UMLBox have bug trackers X_X
21:47:29 <zzo38> (I think the mode +s might control that)
21:48:49 <oerjan> Gregor: i'm not sure that one counts as a bug, it was just wicked that somehow all my example runs conspired to hide the bug
21:48:58 <oerjan> *as a bug in HackEgo
21:49:28 <oerjan> also i have an irrational fear of bug trackers
21:51:06 <zzo38> I added a note in Internet Quiz Engine documentation that says you can make comments with #<xxxxxxxx>xxxxxxx to make a tagged comment which might be used with other programs for formatting, metadata, and other purposes. Internet Quiz Engine itself ignores them but other front-ends might use them.
21:52:00 <oerjan> `run echo example | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]'
21:52:03 <HackEgo> example
21:52:07 <oerjan> `run echo -n example | fueue ')[)~~[)$--1[)~]<~~<)<[)$%0]][):]~[~~~~<)[)))~$([[)[~~~~()+1])][0]$%~~1)][]]~[[49 33H])[))$12~[:]<<$4~~~<[)$--1[$8~)$4<[)$$6-%0[)]]<]~)~:~]~[!~)~~[)[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]]<<[1)]]~[)~~[)$--1[)~]<~~<)<[)$$7--1]][~~~)%[~~)~:(+-)(~)+-1*256]+-~)255:]~[[0]:[[0]<:[[0]<:]][50 33H])~!]]]]][))$11~<<~:(~:<][)[[48 33H])~[)[H]]~~!]!]'
21:52:09 <HackEgo> exampleeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
21:52:30 <Sgeo> I guess I shouldn't even _mention_ the channel name here, lest someone gets tempted
21:52:36 <Sgeo> Just one little click
21:52:41 <Sgeo> So tempting
21:52:42 <zzo38> Sgeo: OK then don't mentioned
21:53:32 <zzo38> (Although depending on the client clicking it won't necessarily have any effect.)
21:54:55 <zzo38> So if you want to make other front-end for Internet Quiz Engine, for use with HTML, Android, DOS, Commodore 64, or whatever, then you can do if you want to, whether or not you want to use these tagged comments.
21:55:09 <Sgeo> As other people have said, it's like a BIG RED BUTTON that says DO NOT PUSH
21:55:40 <zzo38> Sgeo: And you will want to take it apart to see how it is wired.
21:55:46 <zzo38> (Rather than pushing it)
21:58:09 <Phantom_Hoover> Sgeo, what is it
21:58:19 <Phantom_Hoover> i don't need your damn protection
21:59:29 <Sgeo> If you start spreading it around to people maliciously, Freenode staff might look at me as suspicious
21:59:39 -!- oerjan has set topic: DO NOT PUSH | char*a,b[9999];main(){gets(a=b);while(*a){a+=(b[*a]-=b[a[1]])?3:a[2];}puts(b+1);} | a mutiny of clowns http://codu.org/logs/_esoteric/.
21:59:48 <Phantom_Hoover> is the deal that joining it gets you k-lined?
21:59:57 <Sgeo> yes
22:00:23 <Sgeo> Although there are a lot of other people in the place where the name got exposed, so
22:00:25 <zzo38> I don't really like that, but that is what they do.
22:00:34 <Sgeo> Also, we're discussing it here on public record, so
22:01:09 <Sgeo> Told PH
22:01:09 -!- augur has joined.
22:01:32 <Phantom_Hoover> wtf is the point of that
22:02:03 <zzo38> I think having such channel would cause many problems.
22:03:31 <Phantom_Hoover> is it a dumb joke or something?
22:03:34 <Sgeo> It has a simple name. I always thought those channels would have gibberish names
22:03:56 <Sgeo> Phantom_Hoover, presumably if malware tries to use it for a botnet thing
22:05:20 <zzo38> There may be better ways to avoid such malware though?
22:05:45 <Sgeo> I think that just preventing the channel from existing would work bette
22:05:47 <Sgeo> better
22:05:51 <Sgeo> autoban from channel on join
22:25:42 -!- TeruFSX has quit (Ping timeout: 276 seconds).
22:29:08 <Phantom_Hoover> awww
22:29:17 <Phantom_Hoover> google maps doesn't have streetview for norilsk
22:34:51 <kmc> middle of nowhere
22:34:59 <Sgeo> If I didn't have IRC or any other online chat, would I go insane from lack of talking to people?
22:35:10 <fizzie> There is no streetview from Luxembourg, and very many places from Germany; cf. https://dl.dropbox.com/u/113389132/Misc/20130210-streetview.png
22:35:12 <oerjan> `run echo 'fixed?' | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] '
22:35:13 <kmc> maybe you would talk to some people in person
22:35:14 <HackEgo> 102
22:35:19 <Sgeo> Is IRC in fact sufficient to prevent that sort of insanity?
22:35:27 <oerjan> `run cat /dev/null | fueue ')))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][)[):[)$$7--1[)$3~[)$~!~~%~)]$2<[):]~:]~)~~[)~~~[~)~$7~~:~~([$3~)+[~~~<~()+48]~~~-)~10*)]/]--10):]]~[)[H]]~:]][33] '
22:35:29 <HackEgo> 0
22:35:38 <Phantom_Hoover> kmc, there's not much nowhere north of Norilsk, so IDK if it counts as the middle.
22:36:22 <kmc> heh
22:36:24 <kmc> fair enough
22:36:34 <kmc> arctic ocean counts as nowhere
22:36:59 <oerjan> not any more, it has oil and gas!
22:36:59 <kmc> google does have street view on the Dalton Highway
22:37:51 <Phantom_Hoover> Sgeo, I'm sure one of the channel's many psychologists could help you, and would be only too happy to do so.
22:38:08 <fizzie> Google has "street"view from some coral reefs. http://maps.google.com/help/maps/streetview/gallery/ocean/ has links.
22:38:54 <Sgeo> The process for contributing to Clojure and its contrib libraries is clinically fucking insane
22:39:07 -!- carado has quit (Ping timeout: 246 seconds).
22:39:13 <Phantom_Hoover> I'm sure they'd also be glad to verify that for you.
22:39:14 <Sgeo> http://clojure.org/contributing
22:39:29 <Sgeo> "Download and print out the Contributor Agreement
22:39:29 <Sgeo> If you hope to contribute via Clojure's projects (clojure and clojure-contrib), specify your GitHub username on the agreement. Please specify the name/email you use on the Google Group as well.
22:39:29 <Sgeo> Sign the agreement
22:39:29 <Sgeo> Send your signed agreement via postal mail to:"
22:40:17 <Phantom_Hoover> why, exactly
22:41:06 <oerjan> `echo -n hm|fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))(($3~)
22:41:08 <HackEgo> ​-n hm|fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][))$11~<<~:(~:<]])[))(($3~)<(]
22:41:12 <oerjan> `run echo -n hm|fueue ')$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][)$$6-%0[)][)$--%0[)$$6-%0[)][)[H]!][1)[)$%0[)$--%0[))$11~<<~:(~:<])[~~)<~~~(]])[):]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]])[~~)<~~~(]!][1)[)$--%0[)))~$([[)[~~~~()+1])][0]$%~~1)][)[)[~[0]~])][~!]][))$11~<<~:(~:<]])[))(($3~)<(]]])[)$--1[)~~~[)$4~[~):~~[~:~)~[)$$6-%0~~[$~])~]<~]<~<]$3~[)$~~~%~~)]<~(~~<]~~<<~[0]]<<<:]]])[))((
22:41:14 <HackEgo> bash: -c: line 0: unexpected EOF while looking for matching `'' \ bash: -c: line 1: syntax error: unexpected end of file
22:41:24 <oerjan> the fix made it too long :(
22:41:25 <Phantom_Hoover> oerjan
22:41:26 <Phantom_Hoover> query
22:41:29 <Phantom_Hoover> is there
22:41:30 <Phantom_Hoover> for a reason
22:41:36 <fizzie> I think they also added Svalbard recently; it's full of very enlightening imagery, such as http://goo.gl/maps/bt4ZN
22:41:49 <oerjan> ...i just want to demonstrate, oh well.
22:42:51 -!- DH____ has joined.
22:42:57 -!- DHeadshot has quit (Read error: Connection reset by peer).
22:45:47 <Sgeo> "Your topic has been created and will appear after it has been approved."
22:46:06 <Sgeo> I am starting to dislike the Clojure community
22:46:54 <shachaf> how about the dylan community
22:47:17 <Sgeo> If they don't make me snail-mail a legal form to some guy, I'm happy
22:48:02 <Phantom_Hoover> how about the ag^Hda community
22:49:15 <Sgeo> Is the Ada community even particularly open-source oriented?
22:49:29 <Sgeo> There's one notable OSS implementation, and the people behind it sell a proprietary version
22:50:41 <Sgeo> http://clojure.org/file/view/ca.pdf
22:50:54 <Sgeo> Is this thing asking to grant ALL my patents to Rich Hickey, or just relevant ones?
22:51:07 <Sgeo> (Erm, not grant, but let him ... use...)
22:51:09 <Sgeo> The wording is weird
22:51:18 <Phantom_Hoover> they don't call him rich for nothin'
22:51:27 <Phantom_Hoover> kmc can probably tell you why it's somethingist
22:51:52 <Sgeo> If Rich is short for Richard, I can imagine he doesn't want to be called Dick Hickey
22:53:25 <Phantom_Hoover> brilliant
22:54:42 * kmc spits out drink
22:59:23 -!- WeThePeople has joined.
23:02:23 -!- Zerker has joined.
23:19:26 -!- Zerker has quit (Remote host closed the connection).
23:28:05 -!- DH____ has quit (Read error: Connection reset by peer).
23:28:20 -!- DHeadshot has joined.
23:43:57 -!- DHeadshot has quit (Ping timeout: 256 seconds).
23:56:41 -!- Zerker has joined.
23:56:51 -!- Zerker has quit (Client Quit).
←2013-02-09 2013-02-10 2013-02-11→ ↑2013 ↑all