00:00:47 Then the type of the "eventual send" function is kinda scary: ERef (EFunc a b) -> ERef a -> (ERef (EFunc a b), ERef b) 00:01:00 -!- yorick_ has joined. 00:01:12 Given a reference to a function and a reference to an argument, I can send the argument to the function. The result is a reference to the result, as well as a new reference to the function. 00:02:09 If you send a message X to Alice and get a new reference Alice', then the reference Alice' has the property that any message sent to it is guaranteed not to arrive before X does. 00:02:15 -!- FreeFull_ has joined. 00:02:38 -!- Gregor` has joined. 00:02:51 -!- Gregor has quit (*.net *.split). 00:02:51 -!- tertu3 has quit (*.net *.split). 00:02:51 -!- conehead has quit (*.net *.split). 00:02:52 -!- rodgort has quit (*.net *.split). 00:02:52 -!- FreeFull has quit (*.net *.split). 00:02:52 -!- yorick has quit (*.net *.split). 00:02:59 -!- rodgort` has joined. 00:08:15 -!- FreeFull_ has changed nick to Freefull. 00:10:44 -!- conehead has joined. 00:13:34 tswett: aren't you assuming Alice is actually using X there. 00:13:52 oerjan: I'm not sure what you mean by "actually using". 00:14:07 -!- Sgeo has joined. 00:14:37 i mean, if Alice just discards X and gives you a reference back that does not use it. like haskell laziness. 00:15:51 What Alice does with X has nothing to do with the "ERef (EFunc a b)" that you get back; that reference has the same behavior regardless of what Alice does. 00:16:15 The "ERef b" can refer to whatever Alice wants it to refer to. 00:16:42 okay 00:17:05 -!- callforjudgement has changed nick to ais523. 00:17:26 Writing agda via ssh on my tablet is not particularly fun 00:20:07 -!- Gregor` has changed nick to Gregor. 00:21:02 All right, so this is four ways of getting a reference, right? You can create a reference to an object; you can use >>= to call a function on a reference, giving you a new reference; and you can eventual-send to an object, giving you both a new reference to the object, and a reference to the result of the send. 00:24:44 Then an important question is, when does an ERef a become "resolved", and what do we care... 00:27:14 -!- nooodl has quit (Ping timeout: 264 seconds). 00:50:11 All right, I guess the main operator is "send an argument reference to a target reference, yielding a result reference and a new version of the target reference". On the other side, an object is defined by one or more functions which take the state of the object and an argument reference, and return a result reference. 00:54:35 -!- FireFly has quit (Ping timeout: 245 seconds). 00:57:00 -!- myndzi\ has quit. 00:57:18 -!- myndzi\ has joined. 00:57:42 -!- myndzi\ has quit (Client Quit). 00:58:57 This is all made a bit difficult by the fact that Haskell's type system isn't really set up for object-oriented programming. 01:03:36 hey nerds, anyone know what iommu does, i have a mystery on my hands 01:04:10 Sure. It's like paging, but on DMA. 01:04:42 now riddle me this, why do i have to have it enabled for my NIC to function? 01:05:21 Hard telling. There's many possibilities. 01:05:42 Maybe your NIC can only handle 32-bit addresses, and it needs to access a buffer that the kernel's shoved above that space. 01:05:47 i ask because i've been fucking with drivers on a decapitated system all day only to find that i needed some fucking bios option 01:06:28 https://bbs.archlinux.org/viewtopic.php?pid=1294989 behold my salvation. 01:06:42 jesus has returned, as a forum thread, to save me 01:08:19 Could also be the case that the device can only deal with a single large buffer, and the kernel hands the device that by using the IOMMU. 01:08:28 I dunno, it depends on implementation details a lot. 01:08:43 it seems unlikely someone would design a card like that, because IOMMU is pretty recent? 01:08:47 I don't really know though 01:08:54 wonder if Fiora knows 01:09:02 -!- tromp has joined. 01:09:29 the motherboard is fairly new, not sure about the nic 01:09:37 i guess if the nic is part of the mobo they can assume you have it 01:09:42 i think it might be some kind of weird driver quirk. i pretty much hate all network drivers at this point 01:09:47 the nic is in the mobo, yeah 01:09:50 The NIC's a few years old, but probably newer than IOMMU. 01:09:54 very nearly bought a pci one... 01:10:06 -!- drlemon has quit (Read error: Connection reset by peer). 01:10:11 I know it's a few years old because my *last* computer had that exact kind. 01:10:15 It also had an IOMMU. 01:10:36 i'm guessing you didn't need to enable it for network. 01:10:38 ok 01:10:59 I don't know, it was on by default in the BIOS. 01:11:08 hm. 01:11:19 this is why i need to get with fucking w/ my fpga's ethernet. write some drivers. make some spite 01:13:15 -!- Phantom_Hoover has quit (Quit: Leaving). 01:15:09 note that when i say the ethernet didn't work, i mean that everything reported that the interface was fine, but i'd time out with dhcp or any kind of router communication. 01:17:35 http://tastetheburritobox.com/ 01:21:06 i'm naming this computer syadavaktavyah in honor of me not knowing what the fuck 01:24:48 Bike: jain't nothing wrong with your computer 01:25:32 very good 01:25:46 don't they have thsoe in japan 01:26:07 i thought they were more an indian thing 01:26:24 or are you referring to the burrito boxes. 01:26:40 The burrito boxes, yeah. 01:26:47 all of the vending machines I saw in Japan were pretty low tech and boring 01:26:49 I was disappointed 01:27:22 probably there's some enormous vending machine district in Tōkyō that I should have visited 01:27:24 kmc: all the advanced ones start making things almost, but not quite unlike tea and have to commit seppuku. 01:27:29 heh 01:27:44 there were claw machines that dispensed large sausages 01:27:56 and capsule machines with used panties 01:28:05 but neither of those is that interesting from a technological perspective 01:29:18 kmc: just reverse those hth 01:29:30 large panties and used sausages? 01:29:47 kmc: what about the pizza vending machines? 01:29:49 -!- Bike has quit (Ping timeout: 246 seconds). 01:29:52 haven't seen 01:29:55 kmc: syadavaktavyah 01:30:28 syadavaktavyahth 01:30:39 -!- Bike has joined. 01:42:50 -!- ais523 has quit. 01:52:34 -!- Sorella has quit (Quit: It is tiem!). 01:57:25 -!- conehead has quit (Quit: Computer has gone to sleep.). 02:18:01 -!- FireFly has joined. 02:28:53 have now moved on to uefi problems, i'm hitting some kind of cosmic checklist 02:29:22 circles of hell 02:29:44 unaligned pointer 022 02:29:47 0x22, rather 02:30:14 also my mobo has a shitty implementation of AMD-Vi apparently, whatever that means! 02:34:52 -!- yorick_ has quit (Remote host closed the connection). 02:35:26 I'm trying to think of geometric concepts that can be defined only in terms of points and lines, without talking about distance at all. 02:35:32 As far as I can tell, there pretty much aren't any. 02:36:13 Like, you can define collinearity. That's pretty much it. 02:36:41 -!- conehead has joined. 02:36:44 Circle? Nope. Triangle? Not without defining line segments, nope. 02:37:17 the dual of collinearity is three lines intersecting in a point hth 02:37:21 why are you trying to think of that 02:37:32 Angle? Maybe. 02:37:42 Bike: because the Faro plane. 02:37:55 What's the dual of an angle? 02:38:44 I guess it's three lines, one of them distinguished. 02:38:51 tswett: note that you cannot define anything that isn't preserved under linear maps and projections. 02:38:58 which excludes angles. 02:39:10 Right, I guess that's obvious in retrospect. 02:39:24 You can define parallelity. But in the Faro plane, no lines are parallel. 02:40:11 you can fix one line as infinite and define parallel as "intersect on the infinite line" 02:40:34 Yeah, but then you pretty much just get the boring four-point plane. 02:40:39 Where "line" means "set of two points". 02:40:58 wat 02:41:17 If you take the Faro plane and denote one line as the line at infinity, and then you remove that line, you're left with four points. 02:41:19 i'm just defining the usual translation from euclidean plane to projective plane here, really. 02:41:30 A four-point plane, in fact. Where the lines are precisely the sets containing two points. 02:41:40 fancy 02:41:59 No three points are collinear, because no line contains three points. 02:42:17 maybe you can define conic sections 02:42:41 probably gets something trivial in the faro plane, though. 02:43:40 but it's not really the fault of the concepts that the faro plane is too small to fit enough distinct examples of them to be interesting. 02:45:20 there are numerical expressions that are preserved under projective transformations although i cannot remember their names. 02:46:36 well hm 02:46:58 you just need four points in the usual projective plane to fix any transformation, i think. 02:50:40 -!- Sprocklem has joined. 02:51:47 Oh yeah, conic sections. 02:52:00 Maybe in the Faro plane, "conic section" just means something like "set of five points". 02:58:11 *Fano 02:58:22 (Faro is a perfect shuffle) 03:00:30 Also may be the word for "lighthouse" in some languages. 03:00:37 Portuguese? Spanish? 03:02:04 arch doesn't have sudo by default. feelin pretty ascetic here 03:02:08 took me two minutes to remember that word 03:02:42 debian doesn't either 03:02:48 if you do the barebones whatever install 03:03:13 i also forgot to put wheel in sudoers so an incident was reported 03:03:28 lol 03:03:33 sudo is pretty fucked anyway 03:03:40 does it not report anything by default? i even checked /var/spool/mail which i have never used in my life 03:03:42 for your typical linux desktop 03:03:58 well i don't want to just log in as root... 03:04:08 it has all this complexity for delegating power to run individual commands, none of which is useful to typical desktop user 03:04:18 oh. yeah. 03:04:28 and the password prompt is little more than a molly-guard, for a typical desktop install 03:04:31 it provides no real security 03:04:41 I think there are simpler sudo-replacements which take these facts into account 03:04:50 got a rec? 03:04:57 nope, haven't used them :/ 03:05:03 also i am probably going to set up an sshd on this thing and use it as a bouncer so as to stop annoying you 03:05:31 hooray 03:06:27 tswett: https://en.wikipedia.org/wiki/Lighthouse_of_Alexandria 03:07:02 it's kind of amusing how incredibly fucked i was without any internet 03:12:09 kmc: what do you mean about the password providing no security? would my set up which requires a fresh password entry for every sudo be considered "atypical" 03:13:11 I think the typical setup has a 5 minute timeout until you have to re-enter the password 03:13:32 you're probably running sudo within a shell and xterm and x session which are controlled by your user account 03:14:36 so if your account gets compromised the attacker can easily compromise one of those and get your password the next time you run sudo 03:14:37 kmc: which changes what? 03:14:43 oh 03:14:46 You're pretty much undoubtedly running it within a shell controlled by your user account. 03:14:48 well yeah 03:15:06 there's also the part where most of the stuff you'd care about an attacker doing/having is in your user account, anyway 03:15:13 yep 03:15:21 Since why would you be running it in someone else's shell. 03:15:24 good thing i don't actually care 03:19:02 yep 03:19:18 yeah, i'm not too worried about getting haxxed really 03:19:36 maybe we can have a new age of viruses, spreading on dumbass linuxers like me 03:19:56 My laptop is set to allow anyone to SSH to it as root with no password. 03:20:11 also i hate minimalism 03:20:17 that's not related i just do 03:20:29 tswett: Why? If it has no internet connection then it might not be as much of a problem, but still it doesn't seem so sensible 03:20:34 what about it Bike 03:20:56 annoyed at people trying to find the once and for all really real perfect minimal computer 03:21:01 It's behind a NAT all the time, except when I'm at school. Then it has a public IP address. 03:21:24 I look in the authorization logs, and apparently lots of people log into it. 03:21:29 I assume they're installing all sorts of malware. 03:21:30 snort 03:22:02 I mean, I know that *some* of them are, because every time I log into an account with my laptop, it gets compromised within a couple of days. 03:22:29 And my web browser is almost unusable because literally more than three quarters of the window are taken up by toolbars. 03:22:39 how joking are you exactly 03:22:47 Bike: Well, I too try to find good instructions sets that I can try to build a good computer. My criterias are to have open source program to implement it in hardware (without vendor lock or patent issues), to be simple, to support 32-bits address, to be supported target by GCC or LLVM, and it can be changed to have different features which I might want. 03:22:56 About 95% joking. 03:23:04 tswett: Then turn off all of the toolbars. 03:23:32 tswett: and here I thought you had found the ultimate "zen" approach to computer security 03:23:43 zzo38: well "simple" doesn't mean much of anything, basically. 03:23:56 zzo38: whenever I turn off a toolbar, the browser crashes. 03:24:11 i cannibalized some old computers, i should set up honeypot puters 03:24:29 attacker gains access, realizes that the machine is from 1992, gives up in disgust 03:24:30 -!- LinearInterpol has quit (Ping timeout: 276 seconds). 03:24:32 ultimate security 03:24:38 tswett: Then make a backup of non-binary files and then erase everything and reinstall everything, and then hopefully it will work 03:24:57 Bike: I doubt it; someone might be interested nevertheless 03:25:01 zzo38: also he's lying about the toolbars 03:25:04 You know how sourdough contains a specific mixture of microorganisms that result in it being completely safe to eat, and if you were to remove the wrong ones, you'd end up with some weird random mixture of bacteria that'd probably kill you? 03:25:06 It's like that. 03:25:25 I don't know about sourdough much 03:25:26 oh yeah, well how many 1992 computers used to turn on my lights have you compromised, huh 03:25:40 tswett: i don't think that's true 03:25:42 about sourdough 03:25:53 douglass_ would know for sure 03:26:02 zzo38: I've tried that, but all the non-binary files I try to copy off the computer automatically get machine translated into Portuguese for some reason. 03:26:17 Bike: Me? I expect, none. But I never tried, and don't intend to, so it doesn't matter. 03:26:25 salt-rising bread, on the other hand, is made using the bacterium which causes gas gangrene 03:26:32 so don't cut yourself while kneading it 03:26:37 you /expect/ none? 03:26:41 do you sleep-hack 03:27:19 Bike: No, but I may have inadvertently done something. 03:27:51 inadveertantly hacked my doorputer? what's wrong with you man 03:27:59 (Well, I suppose maybe I do sleep-hack, but not in the sense you probably mean) 03:27:59 And whenever I try to copy a binary file off the computer, I end up with a file that just says "ÿþ" followed by a line break, in UTF-8. 03:28:19 zzo38: you dreams about hacking eh 03:28:35 quintopia: That isn't what I mean either actually 03:28:55 zzo38: you intentionally screw with your sleep schedule? 03:29:13 And the mode ends up getting set to 7412. 03:29:27 quintopia: Well, I do do that, but I don't know if that is what I mean or not; that is why I wrote "maybe". 03:29:54 this cpu is ten years old, sweeeeet 03:29:57 zzo38: must be hard not to know what you mean 03:30:16 quintopia: That's what *you* think. 03:30:52 * quintopia shuts up 03:32:01 I have looked at a few instruction sets such as ARM2 and MMIX, both of which are supported in GCC but not in LLVM. 03:32:57 Is it possible to use GCC as a LLVM-backend? 03:36:54 `run echo ÿþ | iconv -t latin1 03:36:56 �� 03:37:05 that didn't work much. 03:37:06 makes you think. 03:37:30 or maybe it did and it just isn't actual utf8 03:37:37 `from-8bit ÿþ 03:37:40 iconv: incomplete character or shift sequence at end of buffer 03:37:55 `cat bin/from-8bit 03:37:56 #!/bin/bash \ \ enc=$(echo "$1" | iconv -t iso8859-1 | chardet | awk '{print $2}') \ echo "$1" | iconv -t iso8859-1 | iconv -f "$enc" 03:38:52 `run echo ÿþ | iconv -f utf8 -t latin1 | iconv -f utf16le -t utf 8 | unidecode 03:38:54 iconv: conversion to `utf' is not supported \ Try `iconv --help' or `iconv --usage' for more information. 03:38:56 I have also written a program "utftovlq" which is a C program capable to do many of those things too, such as convert UTF-8 to ISO-8859-1, or other things 03:39:11 ISO 1337:1980 Wrought coppers (having minimum copper contents of 99,85 %) -- Chemical composition and forms of wrought products 03:39:13 If such program is loaded you can see if it work or not 03:39:23 very elite 03:39:27 Someone say what I just said, but such that it works. 03:39:44 ISO 420:1994. Photography -- Processing chemicals 03:40:03 "chemicals" 03:40:06 `iconv -l 03:40:06 gettin high on... i don't know what chemicals you use in darkrooms 03:40:07 437// \ 500// \ 500V1// \ 850// \ 851// \ 852// \ 855// \ 856// \ 857// \ 860// \ 861// \ 862// \ 863// \ 864// \ 865// \ 866// \ 866NAV// \ 869// \ 874// \ 904// \ 1026// \ 1046// \ 1047// \ 8859_1// \ 8859_2// \ 8859_3// \ 8859_4// \ 8859_5// \ 8859_6// \ 8859_7// \ 8859_8// \ 8859_9// \ 10646-1:1993// \ 10646-1:1993/UCS4/ \ ANSI_X3.4-1968// \ AN 03:40:14 help 03:40:16 Bike: the bad chemicals 03:40:20 What's that command to pastebin something? 03:40:39 `run echo ÿþ | iconv -f utf8 -t latin1 | iconv -f utf16le -t utf8 | unidecode 03:40:41 iconv: incomplete character or shift sequence at end of buffer 03:40:46 'bad chemicals' means 'good shit' right 03:40:59 -f utf8 -t utf8 should be the default 03:41:08 Right, not "utf 8". 03:41:38 How do you load C program into HackEgo anyways? 03:41:49 `run echo -n ÿþ | iconv -t latin1 | iconv -f utf16le | unidecode 03:41:51 No output. 03:41:59 `run echo -n ÿþ | iconv -t latin1 | iconv -f utf16le | hd 03:42:00 00000000 ef bb bf |...| \ 00000003 03:42:00 kmc: No, the default should depend on the current locale setting, isn't it? 03:42:10 zzo38: in HackEgo i meant 03:42:13 `locale 03:42:14 unidecode doesn't take stdin i thought 03:42:15 LANG=en_NZ.UTF-8 \ LANGUAGE= \ LC_CTYPE="en_NZ.UTF-8" \ LC_NUMERIC="en_NZ.UTF-8" \ LC_TIME="en_NZ.UTF-8" \ LC_COLLATE="en_NZ.UTF-8" \ LC_MONETARY="en_NZ.UTF-8" \ LC_MESSAGES="en_NZ.UTF-8" \ LC_PAPER="en_NZ.UTF-8" \ LC_NAME="en_NZ.UTF-8" \ LC_ADDRESS="en_NZ.UTF-8" \ LC_TELEPHONE="en_NZ.UTF-8" \ LC_MEASUREMENT="en_NZ.UTF-8" \ LC_IDENTIFICATION="en_NZ 03:42:21 `unidecode ä 03:42:22 [U+00E4 LATIN SMALL LETTER A WITH DIAERESIS] 03:42:23 (If the locale setting is UTF-8, then yes it should be UTF-8, clearly) 03:42:33 `run echo ä > unidecode - 03:42:33 en_NZ really 03:42:36 No output. 03:42:38 yeah 03:42:44 `run unidecode $(echo -n ÿþ | iconv -t latin1 | iconv -f utf16le) 03:42:46 [U+FEFF ZERO WIDTH NO-BREAK SPACE] 03:42:48 How to load C program into HakEgo? 03:42:56 There, finally. 03:43:06 fetch the source and compile it? fetch a binary? 03:43:36 `gcc 03:43:37 gcc: no input files 03:43:52 I have the source, I don't have binary for this computer though; how do I load a file on? 03:43:59 `wget 03:44:00 wget: missing URL \ Usage: wget [OPTION]... [URL]... \ \ Try `wget --help' for more options. 03:44:06 `pwd 03:44:07 /hackenv 03:44:32 `fetch 03:44:32 http://: Invalid host name. 03:44:43 `wget http://lpaste.net/raw/98076 03:44:59 You should specify output filename too 03:45:06 Who, me? 03:45:07 (I think it is -O for wget) 03:45:12 Yes, you 03:45:14 --2014-01-07 03:44:44-- http://lpaste.net/raw/98076 \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awaiting response... No data received. \ Retrying. \ \ --2014-01-07 03:44:45-- (try: 2) http://lpaste.net/raw/98076 \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connecte 03:45:22 `wget http://lpaste.net/raw/98076 -o 98076 03:45:30 `cat unidecode 03:45:32 ä - 03:45:32 Right, right, the DNS thing. 03:45:33 i think there's a whitelist 03:45:51 oerjan: lol oops. 03:45:53 --2014-01-07 03:45:23-- http://lpaste.net/raw/98076%20-o%2098076 \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awaiting response... No data received. \ Retrying. \ \ --2014-01-07 03:45:24-- (try: 2) http://lpaste.net/raw/98076%20-o%2098076 \ Connecting to 127.0.0.1:3128... Failed to conne 03:45:56 This won't work, but: 03:46:04 `wget http://176.9.42.8/raw/98076 -o 98076 03:46:16 `fetch http://lpaste.net/raw/98076 03:47:07 --2014-01-07 03:46:36-- http://176.9.42.8/raw/98076%20-o%2098076 \ Connecting to 127.0.0.1:3128... Failed to connect to socket 2. \ connected. \ Proxy request sent, awaiting response... No data received. \ Retrying. \ \ --2014-01-07 03:46:37-- (try: 2) http://176.9.42.8/raw/98076%20-o%2098076 \ Connecting to 127.0.0.1:3128... Failed to conne 03:47:09 2014-01-07 03:47:08 URL:http://lpaste.net/raw/98076 [373] -> "98076" [1] 03:47:16 `cat 98076 03:47:17 -- Hi everyone! 03:47:25 deep 03:47:31 Huh, someone got 98076 somehow. 03:47:41 Musta been you, Bike. 03:47:51 what 03:47:55 `run cat $(which fetch) 03:48:06 i think it's builtin 03:48:11 Bike: you did it, Bike. You made it happen. 03:48:13 `type fetch 03:48:14 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: type: not found 03:48:20 Uh. 03:48:23 `run type fetch 03:48:24 bash: line 0: type: fetch: not found 03:48:26 No output. 03:48:27 tswett: `fetch is outside the sandbox. 03:48:33 Mm. 03:49:59 `unidecode 03:50:00 No output. 03:50:02 `unidecode  03:50:04 [U+E326 DUNNO] 03:50:16 `rm unidecode 03:50:19 No output. 03:50:33 :( 03:50:39 `unidecode yarr 03:50:40 [U+0079 LATIN SMALL LETTER Y] [U+0061 LATIN SMALL LETTER A] [U+0072 LATIN SMALL LETTER R] [U+0072 LATIN SMALL LETTER R] 03:51:15 `run mv $(which unidecode) unidecode- && rm $(which unidecode) 03:51:19 rm: missing operand \ Try `rm --help' for more information. 03:51:34 tswett: wat 03:51:42 rip unidecode 03:51:46 Good question. 03:51:49 `unidecode yarr 03:51:50 /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unidecode: not found 03:51:55 `run echo $PATH 03:51:56 /hackenv/bin:/opt/python27/bin:/opt/ghc/bin:/usr/bin:/bin 03:51:58 `revert 03:52:02 Done. 03:52:08 `unidecode BAH 03:52:09 [U+0042 LATIN CAPITAL LETTER B] [U+0041 LATIN CAPITAL LETTER A] [U+0048 LATIN CAPITAL LETTER H] 03:52:12 Whither does `revert revert? 03:52:40 to the previous version hth 03:52:50 tht 03:53:03 `unidecode ꙮ 03:53:05 [U+A66E CYRILLIC LETTER MULTIOCULAR O] 03:54:12 `fetch http://sprunge.us/UNPA 03:54:14 2014-01-07 03:54:13 URL:http://sprunge.us/UNPA [9462] -> "UNPA" [1] 03:54:28 "#esꙮteric :Illegal channel name" :( 03:54:39 lꙮl 03:54:48 `unidecode ▒▒ 03:54:50 [U+2592 MEDIUM SHADE] [U+2592 MEDIUM SHADE] 03:54:54 `file UNPA 03:54:55 UNPA: ASCII C program text 03:54:58 `run gcc -s -O2 -o bin/utftovlq UNPA 03:54:59 UNPA: file not recognized: File format not recognized \ collect2: ld returned 1 exit status 03:55:18 `run gcc -s -O2 -o bin/utftovlq -x c UNPA 03:55:26 No output. 03:55:36 hmm, what does -s do again? 03:55:39 `df -h 03:55:40 df: cannot read table of mounted file systems: No such file or directory 03:55:42 `utftovlq for 03:55:44 No output. 03:55:51 HackEgo: quit trying to read /proc/mount hth 03:55:58 Bike: It doesn't work like that. Download it into your own computer for documentation 03:56:01 ah, strip 03:56:02 `run echo foo | utftovlq 03:56:04 No output. 03:57:13 The parameter needs to be one character input type, one character output type, for example "utftovlq 81" is converting plain 8-bit data into UTF-8. 03:57:29 (This plain data is considered as ISO-8859-1, for purpose of Unicode encoding) 03:57:32 how is it better than iconv 03:58:08 `utftovlq 81 UNPA 03:58:23 find / | xargs -n 2 mv 03:58:39 No output. 03:59:01 you know what's cool? error messages are cool 03:59:22 kmc: It can do various other things too, such as convert endianness of files, convert overlong encodings, and support up to 64-bit numbers 03:59:25 `run LC_ALL=de_DE.UTF-8 errno -l 03:59:26 bash: errno: command not found 03:59:56 `quote de_DE.UTF-8 03:59:58 925) shachaf: LC_ALL=de_DE.utf-8 errno -l Veraltete NFS-Dateizugriffsnummer Eingabe-/Ausgabefehler "Unterbrechung während des Betriebssystemaufrufs" i think that was in the Ring Cycle 04:00:15 `run LC_ALL=de_DE.UTF-8 rm all-cats-are-cats 04:00:16 rm: Entfernen von „all-cats-are-cats“ nicht möglich: Datei oder Verzeichnis nicht gefunden 04:01:13 `run echo /hackenv/bin/past* 04:01:14 /hackenv/bin/pastalog /hackenv/bin/pastaquote /hackenv/bin/paste /hackenv/bin/pastefortunes /hackenv/bin/pastekarma /hackenv/bin/pastelog /hackenv/bin/pastelogs /hackenv/bin/pastenquotes /hackenv/bin/pastequotes /hackenv/bin/pastewisdom /hackenv/bin/pastlog 04:01:18 Unterbrechung während des Betriebssystemaufrufs, Brünhilde 04:01:21 `run LC_ALL=so_ET.UTF-8 rm all-cats-are-cats 04:01:22 rm: cannot remove `all-cats-are-cats': No such file or directory 04:01:28 locale game weak 04:01:34 `run locale -a | paste 04:01:36 All the convert type are: 8=8-bit, w=16-bit LE, W=16-bit BE, d=32-bit LE, D=32-bit BE, q=64-bit LE, Q=64-bit BE, 1=UTF-8, 0=Modified UTF-8, V=VLQ, v=LEB-128, u=UTF-16 LE, U=UTF-16 BE, T=translation, M=Messagepack (input only), 4=Hex. There is also other options: L=linefeed, c=carriage-return, b=BOM in, B=BOM out, t=Make translation file small-endian. 04:01:40 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.1702 04:01:54 For "translation", a translation table must be given as a second argument. 04:02:00 `run LC_ALL=ar_JO.utf8 rm all-cats-are-cats 04:02:02 rm: cannot remove `all-cats-are-cats': No such file or directory 04:02:09 `run LC_ALL=so_ET.utf8 rm all-cats-are-cats 04:02:10 rm: cannot remove `all-cats-are-cats': No such file or directory 04:02:14 i don't get it. 04:02:23 `run LC_ALL=zh_CN.utf8 rm all-cats-are-cats 04:02:25 rm: 无法删除"all-cats-are-cats": 没有那个文件或目录 04:02:33 Presumably rm doesn't know so_ET. 04:03:07 Ethiopian Somali? 04:03:32 `run LC_ALL=ja_JP.utf8 rm all-cats-are-cats 04:03:34 rm: cannot remove `all-cats-are-cats': そのようなファイルやディレクトリはありません 04:03:42 yes. 04:03:52 well, the other way around, i think. 04:05:01 "Sono yōna fairu ya direkutori wa arimasen" 04:11:18 -!- oklopol has quit (Ping timeout: 272 seconds). 04:17:18 tswett: "you na", not "youna". 04:18:17 `run LC_ALL=am_ET.utf8 rm foobar 04:18:18 rm: cannot remove `foobar': No such file or directory 04:18:36 I really wanted to see the Unicode mumbo-jumbo 04:21:52 pikhq: well, I was copying and pasting from Gūguru ga hon'yaku. 04:22:48 `unidecode ﯹﯹﯹﯹﯹﯹﯹﯹ 04:22:50 [U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM] [U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM] [U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALEF MAKSURA ISOLATED FORM] [U+FBF9 ARABIC LIGATURE UIGHUR KIRGHIZ YEH WITH HAMZA ABOVE WITH ALE 04:22:58 Ah, "Google Translates". 04:23:11 Yes, Google Translates. 04:24:06 The example of my program would be, for example converting UTF-8 to CESU-8 will be "utftovlq 1u | utftovlq w0" 04:25:52 Hum. GT translates "テゥランスレーテゥ" as "Thuringer Lance de Lethe". 04:27:54 -!- contrapumpkin has changed nick to copumpkin. 04:29:59 http://sicb.org/meetings/2014/schedule/abstractdetails.php?id=1217 cameron, j 04:30:09 ヘｙグｙｓカニョウレアｄティｓ 04:30:20 アッパレンtlyティシsウァチョウゲtウェニョウジュｓｔｔｙペエンｇィシントティシメ 04:30:22 -!- ter2 has quit (Read error: Connection reset by peer). 04:30:39 -!- ter2 has joined. 04:30:43 イフォロネカンｔレアヂタタｌｌ 04:30:46 -!- oerjan has quit (Quit: nite). 04:32:41 alle Katzen sind Katzen 04:32:45 kaikki kissat ovat kissoja 04:33:19 sicb? structure and interpretation of computer brogramming? 04:34:02 Todos los gatos son gatos. 04:34:10 kmc: i'd buy it 04:34:52 -!- mauke has quit (Disconnected by services). 04:35:02 -!- mauke has joined. 04:37:11 -!- preflex_ has joined. 04:37:26 -!- preflex has quit (Ping timeout: 264 seconds). 04:37:37 -!- preflex_ has changed nick to preflex. 04:37:37 Huh, Google Translate translates "ン" as "Emissions" and "ンン" as "Unless they already exist". 04:38:21 "so" and "so-so" also mean different things :p 04:38:48 nobody actually speaks japanese it's all an elaborate hoax 04:39:10