00:04:58 -!- Bike has quit (Ping timeout: 246 seconds). 00:28:32 -!- mnoqy has quit (Quit: hello). 00:31:23 Man, I wish my computer viruses affected my files in the 'right way'. 00:35:57 -!- sacje has quit (Ping timeout: 256 seconds). 00:36:42 Hmmm. How about a programming language based entirely on indirection. 00:36:48 -!- sacje has joined. 00:36:55 -!- NihilistDandy has quit (Quit: NihilistDandy). 00:39:21 -!- madbr has joined. 00:39:41 why are CPUs still slow 00:39:42 Nah. 00:39:49 They aren't. They're very fast. 00:39:54 You're just trying to do too many calculations. 00:40:38 they're optimized for like Ms-Excel 00:41:10 and other similar awful computation tasks that are just a jumble of load/stores and jumps 00:41:57 we're in 2013, where's my 32xfloat wide SIMD 00:44:16 the GPUs are doing it already 00:47:26 Ooh, here's an idea. Co-lambda calculus. 00:47:51 It'd be, like, uh... 00:49:14 -!- Bike has joined. 00:52:23 -!- yorick has quit (Remote host closed the connection). 00:55:10 How about co-BCKW calculus. The combinators are defined like so: B x y z = x (y z); C x y z = x z y; K x = x y; W x y y = x y. 00:56:23 When you evaluate K x, it creates a new variable and applies x to it. When you evaluate W x y z, it adds the equation y = z and gives you x y. 00:57:05 Whenever there's an outstanding equation... I dunno. 00:58:21 I dunno either. 01:21:58 -!- augur has quit (Remote host closed the connection). 01:25:27 -!- augur has joined. 01:33:46 kmc: i heard mountain view is the place to be 01:33:50 maybe i should move there 01:33:52 false 01:34:03 well it depends 01:34:06 are all non-strict haskell functions constant 01:34:12 also hello from dorm/prison cell 01:34:14 do you like ``the city'' or no 01:34:36 Bike: no 01:34:49 Bike: (1:) is non-strict and non-constant 01:34:52 i like going to the city 01:34:57 i imagine that i'd enjoy living there but who knows 01:35:06 Bike: oh no where are you 01:35:39 Just is non-strict and non-constant 01:36:15 ok yeah constructors that makes sense 01:36:30 > fix Just 01:36:31 Occurs check: cannot construct the infinite type: 01:36:32 a0 = Data.Maybe.Maybe ... 01:36:33 and i'm at school. 01:36:43 > fix (1:) 01:36:44 [1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,1,... 01:37:04 > 1:undefined 01:37:04 [1*Exception: Prelude.undefined 01:37:33 so bottom isn't a fixed point of 1:. 01:38:09 right 01:38:20 the least-defined fixed point of (1:) is [1,1,1,... 01:38:31 there are non-strict non-constant functions that aren't equivalent to constructors, though 01:39:11 like? 01:39:25 :t let f x = (let Just y = x in Just (y+1)) in f 01:39:26 Num a => Maybe a -> Maybe a 01:39:37 there's probably a simpler example 01:39:54 this maps Just x to Just (x+1), and Nothing to Just undefined 01:40:13 and undefined also to Just undefined 01:40:13 > let f x = (let Just y = x in Just (y+1)) in f 4 01:40:14 No instance for (GHC.Show.Show a0) 01:40:14 arising from a use of `M1929720252.sh... 01:40:21 > let f x = (let Just y = x in Just (y+1)) in f Just 4 01:40:22 Couldn't match expected type `a2 -> t0' 01:40:22 with actual type `Data... 01:40:25 > let f x = (let Just y = x in Just (y+1)) in f $ Just 4 01:40:26 Just 5 01:40:40 > let f x = (let Just y = x in Just (y+1)) in f undefine 01:40:41 Not in scope: `undefine' 01:40:41 Perhaps you meant `undefined' (imported from Prel... 01:40:41 > let f x = (let Just y = x in Just (y+1)) in f undefined 01:40:42 Just *Exception: Prelude.undefined 01:40:47 weird function imo 01:41:48 throwing numbers into the mix is a little confusing because the strictness of (+) etc. depends on the particular Num instance 01:41:51 > let f x = (let Just y = x in Just (y+1)) in fix f 01:41:54 mueval-core: Time limit exceeded 01:42:42 > let f x = (let Just y = x in Just (y+1)) in f Nothing 01:42:43 Just *Exception: :3:16-25: Irrefutable pattern failed for patt... 01:44:12 do you classify things like if' :: Bool -> a -> a -> a under "constant function" 01:44:24 shachaf: when Blake and I lived in Manhattan he complained all the time about how terrible the city is, so I guess it's not surprising that he wants to live in MV and not SF 01:44:45 shachaf: i don't understand what that is. 01:45:04 Bike: if' True x y = x; if' False x y = y 01:45:13 what's the other a 01:45:19 wait. 01:45:20 It's often given as an example of a kind of thing you can do with non-strictness. 01:45:20 wow. 01:45:23 fuck me. 01:45:28 Bike: the return value hth 01:45:40 uuuuugh just a sec 01:45:43 -!- Bike has left ("shame"). 01:46:00 ????? 01:46:18 :/ 01:50:17 wat 01:50:18 :? 01:50:43 ¿:? 01:52:30 -!- nooodl_ has joined. 01:53:24 > iterate (\x -> "¿" ++ x ++ "?") ":" 01:53:24 [":","\191:?","\191\191:??","\191\191\191:???","\191\191\191\191:????","\19... 01:53:31 ¿:? 01:55:50 -!- nooodl has quit (Ping timeout: 240 seconds). 02:01:07 -!- sacje has quit (Ping timeout: 264 seconds). 02:01:29 > text "\u2e18" 02:01:30 :1:8: 02:01:30 lexical error in string/character literal at character 'u' 02:02:48 \x hth 02:03:18 -!- sacje has joined. 02:11:20 -!- Nisstyre has quit (Quit: Leaving). 02:36:20 -!- Phantom_Hoover has quit (Read error: Connection reset by peer). 02:39:37 > text $ unwords $ take 20 $ iterate (\x -> "¿" ++ x ++ "?") ":" 02:39:37 : ¿:? ¿¿:?? ¿¿¿:??? ¿¿¿¿:???? ¿¿¿¿¿:????? ¿¿¿¿¿¿:?????... 02:44:36 ¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿¿?¿¿?¿?¿¿?¿?¿ 02:45:16 Hmmm. 02:47:35 Hmmmmmm. 02:48:24 Is there an infinite sequence S of 1s and 0s such that for all finite sequences T of 1s and 0s, there exists a natural number N such that for all substrings S' of S of length at least N, T is a substring of S'? 02:48:38 No, certainly not. 02:49:08 Suppose that the sequence "1" appears, oh, in every substring of length at least 8. Then the sequence "00000000" doesn't occur at all. Qed. 02:49:26 All right, what Very Important thing was I doing... 03:18:47 -!- oerjan has quit (Quit: leaving). 03:20:40 Is there an infinite sequence S of 1s and 0s that encodes every interesting theorem about infinite sequences of 1s and 0s 03:21:23 There are uncountably many. 03:28:33 -!- mnoqy has joined. 03:29:58 -!- nooodl_ has quit (Quit: Ik ga weg). 03:33:48 hm 03:34:30 is there a pattern of binary or trinary digits that stays the same or mostly the same when multiplied by 3^n / 2^m 03:34:43 (where n and m can be any integer) 03:34:52 (positive) 03:35:24 or that evolves but in a relatively ordered way (like, game of life ordered) 03:38:57 Hm, good question. 03:41:57 -!- zzo38 has joined. 03:43:48 Do you like Fukumoto's mangas? 03:44:39 Me? 03:45:06 I haven't read any. 03:45:14 I read it I think it is very good. 03:46:32 It seems that Akagi declares no-ten riichi a lot more than good mahjong players would ordinarily do. 03:47:02 They also make a lot of extreme bluffs and tricks and that stuff. 03:56:35 -!- Bike_ has joined. 04:09:06 -!- augur has quit (Ping timeout: 264 seconds). 04:17:35 -!- augur has joined. 04:21:55 -!- Bike_ has changed nick to Bike. 04:26:40 -!- augur has quit (Remote host closed the connection). 04:27:27 -!- augur has joined. 04:32:51 -!- iamfishhead has joined. 04:54:38 -!- Bike has quit (Ping timeout: 240 seconds). 04:59:26 Is there such a thing as a "free ring" (as in mathematical)? 05:16:10 I have an idea of what I want, but I don't know if that is what will be called a "free ring". 05:16:27 what is it 05:17:06 Well, actually what I am wanting is probably what should be called a "free commutative ring". 05:17:31 -!- Bike has joined. 05:18:40 If there is a set "S" and the elements of this ring is multisets made up of elements of S (or lists if you omit "commutative"), and then it is a multiset of these multisets, is what I mean. 05:19:26 Is that correct? 05:20:18 (Well, you must consider they can be negative too, if it is a ring rather than a semiring, I think) 05:21:15 Now is that it? 05:22:39 Therefore, it is a signed multiset of these multisets? 05:29:37 -!- Taneb has joined. 05:43:02 -!- madbr has quit (Quit: Radiateur). 05:46:13 -!- Phantom_Hoover has joined. 05:51:08 help i think homestuck is broken 05:58:31 Me too 05:58:51 coppro, I'm feeling bored and stupid, what OS should I attempt to install on my laptop 05:59:50 Be 05:59:50 Depend what you require 06:00:13 If you want to load fast and simple then install FreeDOS 06:00:17 zzo38, I really don't require anything for my laptop, I barely use it 06:01:02 http://lambda-the-ultimate.org/node/4784 wow ltu is good 06:01:16 (seriously why is this allowed though) 06:02:04 Taneb: Well, if you don't have a computer with FreeDOS then maybe install that one. If you don't have a computer with Linux then maybe you should install Linux. 06:02:15 »Turnstile (⊢) shouldn't scare you. It was invented long ago by Frege and is standard mathematical notation. It is not "mumbo-jumbo".« 06:02:42 zzo38, I use Ubuntu pretty much exclusively. Some people say that's Linux 06:02:46 I see that you are a strong advocate of Wikipedia including its policies of censorship, outlawry, and vilification of academics by anonymous Administrators. 06:02:49 FreeDOS does not interest me 06:03:08 Ubuntu is one Linux distribution. 06:04:06 Maybe you can install ReactOS, if you are OK that it still isn't quite ready yet. 06:04:24 But from what I can tell, FreeDOS is loading and running much faster than the other one. 06:05:30 If the computer and CRT is turned on at the same time it will already be loaded when the picture is visible. 06:05:39 who uses a crt 06:05:59 I am using that for comparison. 06:06:54 Linux and Windows takes long time to start. 06:07:14 -!- mnoqy has quit (Quit: hello). 06:07:27 I was thinking about a different Linux 06:07:56 OK, install a different Linux distribution. (I don't know which one you want.) 06:08:21 Hence my query 06:08:30 how about nix 06:10:01 Bike, I don't know much about nix 06:12:09 -!- Bike has quit (Read error: Connection reset by peer). 06:13:02 -!- Bike has joined. 06:13:33 taneb: is that a problem 06:13:43 Not really 06:18:03 I'll give it a go :) 06:18:28 -!- Bike has quit (Ping timeout: 260 seconds). 06:35:39 Okay, now I have an SD card that has the power to boot nixOS 06:36:18 fuck yeah nixos 06:37:27 please provide nixos trip report 06:39:08 Decided to go for the minimum install 06:39:10 Booting... 06:39:55 An error occured in stage 1 of the boot process 06:40:05 sux 06:40:07 i, too, would be interested in a nixos trip report 06:40:19 shachaf: do you like my ongoing [rust trip report] 06:40:37 how ongoing do you mean 06:40:42 it goes on 06:40:54 is that anything like kmc's other trip reports? 06:41:04 yes it's a drugz joke I'm sorry 06:41:23 i haven't given many trip reports here I think 06:41:32 elliott: i think that was kmc's drugz joke 06:41:45 I stole it :( 06:42:08 elliott, punch-line pincher 06:43:19 Decided to run Memtest and now my screen is full of dots 06:43:19 dongs 06:43:49 kmc: can we have another trip report 06:43:56 "for comparison" 06:44:07 are you supposed to produce trip reports during or after 06:45:28 check erowid 06:45:43 they say write drunk, edit sober 06:46:49 what if it's a drugz that makes you more sober than usual 06:46:51 is kmc going to put his rust trip report on erowid 06:47:36 Update: my screen is still full of dots 06:47:46 kmc: should i bring the mölkky back with me 06:47:51 yes 06:47:59 i'd need something to put it in 06:48:05 zardoz has spoken 06:51:33 kmc: why do mozilla server people get +q and +o simultaneously 06:53:20 -!- conehead has joined. 06:56:28 Still dots but they make a different noise 06:59:27 tempest for eliza 07:04:35 Still dots, same noise 07:06:45 same as the original or as the different 07:07:36 The different one 07:07:41 The noise comes from the fan 07:18:26 -!- sacje has quit (Quit: sacje). 07:27:02 -!- carado has quit (Ping timeout: 246 seconds). 07:32:39 The dots have stopped while I was having breakfast 07:32:41 The noise, too 07:33:53 -!- conehead has quit (Quit: Computer has gone to sleep.). 07:36:43 `rungcc struct timespec t; clock_getres(CLOCK_REALTIME, &t); printf("%ld\n", t->tv_nsec); 07:36:49 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: rungcc: not found 07:36:56 `gccrun struct timespec t; clock_getres(CLOCK_REALTIME, &t); printf("%ld\n", t->tv_nsec); 07:37:00 ​/tmp/gccrun.wwnAiEwf/command.c: In function ‘main’: \ /tmp/gccrun.wwnAiEwf/command.c:20: error: ‘CLOCK_REALTIME’ undeclared (first use in this function) \ /tmp/gccrun.wwnAiEwf/command.c:20: error: (Each undeclared identifier is reported only once \ /tmp/gccrun.wwnAiEwf/command.c:20: error: for each function it appears in.) \ /tmp/gccrun. 07:38:50 `run echo $'#include \n#include \nmain(){struct timespec t; clock_getres(CLOCK_REALTIME, &t); printf("%ld\n", t->tv_nsec);}\n' > /tmp/tmp.c && gcc /tmp/tmp.c -o /tmp/tmp -std=gnu99 -lrt && /tmp/tmp 07:38:52 ​/tmp/tmp.c:3: warning: return type defaults to ‘int’ \ /tmp/tmp.c:3:68: warning: missing terminating " character \ /tmp/tmp.c: In function ‘main’: \ /tmp/tmp.c:3: error: missing terminating " character \ /tmp/tmp.c:4:1: warning: missing terminating " character \ /tmp/tmp.c:4: error: missing terminating " character \ /tmp/tmp.c:4: error: 07:39:21 `run echo $'#include \n#include \nmain(){struct timespec t; clock_getres(CLOCK_REALTIME, &t); printf("%ld", t->tv_nsec);}\n' > /tmp/tmp.c && gcc /tmp/tmp.c -o /tmp/tmp -std=gnu99 -lrt && /tmp/tmp 07:39:23 ​/tmp/tmp.c:3: warning: return type defaults to ‘int’ \ /tmp/tmp.c: In function ‘main’: \ /tmp/tmp.c:3: error: invalid type argument of ‘->’ (have ‘struct timespec’) 07:39:47 `run sed -i -e 's/->/./' /tmp/tmp.c && gcc /tmp/tmp.c -o /tmp/tmp -std=gnu99 -lrt && /tmp/tmp 07:39:49 sed: can't read /tmp/tmp.c: No such file or directory 07:39:58 Huh 07:40:05 /tmp isn't preserved 07:43:33 `run echo $'#include \n#include \nint main(){struct timespec t; clock_getres(CLOCK_REALTIME, &t); printf("%ld ns", t.tv_nsec);}\n' > /tmp/tmp.c && gcc /tmp/tmp.c -o /tmp/tmp -std=gnu99 -lrt && /tmp/tmp 07:43:35 1 ns 08:10:43 -!- conehead has joined. 08:14:15 kmc: E.g. https://github.com/jeremywohl/nacl/blob/master/crypto_verify/16/ref/verify.c , it looks like. 08:16:14 -!- epicmonkey has joined. 08:20:31 -!- katla has joined. 08:38:19 -!- Phantom__Hoover has joined. 08:40:04 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 09:49:29 -!- Taneb has quit (Ping timeout: 246 seconds). 10:00:25 -!- conehead has quit (Quit: Computer has gone to sleep.). 10:04:46 @messages-loud 10:04:46 oerjan said 1d 13h 10m 34s ago: my impression of my dreams is that they're a window into something profoundly lacking in logical structure. 10:21:45 -!- Taneb has joined. 10:27:44 -!- zzo38 has quit (Remote host closed the connection). 10:53:21 -!- nooodl has joined. 11:15:58 -!- MindlessDrone has joined. 11:16:24 http://www.youtube.com/watch?v=dHhjwwSZ9MA 11:36:09 -!- carado has joined. 11:49:17 -!- yorick has joined. 12:04:53 -!- Taneb has quit (Quit: Leaving). 12:22:24 Huh, weird. "lvs" shows a couple of logical volumes, but they don't show up in dmsetup ls. 12:23:38 Their status is "NOT available". Hm. 12:24:15 I guess maybe I need to lvchange -ay them, or something. 12:32:21 http://sprunge.us/RWDP that's probably not a good sign. 12:32:54 [198553.606614] quiet_error: 2563528 callbacks suppressed that neither. 12:33:24 (I'm going through a pile of disks I found, to see if there's anything interesting before wiping them/throwing them away.) 12:35:11 -!- Taneb has joined. 13:21:29 "Detect disks done, no any drive found." 13:23:44 -!- katla has quit (Remote host closed the connection). 13:26:26 Try ddrescue if you're interested in whether those erroring directories have anything. 13:27:43 I'm not that interested in this particular case. 13:28:30 (Since they're (probably) just failed disks from earlier RAID setups I've kept for no particular reason.) 13:53:32 Wonder why dd|nc over a gigabit-ethernet link is so slow. (Switched to using an old computer because the rest of the disks were IDE, and my USB dock only does SATA.) 13:54:35 Oh, the old box only has a 100BaseT network chip in it. Well, that explains it. 13:56:29 (It's doing 93.3 Mbps.) 13:59:14 Maybe I should've done the snooping on the computer in question, locally, instead of doing this copying stuff; it's going to take like four hours to copy this 160G disk image over. 13:59:59 Compress it? 14:01:16 That could be worth the effort for the next partition. (Don't want to stop this current operation.) 14:01:34 Wonder if just dd | gzip | nc ... nc | gzip > file will work. 14:01:54 You probably want gzip -d on the other end; other than that it should. 14:02:24 Make sure that gzip isn't too slow, though. 14:04:09 What's that fast-but-okay compression thing, lzo? 14:04:17 That's one, yes. 14:04:25 The command-line program is called lzop. 14:04:43 Will try that out, then. 14:05:27 I'd also try restarting the dd if it allowed a "skip=" argument in bytes instead of just as a multiple of ibs/bs. 14:05:56 skip_bytes 14:05:58 treat 'skip=N' as a byte count (iflag only) 14:06:19 I've been looking for that for *years*! Is that a new thing? 14:06:54 It's at the very end of the flags list, I think it might be. 14:06:54 It seems like the kind of thing that tends to be GNU-only, but I don't know how new it is. 14:07:10 dd: add 'skip_bytes' and 'count_bytes' operands Date: Sun, 05 Feb 2012 13:25:46 +0100 14:07:18 Well, new or not, very nice. 14:08:30 It's been suggested at least as early as 2008, when this was given as a workaround (evidently found in 'info dd'): (dd bs=1 skip=123456 count=0 && dd bs=8192) 14:08:58 Heh, I've just been using bs=1 skip=N directly and lived with the speed. 14:09:42 Author: Jim Meyering 14:09:44 Date: Sat Dec 2 08:12:56 2000 +0000 14:09:46 Undo most of the changes since 2000-11-24, since we've 14:09:48 documented a standard way to do it. 14:09:50 (skip_bytes, seek_bytes): Remove. 14:09:50 -!- Taneb has quit (Read error: Connection reset by peer). 14:11:01 Author: Jérémy Compostella 14:11:03 Date: Sat Feb 4 15:25:54 2012 +0100 14:11:05 dd: add count_bytes, skip_bytes and seek_bytes flags 14:11:11 Heh. 14:11:17 "dd: invalid input flag: `skip_bytes'" aw, dang. 14:11:20 Author: Jim Meyering 14:11:21 Date: Sat Nov 25 08:54:58 2000 +0000 14:11:23 remove bskip 14:11:25 adapt skip to skip either by bytes or by blocks 14:11:55 So originally added 2000-11-25, then removed a week later with the documented workaround, and then reädded 2012-02-04. 14:12:05 I wonder if they just forgot that they didn't intend to add it. 14:14:28 Anyway, that's GNU coreutils 8.16 or newer, then. 14:14:39 root@dumper:~# dd --version 14:14:39 dd (coreutils) 8.13 14:14:52 Should've deboostrap jessie'd instead of debootstrap wheezy'ing. 14:15:05 I don't really know why I went with wheezy anyway. 14:18:08 Gads, coreutils' configure is incredibly long. 14:18:20 stat no longer reports a negative file size as a huge positive number. 14:18:22 [bug present since 'stat' was introduced in fileutils-4.1.9] 14:18:22 I suppose it makes sense it tests every single thing known to man, but anyway. 14:18:25 A negative file size? 14:20:26 "core/coreutils-8.21/src/dd if=/dev/sda1 bs=32M skip=15639748608 iflag=skip_bytes | lzop | nc 10.102.76.2 14141" yay 14:20:43 Hooray 14:21:28 -!- Bike has joined. 14:21:47 Annnd... it does 70 Mbit/s. 14:21:50 "Hooray" indeed. 14:23:48 heh 14:24:04 Curiously enough, top says 80% CPU idle, so it's not bound by that. 14:24:08 Weird. 14:24:22 Is it a 5-core machine? 14:25:37 Two. 14:26:37 Was that the speed across the network link or in total 14:27:03 In total, looking at the resulting file size. 14:27:15 Bah, I'll just let it copy as it likes. 14:27:27 Is the receiving end CPU-bound? :-P 14:29:59 It certainly shouldn't. 14:30:16 -!- MindlessDrone has quit (Quit: MindlessDrone). 14:30:31 CPU use 13% and it's keeping all four cores at 0.8 GHz (the lowest setting). 14:31:42 -!- Taneb has joined. 14:32:12 Now the plain copy is also writing 75 Mbps. The strangest. 14:32:13 I mean, it could theoretically be IO-bound on the receiving end, but e.g. the RAID resync on this disk was fast as anything. 14:33:01 If it's a brokenish disk then it's of course likely to slow down in certain areas. 14:33:26 This one shouldn't (knocking on wood) be broken, it's just the disk that was in the old box before. 14:33:58 Well, being old is enough to make it likely, I think. AIUI it can happen a lot even in new disks. 14:34:48 I *could* try a plain dd-to-null read benchmark, but I'm not sure I care to. 14:36:07 http://static.usenix.org/event/hotos/tech/final_files/Krevat.pdf 14:36:09 "[U]nder normal operation, disk bandwidth to/from corresponding regions of a set of disks can be expected to vary by 20% or more from the fastest to the slowest." 14:36:45 Ah, that quote's more about performance between seemingly identical disks. Well, it refers to intradisk variance too. 14:37:16 I'd still expect a bit more than 10 MB/s out of it. 14:37:24 I can't ever read the smartctl --all output at all. 14:39:10 The rest of the disks are fortunately going to be smaller. 14:39:39 Having a lot of reällocated sectors is one indicator, at least. 14:41:22 80G, 250G, 2.5G, 120G and 30G. Huh, one's even bigger. 14:41:39 The big one has "broken @64M" scribbled on top of it. 14:41:49 5 Reallocated_Sector_Ct 0x0033 100 100 005 Pre-fail Always - 0 14:42:24 0 is good :-P 14:53:21 Was thinking maybe a filesystem-level copy for the second partition would be smarter, but it's 102G used of 115G in df, so probably not much of a win. 14:53:37 -!- katla has joined. 15:00:01 -!- mnoqy has joined. 15:04:52 -!- MindlessDrone has joined. 15:05:27 -!- glogbackup has joined. 15:06:05 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 15:07:40 -!- Phantom_Hoover has joined. 15:12:45 -!- Bike has quit (Read error: Connection reset by peer). 15:13:18 -!- Bike has joined. 15:26:19 -!- AnotherTest has joined. 15:26:55 -!- KingOfKarlsruhe has joined. 15:27:41 Hello 15:27:48 hi 15:29:03 -!- zzo38 has joined. 15:42:38 -!- Taneb has quit (Ping timeout: 240 seconds). 16:02:19 -!- Taneb has joined. 16:18:47 -!- Nisstyre-laptop has joined. 16:20:17 -!- Nisstyre-laptop has changed nick to Nisstyre. 16:34:12 -!- Taneb has quit (Ping timeout: 256 seconds). 16:39:27 -!- Taneb has joined. 16:46:36 -!- Bike has quit (Read error: Connection reset by peer). 16:48:02 -!- Bike has joined. 16:48:58 There was the ZZT game "The Secret of Cannibal Island" and I like the music, so I made a .NSF with more fancy music such as adding chords; it is 2A03+VRC7. It seems like pretty good in my opinion! It is: http://2a03.free.fr/dl.php?file=4151 for binary, http://2a03.free.fr/dl.php?file=4150 for source. 16:51:45 I cannot find the Wikipedia articles for a free ring; it redirects to something else. 16:51:54 zzo38: try the arxiv maybe 16:52:00 or a proper academic library 16:52:08 way better than wikipedia 16:52:37 what is a free ring 16:52:38 Yes, it might help, but I wrote this idea of what I thought might be a "free ring" and a "free commutative ring"; do you know any things about free ring? 16:52:56 zzo38, i dont think any one uses the term 16:53:23 Did I write about it correctly though? 16:53:38 what did you write 16:54:36 An element of a free ring over a set S is a signed multiset of lists of elements from S. 16:54:56 -!- Nisstyre has quit (Quit: Leaving). 16:55:04 Is that correct? 16:55:18 is that like polynomials in S? 16:55:39 A bit like that, I think. 16:56:22 (If it is a free commutative ring, then it should be "of multisets" rather than "of lists".) 16:56:47 a set, not a field? 16:57:17 Yes, a set, not a field, is what I an trying to mean (I don't know what it is called but I thought it might be called a free ring). 16:58:22 it might be callled the ring of polynomials 16:59:22 https://en.wikipedia.org/wiki/Polynomial_ring#The_polynomial_ring_in_several_variables no? 17:00:38 Let me see 17:00:44 zzo38: Do you happen to know what are these "Xnn" effects I see in some S3M files? 17:01:45 fizzie: I think it is panning? 17:02:17 It seems to be panning in Impulse Tracker and others. 17:02:28 The official Scream Tracker help files don't mention X at all. 17:03:03 (It has S8x for setting pan position.) 17:03:06 katla: OK, well, "free commutative ring" does seem like it might be what I have defined, although they give a different definition. 17:03:57 fizzie: I don't know, then. I have OpenMPT for playing .S3M and so on, so I tried creating a new file and entering a "X" effect and it says it is panning. 17:04:09 fizzie: It's worth checking whether Scream Tracker itself does anything with them. They could be extensions. 17:05:11 Deewiant: Scream Tracker doesn't support panning except on GUS, though. Schism (which AIUI is an Impulse Tracker clone) does panning with it. 17:05:17 katla: (I think their definition probably ends up being equivalent to what I am thinking of, though.) 17:05:27 I guess the X values in this file would make sense if it were panning. 17:06:25 fizzie: Then perhaps at least in that file, it is supposed to be panning. 17:10:57 (Wikipedia doesn't seem to have anything about "signed multiset", except for the "Free abelian groups are formal sums...they may be seen as signed finite multisets..." paragraph, and this is what I mean by "signed multiset".) 17:11:45 are you using thse free rings for anythin 17:12:39 I think a multimana in Icosahedral RPG makes free commutative ring over the set {w,u,b,r,g}. 17:13:19 So yes I am using these free rings for something. 17:13:54 woah 17:14:39 It is certainly different than other systems. 17:31:48 "Communication of delicious has not been included because to children all confectionery, especially 17:31:51 chocolate confectionery, is delicious." 17:32:07 this marketing report thing about a relaunch of Curly-Wurlys is great and I have no idea why I am reading it 17:32:26 -!- elliott has set topic: Communication of deilcious has not been included | Хммм, тхис стуфф реаллы сеемс то ворк | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric. 17:32:33 -!- elliott has set topic: Communication of delicious has not been included | Хммм, тхис стуфф реаллы сеемс то ворк | 22nd IOCCC is open: http://ioccc.org/2013/rules.txt | jsvine is doing an esolang survey! https://docs.google.com/forms/d/1OvEsdBioOFcXFAiscO34kctUWKs3dWQs5-ZouXdwy9Q/viewform | http://codu.org/logs/_esoteric. 17:33:29 Does Cyrillic script count as an esolang or why is it in the topic 17:33:53 Or is that Greek, whichever 17:34:24 apparently it's English 17:36:37 The language is, but the alphabet used isn't 17:36:52 I agree, that is not the English alphabet 17:37:06 Just wondering if there's a point to it 17:37:42 Only one person knows that 17:38:26 Deewiant: no 17:38:28 no point to it 17:39:11 "These ideas were put into qualitative research in animatic form and exposed to children aged 6–11 17:39:14 years old. Children under 6 were excluded because they are a little too young to use in research." 17:39:17 advertising is scary 17:43:25 It's just like animal testing, except with children. 18:02:35 my girlfriend served as an adult control subject for some behavioral research on children 18:02:51 so like they had her hold a stuffed animal and spin in circles and then try to walk in a straight line, or something 18:03:19 the stuffed animal is just to make the kids not freak out, but they can't very well omit that in the control! 18:03:30 fizzie: not so much "except" as "in particular" 18:03:33 Would the kind of stuffed animal and the kind of tiles on the floor affect something? 18:06:15 maybe 18:06:23 shachaf: what's with the return expression in that code 18:07:31 kmc: can you get good money for that 18:07:42 I am totally up for being a professional stuffed-animal-holder-and-circle-spinner 18:07:51 she did live on psych studies for a year yeah 18:08:25 wait, which code 18:08:31 can I be a professional stuffed animal holder 18:08:49 nacl constant time compare 18:08:49 Is there a control protocol where you don't use people who live off being sociology test subjects 18:08:55 Oh. 18:09:17 just psych studies, not like medical studies where they inject you with things 18:09:35 Jafet: Yes, it might be good idea having such a control protocol to avoid that kind of bias. 18:09:39 she did one study at MIT Media Lab that involved collaborating with robots to rescue survivors of an earthquake, or something 18:09:42 that sounded pretty fun 18:09:53 another one where she had to brush her teeth and open doors with her non-dominant hand for 2 weeks 18:09:58 which was like a willpower training thing 18:10:52 kmc: I think it always returns -1 differentbits is nonzero. 18:10:57 (Without a branch.) 18:10:58 And report how often she lapsed to her dominant hand, or what? 18:11:55 `addquote <+kmc> my girlfriend served as an adult control subject for some behavioral research on children [...] <+kmc> she did live on psych studies for a year yeah Is there a control protocol where you don't use people who live off being sociology test subjects 18:12:00 1087) <+kmc> my girlfriend served as an adult control subject for some behavioral research on children [...] <+kmc> she did live on psych studies for a year yeah Is there a control protocol where you don't use people who live off being sociology test subjects 18:12:30 Deewiant: no; they had some willpower-testing task before and after the 2 weeks 18:12:42 yeah the sample bias is unfortunate 18:13:58 remember how a few years back the FCC auctioned off billions of dollars of radio spectrum? that auction was designed according to studies done on my friends in college 18:14:00 (By nonzero I mean 1-255.) 18:14:21 who used the proceeds from the auction games to buy weed and plastic ball pit balls 18:15:13 I want a plastic ball pit 18:15:13 wait, what did they study? 18:15:14 billions of dollars' worth, i hope 18:15:18 why would they need to design a new kind of auction for that? 18:15:30 i'm not sure 18:16:14 maybe they could've just redone the auction until they were satisfied with the result 18:16:34 haha 18:50:23 -!- conehead has joined. 18:58:40 -!- sacje has joined. 19:04:41 -!- MindlessDrone has quit (Quit: MindlessDrone). 19:07:49 -!- katla has quit (Quit: Leaving). 19:32:44 Disk-dumping news: the 3.5G disk is causing like 30-second delays before BIOS detects them, and now "ata1: link is slow to respond, please be patient (ready=0)" "ata1: SRST failed" errors on boot. 19:32:49 It seems: quite flaky. 19:33:23 Try disabling DMA 19:34:13 "sda: sda1 sda2 < sda5 sda6 >" well, at least it found some partitions there. 19:35:49 Copying seems to work fine. 19:36:39 There also seems to be DOS (w/ 4DOS) and Windows for Workgroups 3.11 on it. 19:38:16 But also a \BOOT directory with GRUB, some kernel, and a couple of what I think are boot floppy images. 19:38:38 -!- Koen_ has joined. 19:39:10 Hm, seems that there's been Windows 98 installed with F:\ as the system drive. Curious configuration. 19:42:14 (It's also making this clicking sort of noise when I write on it.) 19:43:18 Ooh, Master of Magic. 19:43:26 And The Incredible Machine 3. 19:50:47 -!- AnotherTest has quit (Quit: Leaving.). 19:53:06 hi 20:00:31 -!- iamfishhead has quit (Ping timeout: 264 seconds). 20:02:12 -!- iamfishhead has joined. 20:19:18 Although I cannot put the Uselessness RPG stuff in a git repository and it won't help (and because I am working on paper), but maybe it can help if the stuff from the paper can also be put in some wiki; that way all idea can be written and discussed too. 20:24:47 I fucking hate git repositories right now 20:25:30 my new school uses one to collect our work and we lose all access rights when the due time is over 20:26:10 and you get this annoying "could not read from remote repository, please check that you have the correct access rights" if you try to git push one second too late 20:26:58 and every night at 23h42 you can hear screams of despair from every student who got that message 20:27:16 and also cries of victory from those who pushed one second before the deadline 20:29:24 the perils of shturmovshchina 20:31:08 also there were those who did the work *not at the last moment* but that's cheating imo 20:32:34 you should switch to something more ancient like CVS 20:32:37 that should give you plenty of valid CVS-ate-my-homework excuses 20:32:52 the nfs ate my work 20:32:59 (of course it'll occasionally actually do that, but you have backups right?) 20:33:01 like three times a day every day of the first two weeks 20:33:11 yes I did have backup 20:33:21 both via the git and in other folders on the machine 20:33:32 THE NFS MANAGED TO DESTROY THE BACKUPS 20:33:50 somehow it's intelligent and knows which files to make disappear 20:34:52 also sometimes I'm writing stuff on emacs and it will randomly erase a few lines in the file and replace them with "node 4.6.1 is not responding... node 4.6.1 is alive again" 20:35:23 Seems to me that it's not git's fault at all, but rather the fault of NFS. 20:35:39 definitely the nfs yes 20:37:16 -!- Frooxius has quit (Ping timeout: 276 seconds). 20:40:14 -!- oerjan has joined. 20:40:23 Deewiant: http://sprunge.us/iJRf seems that it's indeed ddrescue time. 20:45:26 -!- sacje has quit (Ping timeout: 240 seconds). 20:45:39 is there a pattern of binary or trinary digits that stays the same or mostly the same when multiplied by 3^n / 2^m 20:46:29 someone is thinking about the collatz conjecture... 20:50:25 -!- sacje has joined. 20:56:09 Koen_: That then might mean that git is no good for that purpose. 20:56:48 the git is good, the nfs is bad 20:57:01 and I suspect they purposefully did nothing to make things better 20:57:20 Is there such a thing as a "free ring" (as in mathematical)? <-- yes. rings are a variety (essentially, defined by equations) and all varieties have free objects. (commutative rings are also a variety.) 20:57:47 oerjan: Is it the one I have defined? 20:58:42 Day of Zeux as a due time in 24 hours where the time you start the upload (if you use FTP) is the due time instead of when it is finished. That might allow cheating though. My own Z-Comp does something a bit different: You must submit the SHA-1 hash of the file before the deadline. 20:59:35 zzo38: yes i think so, as long as the second order multiset (for addition) can have negative number of an element 21:00:54 oerjan: Yes, that is what I meant by a signed multiset 21:03:32 btw fields are _not_ a variety, division by zero messes up the ability to define it by just equations. 21:04:27 OK; I didn't use fields anyways though. 21:04:41 (e.g. it makes the "obvious" equation x*(1/x) = 1 have an exception) 21:15:28 -!- epicmonkey has quit (Ping timeout: 246 seconds). 21:19:04 -!- sacje has quit (Ping timeout: 264 seconds). 21:26:01 -!- augur has quit (Remote host closed the connection). 21:26:08 I cannot find the Wikipedia articles for a free ring; it redirects to something else. <-- there's a single-sentence definition buried inside the redirected article 21:26:42 it's probably technically correct, if not very illuminating 21:27:29 revelation of the day: pedaling a bike requires metabolic work 21:27:39 -!- sacje has joined. 21:29:00 zzo38: it's actually equivalent to what you said for noncommutative rings, since a free Z-module is really just a signed multiset 21:29:25 (it's also the same as a free abelian group) 21:30:32 and in another sentence in the introduction, it implies that the commutative analogy to a free algebra is a polynomial ring 21:32:11 zzo38: so another way to define a free commutative ring is as a polynomial ring with the generators as variables and Z as the ring of coefficients. i think. 21:32:21 -!- Sgeo has joined. 21:32:39 https://github.com/search?q=path%3Awp-config.php I can't decide if github should turn off search forever, or just auto-break every single fucking dumbass system 21:32:45 * pikhq notes he should not take levofloxacin again. 21:32:51 * pikhq also hopes that never comes up again. 21:33:00 all of these should be equivalent to the category theoretical definition of a free object in the relevant category, of course. 21:33:38 (also, the left adjoint to the underlying set functor) 21:39:09 oerjan: Ah, OK, so I suppose those things would be it too. 21:39:53 zzo38: anyway to prove that your formulation is correct you can note (1) the distributive law allows you to normalize every algebraic expression in a ring to your form (2) assigning suitable integer values to each generator (essentially the same as choosing a homomorphism into the integers) allows you to prove that different multisets cannot represent the same free ring element. (i am assuming the later will work; i haven't actually written it out.) 21:41:52 or well for (2) you could just note they give different _real_ polynomials, which is also a kind of homomorphism. 21:45:02 -!- katla has joined. 21:47:17 crap 21:47:38 I'm trying to connect to the wiki for the first time in a month 21:47:58 I can nly remember the firs two characters of my password 21:48:01 loads for me 21:48:04 oh. 21:49:06 they had a thing at the school about you being respnsible for anything done with your account - in particular, if someone forgot to lock their session, you were encourage to use it to do bad things 21:49:13 fsvo bad things 21:49:15 let me guess, you've never registered your email either *evil cackle* 21:49:30 so i took the habit to change my password every three days 21:50:35 itt life lessons 21:51:06 "fuck security" 21:52:03 yeah hum bike you have no idea how many people ended up with porn as their desktop background image / browser home page because they didn't lock their session 21:52:31 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90.1 [Firefox 23.0/20130730113002]). 21:52:44 did someone sue the school to get an end to this madness twh 21:52:48 or fancy aliases in the terminal 21:53:23 also I sent a ticket to the staff from someone else's account, volunteering to clean every single screen in the school because they were full of fingerprints 21:53:28 yeah this mostly seems like a pointless annoyance. 21:53:29 Koen_: i note you've still not commented on my guess about your email twh 21:53:46 I just received a temporary password oerjan 21:53:50 good, good 21:53:54 now I've got to make up yet another new password 21:53:58 I hate passwords 21:54:05 Y189=\ 21:54:07 bam 21:54:14 -!- katla has quit (Quit: Leaving). 21:54:17 thanks Bike NOW I'VE GOT ONE POSSIBILITY LESS 21:54:25 4 21:54:45 surely you never considered a 6 char password a possibility in the first place twnh 21:55:15 someone please tell me what that new acronym stands for 21:55:25 that would not help 21:55:33 seriously 21:55:50 hm you haven't been here in a while i guess 21:56:05 28 days I reckon 21:56:06 there's been an explosion of hth use hth 21:56:10 oh 21:56:14 yes I remember the hth days 21:56:15 only in oerjanland 21:56:29 >_> 21:56:45 it may have slightly subsided. 21:58:45 I think I may change the name lookup in this program from a simple list to a hash table in a bit similar to how it is implemented in TeX (but using linked lists for resolving hash collisions). Do you think this will be OK? 21:59:26 does tex have built in hash tables 22:00:07 TeX uses hash tables to lookup control words; they are described in section 256 of the source file. 22:01:08 -!- sacje has quit (Excess Flood). 22:01:39 -!- sacje has joined. 22:02:44 -!- augur has joined. 22:04:27 -!- iamfishhead has quit (Quit: Leaving.). 22:08:10 -!- augur has quit (Remote host closed the connection). 22:10:39 -!- augur has joined. 22:12:11 -!- sacje has quit (Ping timeout: 246 seconds). 22:12:27 I think I should put these things I wrote on this paper for the Uselessness RPG 1 into some wiki as well; do you have some wiki and section of wiki for putting it in to, which would be suitable for this purpose? 22:13:07 -!- Taneb has quit (Quit: Leaving). 22:18:06 -!- augur has quit (Ping timeout: 264 seconds). 22:18:29 -!- augur has joined. 22:18:58 -!- augur has quit (Remote host closed the connection). 22:20:16 -!- augur has joined. 22:21:56 -!- Nisstyre-laptop has joined. 22:27:12 -!- btiffin has joined. 22:31:09 -!- Bike has quit (Read error: Connection reset by peer). 22:31:18 -!- Bike has joined. 22:31:51 kmc: so are you electrocuted now 22:36:26 no 22:36:30 oh is this re my tweet 22:37:00 no i just destroyed 10cm of my LED strip 22:37:10 aww/heh 22:37:21 out of 20m total, so not a big deal 22:37:26 -!- Sprocklem has quit (Ping timeout: 256 seconds). 22:37:33 if you blow up one controller you can just solder onto the next one along 22:38:11 -!- Koen_ has quit (Quit: Koen_). 22:44:33 -!- Nisstyre-laptop has changed nick to Nisstyre. 22:50:52 What are you trying to make? 23:03:12 -!- augur has quit (Remote host closed the connection). 23:07:46 -!- btiffin has left. 23:10:48 -!- augur has joined. 23:30:57 -!- Sprocklem has joined. 23:35:17 -!- Phantom_Hoover has quit (Remote host closed the connection). 23:52:09 https://en.wikipedia.org/wiki/Wrong-way_concurrency 23:53:25 makes you think. 23:53:45 -!- augur has quit (Remote host closed the connection). 23:54:56 Bike: you're at wsu now? 23:56:29 yes 23:56:43 as foretold in the prophecy 23:57:28 at pullman? 23:57:49 yes 23:58:08 imo wrong end of washington 23:58:59 -!- Nisstyre has quit (Quit: Leaving).