←2014-01-31 2014-02-01 2014-02-02→ ↑2014 ↑all
00:09:50 -!- aergus has quit (Ping timeout: 264 seconds).
00:21:39 -!- w00tles has joined.
00:32:40 <coppro> zzo38: HWPL?
00:33:52 <zzo38> It is a hardware programming language.
00:38:47 -!- Sgeo has joined.
00:41:50 <Sgeo> Why am I so tempted to buy a Kindle?
00:46:37 <Slereah__> Worms are eating your brain
00:48:47 <Gregor> Sgeo: If you buy a Nook, you can root it and install the Kindle Android app.
00:49:24 <Sgeo> I want to unroot my Nook (if I can find it), but don't have a usable SD card slot thing
00:49:37 <Sgeo> Also, sounds like Kindle is more... sync-y than Nook
01:18:06 <Sgeo> The DRM scares me, but B&N is DRMed too
01:27:30 -!- zzo38 has quit (Remote host closed the connection).
01:38:42 -!- tromp__ has quit.
01:54:52 -!- yorick has quit (Remote host closed the connection).
01:57:22 -!- tromp has joined.
02:19:23 -!- Bike has joined.
02:22:46 -!- Bike_ has joined.
02:22:47 -!- Bike has quit (Read error: Connection reset by peer).
02:22:56 -!- Bike_ has changed nick to Bike.
02:25:55 -!- w00tles has quit (Quit: quit).
02:51:56 -!- Sorella has quit (Quit: It is tiem!).
02:55:05 -!- zzo38 has joined.
03:00:44 <zzo38> I made up this equation (where f^ represents functional powers): $$f_x(y)=\left(f^{y!}_{x-1}(y!)\right)^x+y$$ How much does the number get larger more faster?
03:15:08 -!- namaskar has quit (Ping timeout: 245 seconds).
03:23:08 <zzo38> I tried to calculate $f_2(2)$ but I am not sure if I got the correct answer, and I haven't tried $f_3(3)$, or, if $n=f_3(3)$ what is $f_n(n)$ = ?
03:42:04 <zzo38> How much tacks^Wtax do you put in your 6502 programs?
04:13:06 <Bike> i would guess it grows Pretty Fast.
04:13:18 <Bike> what's f_0
04:14:02 <zzo38> It will be to the power of zero, so f_0 is just the successor function.
04:14:17 <zzo38> A special case is not needed.
04:14:52 <Bike> But what if the inner term turned out to be zero so you got 0^0
04:14:55 <Bike> be afraid
04:14:58 <Bike> but yeah ok.
04:15:02 <zzo38> Anything to power of zero is one.
04:15:51 <zzo38> Even LJHG(Y#)R(N#%()YNM!_N%C|~(@|%<C(<!&%()LX<UATVUE<TCOPY<WOT<YXOEUWQ<TXOUE>TXOUEQ>TXOUIWEQTTEEPTJPIT{UET...NO CARRIER to the power of zero still should be just one, isn't it?
04:21:28 <Bike> f_2(2) = f^{2!}_1(2!)^2+2 = f^2_1(2)^2+2 = f_1(f_1(2))^2+2. f_1 = \y -> f^{y!}_0(y!)^1 + y = \y -> y!*y!+y. so f_1(f_1(2))^2+2 = f_1(2!*2!+2)^2+2 = f_1(6)^2+2 = (6!*6!+6)^2+2 = (720*720+6)^2+2 = 518406^2+2 = 268744780838
04:21:32 <Bike> I think?
04:22:51 <zzo38> I probably calculated it wrongly
06:43:26 -!- tromp has quit (Remote host closed the connection).
06:44:01 -!- tromp has joined.
06:48:05 -!- tromp has quit (Ping timeout: 248 seconds).
07:46:29 <zzo38> But it is large nevertheless, but still can be written easily enough, so it isn't really large.
08:21:48 -!- prooftechnique has joined.
08:53:11 -!- oerjan has joined.
09:20:37 -!- aergus has joined.
09:22:16 -!- conehead has quit (Quit: Computer has gone to sleep.).
09:30:29 -!- elliott has quit (*.net *.split).
09:30:55 -!- MindlessDrone has joined.
09:34:41 -!- elliott has joined.
09:37:18 -!- Sorella has joined.
10:14:57 -!- prooftechnique has quit.
10:22:09 <ion> Oh look, an identical rhythm with one of my song ideas. In mine it alternates between that and having the high hat hit simultaneously with the first kick drum hit following the snare. http://youtu.be/oSYNhfkNGco?t=2m25s
10:27:09 <fizzie> Heh, accidentally ran fdisk on a partition (sde1) instead of a disk (sde): http://sprunge.us/SKSW
10:27:15 <fizzie> "It sure doesn't, fdisk, it sure doesn't."
10:28:56 <ion> heh
10:29:23 <ion> Try writing it back and see if anything breaks.
10:29:39 <Bike> that's quite a partition table
10:29:50 <Bike> wtf is opus? other than a comic
10:30:00 <ion> and an audio codec
10:32:11 <fizzie> An old microkernel OS, apparently.
10:32:33 <fizzie> http://en.wikipedia.org/wiki/Taligent
10:32:50 <fizzie> "Initially started as a project within Apple to provide a replacement for the Mac OS, it was later spun off into a joint venture with IBM, for the purpose of building a competing platform to Microsoft Cairo and NeXTSTEP, as part of the AIM alliance."
10:32:56 <fizzie> I think the technical term is a "dead end".
10:35:21 <fizzie> (Found a whopping 64 megabyte CF card, was checking what's on it.)
10:36:28 <ion> That could hold, like, a whopping five photos!
10:37:40 <fizzie> I think it used to hold, like, a hundred. I (most likely) used it in a jpeg-only 1600x1200 resolution camera.
10:43:15 <fizzie> http://www.canon.com/camera-museum/camera/dcc/data/2001-2002/2002_ps-a200.html?lang=us&categ=srs&page=psa this one.
10:43:38 <fizzie> "The A200 also features an all-glass lens --" high-end!
10:45:12 <fizzie> Capable of a 9-seconds 320x240 (or a 26-second 160x120) movie and all.
10:46:57 <Bike> lens guaranteed at least 86% dolphin free
10:47:45 <fizzie> (Though there's at least one thing in the spec sheet -- can do USB control; there was even gphoto2 support -- where it beats the succeeding camera I had.)
11:32:10 -!- namaskar has joined.
12:00:31 <b_jonas> oh no! yet another grammar nazi trying to force people to use stupid irregular plurals for no reason!
12:00:37 <b_jonas> I hate them!
12:01:04 <Bike> wat r u takin but
12:07:29 <fizzie> I remember our (high school or the thing before that) math teacher writing 0⁰ on a blackboard, then asking "now, what's this?", then modifying it to ⁰0⁰ and going "it's Mickey Mouse".
12:08:13 <Bike> uh that's clearly tetration??
12:10:32 <fizzie> What's the precedence for tetration and exponentiation, anyway? Is ⁷8⁹ (⁷8)⁹ or ⁷(8⁹)?
12:10:58 -!- namaskar has quit (Ping timeout: 245 seconds).
12:11:36 <Bike> i believe the precedence is "what the fuck are you doing"
12:13:31 -!- Bike has quit (Quit: do not stand down).
12:47:55 -!- namaskar has joined.
13:04:29 -!- namaskar has quit (Ping timeout: 272 seconds).
13:20:01 <nortti> is there a argeed-upon substitute for 'ø' in false, should the environment prevent use of that letter?
13:20:29 <nortti> and ß
13:21:45 <oerjan> use 'oe' hth
13:22:43 -!- yorick has joined.
13:24:24 <nortti> I mean if I'm implementing a False implementation but the environment lacks 'ø', which is False for pick
13:25:30 <Vorpal> fizzie, hi!
13:26:28 <Vorpal> fizzie, Any idea how to figure out the bit-rate of a mp4? I'm having issues playing a certain piece of media in anything except mplayer on my gaming PC, so I want to transcode it for lower bit-rate so I can play it on non-beast machines
13:27:04 <Vorpal> Even vlc on my gaming PC stutters
13:27:12 <Vorpal> Which is pretty insane
13:36:53 <Vorpal> Ah, found it:
13:36:56 <Vorpal> VIDEO: [H264] 1280x720 24bpp 25.000 fps 2700.1 kbps (329.6 kbyte/s)
13:37:03 <Vorpal> mplayer was able to calculate that
13:37:12 <Vorpal> That is quite an insane bitrate I think?
13:37:55 <Vorpal> Or hm what
13:38:10 <Vorpal> No it isn't
13:41:29 <Vorpal> I don't get it then, why doesn't the video want to play on anything but my desktop, and only in mplayer
13:48:06 -!- oerjan has quit (Quit: leaving).
13:51:12 -!- namaskar has joined.
13:59:30 <int-e> Vorpal: I don't know enough about H264, but from a purely abstract point of view, a lower bitrate does not necessarily mean that it's easier to decode.
14:01:57 <Vorpal> int-e, hm, what is the issue then?
14:12:50 <int-e> I don't know, but here is a bit of wild speculation: Allowing B-frames to use interpolation sounds like fun, for example. But it could also be that some filter is used that is very rare, and hence not implemented efficiently.
14:14:01 <int-e> The point is that it comes down to codec features used, and the bitrate does not contain any information about that.
14:16:28 <fizzie> I don't think the mplayer average-bitrate information is always terribly accurate, either. (VLC has Tools/Media Information/Statistics/Input bitrate view that can show an "instant" bitrate graph.)
14:17:33 <Vorpal> fizzie, hm
14:18:22 <Vorpal> fizzie, well I'm trying to transcode it with somewhat random parameters, hoping that solves the issue. Since the input file is a couple of hours long though... Hm how do I tell ffmpeg to only encode the first x seconds?
14:20:10 <Vorpal> fizzie, yeah according to vlc the bitrate is 3.0 to 5.0 mbit/s. Can't find the graph though, my vlc may be too old
14:20:21 <Vorpal> Since I'm on debian stable that is quite possible
14:21:48 <fizzie> There's a "-t X" flag, where X is a number in seconds or in hh:mm:ss.
14:21:58 <fizzie> (Restricts the output duration to that.)
14:22:49 <Vorpal> Ah yes
14:23:00 <Vorpal> Useful, I'll run some tests on the first 30 seconds.
14:24:55 -!- namaskar has quit (Ping timeout: 272 seconds).
14:31:36 <elliott> Vorpal: there's no way that video should be playing slowly on your gaming PC at all
14:31:45 <elliott> something sounds very broken
14:34:02 <Vorpal> elliott, yes, and if i transcode it to even higher bit-rate (yes I know this is stupid for obvious reasons) it plays well. I guess the input stream is just super-quirky in some way
14:34:39 <Vorpal> elliott, so I'll just transcode it to something half-reasonable to "fix" it.
14:36:03 <elliott> Vorpal: it might be a muxing problem
14:36:08 <elliott> try remuxing the file (don't need to reencode)
14:36:22 <elliott> ffmpeg -i file.mp4 -vcodec copy -acodec copy file.fixed.mp4
14:36:33 <Vorpal> elliott, tried that already. Didn't help.
14:37:29 <elliott> can you upload the mp4? I kinda wanna poke at it.
14:38:18 <Vorpal> elliott, it is 3.2 GB
14:38:27 <Vorpal> elliott, Maybe I could do a copy of the first minute or so?
14:38:34 <Vorpal> That would be reasonable
14:38:52 <fizzie> I've got a couple of H.264 files that play very badly (colorful artefacts) with the VDPAU-accelerated ffh264vdpau decoder, but just fine with regular ffh264. I assume they've managed to hit some corner case too.
14:38:53 <elliott> Vorpal: if that produces the same problem, sure
14:39:01 <Vorpal> Yeah
14:39:56 <elliott> fizzie: probably a hardware bug, not an ffmpeg bug
14:40:35 <fizzie> Sure, but the VDPAU decoders play all other files just fine, so it's some quirk particular to these.
14:41:15 <Vorpal> fizzie, well I tried it on a nexus tablet (dice player), a windows PC (vlc and windows media player), a mac (vlc) and two linux PCs (vlc and mplayer on both). Only gaming PC (booted to linux, haven't tried windows on it) + mplayer worked.
14:41:26 <Vorpal> elliott, waiting for dropbox sync...
14:42:56 <Vorpal> elliott, also in case you wonder, it is BBC Last Night of Proms, downloaded from Swedish public service web TV. Legal private copy and so on. And the copy to you is for debugging obviously.
14:43:23 <Vorpal> elliott, see /msg for link
14:44:05 <Vorpal> elliott, interestingly it plays okay in the dropbox mp4 player
14:44:11 <Vorpal> wonder if they transcoded it?!
14:44:37 <Vorpal> elliott, here is the sha512sum so you can check it transferred properly 98ac3693b3597f3e34909d15a3eea0fe8264744b0aa29b2184cc5ad596aa1434409c416c59d24c57f5b27a6f5ce2652deb2cb833d679e227ec72a2c3cbb288e4
14:45:21 <elliott> file size in bytes would be simpler
14:45:23 * elliott is on Windows
14:45:27 <Vorpal> Ah
14:45:42 <Vorpal> 21465184 bytes (21 MB)
14:47:50 <Vorpal> elliott, using the download link for me, worked perfectly, checked the sha512sum
14:49:25 <Vorpal> elliott, I'm pretty sure the web-player on dropbox does some transcoding, the quality looks worse than what I get from mplayer to me
14:49:39 <elliott> Vorpal: /msg
14:51:01 <Vorpal> elliott, /msg
15:03:37 <fizzie> fungot: /msg
15:03:37 <fungot> fizzie: is it time to do it with
15:03:47 <fizzie> fungot: Yes, it is time.
15:03:48 <fungot> fizzie: my advisor is giving.)) be considered abusive?" " oh, my goodness you're talking about. oh, shriram's book has a ' v' like in c
15:04:18 -!- augur has quit (Remote host closed the connection).
15:04:45 -!- augur has joined.
15:06:59 -!- augur_ has joined.
15:08:01 -!- augur has quit (Read error: Connection reset by peer).
15:17:51 -!- tromp has joined.
16:00:50 -!- aergus has quit (Ping timeout: 245 seconds).
16:11:46 -!- Slereah__ has quit (Read error: Connection reset by peer).
16:12:06 -!- Slereah_ has joined.
16:12:07 -!- tertu has joined.
16:19:32 -!- namaskar has joined.
16:24:47 -!- conehead has joined.
16:26:55 -!- tertu has quit (Ping timeout: 252 seconds).
16:30:41 -!- tertu has joined.
16:32:01 -!- tertu has quit (Read error: Connection reset by peer).
17:08:25 -!- fark-mcgee-zax has joined.
17:11:35 -!- fark-mcgee-zax has left.
17:35:01 -!- Slereah__ has joined.
17:35:59 -!- Slereah_ has quit (Ping timeout: 260 seconds).
17:57:00 -!- yorick has quit (Remote host closed the connection).
17:58:45 <Sgeo> The thing with B&N DRM and CC nums... is the CC num required in order to be able to crack the DRM, or required to attempt to unlock the book 'legitimately'?
18:34:16 -!- Bike has joined.
18:44:17 -!- zzo38 has quit (Remote host closed the connection).
19:16:31 <Sgeo> Thanks kmc
19:42:16 -!- aergus has joined.
19:48:18 -!- Effilry has joined.
19:49:57 -!- FireFly has quit (Ping timeout: 252 seconds).
20:08:01 -!- Koen_ has joined.
20:09:03 -!- Koen_ has quit (Read error: Connection reset by peer).
20:09:03 -!- Koen__ has joined.
20:16:30 -!- a_ergus has joined.
20:18:23 -!- aergus has quit (Ping timeout: 260 seconds).
20:38:06 -!- oerjan has joined.
20:41:08 -!- augur_ has quit (Quit: Leaving...).
20:51:05 -!- MindlessDrone has quit (Quit: MindlessDrone).
20:53:47 -!- namaskar has quit (Ping timeout: 272 seconds).
21:22:06 -!- Koen__ has quit (Quit: Koen__).
21:23:43 -!- nooodl has joined.
21:24:33 <shachaf> whoa, http://rosettacode.org/wiki/Y_combinator#Rust links to my website for some reason
21:26:56 -!- FireFly has joined.
21:27:39 -!- Effilry has quit (Quit: WeeChat 0.4.2).
21:28:30 <kmc> cool
21:28:47 <kmc> somebody should fix it up for Rust 0.9
21:29:54 <shachaf> why did they rename Rec to Mu :'(
21:30:42 <shachaf> do people just call things Mu
21:32:07 <fizzie> https://dl.dropboxusercontent.com/u/113389132/Misc/20140201-esoteric-2013.ogg it's bleeps and bloops time again
21:32:35 <shachaf> whoa, i didn't know people used opera
21:33:21 <shachaf> maybe that type should be called Curry
21:33:26 <shachaf> Curry a = Curry a -> a
21:33:31 <shachaf> except that would be confusing
21:36:10 <olsner> fizzie: what's the bleeping and blooping of?
21:45:30 <fizzie> olsner: One year of logs[*]. ([*] Boring details available by request.)
21:55:40 -!- nisstyre has quit (Quit: Leaving).
22:13:21 <Vorpal> fizzie, details please?
22:17:48 <nortti> yeah, I'm interested too
22:22:03 <fizzie> It's taking top 64 nicks (counting messages in 2013, with slight canonicalization) sorted alphabetically, then making a 64x105120 matrix by counting number of messages in all 5-minute intervals in 2013; then some remapping (sigmoid function on the values, filtering across the time dimension with a 24-frame aka 2-hour Gaussian window), then inserting all those 64 "channels" as logarithmically ...
22:22:09 <fizzie> ... equally spaced lines from 200 Hz to 3 kHz in a magnitude spectrogram (with 32 ms frames and 75% overlap) and resynthesizing a time domain signal out of it.
22:22:54 <pikhq> Aaaaagh! Such pain.
22:23:04 <fizzie> You can sort-of hear the day cycle, which would be 86400/300 = 288 frames, and therefore 288 * 0.25 * 32 ms ~= 2.3 seconds.
22:24:06 -!- augur has joined.
22:24:21 <fizzie> (Or at least fool yourself into thinking you hear it.)
22:31:16 <int-e> "The result was a short burst of the most hideous cacophony, and he stopped it. He ran the conversion program again, this time instructing it to force-map the pitch values into G minor. This was a utility he was determined in the end to get rid of because he regarded it as cheating. If there was any basis to his firmly held belief that the rhythms and harmonies of music which he found most satisfying could be found in, or...
22:31:22 <int-e> ...at least derived from, the rhythms and harmonies of naturally occurring phenomena, then satisfying forms of modality and intonation should emerge naturally as well, rather than being forced. For the moment, though, he forced it. The result was a short burst of the most hideous cacophony in G minor."
22:35:15 -!- augur has quit (Remote host closed the connection).
22:35:43 -!- augur has joined.
22:37:39 <kmc> beep boop
22:37:58 <quintopia> supkmc
22:38:42 <quintopia> do you know any animators
22:39:59 -!- augur has quit (Ping timeout: 240 seconds).
22:43:23 <kmc> what kind
22:44:45 <quintopia> 2d.
22:44:50 <quintopia> possibly vector
22:47:38 <kmc> not really
22:48:07 <quintopia> ok
22:51:51 -!- atriq has joined.
23:03:26 <shachaf> i should be more careful with urls
23:04:09 <atriq> hi shachaf
23:04:12 <shachaf> i'm told that cool uris don't change
23:04:35 <shachaf> but i just scatter them willy-nilly in the root of my website with random names
23:04:38 <shachaf> hi atriq
23:08:12 <kmc> winners don't do drugs
23:08:30 <atriq> druggers don't have wind
23:08:51 -!- namaskar has joined.
23:10:36 <quintopia> yay another brainfuck clone
23:11:29 <int-e> is there one that just switches the meanings of [], +-, <> and .,?
23:11:50 <oerjan> atriq: i think phantom_hoover should do a public caning, do you agree?
23:11:55 <copumpkin> pipe it through tr?
23:12:06 <atriq> oerjan: good idea
23:12:12 <shachaf> hi copumpkin
23:12:20 <copumpkin> hi shachaf
23:12:32 <quintopia> int-e: here's an idea. a bf-clone where all 8 commands all mean "choose a bf command uniformly at random and run it"
23:12:46 <kmc> cut-rate druggists
23:12:57 <FireFly> I foresee a lot of invalid programs in that language
23:13:07 <quintopia> FireFly: all programs are valid
23:13:20 <int-e> FireFly: I foresee none; it just comes down to running them often enough.
23:13:31 <int-e> quintopia: what does ] do in brainfuck?
23:13:40 <shachaf> copumpkin: do you like zest
23:14:04 <copumpkin> lemon?
23:14:10 <shachaf> for instance
23:14:22 <int-e> (though admittedly most bf interpreters that I've written will just terminate the program at the first ] without matching [)
23:14:27 <quintopia> int-e: in this implementation, it would search backward for a corresponding [ and halt if it reaches the beginning of the program. alternately, we could assume every program starts and ends with infinitely [ and ]
23:14:43 -!- namaskar has quit (Ping timeout: 245 seconds).
23:16:49 <oerjan> quintopia: i assume that during the [] matching search it will determine randomly whether any given command is a [ or ]
23:17:37 <kmc> drunkard's walk as a control flow structure
23:17:38 <kmc> i like it
23:17:48 <copumpkin> shachaf: sure
23:18:45 <quintopia> oerjan: obvi
23:18:56 <oerjan> http://sprunge.us/SKSW
23:19:02 <oerjan> wat
23:19:17 <quintopia> oerjan: so if you're more than 8 characters into the program already, there's a good chance of succeeding in finding one
23:19:25 <oerjan> hit paste somehow
23:28:34 -!- prooftechnique has joined.
23:47:14 -!- nisstyre has joined.
←2014-01-31 2014-02-01 2014-02-02→ ↑2014 ↑all