snailibeardslee: https://secure.wikimedia.org/wikipedia/en/wiki/Halting_problem / https://secure.wikimedia.org/wikipedia/en/wiki/Church%E2%80%93Turing_thesis20:52
ajmitchbeen discussing cs theory on the bus? :)20:52
snailand finally http://csunplugged.org/20:52
snailajmitch: indeed we were20:52
ibeardsleewell I was trying to keep up20:53
snailthe second of those urls isn't very readable20:53
ibeardsleehaving not done cs .. and only ever did one uni paper20:53
snailin both of those cases, I 100% guarantee that you already understand the concepts, if not the language they're expressed in.21:01
snailwhat's the linux command for split long command lines, to deal with errors like 'bash: /bin/grep: Argument list too long' ? I've used it before but forgotten the name21:54
ajmitchor you run things from find -exec21:57
snailajmitch: thanks, yes, that's the program I was thinking of22:20
snailin the interim I rewrite the command as: find . -name 'log.*' -exec grep ERROR \{\} \; > all.log22:22

Generated by irclog2html.py 2.7 by Marius Gedminas - find it at mg.pov.lt!