00:01:58 -!- L8D has joined. 00:02:11 -!- zzo38 has joined. 00:06:54 -!- elliott has quit (Ping timeout: 246 seconds). 00:07:38 -!- elliott has joined. 00:08:02 -!- elliott has changed nick to Guest69134. 00:11:39 -!- ^v has joined. 00:26:06 -!- boily has joined. 00:29:05 -!- ProofTechnique has joined. 00:33:33 -!- L8D has quit (Ping timeout: 246 seconds). 00:35:14 -!- hjulle has joined. 00:36:30 @massages-loud 00:36:30 You don't have any messages 00:44:25 helloily 00:48:02 ProofTechellonique! 00:51:57 -!- Andodaan has joined. 00:52:11 -!- hjulle has quit (Ping timeout: 264 seconds). 01:04:57 -!- iamevn has joined. 01:06:24 -!- Kasran has joined. 01:10:01 -!- callforjudgement has joined. 01:10:28 -!- ais523 has quit (Remote host closed the connection). 01:11:07 -!- callforjudgement has changed nick to ais523. 01:13:58 [wiki] [[User:Kasran]] N http://esolangs.org/w/index.php?oldid=42180 * Kasran * (+71) hello! 01:27:18 god dammit. these ads on youtube music videos that are, themselves, music videos 01:28:56 bonus points if two music videos have each other as ads? 01:29:00 * boily hands some AdBlock potions to orin 01:29:14 hellorin. aren't you oren usually? 01:29:17 or, hmm 01:29:34 hellæis523! 01:29:34 I assume some people archive ads on YouTube 01:29:49 perhaps some day someone will have the ad for a video be the same as the video itself 01:30:21 boily: yah, my passport says "oren" but sometimes I spell it other ways 01:30:32 The realization is that the encapsulating music video is really an ad. 01:31:29 I would'nt mind so much if the two musics were the same genre 01:32:19 chiptune demo video opening with bruno mars' new single 01:32:21 which shawn mendes and BABYMETAL are not, at all 01:32:23 my passport doesn't say "ais523" :-( 01:32:24 haha 01:32:53 my has a boily in there ^^ 01:32:54 Why not use an ad blocker? 01:33:24 orin: the only way to get babymetal out of my mind is some heavy touhou remixes. 01:35:34 like Crow's Claw? 01:35:36 adadadadadada dokkyu! zokkyu dokkyu zokkyu dokkyu yada yada yada neva neva neva! 01:36:11 -!- ais523 has quit (Read error: Connection reset by peer). 01:36:26 * boily mapoles orin with a swift swing 01:36:26 -!- ais523 has joined. 01:37:19 Kasran: IOSYS usually does the job for me, but I do enjoy some Alstroemeria. what are your favourite circles? 01:39:08 shinra bansho, hatunetu-miko's, IRON ATTACK! 01:39:26 I'm not super into Touhou music, so I'm not sure I'd be able to pick out any favorites. I do like what I've heard from Crow's Claw, though. 01:39:32 bleh 01:40:02 orin: heh! listening to hatsunetsu at this moment right now :D ♪ 01:40:16 Kasran: bleh? 01:40:37 Kasran: you should try Demetori, particularly their later albums. some epic rocking in them. 01:41:24 bleh!!!! And alright, I'll take a look, thanks. 01:42:16 I also like anything from Odyssey Music/T. Stebbins/Eurobeat Brony/ whatever other pseudonyms he has 01:43:06 who is he/she/it? 01:43:45 An amazing male vocalist who does songs in a whole bunch of fandoms 01:44:10 https://www.youtube.com/watch?v=4LpGkyR3hfI 01:44:15 -!- Guest69134 has changed nick to elliott. 01:44:18 -!- elliott has quit (Changing host). 01:44:18 -!- elliott has joined. 01:48:17 -!- Lymia has quit (Ping timeout: 265 seconds). 01:51:12 Apparently he is also named Ken Blast and also mortimer Mortimer 01:52:01 -!- oren has joined. 01:52:25 -!- orin has quit (Quit: ssh to uoft is slowing up). 01:53:33 Is the first mortimer lowercase like that? 01:53:44 Aesthetic! 01:53:56 no that was a result of a slow connection 01:54:48 by convention Eurobeat song and artist names are limited to numbers and uppercase letters. No idea why 01:57:33 A typical song listing is of the form "PRETTY GIRL ROCK / SPEEDMASTER feat CINDY" 01:58:54 -!- boily has quit (Quit: ARTICULATED CHICKEN). 02:02:01 `? oren 02:02:03 oren is a Canadian esolanger who would like to obliterate time zones so that he can talk to his father who lives in the same house. 02:02:08 lol 02:02:28 hes asleep already 02:21:47 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:28:20 -!- adu_ has joined. 02:40:20 I was reading something David Sirlin wrote recently, and now I can see that he even designed a Magic: the Gathering card. 02:45:07 MTG++ 02:45:59 -!- ais523 has quit. 02:46:03 -!- callforjudgement has joined. 02:46:04 -!- callforjudgement has changed nick to ais523. 02:46:16 -!- ais523 has quit (Changing host). 02:46:16 -!- ais523 has joined. 03:00:36 -!- Lymia has joined. 03:26:02 -!- ^v has quit (Ping timeout: 256 seconds). 03:29:03 -!- ^v has joined. 03:30:28 -!- Andodaan has quit (Read error: Connection reset by peer). 03:47:16 Screw this crap. I'm making my own image editor 03:49:08 -!- augur_ has quit (Ping timeout: 265 seconds). 03:49:33 +1 03:49:33 lighter 03:49:58 oren: what is this crap? 03:50:06 -!- vodkode_ has quit (Ping timeout: 265 seconds). 03:51:06 -!- L8D has joined. 03:51:13 coppro: mtpaint 03:53:30 -!- ^v has quit (Ping timeout: 265 seconds). 03:55:34 -!- augur has joined. 03:55:44 I'ma make a better one. with scripting. and whores 03:57:46 -!- ais523 has quit. 03:57:49 -!- ^v has joined. 03:58:00 -!- ais523 has joined. 03:58:52 specifically, I want to be able to select a quadrilateral out of the image and deform it into another quadrilateral 03:59:39 imagemagick? 04:00:36 oren: are they both parallelograms? 04:01:09 no 04:01:35 they are roughly trapezoids 04:04:43 affine translation might still work, on that data, but it's far from guaranteed 04:04:47 err, affine transformation 04:08:28 the way I'd do it is by taking the diagonals to anchor your coordinate system, and define the transformation in terms of that. Not sure if it's linear 04:10:14 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)). 04:10:39 -!- _AndoDaan has joined. 04:26:23 -!- L8D has quit (Ping timeout: 264 seconds). 04:31:53 -!- vodkode_ has joined. 04:33:37 -!- shikhin has quit (Ping timeout: 256 seconds). 04:36:21 -!- zzo38 has quit (Ping timeout: 250 seconds). 04:40:40 -!- iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit (Quit: iamevn has quit))))))))). 04:51:39 -!- callforjudgement has joined. 04:51:50 -!- ais523 has quit (Disconnected by services). 04:51:51 -!- callforjudgement has changed nick to ais523. 05:14:10 -!- bb010g has joined. 05:15:53 Image processing tools generally call that a "perspective" transformation. 05:16:57 assuming the trapezia are isoceles and the two parallel sides are horizontal, I've also seen it called "keystone" 05:18:30 http://www.imagemagick.org/Usage/distorts/#perspective etc. 05:19:42 (I've only seen the "keystone" term in a projector context.) 05:20:06 haha, POSIX defines the syntax of yacc using a yacc grammar 05:20:16 thus leading to a standard in need of bootstrapping 05:20:57 YAELI: a language for which the syntax of yacc is an interpreter for that language, ideally in as non-contrived a way as possible 05:22:24 POSIX defines all of its syntax using a yacc grammar. 05:23:19 that doesn't make it any less of a circular definition 05:25:04 -!- Novtopro has joined. 05:27:01 -!- ais523 has quit (Read error: Connection reset by peer). 05:27:14 -!- ais523 has joined. 05:30:53 -!- L8D has joined. 05:35:06 -!- ais523 has quit. 05:35:16 -!- ais523 has joined. 05:46:53 -!- Novtopro has quit (Quit: Textual IRC Client: www.textualapp.com). 06:01:45 -!- _AndoDaan has quit (Ping timeout: 245 seconds). 06:18:49 -!- Kasran has quit (Quit: Page closed). 06:24:20 -!- fractal has quit (Ping timeout: 272 seconds). 06:29:02 -!- fractal has joined. 06:35:10 -!- oerjan has joined. 06:36:05 -!- adu_ has quit (Quit: adu_). 06:47:07 fizzie: fungot and zemhill got k-lined... 06:47:17 @messages- 06:47:17 boily said 19h 28m 43s ago: I know. 06:47:31 I'm going to assume that was in-context 06:47:40 but it's much less than a year, so no new record 06:48:09 ais523: what? 06:48:20 fizzie: fungot and zemhill got k-lined... I know 06:48:31 OKAY 06:48:38 `quote 1y 06:48:39 497) monqy: help how do I use lambdabot to send messages to people. [...around half an hour later...] @messages quicksilver said 1y 2m 18d 19h 54m 29s ago: you use @tell 06:48:46 and that's the previous record 06:49:02 and still the current record 06:49:07 right 06:50:14 >25 years without a cavity, and BAM! 5 in one year ;_; 06:50:36 have you changed diet? 06:50:39 and i have no one to blame but my shrinks 06:51:00 I'd better not give too much advice, though, or you might turn into Sgeo 06:51:02 and nobody wants that 06:51:27 ais523: more chocolate, less brushing teeth, pretty obvious cause really 06:51:52 I actually gave up chocolate accidentally in march last year (possibly even february) 06:51:54 and decided to just run with it 06:52:50 i started eating chocolate in the middle of the night because it seemed to help with my foot cramps... 06:53:17 but i had already done that a year ago, when the checkup was clean 06:53:38 well maybe not as much 06:54:42 also, i'm unlikely to become like Sgeo, my way is to ignore all advice completely hth 06:58:58 -!- ais523 has quit (Read error: Connection reset by peer). 06:59:07 -!- ais523 has joined. 07:07:46 `unidecode � 07:07:55 ​[U+FFFD REPLACEMENT CHARACTER] 07:08:26 someone didn't have unicode set up properly 07:11:37 `unidecode 𝍐 07:11:38 ​[U+1D350 TETRAGRAM FOR FAILURE] 07:12:31 pretty much the same thing, there 07:12:59 -!- vodkode__ has joined. 07:13:17 -!- vodkode__ has quit (Client Quit). 07:13:41 oh wait it's not supposed to look the same 07:13:53 pretty much a failure, then. 07:14:49 -!- _AndoDaan has joined. 07:20:42 `unidecode 負 07:20:43 ​[U+8CA0 CJK UNIFIED IDEOGRAPH-8CA0] 07:21:29 see this is stupid. why does the tetragram have its iching meaning in it but the kanji has a stupid hex number 07:22:00 i've been assuming it's because the kanji's meaning might depend on language 07:22:30 not to such an extent... 07:22:56 i guess it's because they hate humans, then 07:23:52 damned racists 07:24:15 technically that's speciesist hth 07:24:31 The human species 07:40:58 -!- vodkode_ has quit (Ping timeout: 272 seconds). 07:43:25 why does irssi use your local username as default nick <-- because you haven't saved your nick setting? 07:44:05 actually i think that's part of the server setting 07:44:22 -!- Patashu has joined. 07:45:37 hm nick isn't listed as an argument on permanent servers 07:48:40 well it's in .irssi/config, anyway 08:09:32 -!- zadock has quit (Quit: Leaving). 08:09:40 -!- L8D has quit (Ping timeout: 245 seconds). 08:12:22 -!- _AndoDaan has quit (Remote host closed the connection). 08:15:05 -!- SopaXorzTaker has joined. 08:35:20 -!- shikhin has joined. 08:55:07 [wiki] [[Brainloller]] http://esolangs.org/w/index.php?diff=42181&oldid=32144 * 212.13.18.233 * (+108) Added php implementation on github 08:59:45 -!- SopaXorzTaker has quit (Remote host closed the connection). 09:21:52 aren't you tired of those stupid console programs that don't have a line editing library? 09:22:19 and you press the arrows and get ^[[A ^[[B 09:23:40 well, fear no more! https://github.com/izabera/bin/blob/master/rrlwrap 09:24:41 now you can just run rrlwrap otherprogram and the power of readline will be yours 09:28:23 izabera: how does that differ featurewise from ledit, another program that does the same thing? 09:28:39 first of all, the author is much sexier 09:29:13 second, the author didn't know ledit 09:29:37 the author did know rlwrap but it was a fun experiment anyway 09:29:37 author sexiness has never been a reason to choose between programs 09:29:44 otoh, the author of ledit didn't know of rrlwrap either 09:29:46 it always has 09:29:49 so that condition's kind-of a wash 09:31:03 this has the added bonus of being less than 100 lines long \o/ 09:31:03 | 09:31:04 /^\ 09:31:19 \o/ 09:31:19 | 09:31:19 /`\ 09:31:24 that's one useful bot 09:31:30 it's not entirely a bot 09:31:36 it's a human and bot using the same account 09:31:40 ooh myndzi is working properly again 09:31:42 which can get confusing when they're both speaking 09:32:14 -!- AnotherTest has joined. 09:34:15 third reason: this is the only important part of my code and it works on its own 09:34:17 while read -re; do 09:34:19 history -p -- "$REPLY" 09:34:21 history -s -- "$REPLY" 09:34:23 done | "$@" 09:34:48 what?!?!?! 4 lines!?!?!? 09:34:53 yes. 4 lines. 09:35:04 it's written in shellscript? 09:35:08 yes \o/ 09:35:08 | 09:35:08 /| 09:35:13 of ffs 09:35:31 \o 09:35:33 o/ 09:37:38 i'd ^celebrate but someone killed fungot 09:38:30 why would fungot be klined? 09:38:40 _and_ zemhill 09:39:06 well I assume they're on the same connection 09:39:08 so that makes more sense 09:46:21 -!- dianne has quit (Quit: byeannes). 09:52:41 -!- ais523 has quit. 10:11:35 -!- oerjan has quit (Quit: leaving). 10:13:05 -!- boily has joined. 10:21:52 -!- SopaXorzTaker has joined. 10:43:24 Huh. 10:43:31 And yes, they're connecting from the same place. 10:44:15 "You are banned from this server- Spam is not allowed on freenode. Please contact kline@freenode.net if you think this kline has been set in error." 10:45:38 -!- fungot has joined. 10:45:44 Well, it seems to have been temporary. 10:55:51 Maybe fungot needed to make some urgent international funds transfers. 10:55:51 Jafet: so what of it doesn't really work 10:56:26 -!- Phantom_Hoover has joined. 10:58:40 fungot: stop bein sentient. 10:58:40 boily: yeah, i didn't know much 10:58:45 fungot: thanks. 10:58:45 boily: ' s if you can implement call/ cc k receiver) ( receiver ( lambda ( x) 10:59:00 -!- boily has quit (Quit: SCRATCH CHICKEN). 11:26:08 hehe 11:30:11 -!- Tritonio has joined. 11:31:27 -!- Patashu has quit (Ping timeout: 244 seconds). 11:39:15 -!- Tritonio has quit (Ping timeout: 252 seconds). 11:46:13 -!- shikhin has quit (Ping timeout: 252 seconds). 11:48:17 -!- shikhin has joined. 11:53:39 -!- mroman has joined. 11:53:50 -!- AnotherTest has quit (Ping timeout: 245 seconds). 12:33:01 -!- ProofTechnique has quit (Ping timeout: 250 seconds). 13:02:12 -!- ProofTechnique has joined. 13:12:50 -!- hjulle has joined. 13:33:02 -!- `^_^v has joined. 13:38:57 `? fun fact 13:39:00 fun fact 0 = 1 | fact n = n * fact (n - 1) 13:40:57 that looks like Standard ML 13:42:07 That was my assumption 13:42:12 `? Ngevd 13:42:13 ​/j汣!ŕElDP3A5BJ.Uj%{c. ]4IӍjmVA0"SFDI1b}aVMd[⁉9.VfAp(/#ͷJcXlzՈɊe:;qn \ ȪJo](*BE}Io,;Hy_X@;sݿ!urnk!00`ZD(T⩟ЧCO_J0ۻ 13:43:30 One day I am going to be all boring and switch to the three-letter nick I have registered that is just my initials 13:45:37 `rot13 taneb ngevd 13:45:38 gnaro atriq 13:45:49 triq-y 13:46:13 I am kind of glad all 4 of those are vaguely pronouncable 13:46:47 Leading ŋ is kinda tricky to pronounce 13:47:00 `rot13 firefly effilry 13:47:01 sversyl rssvyel 13:47:28 FireFly, I manage it somehow 13:47:52 `rot13 ygodypt 13:47:53 ltbqlcg 13:48:09 that's terrible. 13:48:50 fungot, how can a video encoder use two gigabytes of memory? 13:48:50 b_jonas: ( inherently)? because i don't know 13:48:55 hah! 13:49:04 :D 13:49:09 ^style 13:49:09 Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp youtube 13:49:16 fungot isn't infallible 13:49:16 b_jonas: well it tastes bad. they should know better then the movie list two friends of mine and i are in completely different places in the template to be nothing in the rules 13:49:58 I know someone who runs a fungot-like channel-regular imitation bot in another channel 13:49:58 Taneb: it's not my fault, i believe.) hmm... long digression, guys!". 13:52:31 Does USD form a module over the ring of 100ths of integers? 13:53:13 And thus exchange rates form a homomorphism! 13:54:31 Sort of 14:12:34 -!- SopaXorzTaker has quit (Ping timeout: 246 seconds). 14:19:29 -!- zadock has joined. 15:00:07 -!- AndoDaan has joined. 15:28:53 -!- AndoDaan has quit (Quit: Going, going, gone.). 15:57:59 -!- bb010g has quit (Quit: Connection closed for inactivity). 16:17:04 dhvagbcvn 16:19:21 -!- zadock has quit (Quit: Leaving). 16:20:46 -!- SopaXorzTaker has joined. 16:33:46 -!- oren has quit (Quit: Lost terminal). 16:40:25 -!- GeekDude has joined. 16:52:45 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]). 16:55:42 anybody working on an interesting esolang? 16:55:55 that... uhm.. has functions and some way of #include? 16:56:07 or anybode worked on one? 16:56:13 preferably with an implementation available 16:58:39 -!- J_Arcane has joined. 17:02:47 -!- lleu has quit (Changing host). 17:02:47 -!- lleu has joined. 17:06:38 -!- Lymia has quit (Ping timeout: 265 seconds). 17:20:02 -!- dianne has joined. 17:35:25 -!- cpressey has joined. 17:37:33 so, one of things I've never liked about monads is that people are apt to talk about "THE list monad" as if there is only monad that could be sensibly applied to lists 17:37:46 but i think i just figured out why this happens 17:37:51 natural transformations 17:37:53 am i right? 17:38:23 *is only one monad 17:39:09 -!- g2watson has joined. 17:39:21 -!- g2watson has changed nick to orin. 17:42:55 i'd ask on #haskell but i half-expect to be talked down to, there 17:43:29 HI Phantom_Hoover HOW'S YOUR BLOG HOW'S BITCOIN 17:43:34 it's not true for every type 17:43:40 it is true for lists though 17:44:12 cpressey: wait 17:44:14 elliott: so it's just that "the X monad" is "the monad for X that seems to make the most sense to the most people"? 17:44:14 I can fix that. 17:44:47 there. fixed. 17:45:04 er thanks mroman 17:45:10 cpressey: there is only one list monad 17:45:14 :) 17:45:16 now 17:45:26 -!- shikhin_ has joined. 17:45:28 what are the other list monads :D? 17:45:45 cpressey: but generally "the X monad" is going to mean the monad that X actually has an instance for, so yeah. 17:46:08 cpressey: or, well. 17:46:17 -!- shikhin has quit (Disconnected by services). 17:46:18 -!- shikhin_ has changed nick to shikhin. 17:46:36 cpressey: okay, let's put it this way: "the State monad" doesn't mean "the monad that State is", "State" there implicitly carries the semantics we associate with it 17:46:39 rather than just the type itself 17:47:05 cpressey: just like "the ring " in mathematics 17:47:29 cpressey, no idea on either front 17:47:39 i apologize for not knowing that the list object only has one possible monad (if that's true) 17:48:46 is a monad a mathematical thing 17:49:17 no 17:49:41 it's a concept taken from the academic study of the austro-hungarian empire's administrative structure 17:50:32 cpressey: the haskell-guys seem to have that opinion that you can't define another monad, yes. 17:50:39 I'm just asking which link to click on wikipedia's biguation page? 17:50:48 not even a trivial one? 17:50:51 or, whatstheword 17:51:12 longerwordthatbasicallymeanstrivial 17:52:02 sre we talking about "Monad (category theory)" or "Monad (functional programming)" 17:52:08 what's the trivial monad for an arbitrary type? 17:52:23 orin, they're the same thing 17:52:25 -!- oerjan has joined. 17:52:37 "pathological" except with the connotation of also trivial 17:52:58 anyway n/m question about general usage of word answered thank you very much 17:53:42 cpressey, degenerate? 17:53:49 Phantom_Hoover: BING thank you 17:53:57 cpressey: hi thanks to a dmm comic i realized what chrysoberyl means :P 17:54:01 -!- AndoDaan has joined. 17:54:23 Phantom_Hoover: oh, there is also a word you used years ago that i've been meaning to ask you about (but now i have the channel logs so i can probably find it by grepping) 17:54:28 (davd morgan-mar) 17:54:33 *+i 17:54:51 -!- SopaXorzTaker has quit (Remote host closed the connection). 17:55:46 so, there are no degenerate list monads? the usual one is unique? 17:56:08 what would a degenerate list monad be? 17:56:16 Maybe could count as one... 17:56:23 oerjan: i feel like such a nerd since i learned it through, um, gemology 17:56:45 rather than a webcomic 17:57:33 well i _actually_ learned it from wikipedia's article, but the comic pointed me there 17:58:55 hm i wonder if... 17:59:10 hi chris. 'sbeen a while. anything new for us? 17:59:47 quintopia: hi 17:59:50 um 17:59:52 what's new 18:00:01 .... no. 18:00:10 -!- zadock has joined. 18:00:32 cpressey: i am not sure whether the usual Monad is the only possible one for [] but i wouldn't be extremely surprised. maybe something that permutes elements could also work, but that wouldn't be "degenerate" as such 18:01:02 doesn't have to be strictly "degenerate" or any other adjective; just has to exist 18:01:33 to distinguish "the usual list monad" vs "the unique list monad" which is (apparently) what i care about 18:01:42 today 18:01:46 quintopia: ^^^ that's new 18:02:02 but i dont understand it myself 18:03:54 the fact that the ZipList Applicative cannot be extended to a Monad is a bit subtle, so to prove it even more generally... 18:06:31 It can if all lists are infinite, but then you're using different lists 18:06:50 yes, it also can if all lists have the same length 18:06:57 or well 18:07:05 then you use a different return 18:10:16 "is the list monad unique" doesn't seem to give any sensible google hits 18:11:23 ^celebrate 18:11:23 \o| c.c \o/ ಠ_ಠ \m/ \m/ \o_ c.c _o/ \m/ \m/ ಠ_ಠ \o/ c.c |o/ 18:11:24 | c.c.c | ¯|¯⌠ `\o/´ | c.c.c | `\o/´ ¯|¯⌠ | c.c.c | 18:11:24 /< c.c >\ /< | | >\ c.c /| | /< |/^\ c.c /| 18:11:24 /`\ (_|¯`¯|_) 18:11:24 (_| |_) 18:12:05 (belated demonstration) 18:15:25 -!- ^v has quit (Read error: Connection reset by peer). 18:16:24 Does USD form a module over the ring of 100ths of integers? <-- 100ths of integers isn't closed under multiplication 18:19:05 it is true for lists though <-- is there a proof around? 18:19:25 it would of course give the ZipList thing as a corollary 18:20:37 well probably not 18:20:53 I just believe it anyway 18:21:33 btw the State s monad mentioned is one example where it's definitely not unique: the type is isomorphic to ReaderT s (Writer s) which has a completely different instance 18:21:36 -!- FreeFull has quit (Ping timeout: 264 seconds). 18:22:38 (also WriterT s (Reader s), although i think those two _are_ isomorphic. 18:22:40 ) 18:22:48 oh and s must be a Monoid. 18:23:05 @unmtl WriterT s (Reader s) 18:23:05 Plugin `unmtl' failed with: `WriterT s (Reader s)' is not applied to enough arguments, giving `/\A. (Reader s) (A, s)' 18:23:13 @unmtl WriterT s (Reader s) a 18:23:13 (Reader s) (a, s) 18:23:19 wat 18:23:51 @unmtl ReaderT s (Writer s) a 18:23:51 s -> (Writer s) a 18:24:14 am i doing something wrong or doesn't it know about those 18:24:22 @unmtl Writer s a 18:24:22 (a, s) 18:25:00 @@ @unmtl @unmtl WriterT s (Reader s) a 18:25:00 (Reader s) (a, s) 18:25:01 -!- FreeFull has joined. 18:25:25 ಠ_ಠ 18:25:26 ¯|¯⌠ 18:25:26 /`\| 18:25:31 looks like it doesn't know that (a b) c is a b c 18:26:07 so what's holding up ghc-7.10.1 now? 18:26:31 is it post the deadline? 18:27:44 hm march 20 so yes 18:27:59 Yes, last Friday, I thought. 18:28:23 and all tickets are gone from https://ghc.haskell.org/trac/ghc/wiki/Status/GHC-7.10.1 18:28:23 Anyway they're tweaking release notes, so there's some hope... 18:31:16 *although i think those two _are_ isomorphic as monads 18:35:29 did they fix your bug 18:36:00 oerjan: and yeah I know State wasn't unique in that sense 18:36:18 oerjan: though to be fair that requires Monoid s 18:36:20 the typeable kind bug has been fixed yes 18:36:32 there is probably no other monad *parametric* in s? 18:36:37 other than state 18:36:46 hm 18:36:55 Random question to anyone who knows: What is the best (quality/file size ratio) lossy audio format? mp3 or ogg? Or doesn't it matter as long as you use a good encoder and reasonable parameters? 18:36:55 or 18:37:00 maybe you can just pick the "right" one all the time 18:37:01 maybe not 18:37:08 no you'd still need s to have an element 18:37:23 Vorpal: opus 18:37:34 (successor of vorbis) 18:37:38 elliott, never heard of that, doubt the player on my phone supports that though 18:37:42 will try it I guess 18:37:44 probably rockbox or something does 18:37:48 other than that no 18:38:14 vorbis handles artifacts better than mp3, at least, so at low bitrate... 18:38:25 but probably LAME is so good that at the kind of bitrates you'd expect to use these days it doesn't matter 18:38:30 there's also AAC 18:38:33 elliott, hm I'm rather attached to PowerAmp, the library search and management aspect of it is unparalleled on phones (of what I tried so far) 18:38:39 which is strictly better than both mp3 and vorbis probably 18:38:46 (maybe?) 18:38:48 (I don't really know) 18:38:53 Hm 18:39:00 mp3 is fine unless you have really good speakers 18:39:17 just use anything it doesn't matter you won't hear any artifacts with reasonable settings 18:39:39 orin: actually mp3 is transparent no matter what speakers you have with a good encoder/settings and a not-totally-pathological sample 18:39:48 orin, well I have the music in flac currently, which is just a waste of space, so I need to convert it to something. Might as well go for the best one then. 18:39:57 (please feel free to publish ABX results contradicting this) 18:40:13 (please don't feel free to tell me lossless "just sounds better" without them) 18:40:53 elliott, the only reason to use lossless from what I understand if you need to process it (as you would in a studio after recording the music) 18:40:59 I don't have any music that isn't mp3 so I have no data. My father *claims* that vinyl is best 18:41:14 cpressey: hm i think i may have a very degenerate monad that works for _finite length_ lists. 18:41:50 your father either doesn't understand audio at all, or just likes the specific distortion and artifacts caused by vinyl 18:41:54 orin, I personally hate the typical vinyl sound, it doesn't sound as clear as a CD in general. Though since it is analogue it technically has more information. 18:42:00 (and in particular the evolving nature of them as you listen to a record over time) 18:42:03 which is fine 18:42:21 but you can capture any given play of a vinyl just fine in digital audio and play that back and it'll sound just as good 18:42:29 I think he just likes the music that came out in the days of vinyl 18:42:34 hah 18:42:43 oh, and vinyl sometimes has better mastering than CD releases 18:42:51 more dynamic range etc. 18:42:52 in which case it of course sounds a lot better 18:43:36 elliott: i think i know what you mean, vinyl records are quieter 18:43:45 elliott, I think the sheet music sounds superior to all of these 18:43:50 return x = [x]; [x] >>= f = f x; l >>= f | all ((==1).length) l' = concat l | otherwise = [] where l' = map f l 18:43:57 if you want a quick primer on digital audio in terms of how sampling and analogue vs. digital etc. works, https://www.xiph.org/~xiphmont/demo/neil-young.html is nice 18:44:11 elliott, no pesky acoustics getting in between you and the pure music 18:44:18 *concat l' 18:44:26 orin: yeah (not always. sometimes they just use the exact same master they were going to use for the CD and press it to vinyl. except it gets actually more distorted by the processing needed to be able to put it on vinyl) 18:45:04 really, most people are never even going to notice artifacts in an even 128 kbps MP3 encoded with a good version of LAME 18:45:17 I do like lossless audio but just because I'm obsessive, not because it is actually better for me in any way whatsoever. 18:45:20 elliott, why would they not add the most dynamic range they can? Seems stupid to not make use of the entire spectrum. And surely CD audio has enough dynamic range for anything... 18:45:41 Vorpal: well I can't summarise the loudness war in a single IRC line 18:45:45 Well anything non-pathological 18:45:47 because WE LIKE IT LOUD DUDURDUDUR 18:45:51 elliott, I thought that was just radio... 18:45:55 Not CDs 18:45:58 no, it affects CD mastering 18:45:59 -!- heroux has quit (Ping timeout: 244 seconds). 18:46:08 Why? It makes little sense there 18:46:19 just read the wikipedia article or something >_> 18:46:25 Hm 18:46:35 I guess so 18:47:08 (it's also not 100% objectively terrible, really, it produces a certain sound. lots of compression is obviously wildly inappropriate for certain music, though.) 18:47:10 elliott, so, I'm probably going for lame, since I remember there was/is an issue with cover art in ogg using PowerAmp. 18:47:37 yeah 18:47:43 just use one of the --preset options and leave it at that 18:47:46 (the default should be just fine) 18:47:53 -!- heroux has joined. 18:48:23 elliott, I would like a feature to do compression up to a certain minimum level on the fly. That would be useful when feeding music into the car stereo while driving and you hit a quiet piece you can't hear about the engine. And when you turn it up and it gets to a loud section you suddenly can't hear the car engine instead 18:48:30 --preset medium if you want to save some space with most likely no perceptible loss of quality, --preset standard if you want some kind of stronger transparency guarantee 18:48:54 You said "good version" of lame 18:48:55 $ lame --version 18:48:55 LAME 64bits version 3.99.5 (http://lame.sf.net) 18:48:56 ? 18:49:04 Or should I try to update it 18:49:12 This is debian stable after all 18:49:56 Well Ubuntu 14.04 LTS has the same version. So screw it 18:50:00 "anything from the last decade" 18:50:24 Hah this is the last version 18:50:28 I just mean that in the Old Days mp3s actually did suck, because all the encoders did. 18:50:45 and you actually did need super-high bitrates to get reasonable results. 18:50:53 Wow, a package where debian stable has the current version 18:51:08 tbf that version was released over three years ago 18:51:12 elliott, is that why loudr still provides 320 kbps MP3 download... 18:51:18 LAME is one of those programs that is pretty much complete 18:51:31 Vorpal: no that's just because people want them 18:51:53 elliott, I would prefer VBR, bandcamp has that iirc, it is a bit smaller... 18:52:05 yeah but people see 320 and think "that's the maximum, it must be better". 18:52:16 loudr just provides 320, FLAC and apple lossless 18:52:41 right. that makes them look higher quality than saying "~190 kbps" and it's also simpler. 18:52:58 And I'm too lazy to convert to something sane (in which case you should probably start with lossless anyway?) 18:53:01 I usually get my music from youtube so my perceptions might be ... pedestrian 18:53:11 I mean, listening to music is a subjective psychological experience. so if people like their placebos, then cool. 18:53:24 I actually prefer bandcamp as a platform when the music is available there 18:53:31 Hah 18:53:32 Vorpal: I wouldn't transcode but you could probably do it without losing too much if you needed to save space 18:53:44 I usually can't tell the difference between a CD and the ipepd mp3 18:53:49 "too much" = "anything noticeable", I guess. I don't know how bad transcodes really are with decent source material and settings. 18:54:12 elliott, well, I have a 64 GB memory card in my phone, 17 GB of that is music, about 5 is various other stuff, and the rest is free 18:54:18 so I'm not quite hurting for space yet 18:54:54 elliott, also covert art embedding is really stupid. Because that will be the same across an album. And now you have 10+ copies of the same image 18:55:08 Vorpal: you can just put cover.jpg or album.jpg or whatever the names people use are in the same folder 18:55:12 that usually works? 18:55:12 elliott, On the other hand, cover.jpg files show up in the bloody album app on the phone 18:55:21 anyway the cover is going to be smaller than the audio data :P 18:55:46 elliott, sure, but this album has 1500x1500 png cover art embedded! 18:55:49 just reduce the cover art to 64x64 and put it in 18:55:51 Which is pretty stupid 18:56:19 orin, A bit more than that given the screen. I usually go for 500x500, that works well when blown up on the lock screen as well 18:57:00 But yes I have seen <10 MB music files with cover art of 2 MB 18:57:34 -!- Lymia has joined. 18:58:40 elliott, hm... 18:58:41 RECOMMENDED: 18:58:41 lame -V2 input.wav output.mp3 18:58:49 Not recommending --preset in --help? 18:59:18 I 18:59:33 Whaat... lame can't read flac? How annoying, oggenc can iirc 19:00:01 convert to wav first? 19:00:09 Well yes, but that is annoying. 19:00:21 find . -iname '*.flac' -print0 | xargs -0 -n1 -P4 lame -V2 has a certain beauty 19:00:31 Vorpal: -V2 is --preset standard 19:00:34 Ah 19:00:59 http://wiki.hydrogenaud.io/index.php?title=LAME#Recommended_encoder_settings 19:01:07 I wonder how to convert to wav without touching ffmpeg (spending 10 hours reading man page) 19:01:17 sox maybe 19:01:32 tbh though I would just use one of the three presets in http://wiki.hydrogenaud.io/index.php?title=LAME#Technical_information that aren't the 320 one 19:01:39 as in, V0, V2 or V4 19:02:02 I use avconv (ffmpeg's new name) for a lot of stuff 19:02:04 twiddling any more nobs than a -V switch is pointless and harmful, anyway 19:02:17 orin: that is a very flamewarry way of describing the ffmpeg/libav split :P 19:02:17 orin, avconv is not ffmpeg's new name. That is a fork and what not 19:02:22 (I think Debian is switching back to ffmpeg?) 19:02:32 I think I heard that too elliott 19:02:44 Also I always had issues with avconv compared to real ffmpeg 19:02:58 anyway I use it for taking out pieces of a video 19:03:24 it is "politics.exe" 19:03:36 Yes it definitely can be used for that. But it is a swiss army knife, and I don't use it enough to remember the complicated syntax 19:03:54 ffmpeg/avconv should just use the LAME library, anyway 19:04:02 as in, it almost certainly does 19:04:08 Does USD form a module over the ring of 100ths of integers? <-- 100ths of integers isn't closed under multiplication <-- bah, foiled again 19:04:11 Vorpal: flac can decode to stdout btw 19:04:16 so you can probably just pipe that into lame 19:04:19 (iirc) 19:04:54 elliott, then I will have to deal with messy file names with space. Also parallelizing it would be annoying 19:05:12 huh? 19:05:17 elliott, xargs -P 19:05:35 what is this about filenames 19:05:43 I just mean flac ... filename | lame ... rather than lame ... filename 19:06:16 elliott, yes, sure, but that means lame doesn't auto-set a reasonable output file name based on input, which it does when just provided a file name 19:06:26 oerjan: i'm just fascinated that it seems to be an open(ish) question 19:06:42 for i in *.flac; do sox "${i}" "${i/.flac/.wav}"; done # not parallel, but quite fast 19:06:48 find . -iname '*.wav' -print0 | xargs -0 -n1 -P4 lame -V2 # speeeed 19:07:07 I mean I could see the Maybe monad being unique 19:07:21 it's not so much an open question as nobody has bothered writing it up, as far as [] goes, I think 19:07:26 Vorpal how many cores do you have??? 19:07:32 it's one of those things that's "just obvious" 19:07:34 orin, 4 19:07:38 has someone found http://blog.jle.im/entry/a-non-unique-monad-instance yet? 19:07:39 if I am proved wrong I will eat several hats 19:07:42 orin, which is why I used -P4 19:07:46 ah 19:07:53 Phantom_Hoover: yeah not all types have a unique monad instance 19:08:00 though some of them have them unique up to a choice of monoid or such, I suspect 19:08:07 then with 2 programs per run, use P2? 19:08:10 elliott, Though .wav lost the metadata, of course 19:08:18 Well that can be copied 19:08:26 cpressey: for something like State, the thing is that we associate semantics with State s a beyond just Thing s a = s -> (a, s) 19:08:52 so when we say "the State monad", we're bringing the intended semantics in, whereas "the Thing monad" would be legitimately ambiguous 19:13:03 (,) Integer has multiple valid Monad instances 19:13:19 Eg, the Sum writer, the Product writer 19:13:36 Vorpal: I tried out the Android photosphere and panorama things. But the subject matter was such that you can't really judge stitching quality or anything. 19:13:37 yeah 19:13:42 that falls under "unique up to a choice of monoid" 19:14:33 fizzie, oh? 19:15:05 elliott, ah, I missed the goalposts moving 19:15:23 Taneb: hehe 19:15:27 elliott, this is strange, I'm using X11 forwarding, and a bloody wine program runs better over it than a qt program 19:15:28 well I never claimed that every type has a unique monad instance 19:15:35 I knew that counterexample from the start 19:15:54 Qt is probably poorly written then 19:15:55 Vorpal: This is directly out of the device: https://dl.dropboxusercontent.com/u/113389132/Misc/20150324-pano_20150321_221800.jpg -- I think you could stitch that up pretty much as badly as you like and it still wouldn't be too noticeable. 19:16:01 Vorpal: that doesn't surprise me 19:16:03 Well, howabout "Sum Integer -> (Sum Integer, a)" has a more interesting non-uniqueness 19:16:08 wine's UI stuff is a lot simpler 19:16:12 elliott, hm true 19:16:19 ie, State monad and composition of Reader and Writer 19:16:29 Vorpal: and also I suspect Qt don't care about X11 forwarding 19:16:37 since it's unpleasant and Wayland 19:16:58 elliott, I think this qt is too old. Thought it is probably PyQt as well on top of everything 19:17:16 (Okay, there's a noticeable jagged edge in the pillar in front of the stage.) 19:17:21 Speaking of audio codecs I found http://xiph.org/~xiphmont/demo/neil-young.html to be a good read 19:17:34 I'm forwarding from debian stable, I doubt it is too waylandish yet 19:17:59 has anyone here ever heard of "A Logical Approach to Discrete Math0" 19:18:30 by David Gries and F.B Schnieder 19:19:21 Vorpal: I just mean nobody cares about X11 forwarding because that's not how networked GUIs will work under Wayland, which is The Future that everyone is preparing for. 19:19:48 (rapidly becoming the present, really... I think Fedora plans to partially switch next version and then fully switch by default the version after?) 19:20:03 FireFly: hehe, I linked that earlier 19:20:08 elliott, right, I'm just trying to quickly access a GUI program on a different computer, and no x11vnc won't work well (because the target screen is like 3 times as big as the laptop I'm at) 19:20:17 elliott: oh. 19:20:27 elliott, hm what happens to catalyst and the nvidia drivers? 19:20:30 it doesn't get into lossy compression or anything but it's like half of what I know about digital audio 19:20:39 (I'm no expert!) 19:20:47 Vorpal: you could use xpra 19:20:56 Vorpal: and those drivers do kernel modesetting anyway 19:21:03 elliott, for forwarding? Never heard of it, will look into it 19:21:07 elliott: well yes; that's similar to "the ring of reals" thing; when people say that, I know they mean "the usual ring over the reals" even though there are probably others 19:21:10 yes you have I told you about xpra before :P 19:21:13 (I think) 19:21:17 cpressey: right 19:21:23 oh okay 19:21:29 cpressey: well, are there others? it depends on what you mean by "the reals" 19:21:40 elliott: yeah, i mean, i don't know 19:21:44 what about modesetting? Does that mean the drivers will work out of box for opengl under wayland? 19:21:46 it can't mean a set, because there are multiple constructions of the reals and only set theorists care about the difference 19:22:11 I assumed the user space component (libGL, libGLU and so on) would need updating to work with wayland 19:22:14 elliott: pretend i said "rationals" if you like :0 19:22:18 *:) 19:22:20 it's basically like what "the X" means in category theory -- "we know that all Xs are, say, uniquely isomorphic, so 'the X' just means whichever X you want, because there is only one in the ways we care about" 19:22:21 And I thought the drivers provided them 19:22:40 so "the reals" probably means "the ordered Archimedean field" 19:22:43 holy jesus "XWayland is an X Server running as a Wayland client" oh god why??? 19:22:56 orin: so that you can run X11 applications on a Wayland desktop? 19:23:16 orin, backward compatibility? 19:23:22 and we need to redirect everyhtinh thru another program!?!?? 19:23:22 why do nerds get so worked up about simple things... it's literally just software, chill :p 19:24:00 elliott, I should try that response at work :D 19:24:38 orin: ok, since you must be an expert to know how obviously unreasonable this is, what would you do? 19:24:43 "We are not meeting the real time scheduling deadline!" "It's literally just software, chill :p" 19:25:35 (Yes I work on real time control software, partly safety critical as in human lives, partly just "we lose a lot of money if it doesn't work") 19:26:21 hopefully the level of discourse at your workplace is slightly higher than holy jesus oh god why 19:26:30 elliott: I would have the new display thingy support the old API directly. 19:26:41 orin: that's not how it works. X11 is a network protocol 19:27:03 also, the whole point is to drop the cruft of the X11 protocol from the core display server. 19:27:18 (yes, multiple libraries are used to access X11 servers. e.g. Xlib and XCB.) 19:27:46 also, there's not really such a thing as "the Wayland server". 19:28:02 there's just Wayland compositors, which are relatively simple to write, because they don't have to do much. 19:28:17 ...but you knew all this before dismissing it, right? 19:28:23 elliott, yes, obviously. Though missing two scheduling deadlines in a row (or more than x in y, which I don't remember on the top of my head) will trigger an emergency stop. So that is probably not the worst way for stuff to fail in. And it failed in the lab (with simulated actuations) like that of course at some point or other 19:28:43 well my key issue here is "will this change cause my stuff to run slower or possibly not work?" and the answer seems to be "yes" 19:28:46 Vorpal: please don't get me killed :P 19:28:59 elliott, do you work in a mine? 19:29:32 orin: I don't see any reason for a non-negligible speed penalty. also, GTK and Qt and SDL and ... support Wayland natively, so most things will not go through the X11 forwarding soon enough. 19:29:47 just like pulseaudio caused problems for liek 5 years before is worked 19:29:50 elliott, if you don't work in one, then you are probably safe from me at least. 19:29:56 elliott: yes, also, that's the point (when you just start making general statements about structures) where I usually get lost :) 19:30:01 I think the current default GNOME Wayland setup actually uses XWayland for all the applications rather than native Wayland and it works just fine. 19:30:08 anyway, good evening, all 19:30:10 -!- cpressey has quit (Quit: leaving). 19:30:12 the overhead should be roughly nothing 19:30:19 it's not so much an open question as nobody has bothered writing it up, as far as [] goes, I think <-- did you see my finite length only counterexample above 19:30:27 I think you're just looking for an excuse to complain though so whatever 19:30:29 oerjan: oh I didn't 19:30:29 elliott, what about gaming performance through XWayland though? 19:30:42 Vorpal: well it's still going to be using GL, right 19:30:58 maaaaybe there'll be one additional copy? 19:31:03 but I'm not sure, I think there might not be 19:31:04 elliott, input lag though? 19:31:10 why? 19:31:17 it's not like xwayland is some huge bulky thing 19:31:19 well, an extra layer 19:31:21 True 19:31:29 elliott: essentially I'm aware that ANY change to software tends to cause users problems (NEW probles which don't have workarounds yet) 19:31:35 Not that there weren't extra layers before... 19:31:36 it's just like running an X11 server except instead of talking to graphicsy KMS stuff directly it talks to a wayland compositor 19:31:52 orin: ok. then I suggest running debian stable 19:31:55 and never updating it 19:32:20 oerjan: that is a strange instance 19:32:20 I run Xubuntu stable and I rarely update it 19:32:32 orin: great. then you don't have to complain about changes because you won't get them 19:32:33 elliott, also btw, real time systems are so nice to work with, you never see a GUI freeze up. The system just flows nicely all the time, irrespective of load. I'm seriously considering switching to a rt-patch kernel... 19:32:42 On my personal computer I mean 19:32:58 Still, that won't solve all of it of course 19:32:59 Vorpal: I could never work on anything directly connected to people's lives :/ 19:34:04 elliott, good testing and enough safety layers that if any one of the layers fail everything will stop in a safe way is the key to good sleep while programming real time systems 19:34:46 And hardware interlocks for the really critical parts of course. 19:35:59 please don't posix_madvise any cars I am in 19:36:19 elliott, If someone hits the emergency stop button, that breaks a constant current and electrically cuts off the output. Then the control software is informed of this, but it is not involved in actually halting the actuations. This is what people refer to as fail-safe 19:36:30 Well, one specific example of fail safe 19:36:41 do cars even use UNIX? 19:36:56 sure 19:37:05 an expensive car probably has a couple of linux systems in it these days I think 19:37:10 (but not for anything safety-critical) 19:37:16 okay, maybe not "probably" 19:37:18 but some of them do 19:37:33 elliott, there may be real time linux systems, but the brakes won't be running on Linux 19:37:38 yeah 19:37:39 The elevator in a hotel I was in recently had this thing where, for maybe 10-15% of trips, it started moving without closing the doors, went up for maybe a cm or two, then fell back and stopped; then closed the doors and did the normal thing. 19:37:43 It felt exactly like a hardware interlock stopping the software from doing a stupid thing, and didn't really leave me at ease. 19:37:49 Vorpal: I was thinking for, like, in-car touchscreen type things. 19:37:51 elliott, nobody has safety certified real time linux, that is the reason for that 19:37:52 so "the reals" probably means "the ordered Archimedean field" <-- *+complete 19:38:02 oerjan: I knew I was forgetting something 19:38:43 elliott, we use real time linux for some modules, but not for the modules which have been deemed safety critical. They run on some expensive certified RTOS. 19:39:08 Which begs the question... Which code is actually most well tested? That expensive RTOS, or Linux 19:39:14 I once saw a restaurant sign booting up... it was, for unfathomable reasons, RedHat. 19:39:18 http://www.independent.co.uk/life-style/gadgets-and-tech/researchers-hack-cars-to-remotely-control-steering-and-brakes-8733723.html 19:39:20 One is certified yes, but what does that actually mean? 19:39:25 elliott, scared yet? 19:39:53 Vorpal: about as scared as always under late capitalism 19:39:53 Who certifies it? 19:40:19 elliott, I can almost guarantee it is not formally verified in most cases. Not an entire OS. Specific algorithms maybe. 19:41:25 Jafet, I wonder if the button to lock/unlock the car doors on the key is secure, it probably isn't using high end RSA keys, lets put it like that... 19:41:42 Depending on the car, a replay attack might work 19:41:51 elliott: I like that "era name": `In 2015, as the Late Capitalism Era continued to smolder...' 19:41:53 have you used one of those fancy RNG card things for banks 19:42:02 elliott, hm? 19:42:10 where you press a button and you put in the number it gives you into your bank's website 19:42:13 to do a wire transfer 19:42:15 I've always wondered exactly how they work 19:42:23 they'll spit out like 5 numbers in a minute before telling you to wait for the next one 19:42:29 I have never heard of such thing 19:42:31 I can think of many schemes you could use 19:42:32 elliott, I log in using my debit card, which I put into a card reader with a small display and a numpad 19:42:46 elliott, and that is challenge reply 19:42:58 Secure enough? Maybe, who knows... 19:43:00 the thing is, the card I am talking about is not networked at all 19:43:09 it is just a button and a display 19:43:31 elliott: giant one-time pad on flash memory? 19:43:33 *all* communication must necessarily be one-time, before the card is sent out to the customer 19:43:42 elliott, well nor is the one I'm using. I get a 9 digit code on my screen, type it into the card reader. 19:43:54 orin: maybe... the bank would have to store all the random data though 19:43:56 elliott, quite similar to this one https://gfs.nb.se/privat/bilder/ovrigt/card_reader_logincard.jpg 19:44:13 orin: it could just store a seed, but seeking to the "next" number might be slow 19:44:16 elliott, then the card PIN, and I get a 9 digit replay code 19:44:16 I don't know 19:44:17 like I said I can imagine tons of systems 19:44:30 but I wonder which one is actually used 19:45:10 elliott, what about these: http://www.tokenguard.com/images/tokens/SID700.gif I have that for VPN to work, it gives a new code every 30 seconds... But how do they keep the clock synced? 19:45:25 Vorpal: right, it is that kind of thing 19:45:32 wait 19:45:46 isn't that the thing that uses dual ec drbg because of the nsa 19:45:49 hahahahahahahahahahahaha 19:46:01 elliott, hm maybe? It looks quite similar at least 19:46:15 okay no it doesn't use it 19:46:17 just other RSA stuff 19:46:21 Right 19:46:30 "The RSA SecurID token is a rather old, already broken and a rather expensive solution." hm 19:46:34 well anyway one way to do it could be like... 19:46:43 elliott, you need more than just that one though, password as well 19:46:47 you have a key shared by the bank and your card 19:47:00 I had a SecurID at Nokia. 19:47:01 elliott, for https://gfs.nb.se/privat/bilder/ovrigt/card_reader_logincard.jpg you mean? 19:47:07 the card spits out some jumbling of the key with the current minute you're in, and an index 19:47:12 (like "the Nth code of the minute") 19:47:23 and then your bank just probes that space 19:47:24 I don't know 19:47:27 I think it's actually rate-limited though 19:47:43 like pressing it repeatedly gets you fewer codes in a minute than pressing it slowly over the course of the minute? I'm not sure 19:47:51 Vorpal: no for the thing I'm talking about 19:47:53 oerjan: that is a strange instance <-- basically i define everything to be [] except what the first and second monad laws and fmap law force not to be 19:47:58 don't worry I don't care about your bank's system at all :p 19:47:59 i just noticed that there are both edirc and erdic o_O 19:48:37 elliott, the one I have is rate limited and the challenge is time limited in it's validity, but not time limited in the generation algorithm (I tried the same challenge twice with a few minutes in between on the device, gave the same response) 19:49:08 izabera: there used to be both newsham and news-ham but that was my fault. 19:49:12 of course, a challenge is only valid for one entry on the website though 19:49:15 ha 19:49:36 And the bank account has a card reader with three different functions. One is plain identification, one a challenge-response and the last one a sign-a-payment thing. They differ in how many things you need to type in. 19:50:12 izabera: it would have been good if you made edirc as a pun on erdic though. 19:50:16 fizzie, yep 19:50:35 ha ha erdic it was totally a pun 19:51:03 fizzie, there are 4 buttons on the one I have (login, sign, buy and something I don't remember), only ever use two though (login and sign) 19:51:11 and a key pad 19:51:37 though all are challenge-response based 19:52:04 The "identify" on mine only needs the PIN. 19:52:10 fizzie, oh? Okay 19:52:21 for me it is challenge + PIN for every function 19:52:48 ISTR challenge wants one code, and sign a code and a monetary amount. 19:53:09 though challenge length can vary on a given function depending on what you transfer. Like when I made a bit transfer I had to type in the sum I transferred as well as the usual random numbers 19:53:30 big* 19:54:28 -!- AndoDaan has quit (Read error: Connection reset by peer). 19:54:52 -!- AndoDaan has joined. 19:56:02 I got a Google account phishing email at my personal (non-gmail) address the other day. 19:56:31 It wasn't very professional, although they had at least copied the logos. 19:56:48 Heh 19:57:15 fizzie, I assume you use two factor auth for google? 19:57:48 I'm afraid I can't comment, but common sense says that would be a reasonable guess. 19:58:02 is that covered under your NDA too 19:58:21 Not explicitly. It's just very generic. 19:58:34 well a lot of sites have been pushing it lately 19:58:57 -!- Patashu has joined. 19:59:25 google, github, gandi, linode, launchpad too iirc(?) 19:59:35 and I'm sure I have seen more offering it 19:59:54 Did bitbucket offer it? I can't remember 20:00:13 We do support it for regular Google accounts. I think you can also use a Yubikey: https://www.yubico.com/products/yubikey-hardware/yubikey-neo/ 20:00:33 If you want to pay for the hardware, that is. 20:00:36 Oh yeah probably 20:00:54 fizzie, issue with yubikey iirc, is that it is limited to the number of accounts it can track? 20:00:55 No? 20:01:33 Maybe? I don't know details. 20:01:38 * int-e growls at Microsoft. 20:02:00 I wouldn't have expected, but... 20:02:09 yubikey supports like a billion things 20:02:19 https://www.yubico.com/products/yubikey-hardware/ 20:02:28 even PGP if you buy the right one 20:03:08 elliott, hm maybe it was the original one that was fairly limited then 20:03:26 And then there is the new U2F thingy 20:03:46 -!- L8D has joined. 20:03:53 yes, yubikey supports that 20:03:57 they even have one that just does that 20:04:00 (We're switching our calendars to Exchange... so you can mark appointments as private. Common sense would suggest that this means that the details of the appointment are only visible to yourself. And it seems to be true, as long as you use MS' own clients. But the server happily gives the information out, and the EWS provider for Thunderbird does *not* filter the information of other people's... 20:04:07 ...private appointments...) 20:04:08 for $18 20:04:27 Yubikey is pretty delightful. 20:04:33 elliott, Does the normal one support it? Then a neo might be worth buying, rather than storing the two factor auth keys on your phone... 20:04:51 http://tinyurl.com/pz5pcje 20:04:52 Though that costs 50 20:04:56 which is quite a lot 20:04:59 -!- Lymia has quit (Ping timeout: 265 seconds). 20:05:00 And that's what MS has to say on this. 20:05:02 -!- ^v has joined. 20:05:17 Vorpal: I literally linked you a table with all the things the models support. :p 20:05:42 elliott, yes I'm looking at it currently 20:05:55 Still, I would need NFC support, and $50 is quite a bit of money 20:07:46 it is 20:07:57 what's your salary and how often would you need a new yubikey though 20:09:53 Well depends on if they break backward compatibility and how long the thing lasts 20:10:12 They don't and apparently ages. 20:10:37 does it support firmware updates? . o O ( If so, every time you cross the US border and they find it in their security checks :P ) 20:10:49 Hah 20:10:52 int-e: Nope. 20:11:13 And that's the reason. :) 20:11:51 pikhq, well okay, but look at the original standard yubikey, it is fairly limited compared to the neo, and since they don't support firmware upgrades, I believe early neo doesn't support U2F? 20:11:57 -!- nycs has joined. 20:12:01 Vorpal: Correct. 20:12:19 -!- `^_^v has quit (Disconnected by services). 20:12:20 -!- nycs has changed nick to `^_^v. 20:12:37 int-e: they could probably do enough with just temporary access to it, really 20:13:05 You're not going to see new functionality for the thing, but it's not as though support for it's going to suddenly go away. 20:13:07 it's kind of irrelevant though since they could also just demand that you do whatever. 20:13:09 pikhq, so that can be considered breaking backward compatibility the day when TOTP is deprecated in favor U2F 20:13:31 pikhq, and apparently U2F currently doesn't support NFC 20:13:37 so no login on the phone 20:14:10 "Please note, current U2F standards do not support NFC for mobile devices. For more information, you can access the full U2F Specifications on the FIDO Alliance website." 20:14:26 Probably won't be possible to update a NEO to add that support? 20:16:26 -!- Lymia has joined. 20:21:46 -!- Patashu has quit (Ping timeout: 245 seconds). 20:25:23 -!- Koen_ has joined. 20:25:51 elliott, hm a ubikey neo and putting your ssh keys on it as well would be cool. And client ssl certificate. 20:26:22 Vorpal: uh, just make sure you don't lose it 20:26:30 (I don't think you could use password-protected keys there) 20:27:01 elliott, hm... well you could have a password protected offline copy stored in a bank deposit 20:27:13 Or something along those lines 20:27:36 the point is that someone would get access to all your ssh accounts just from stealing your key 20:28:33 elliott: keep it around your neck at all times then 20:29:03 sure 20:29:17 ideally it would be embedded in your skin and only removable surgically 20:29:27 (these things are waterproof right)?] 20:29:31 (let's hope it doesn't have a tracking device in it) 20:30:02 elliott: Oh shit 20:30:18 elliott, hm surely it would be pin protected as well? I think the GPG key variant when the device is acting as a smartcart requires a pin 20:30:27 from some googling at least 20:30:37 well that's life in our corporatist paradise 20:31:23 Vorpal: maybe... how do you give the yubikey the pin without giving the computer you're using license to print as many signaturse as it wants 20:31:46 *signatures 20:32:16 elliott, the issue I have is storing keys on my computer, even encrypted, what if the key is being handled in memory at the moment an attack happens 20:32:27 elliott, hm true 20:32:53 it would need a bulky PIN entry thing 20:32:58 True 20:33:02 oh 20:33:05 I guess it would still require you to press it 20:33:07 but still 20:33:13 kinda yuck to give your computer the PIN 20:33:17 Indeed 20:33:30 *ahem* voice input for digits *ahem* 20:33:34 Very good in public. :p 20:33:39 Hah 20:33:45 is that what they have you working on :P 20:33:46 Maybe try whispering. 20:33:53 elliott, Speaking of which, what if an attack breaks out of the browser sandbox. Then it has control of your X session... And if you have a root terminal open at that point. Ouch 20:33:55 I'm afraid I can't comment, but no. 20:34:34 I do remember reading one whisper-related research paper, but I can't recall whether it was about whispering recognition or whispering synthesis. 20:34:47 fizzie, do you call old versions of google now "google then"? 20:34:48 put a touchscreen on it and use handwriting input 20:35:04 Vorpal: I think Wayland will be a bit more secure there 20:35:09 elliott, oh? 20:35:18 that would be less bulky but more expensive obviously 20:35:18 in that it will have more security than X's "none" 20:35:30 Yes; the way people have explained it to me, Wayland will improve on X's security model by having one. 20:35:41 hehe 20:35:44 elliott, so now you break screen magnifiers and screenshot apps? 20:36:02 oh no how terrible, we'll have to give like three programs special permissions :p 20:36:11 Also password managers where you copy the key means that your key can be spyed on when in the clipboard 20:36:17 elliott, right 20:37:07 All this authentication talk makes me ashamed of not having enabled 2FA for my personal Google account. :/ 20:37:23 elliott, Apparently you can use gpg on yubikey, and you can use a gpg-agent for ssh login, so that way you can use a yubikey for ssh... 20:38:00 Though there is no direct ssh key or ssl client cert support 20:40:25 fizzie: I just avoid having anything important on there 20:41:45 and I deal with my bank mostly physically anyway 20:43:42 It is cheap to clone a credit card, expensive to make a mask that looks like me and copy my passport 20:44:14 Although with modern 3d printing... 20:44:28 Vorpal: Here's the other place I did a photosphere thing: http://goo.gl/0SvqVQ 20:44:47 fizzie, I didn't see the first one? 20:44:50 "Not shown on Google Maps. Why? Pending approval..." they don't like me :/ 20:44:57 Oh, right. Well, it's the same place as the panorama. 20:45:27 http://goo.gl/Wrhs28 20:45:38 fizzie, that thing is hell on my browser on this old laptop? Can't you just link it like a normal image? 20:45:58 fizzie, I don't mind it being a bit distorted 20:46:12 Well, okay. 20:46:25 fizzie, I think it is trying to do GL stuff, this is a core 2 duo with intel graphics, from before when intel graphics were any good 20:46:33 Except that I don't have it dumped from the phone yet. 20:46:37 Ah 20:46:41 I'll wait 20:46:43 (Forgot.) 20:46:48 I don't know if you can link to the underlying image in Views. 20:46:57 fizzie, I didn't see any google maps integration in google camera? 20:47:29 Vorpal: Yeah, it's really strange. Apparently you're supposed to be able to "share" it from Photos directly to Maps, but Maps doesn't even show up in the sharing menu. 20:47:44 fizzie, so how did you upload it to maps? 20:47:54 What is the roundhouse? 20:48:13 is that a nightclub or a theatre? 20:48:14 Vorpal: The "official" (as in, mentioned in the support group) workaround is to set "full-resolution uploads" on in G+, upload to a G+ post, then go to Views with a regular browser and import it in from "my posts". 20:48:21 fizzie, Also I wouldn't want to share it to maps, in any case, I don't get any royalty for it from google... 20:48:26 orin: It's a venue, I think it's mostly about music? 20:48:48 fizzie, heh I actually laughed out loud at that complicated workaround 20:49:26 Vorpal: I mean, it's just an image, I think you can also just upload it to Views from a computer, and use any means you like to get the image off the phone. Although I don't know if it loses some metadata. 20:49:49 FWIW, at least my phone makes a pretty low-res photosphere. 20:49:53 fizzie, what is "Views" with a capital V anyway? 20:50:01 And yes, so does mine 20:50:17 And didn't you have a nexus 6? 20:50:27 I guess low res is a way to hide the seams 20:50:47 some google thing... they've switched from prepending a G to just capitalizing everything 20:50:52 Vorpal: As far as I can tell, Views is the part of Google Maps that deals with photospheres. The linking of multiple ones into a navigable thing, and the web-viewer, and so on. 20:51:15 Vorpal: https://dl.dropboxusercontent.com/u/113389132/Misc/20150324-pano_20150321_191802.jpg is the one I had dumped out of the phone, as a regular image. 20:51:16 fizzie, is this different than street view? 20:51:39 fizzie, neat, what is that of 20:51:51 http://www.roundhouse.org.uk/ 20:52:00 It's some old railway turntable thing, I think. 20:52:04 That photosphere thing is cool, how does that work? 20:52:23 -!- vodkode_ has joined. 20:52:27 FireFly, turned into a venue? 20:52:31 err 20:52:32 fizzie, ^ 20:52:36 Right. 20:53:09 FireFly, the phone uses the gyro to keep track of where you are looking and then try to stitch together an image similar to any other panorama 20:53:14 I see 20:53:32 well probably gyro and compass 20:53:51 FireFly, it also shows some guide points to help you get complete coverage 20:54:31 Hey, I can download the other photo back out of G+. 20:54:50 "2015 - 1.jpg". What a good file name. 20:55:02 fizzie, it would be fun to try photo mapping btw, as in using photos to re-create a 3D scene with reasonable textures, it is all the rage nowdays 20:55:59 Yes. I even tried that out briefly back in Finland on some buildings of the university campus, but couldn't get a good enough set of photos to make the software work. 20:56:12 https://dl.dropboxusercontent.com/u/113389132/Misc/20150324-ps.jpg there's the other thing. 20:56:55 Heh, a rather nasty seam in the bridge. They look okayish at a glance, but... 20:57:43 I think I'll stick to panotoolsing it up. But admittedly this is more convenient. 20:58:15 fizzie, oh? what software? 20:58:23 I don't know what software to use 20:58:31 I had a good set of links somewhere. 20:58:42 Oh, right here. 20:58:48 Let's see if they're not dead yet. 20:59:01 nice sphere 20:59:07 fizzie, I forgot if I uploaded mine 21:00:59 http://www.cs.cornell.edu/~snavely/bundler/ does the basic unsorted-images-to-sparse-3D-point-cloud thing, http://www.di.ens.fr/pmvs/ can take that further into a mesh-and-texture thing, http://www.di.ens.fr/cmvs/ is a computational-cost-reducing trick for it, and http://ccwu.me/vsfm/ is kind of a full toolchain/frontend for it all. 21:01:19 It's all typical research code, so at least back when I was trying, getting it to compile was a full evening's job. 21:01:19 heh 21:01:28 Ouch 21:01:59 VisualSFM changelog doesn't include dates, cleverly, so it's hard to tell if it's actually seen any work lately. 21:02:09 fizzie, hm didn't google research thingy have a phone with stereo cameras that could do this on the fly? 21:02:13 project tango? 21:02:17 Something like that? 21:02:19 Yes. 21:03:11 I remember something else vaguely similar too. 21:03:20 From a Tested.com video or something. 21:03:39 Ah 21:03:54 And of course Street View does 3D reconstruction, but that's based on the LIDAR stuff. 21:04:27 right 21:04:38 There was a LIDAR unit at the Computer History Museum's self-driving car exhibit. 21:04:47 fizzie, actually, does it do 3D reconstruction? 21:04:56 I never noticed it 21:05:21 I'm not sure how widely they actually do it. 21:05:34 You mean, some areas only? 21:07:10 -!- ProofTechnique has quit (Ping timeout: 264 seconds). 21:08:05 I have this vague idea (based entirely on pre-Google knowledge) that the LIDAR data from Street View cars is involved in the 3D buildings of Google Earth (which I guess is now kinda-sorta part of the new web Google Maps). 21:08:15 But I could be entirely wrong there. 21:08:32 3D buildings on google maps? Didn't know that 21:09:04 Yes. If you use the new thing, satellite imagery is replaced with something relatively Earth-like. 21:09:22 huh 21:09:28 Except you only have three levels of tilt (straight from above, and two oblique ones) and the 4 cardinal directions for rotation. 21:09:39 I assume it's all WebGL. 21:09:44 fizzie, not like this computer could handle it, Also wouldn't it be limited to areas with street view coverage only? 21:10:11 I think it's limited to much less than that. Like, major city centres. 21:12:26 huh 21:13:16 Helsinki doesn't have 3D buildings (in Maps) at all. 21:13:25 Although it does in the actual Google Earth. 21:13:28 Ah 21:13:59 fizzie, how does it handle complex building shapes? Like "not a box"? 21:14:13 I think it's been impressively good, actually. 21:14:28 fizzie, I wonder if it based on building plans though 21:14:32 There's a funny thing that it's clearly somehow optimized for the view direction. 21:14:42 (Possibly just the render aspect.) 21:14:49 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:14:54 If you rotate it 90 degrees, it's very... well, it's hard to describe. But wrong-looking. 21:15:05 fizzie, I'm fairly certain that the building outlines on some Swedish maps are, because they are basically identical between different providers. 21:15:07 Then it'll fix things up after it loads more stuff. 21:15:46 If this magazine article is right, the 3D buildings in Maps are based on reconstructions from aerial imagery. 21:16:27 Well that I don't believe quite 21:16:45 fizzie, if so I wonder what something like the Eifel tower would end up looking like 21:17:23 They've had the "landmark" buildings as manually constructed 3D models for quite a while. 21:17:32 I doubt they'll let the autogenerated stuff override that. 21:17:51 -!- `^_^v has joined. 21:17:53 Right 21:18:07 fizzie, but I wonder how the algorithm would handle a building like that 21:20:40 http://www.google.com.au/earth/explore/showcase/3dimagery.html is about the only official thing I can find. 21:21:32 -!- cpressey has joined. 21:22:29 oerjan: elliott: I guess an example is "the group over the rationals"; you obviously wouldn't say that because there are obviously 2 "good" candidates. and I'm pretty sure there are an infinite number of others 21:23:15 where * is multiplication and a|b = 2(a+b) I think is a ring, and there would be many more where that came from 21:23:45 sure 21:23:59 and maybe a ring theorist would say "that's not REALLY different from the standard one" and well, no, it's not very interesting, they're both rings and ring theorists care more about rings than the sets of things that form the rings 21:24:03 but 21:24:11 programmers DO care about the concrete data, a lot. 21:24:32 i just needed to say that. i'll be afk for a bit 21:25:55 Vorpal: Oh, here it finally is. http://google-latlong.blogspot.co.uk/2012/06/never-ending-quest-for-perfect-map.html "Since 2006, we’ve had textured 3D buildings in Google Earth, and today we are excited to announce that we will begin adding 3D models to entire metropolitan areas to Google Earth on mobile devices. This is possible thanks to a combination of our new imagery rendering ... 21:26:01 ... techniques and computer vision that let us automatically create 3D cityscapes, complete with buildings, terrain and even landscaping, from 45-degree aerial imagery." 21:26:46 As for quality, it's not hard to find places where it's made approximations (for "thin" structures etc.) but it's been better than I expected. 21:28:37 Hm 21:29:08 a|b = 2(a+b) doesn't look very associative 21:29:48 or perhaps we should start with the existence of a unit 21:33:31 is $pos-- while (substr($data, $pos, 1) =~ /[\x80-\xBF]/); okay perl or is there a nicer way of doing that? (The task is to rewind $pos to the start of a unicode character in UTF-8.) 21:35:40 -!- ProofTechnique has joined. 21:36:23 -!- L8D has quit (Ping timeout: 252 seconds). 21:37:31 try matching the string up to position $pos against /[\x80-\xBF]*$/ and use length of match 21:40:33 -!- HMC_A has quit (Ping timeout: 250 seconds). 21:41:18 -!- AnotherTest has joined. 21:41:46 Hmm, so ... substr($data, 0, $pos) =~ /[\x80-\xBF]*$/; $pos = $-[0]; 21:44:45 actually no, that has an off-by-one error. 21:44:57 yep, you want $-[0]-1 21:45:15 or /.[\x80-\xBF]*$/ 21:45:57 that is different if the string is all \x80-\xBF]* 21:45:58 (oh but what's the value of $-[0] if there was no match...) 21:46:11 -!- fungot has quit (*.net *.split). 21:46:11 -!- zemhill_ has quit (*.net *.split). 21:46:12 -!- jameseb has quit (*.net *.split). 21:46:18 leaving out the . ensures a match 21:46:43 -!- ^v has quit (Read error: Connection reset by peer). 21:47:01 anyway , the nicest way involves avoiding the need to compute positions in the first place 21:47:06 -!- ^v has joined. 21:47:26 -!- HMC_A has joined. 21:47:43 -!- fungot has joined. 21:47:43 -!- zemhill_ has joined. 21:47:43 -!- jameseb has joined. 21:48:28 thanks for the ideas 21:49:14 -!- oerjan has quit (Quit: Nite). 21:49:42 yw! 21:54:38 fizzie, how does the 3D reconstruction thing handle stuff like trees I wonder 21:54:55 I think they're faked. 21:55:08 fizzie, no I mean, does it filter them? 21:55:14 The research stuff you talked about 21:55:21 Oh, right, that. 21:55:24 fizzie, also does it need/make use of geotagged images? 21:55:24 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?"). 21:55:48 I remember some camera app for my phone that could record compass direction as well 21:55:52 I don't think at least the VisualSFM workflow needs or makes any use of existing geotags. 21:56:32 Ah 21:57:10 fizzie, I will endeavor to try that stuff out at some point. You said compiling it was tricky? 21:57:19 -!- `^_^v has quit (Quit: This computer has gone to sleep). 21:58:20 Back then, yes. But I didn't keep any notes. 21:58:24 So this was a while ago? 21:58:37 Yes, at least a year or two. 21:58:47 I think the "Ubuntu" installation guide on the VisualSFM page -- http://www.10flow.com/2012/08/15/building-visualsfm-on-ubuntu-12-04-precise-pangolin-desktop-64-bit/ -- more or less worked out on Debian. 21:59:08 -!- Phantom_Hoover has quit (Ping timeout: 256 seconds). 21:59:23 ah 21:59:37 It must've been more like three years, because this is the same guide I remember reading, and it's talking about 12.04. 22:00:52 Anyway, there was nothing especially difficult, just minor nuisances. The kind of things the Ubuntu guide mentions, though I'm sure its workarounds are not the only possible ones. 22:01:56 Also, if you want a feeling of accomplishment, I'd suggest starting with some small physical object that you can walk around and photograph from all angles, and running the thing on that first. 22:02:21 Possibly even including somewhat from above. 22:02:27 fizzie, I don't think I uploaded this one before: https://www.dropbox.com/s/pjrwlsdckl3wr81/PANO_20150308_132129.jpg?dl=0 22:02:36 fizzie, I tried out that fish eye pano mod 22:02:38 mode* 22:03:23 Because I think the main problem with my "huge building not entirely visible from any place" thing was that it couldn't figure out how the pieces fit together, so it made me something like 20 unconnected components that were parts of the building. 22:04:00 So it's regular photos and just a fisheye projection for the result, or what? 22:04:11 fizzie, well I don't mind if the roof is missing, it would be interesting it could accurately reconstruct the view along a street at ground level 22:04:26 Even if there are some trees blocking the view every now and then 22:04:36 fizzie, it is from the google camera app! 22:04:45 Oh! I didn't even know it has that. 22:04:56 fizzie, you go to non-sphere panorama and then you switch from landscape mode 22:04:58 VisualSFM did pieces of different walls for me, it just didn't combine them into a single whole. 22:05:38 fizzie, it is the [box] ... button you click on, and then you select the circle icon 22:05:42 Ohhh. I didn't even see that menu. 22:05:47 Yes, found it. 22:05:50 No it wasn't really explanatory 22:05:57 I had no idea it was doing fisheye 22:06:07 when I first tried it 22:06:29 Do you know what the pillow-shaped thing is? The guide points looked like a 3x3 grid, so just a wideangle thing? 22:06:51 fizzie, I think so, though I'm not 100% sure 22:07:05 fizzie, by the way, how does the google camera app figure out the lens parameters? 22:07:14 Wow, the fisheye has a lot of points. 22:07:17 I would love to figure those out myself for use with hugin 22:07:52 You can optimize for them, up to some degree. 22:08:01 I don't know how the stock camera app does it, though. 22:08:47 fizzie, that is not the stock camera on my phone though 22:08:52 so that is why I wonder 22:09:03 since the data in question is not in the normal EXIF data 22:09:10 unlike what my real camera gives me 22:09:17 Hmm. Don't know. 22:09:27 My old phone (the N900) put some lens stuff in the EXIF data. 22:09:45 Although I think it was missing some stuff, because Hugin didn't know the focal length multiplier. 22:09:46 fizzie, here is another phone camera image https://www.dropbox.com/s/p8nfprekuyjupby/PANO_20150314_150829.jpg?dl=0 22:10:04 More traditional pano 22:10:16 -!- Phantom_Hoover has joined. 22:14:24 alright, so | as I defined it isn't associative. 22:15:01 so is there only one ring over the rationals? 22:15:13 that seems so unlikely, somehow 22:16:28 -!- AndoDaan has quit (Quit: Going, going, gone.). 22:17:06 fizzie, so here is a bunch more panos https://www.dropbox.com/sh/eejt7nnbu5ephrq/AAAR-Jrfg0V8nFPwYKG8_VNGa?dl=0 22:17:57 fizzie, also a normal photo of amazing ice 22:19:18 cpressey: perhaps there's only one ring over rationals where multiplication is comutive? 22:20:54 what about where a|b = 2*a*b 22:21:14 but this is kind of straying from my main point 22:22:02 which i don't remember well enough to put into words at the moment 22:22:17 Vorpal: Fancy. Although the fisheye images kind of look "too perfect" to be realistic fisheye images. 22:22:44 Vorpal: No chromatic aberration near the outer edge and so on. 22:23:01 quintopia: I stand corrected. I do have something new. But it's not terribly esoteric: http://catseye.tc/installation/Matchbox 22:23:18 fizzie, true 22:23:54 fizzie, what do you think about the iced branches above the stream? 22:24:08 fizzie, it looked more amazing when you were there 22:27:01 V. fancy, too. Running water and ice tend to be a good combination. I think there was some photography collection at the Yle (Finnish public broadcasting thing) website once. 22:27:07 No ice or snow hereabouts. 22:27:27 -!- Phantom__Hoover has joined. 22:27:58 fizzie, two more normal images of fancy ice added (from a while ago, might have showed it earlier?) 22:32:33 fizzie, ooh found another nice image I haven't uploaded, might have some seams though 22:33:18 still uploading though 22:33:41 Ok nevermind Wayland is ok... http://en.wikipedia.org/wiki/Mir_%28software%29 22:34:23 -!- AndoDaan has joined. 22:34:29 fizzie, https://www.dropbox.com/sh/eejt7nnbu5ephrq/AAAR-Jrfg0V8nFPwYKG8_VNGa?dl=0#lh:null-PANO_20150222_143800.jpg 22:35:46 What projection is that? 22:36:22 orin, not sure, it is the google camera app photo sphere thingy 22:36:40 fizzie, that is on the top of a ridge that road goes over, though that isn't clear from the image I think 22:37:03 I think the app was confused, because that looks decidedly flat in the image 22:37:15 I think the photoshpere is just regular equirectangular image. 22:37:59 fizzie, anyway isn't this ice amazing: https://www.dropbox.com/sh/eejt7nnbu5ephrq/AAAR-Jrfg0V8nFPwYKG8_VNGa?dl=0#lh:null-DSC_0069.JPG 22:38:16 The aspect ratio is exactly 2, which would make sense for a 360x180 degree equirectangular image, and the top/bottom edge distortions look like that too. 22:38:30 (Since both edges are really just points.) 22:38:59 fizzie, yeah is is annoying that you get varying pixel sizes in panoramas 22:39:39 Nice ice. No pun intended. 22:39:57 I was taking some macro photos of our frozen balcony glasses back in Finland, but haven't had time to put them anywhere. 22:40:14 fizzie, that is phone camera, not really macro 22:40:27 fizzie, from the Xperia Z2 22:41:07 -!- AnotherTest has quit (Remote host closed the connection). 22:42:55 fizzie, hm I have an awkward vertical 4K video from my phone here, about 5 seconds. Yeah I don't think I'm very good at videos... 22:43:33 https://dl.dropboxusercontent.com/u/113389132/Misc/20150324-20100215_001.jpg this is kind of in the same category, although a bit less frozen. (From 2010, taken with the N900.) 22:44:07 -!- cpressey has quit (Quit: leaving). 22:44:25 Holy crap, this 4K video is 149 MB and just 24 seconds long 22:44:29 I'm not uploading that 22:44:50 fizzie, nice 22:45:33 fizzie, it may be obvious from this image, but the path was really a stream at this point https://www.dropbox.com/sh/eejt7nnbu5ephrq/AAAR-Jrfg0V8nFPwYKG8_VNGa?dl=0#lh:null-DSC_0364.JPG 22:45:44 it is also quite a steep slope 22:47:15 I took photos of all the Google Android sculptures they have on the lawn. 22:47:28 fizzie, you should try photo mapping 22:47:46 as in 3D reconstruction 22:47:48 of the statues 22:48:21 I don't think I have enough frames for that, didn't really have that in mind. Which is silly, because back in Finland I was wondering where I'd find a nice recognizable shape for a statue. 22:48:25 also btw, I wonder how accurate that 3D mapping is? Could you reconstruct with a street with meter accuracy? 22:48:44 Aww 22:49:06 Well, maybe next visit. 22:49:08 fizzie, wouldn't recording video be perfect for this? Just extract the video frames... 22:49:17 Or is the quality too bad? 22:49:33 There's the motion blur problem. 22:49:41 Ah, true 22:49:57 You could try to filter for non-blurry images 22:50:25 Yes. I'm not sure if any of those 4 links I mention explicitly do video, but I'm sure I've seen some stuff related to it. 22:50:32 Hm 22:51:22 The first thing (Bundler) is associated with this fancy thing: http://www.cs.cornell.edu/projects/bigsfm/ 22:51:37 It's about doing large-scale models from large photo datasets that weren't really intended for that purpose. 22:52:08 While the VisualSFM workflow is kind of more oriented around you taking a bunch of pictures of a particular thing you want to reconstruct. 22:54:22 ah 22:56:55 People having been doing SfM from the Google Street View images, I know that. 22:57:23 http://ieeexplore.ieee.org/xpl/login.jsp?tp=&arnumber=5457551 is something a quick search turned up. 22:57:41 I don't know if we've published any papers in the topic. 22:58:46 Wonder how many individual photos the Street View collection is. It's probably a big number. 22:59:33 cool 23:02:10 Heh, "Incremental plane-based reconstruction and exploration of buildings in old postcards". 23:03:50 Title was more interesting than the contents, to be honest. 23:04:07 (Not Google-related at all, just browsing.) 23:05:32 http://vision.princeton.edu/projects/2014/readjustment/paper.pdf is probably relevant wrt how accurate you can get with photos. 23:11:57 cool 23:13:35 I like this stuff; it's a shame people aren't doing the same with audio. 23:14:56 Record some arbitrary signal with N microphones, reconstruct the 3D environment around it. Might be "slightly" more ill-conditioned problem. 23:16:44 fizzie, though I was more wondering on the global measurement accuracy. Could you for example use this to improve something like openstreetmap? 23:17:01 fizzie, heh 23:18:58 How physical-reality-accurate is OpenStreetMap trying to be, anyway? 23:19:35 fizzie, well, as good as possible, though it depends on the individual contributor I assume 23:20:28 fizzie, I have contributed some stuff to it for example. And it depended on my input data in each case how accurate I could be. 23:20:51 Physical accuracy might not be absolutely critical (I mean, below the scale of, say, 1m) for many of their use cases, though. 23:21:00 well of course 23:21:24 fizzie, but air-based imagery in hilly terrain has some issues when not taken from straight above 23:21:35 That's spooky, I went to maps.google.com and it knows where I am. 23:21:45 In some cases, such as mapping trails in nature reserves, all I have is my GPS traces, with maybe a 10-20 meter accuracy if conditions are bad 23:21:57 I mean, on a desktop browser. And I don't mean the city, I mean the exact location. 23:22:03 fizzie, ouch 23:22:18 fizzie, I always click "don't share location" when I get such questions 23:22:37 It didn't ask. 23:22:57 I mean, it didn't show the "website wants to know your location" thing. Although it's quite possible I've given it permission. 23:23:16 Incidentally, IP geolocation puts our home DSL into Topcliffe, UK. 23:23:33 That's somewhere north of Leeds, and very much not where we are. 23:24:22 (It's something like 300 km off.) 23:24:40 Well, maybe 200-300. Anyway. 23:24:41 Heh 23:24:56 fizzie, maybe google checks the ping from all their servers and uses that? 23:25:04 That would be neat 23:25:54 Heh. Or maybe it's tied to my logged-in Android device with location reporting. (Hey, they paid for it.) 23:26:27 fizzie, anyway, you should be able to deal with hills and such when mapping using SFM on the ground I think. 23:26:35 If it is accurate enough 23:26:48 And you have some way to calibrate or measure a base distance 23:27:44 Mmmaybe. If you don't get a single frame out of the whole thing you're mapping, though, you might end up with accumulating error, like when using accelerometer-based things. 23:30:36 True 23:31:03 Hmm. 23:31:13 "When you activate the My Location feature, Google Maps asks your web browser for your location. Typically, your browser uses information about the Wi-Fi access points around you to estimate your location." 23:31:30 Maybe they know of an access point in this building, or somethin... wait a minute, this desktop doesn't have wifi. 23:31:56 fizzie, I was thinking you would carefully take photos of a city block or two that is on a hill, and some features on flat terrain nearby, then you could create a 3D model, and calculate a orthographic projection straight above from it, and use that to create the map 23:32:18 fizzie, ouch 23:32:41 "If no Wi-Fi access points are in range, or your computer doesn't have Wi-Fi, it may resort to using your computer's IP address to get an approximate location." Well, it's not doing that. Unless Google's getting my ISP's subscriber information or something, which sounds unlikely. 23:32:55 Maybe I should check in Javascript console what the JS geolocation API returns. 23:33:00 -!- ProofTechnique has quit (Ping timeout: 250 seconds). 23:33:11 -!- Lymee has joined. 23:33:19 -!- Lymia has quit (Ping timeout: 265 seconds). 23:33:55 heh 23:34:17 well, I need to sleep 23:34:19 good night 23:34:21 Hmm. Well, doing that in the JS console did pop up the "... wants to use your computer's location" box, so they're not using that. 23:34:26 I'm going to guess it's device-based, then. 23:34:27 Night. 23:45:10 -!- shikhin_ has joined. 23:47:54 are you on a mac? 23:48:01 -!- iamevn has joined. 23:48:18 -!- shikhin has quit (Ping timeout: 265 seconds). 23:59:36 -!- AndoDaan_ has joined.