00:07:00 -!- Zerker has joined. 00:10:21 -!- lambdabot has quit (Quit: brb). 00:16:41 -!- lambdabot has joined. 00:18:04 > (1,2,3)^..each 00:18:05 [1,2,3] 00:18:06 (input):1:8: error: expected: "$", 00:18:06 "$>", "&&", "&&&", "*", "***", 00:18:06 "+", "++", "-", "->", ".", "/", 00:18:06 "/=", ":+", ":-", "::", ":::", 00:18:06 ":=", "<", "<$", "<$>", "<*>",↵… 00:18:25 sorry. funny error though :) 00:28:16 -!- Zerker has quit (Remote host closed the connection). 00:34:54 -!- tromp has joined. 00:34:54 @run (1,2,3,4,5,6,7,8,9,10,11,12)^..each 00:34:56 Could not deduce (Control.Lens.Each.Each 00:34:56 (t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) 00:34:56 (t0, t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) 00:34:56 a 00:34:56 a) 00:35:24 idris-ircslave: that's not for you, be quiet 00:35:24 (input):1:19: error: expected: "$", 00:35:24 "$>", "&&", "&&&", "*", "***", 00:35:24 "+", "++", "-", "->", ".", "/", 00:35:24 "/=", ":+", ":-", "::", ":::", 00:35:24 ":=", "<", "<$", "<$>", "<*>",↵… 00:35:35 would not address again 00:36:41 fungot: do you expect ($)? 00:36:41 boily: ( ( ( a()**)a*:a*)(a()**)a*:a*)((x1)(x2)(x3)) ...out of time! don't let?! 00:37:08 even fungot spews out punctuation-heavy error messages! Sir Fungellot is corrupted! 00:37:08 boily: use the ' ' ' delete a value of type " airbus is a big fan of avril....but this song " there ain't no difference from before! 00:37:23 fungot: of course. everything is the same. 00:37:23 boily: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube 00:58:29 -!- lexande has quit (Ping timeout: 252 seconds). 01:00:11 -!- ski has joined. 01:03:58 -!- lexande has joined. 01:11:07 -!- idris-ircslave has quit (Quit: Terminated). 01:12:34 -!- boily has quit (Quit: SLEEP). 01:12:58 -!- idris-ircslave has joined. 01:24:36 Gregor: Can a malicious soundfont do anything bad? 01:25:41 Not without bugs in the soundfont interpreter/renderer. 01:26:09 -!- nisstyre has joined. 01:26:22 what if it makes you listen to orchestral music done in bike horns 01:28:13 Is that good or bad? 01:28:28 Sounds appropriate for, say, P.D.Q. Bach. 01:40:09 -!- augur has quit (Remote host closed the connection). 01:44:32 -!- hungryhippo has joined. 01:46:29 -!- hungryhippo has left. 01:49:29 [wiki] [[Ignition]] http://esolangs.org/w/index.php?diff=39398&oldid=39397 * Oerjan * (+18) I recommend previewing hth 01:59:29 -!- constant has quit (Ping timeout: 250 seconds). 02:02:23 -!- augur has joined. 02:03:50 What happens if you use something like data Foo = Foo with DataKinds? 02:13:30 fancy 02:15:53 Sgeo: http://www.haskell.org/ghc/docs/latest/html/users_guide/promotion.html#promotion-syntax 02:16:02 ty 02:38:55 -!- variable has joined. 02:57:20 -!- contrapumpkin has changed nick to copumpkin. 03:12:28 -!- edwardk has quit (Quit: Computer has gone to sleep.). 03:17:19 -!- xpte has quit. 03:17:30 -!- edwardk has joined. 03:18:17 -!- xpte has joined. 03:18:40 -!- xpte has left. 03:22:30 -!- drdanmaku has joined. 03:25:05 It should be possible to write a liftMn that takes a type-level nat, right? 03:25:13 Would look ugly though, if I actually understand this 03:25:31 liftMn (Proxy :: Proxy 2) (+) [1,2,3] [4,5,6] 03:39:22 https://github.com/usrbinnc/netcat-cpi-kernel-module an album by a band named netcat, released as a kernel module 03:39:52 I hope it uses its added privilege for the ultimate DRM 03:41:26 -!- Sorella has quit (Quit: It is tiem!). 03:42:12 "Building also requires several gigabytes of memory. We're not totally sure why, but we think it is because because the compiler is making lots of copies of several large, static arrays that contain track data." fascinating 03:43:10 good 03:50:47 hm that suggested new (:: t) syntax won't work as a proxy if t is not of kind * 03:50:52 2048 has a lot of zugzwang 03:51:21 clearly id must also have polymorphic kind hth 04:03:18 polymorphic kindness 04:03:54 i guess this is vaguely on topic https://twitter.com/christinelove/status/458808917837873152 04:04:07 -!- kallisti has quit (Ping timeout: 245 seconds). 04:05:19 I'm tempted to try Ultrix now 04:05:34 -!- tertu has joined. 04:05:42 do you have Ulterior motive 04:07:22 my first logins to this account was to an ultrix machine, nvg's first server. 04:08:34 Mostly because I've heard of it because of OpenSSLRampage 04:08:42 And want to bring it out of its coffin 04:09:15 sgeo have you seen jsmess 04:09:35 a few days ago i tried to run Lemmings on an Amiga and got some bizarre kernel area. it would be nostalgic if the system wasn't older than me 04:09:51 Now I have 04:10:09 I've seen similar but narrower in scope (one machine) things before 04:10:46 i don't know what unixes it has, though, if any 04:11:05 kernel error* 04:11:21 -!- tromp has quit (Remote host closed the connection). 04:11:54 -!- tromp has joined. 04:12:36 Ooh, E.T. good game? 04:13:07 isn't it the notorious opposite of a good game 04:13:41 -!- FreeFull_ has joined. 04:14:09 yes 04:14:23 -!- FreeFull has quit (Ping timeout: 252 seconds). 04:14:49 Hmm, wanted to find a blind let's play 04:14:54 Someone who hasn't heard how bad it is 04:15:32 apparently i can play a gundam http://en.wikipedia.org/wiki/Bandai_RX-78 04:15:47 whoa http://arstechnica.com/gaming/2014/04/atari-landfill-in-new-mexico-to-be-dug-up-on-saturday-ars-will-be-on-scene/ 04:16:26 -!- tromp has quit (Ping timeout: 276 seconds). 04:16:38 here's a long article about why it's not so bad, and how to fix it with a few binary patches http://www.neocomputer.org/projects/et/ 04:17:52 Did it come with a manual 04:17:57 The UI seems a bit unhelpful 04:18:21 well, yeah, 80s 04:23:34 Hmm, wanted to find a blind let's play <-- are you saying the game gets better if you are blind twh 04:24:46 http://projectnaptha.com/ this looks nifty 04:40:58 -!- nisstyre has quit (Ping timeout: 240 seconds). 05:05:27 -!- nisstyre has joined. 05:21:16 -!- esowiki has joined. 05:21:20 -!- esowiki has joined. 05:21:21 -!- esowiki has joined. 05:22:04 -!- esowiki has joined. 05:22:05 -!- glogbot has joined. 05:22:08 -!- esowiki has joined. 05:22:08 -!- esowiki has joined. 05:22:26 -!- FreeFull has joined. 05:24:18 -!- FreeFull_ has quit (Ping timeout: 240 seconds). 05:44:06 -!- FreeFull has quit. 06:03:47 Bike: umuuvvmmuivwmnnwluwnuwwolhwhus 06:05:07 I AB5ENTH|NDEDLY5ELECT RANDU1 Bl.OO<5 OFTEXTHSI READ, PND FEEL SLRONSCDUSLY SATISFIED LHEN THE HIGHUGHTED AREA |"PKE5 H 5Yl’R1ETRICHL 5|-PPE 06:05:14 -!- password2 has joined. 06:06:39 are you saying text recognition isn't perfect 06:08:28 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:11:29 well the first one is obviously upside down, it should be snymytomnumntmuuwmltnwwmnnwn 06:11:53 which is a common welsh greeting. 06:12:27 uh 06:12:44 well, good evening 06:13:25 good evening. 06:14:14 god morgen 06:40:00 "@todo Better Documentation" exactly what you want when you're trying to figure out a program in a language you don't know 06:41:30 @todo 06:41:30 0. SamB: A way to get multiple results from a google search 06:41:30 1. dons: improve formatting of @dict 06:41:30 2. dons: write Haskell Manifesto 06:41:30 3. lispy: don't let lambdabot's prettyprinter split the sequence @foo across lines 06:41:30 4. TheHunter: priviledged users should get priviledged listcommands. 06:41:32 [39 @more lines] 06:42:04 lambdabot: So much to do, so little time. 06:43:40 @dict och forbandet løgn 06:43:40 There is no dictionary database 'och'. 06:43:40 There is no dictionary database 'forbandet'. 06:43:40 There is no dictionary database 'løgn'. 06:43:57 @help dict 06:43:57 dict provides: dict-help all-dicts bouvier cide devils easton elements foldoc gazetteer hitchcock jargon thesaurus vera wn world02 06:44:11 @dict 06:44:12 I perform dictionary lookups via the following 14 commands: 06:44:12 all-dicts ... Query all databases on dict.org 06:44:12 bouvier ..... Bouvier's Law Dictionary 06:44:12 cide ........ The Collaborative International Dictionary of English 06:44:12 devils ...... The Devil's Dictionary 06:44:13 easton ...... Easton's 1897 Bible Dictionary 06:44:15 elements .... Elements database 06:44:17 foldoc ...... The Free On-line Dictionary of Computing 06:44:19 gazetteer ... U.S. Gazetteer (2000) 06:44:21 well this is verbose. 06:44:21 hitchcock ... Hitchcock's Bible Names Dictionary (late 1800's) 06:44:23 jargon ...... Jargon File 06:44:25 thesaurus ... Moby Thesaurus II 06:45:02 @devils potable 06:45:03 *** "potable" devil "The Devil's Dictionary (1881-1906)" 06:45:05 POTABLE, n. Suitable for drinking. Water is said to be potable; 06:45:07 indeed, some declare it our natural beverage, although even they find 06:45:09 it palatable only when suffering from the recurrent disorder known as 06:45:11 thirst, for which it is a medicine. Upon nothing has so great and 06:45:13 [6 @more lines] 06:45:16 @more 06:45:16 diligent ingenuity been brought to bear in all ages and in all 06:45:17 countries, except the most uncivilized, as upon the invention of 06:45:19 substitutes for water. To hold that this general aversion to that 06:45:21 liquid has no basis in the preservative instinct of the race is to be 06:45:23 unscientific -- and without science we are as the snakes and toads. 06:45:25 06:46:08 @quit OKAY 06:46:08 Not enough privileges 06:46:11 oops 06:46:23 -!- oerjan has quit (Quit: OKAY). 06:48:35 "it was either you or me, lambdabot" 06:56:12 -!- pikhq has quit (Ping timeout: 258 seconds). 06:58:20 lambdabot needs a pastbin 06:58:24 *pastebin 07:04:55 -!- pikhq has joined. 07:08:21 fungots fall on fungot falls 07:08:21 kmc: ( c) a player resigns from an office has whatever duties, then 3 extra " 0" and ( down-from n ( 0 07:08:27 hi pikhq, how goes it? 07:19:04 Fun fact: ARIN now has a single /8 left, too -- https://www.arin.net/announcements/2014/20140423.html 07:40:37 -!- conehead has quit (Quit: Computer has gone to sleep). 07:45:32 "By APNIC policy, each current or future member can receive only one /22 block from this last /8 (there are 16384 /22 blocks in the last /8 block)." 07:48:32 -!- slereah_ has joined. 07:48:34 You know 07:48:38 Thinking about it 07:48:41 Maybe I should do both 07:48:50 Like check the length of the series 07:49:02 And if it's short, I use the regular Baum Welch algorithm 07:49:09 but if it's long, it's log ahoy 07:49:38 the regular baumkuchen algorithm 07:50:09 Yes, the bumspank algorithm 07:56:08 -!- password2 has quit (Ping timeout: 276 seconds). 08:04:38 -!- augur has quit (Ping timeout: 252 seconds). 08:07:24 -!- augur has joined. 08:27:45 -!- Patashu has joined. 08:29:07 -!- idris-ircslave has quit (Quit: Terminated). 08:29:43 -!- idris-ircslave has joined. 08:42:03 -!- Patashu_ has joined. 08:42:04 -!- Patashu has quit (Disconnected by services). 09:14:14 @botsnack 09:14:14 :) 09:14:18 @run > 1 09:14:20 :1:1: parse error on input ‘>’ 09:14:25 @run 1 09:14:26 hah. 09:14:26 1 09:18:28 @scoobysnack 09:18:28 Unknown command, try @list 09:21:23 -!- drdanmaku has quit (Quit: Connection closed for inactivity). 09:21:59 kmc: do you think something like http://flint.cs.yale.edu/flint/publications/flex.pdf would be realistic for rust 10:10:23 -!- yiyus has joined. 10:12:26 -!- boily has joined. 10:14:46 kmc: also i wonder whether shipwreck is named after http://www.marxists.org/archive/lenin/works/1912/may/08c.htm 10:19:10 -!- yorick has joined. 10:24:15 -!- Frooxius has quit (Quit: *bubbles away*). 10:30:22 Woo, the logs work 10:30:38 So it turns out the last value was ~ e^-1611.5 10:30:58 About 10^-700 10:32:11 -!- ais523 has joined. 10:49:29 @run 1611 / log 2 10:49:31 2324.18171087212 10:51:26 int-e: do you have a 1 in 1611 probability that you're trying to estimate how long before you have a 50% chance of it happening? 10:52:37 ais523: I was estimating the exponent field in a floating point representation of e^-1611.5 10:52:44 binary floating point that is 10:52:53 ah right 10:56:03 -!- augur_ has joined. 10:58:11 huh, I'm seeing the headlines "OpenBSD forks OpenSSL" 10:58:20 which confuses me, because I thought OpenSSL was their project in the first plae 10:58:21 *place 10:59:38 -!- augur has quit (Ping timeout: 240 seconds). 10:59:48 Not everything that starts "Open" is theirs. 10:59:53 I know 10:59:58 but I thought that in particular was 11:00:50 What I think is boringly unimaginative is the "LibreSSL" name. I mean, Openswan got forked as Libreswan back when they had problems of their own. 11:01:28 are they copying the OpenOffice/LibreOffice thing? 11:02:12 Huh, I didn't even think of that. 11:02:59 -!- nooodl has joined. 11:03:18 that has to be the highest-profile open→libre fork 11:03:22 not sure if it was the first 11:05:02 What's next, LibreStreetMap? 11:05:55 (LibreVPN, LibreLDAP, LibreSceneGraph, LibreTTD, ...) 11:10:32 -!- boily has quit (Quit: FREE CHICKEN). 11:51:05 -!- Sorella has joined. 11:52:38 < mroman> > foldl1 (\a b -> (a,b)) [1,2,3] < mroman> Would that work in idris? – The answer is: Yes! Idris can do that. More seriously, mutatis mutandis, the idea can be made to work. 11:52:49 -!- hexagon has changed nick to h3xagon. 11:52:54 -!- h3xagon has changed nick to hexagon. 12:03:56 Using only things I have available at the repl: 12:04:06 ( elim_for Prelude.List.List Integer (elim_for Prelude.List.List Integer (const Type) () (\x,xs,y => (Integer,y))) (the () ()) (\x, xs, xs' => (x, xs')) 12:04:06 <> Integer (<> Integer (\v => Type) () (\x => \xs => \y => (Integer, y))) () (\x3 => \xs4 => \xs' => (x3, xs')) : (scrutinee : List Integer) -> 12:04:06 <> Integer (\v => Type) () (\x => \xs => \y => (Integer, y)) scrutinee 12:04:18 ( elim_for Prelude.List.List Integer (elim_for Prelude.List.List Integer (const Type) () (\x,xs,y => (Integer,y))) (the () ()) (\x, xs, xs' => (x, xs')) [1,2,3] 12:04:18 (1, 2, 3, ()) : (Integer, Integer, Integer, ()) 12:22:51 -!- nucular has joined. 12:22:51 -!- nucular has quit (Changing host). 12:22:52 -!- nucular has joined. 12:27:40 I name my variables according to what will give the best alignment in the code 12:27:55 Since I tab things everywhere 12:28:02 Name too long? SHORTEN IT 12:32:31 -!- nooodl_ has joined. 12:33:17 -!- aloril has quit (Ping timeout: 264 seconds). 12:34:25 -!- Sgeo has quit (Read error: Connection reset by peer). 12:35:40 Use single-letter variable names 12:35:43 * ais523 mentions something about PHP's hashing algorithm for built-in functions 12:35:53 Allows for perfect alignment and reduces the number of keystrokes 12:35:59 -!- nooodl has quit (Ping timeout: 252 seconds). 12:37:40 -!- ais523 has quit. 12:47:07 -!- aloril has joined. 12:48:11 -!- Slereah has quit (Ping timeout: 250 seconds). 12:48:23 -!- Slereah has joined. 12:58:14 FireFly : Plus it would be nice to leave something for the next intern to do 12:58:19 Also no loops, only gotos! 13:01:35 -!- ais523 has joined. 13:02:03 indirectly lost: 7,204,400 bytes in 350 blocks 13:02:06 Damn 13:02:15 That's a lot of bytes 13:02:15 slereah_: is that a valgrind report? 13:02:19 yep 13:02:31 worrying about indirectly lost isn't normally worth it, those are memory leaks that'll go away if you fix the "directly lost" leaks 13:02:40 basically, leaks caused as a result of other leaks 13:02:41 Probably yes 13:02:48 I know the problem 13:05:21 The bigger problem though is that the algorithm doesn't work 13:05:47 the memory management algorithm? or the algorithm that the leaky code is trying to impl? 13:09:22 The latter 13:09:30 Baum Welch algorithm thing 13:09:40 But it does not converge to anything 13:10:54 Impressive, given how it's guaranteed to. 13:12:13 Yeah 13:12:19 Don't know where the code fucks up 13:12:34 FireFly: sometimes when I write comments, I try to make every line the same length 13:12:37 "manually justified" 13:12:51 if you have around 76 columns to write in, which is typical, it's actually not very difficult 13:12:53 -!- tertu has quit (Ping timeout: 264 seconds). 13:13:17 Do you hyphenate? 13:19:24 no 13:19:29 just pick different words 13:19:39 Wonder if there are automatic tools for that. 13:25:56 -!- password2 has joined. 13:27:59 -!- nycs has changed nick to `^_^v. 13:35:53 -!- slereah_ has quit (Quit: Leaving). 13:40:16 Subject: LEGITIMATE BUSINESS PROPOSAL!!! 13:40:17 Greetings to you, I am Mrs.Helen Wong, from Shanghai Banking Corporation Limited. (China)I have a business proposal of USD$30,000,000 13:40:24 From: Mrs. Helen Wong 13:40:35 Come on, at least try. 13:41:56 your mail client is supposed to display that as "Mrs. Helen Wong", because the e-mail address is too technical for layfolks 13:46:05 FedEx customer support number's phone IVR menu starts with "press 1 if you have received an e-mail about a shipment you were not expecting". 13:46:09 I assume that's because of spam. 13:46:36 that seems plausible 13:46:45 either that or their email notification system is broken 13:47:02 It was also spoken in an entirely different voice than the rest of the menus. 13:47:25 Jafet: there's a theory that spammers intentionally make their emails look like spam to humans (if not spam filters), because they're only going to be able to get money out of the most gullible targets anyway, and thus it helps to filter for gullibility in advance 13:47:42 fizzie: is this in English or Finnish? 13:47:49 Finnish, I was paraphrasing a bit. 13:47:54 It might well be the same for English. 13:48:39 I also had to navigate three levels down (main menu -> "international shipments" -> "press 5 for further options") before learning the shortcut ("0#") to talk to a human. 13:49:46 there's a well-known pseudo-shortcut of hitting 0 repeatedly to get past those systems, I'm not sure if that generally works or not now that it's well-known 13:49:57 At least my up-and-coming ISP's customer service number uses speech recognition, which makes one feel very futuristic. 13:50:03 a lesser-known method where you stay completely silent for about a minute and it assumes you have a pulse phone rather than a touch-tone phone 13:50:07 and connects you to a human then 13:50:17 but speech recognition avoids that loophol 13:50:18 *loophole 13:50:34 clearly we need a speech synthesizer based on `words 13:50:37 `words 13:50:39 libulie 13:51:44 ais523: I stayed completely silent for maybe 30 seconds (because I couldn't really figure out what to say to the speech recognizer) and it started a speech about how I can also select this or that number with the keypad. 13:51:46 Apparently, speech synthesizers are now good enough for... youtube videos. 13:52:25 Jafet: occasionally, YouTube has an option to autogenerate subtitles based on speech recognition 13:52:27 (Of course that was approximately the same moment when I actually started speaking, which made the menu text stop, but I also stopped talking out of confusion. It was all very awkward. 13:52:37 even more occasionally, it also gives you the option to run the resulting subtitles through Google Translate 13:52:46 if this ever comes up, I recommend using it 13:52:53 sometimes it even produces something intelligible 13:53:01 Automatic closed captioning, sounds legit. 13:53:32 I used the YouTube speech recognition subtitles a year and half ago when giving a surprise lecture (the normal lecturer cancelled with no lead-up time) on a machine learning class. 13:53:36 Jafet: well the BBC seemed to use automatic closed captioning on 888 sometimes, but that might have had humans intervening 13:53:41 Though it'd be both thematically appropriate and funny. 13:53:49 It was at least the latter. 13:53:57 certainly, there were many cases where there were computer-like mistakes but followed by a correction 13:54:01 (On the rare occasion that I am near a television, the closed captioning looks bad enough that it might have been automatically generated anyways) 13:54:06 (The language model they were using wasn't very well-versed on probablistic models and the EM algorithm.) 13:54:57 (I showed them some open MIT lecture video thing, since I couldn't really think of much else.) 13:55:11 like http://www.xkcd.com/806/ ? 13:55:28 -!- Sellyme has left. 13:56:38 (I should explain the 888 thing for people who aren't British and/or aren't old enough to have seen a 10-to-20-year-old television; basically, the UK analog TV channels had an information service which was a bit like a website but much more limited, with the information carried in the vertical retrace time between frames; each page had a three-digit number; and number 888 was reserved for the closed captions (and sent much more frequently than the 13:56:40 other numbers, which would be updated every 20 seconds or so, and normally cycled between multiple pages) 13:56:52 100 was the home page, and I think 199 was the index 13:57:11 ais523: yes, that's called teletext 13:57:17 -!- tertu has joined. 13:58:05 b_jonas: in the UK, it was called Teletext by ITV, but Ceefax by the BBC 13:58:38 Teksti-TV ("text TV") in Finland. 13:59:02 I used to get video game recommendations from Teletext 13:59:08 I see 13:59:11 Teletext is directly responsible for my love of Advance Wars 13:59:42 I used to read the letters from the viewers occasionally. 13:59:52 what's Advance Wars? 14:00:05 Plus there was a page for DXers. 14:00:32 b_jonas: a computer game series for the Gameboy Advance and Nintendo DS; it's actually part of a larger series called Nintendo Wars, but has an identity of its own 14:00:42 it's basically a lightweight turn-based strategy game 14:01:02 The sidebar at http://www.yle.fi/tekstitv/html/P100_01.html -- the web-terface to the "Finnish BBC's" TeleText service -- claims they still have 1.7 million "users", though I find that slightly dubious, they don't exactly explain how they've arrived at that number. 14:01:12 I understand Ceefax was shut down the other year? 14:01:19 I think I heard people being disappointed about it. 14:01:25 -!- Patashu_ has quit (Ping timeout: 252 seconds). 14:01:44 fizzie: there was a replacement for digital TVs, not sure if that's still going 14:01:48 I think it is but I'm not sure 14:01:52 I'm not sure whether TV stations still have teletext here in Hungary even after the all-digital thing 14:01:54 the major change is that it supports 4-digit numbers now 14:02:24 -!- ais523 has quit. 14:02:30 teletext is a really ancient system, it was designed to be easily decodable by simple electronics, and that shows 14:02:36 DVB has some amount of TeleText support, they've kept at least that YLE thing. 14:02:45 so not only it's limited, but it also has a locale-dependent character set 14:03:24 yes, it seems we still have teletext 14:03:28 Huh, there's actually more details about those 1.2 million users, it was based on some opinion poll. 14:03:43 there's a javascript-based copy on the internet at http://www.teletext.hu/ 14:04:34 1.2 million look at teletext at least once a week, 780 000 visit at least daily, 360 000 at least twice a day; 97% do it via a TV. 14:05:09 Trending down in the "less than 25 years" age category, somehow I'm not terribly surprised. 14:05:33 fizzie: how can they measure that? it's a passive system, the tv doesn't send signals 14:05:42 seriously 14:05:47 Like I said, polling. 14:05:56 And then extrapolating. 14:06:08 They don't mention sample sizes, but come on, we're not doing *science* here. 14:06:24 at least they don't quote numbers with absolute error of 0.01 persons like some of the tv channel viewer statistics 14:06:37 which, mind you, in the analog tv era were also impossible to produce for exactly the same reason 14:06:53 for digital tv, maybe you can get teletext statistics, I don't know 14:07:04 I've no idea how that works 14:07:22 -!- MindlessDrone has joined. 14:08:08 I've read about it, and I think it was something deliciously old-fashioned. 14:08:49 I mean, they've got all that MHP stuff and so on going on, but the teletext was going through something involving things not too far departed from the analogue formats. 14:09:44 MHP? 14:10:12 It's one of these "interactive TV" things they did around DVB. 14:10:28 There's a Java VM involved and all that, I don't know if it's actually used anywhere. 14:10:48 "In May 2010 the largest deployments DVB-MHP are in Italy (DVB-T), Korea (DVB-S), Belgium (DVB-C) and Poland (DVB-S) with trials or small deployments in Germany, Spain, Austria, Colombia, Uruguay and Australia. MHP service was also offered in Finland by Finnish Broadcating Corporation (Yleisradio), but the service was shut down at the end of 2007 after technical failure. The shutdown wasn't ... 14:10:49 jesus, java vm in your tv? just like in old mobile phones? scary 14:10:55 ... ever officially announced." 14:10:57 (Wikipedia.) 14:11:44 There's also the MHEG-5 language. 14:15:32 Yeah, DVB-TXT is a standard for encoding the teletext stuff in a MPEG-2 bitstream, the idea being that a DVB receiver box connected the "old-fashioned way" can then disentangle it and re-embed it in the vertical blanking interval signal, and an old TV set then re-decode it out. 14:16:09 fizzie: that's scary 14:17:32 I haven't been following the market at all, I don't know if native DVB receivers in TVs (and boxes connected over HDMI) can do teletext decoding. I guess so, if they've got all those millions of users still. 14:17:44 This is extra great when you factor in that many new Smart TVs have cameras in them 14:20:31 -!- drdanmaku has joined. 14:20:43 "-- these fields correspond to the 43 bytes following the clock-run-in sequence of an EBU Teletext data packet as defined in ITU-R Recommendation BT.653 -- Data packets are inserted in the same order as they are intended to arrive at the Teletext decoder or to be transcoded into the VBI --" so apparently DVB-TXT is just stuffing that same bitstream in. 14:21:24 -!- shikhin has joined. 14:22:13 `run fgrep 'KELVIN SIGN' bin/UnicodeData.txt 14:22:13 212A;KELVIN SIGN;Lu;0;L;004B;;;;N;DEGREES KELVIN;;;006B; 14:22:26 Degrees Kelvin. 14:22:46 The decrees of Kelvin. 14:27:15 oh, that reminds me, I have a crazy idea 14:29:21 let's redefine UTC so it increases a little bit faster than it does now, but jumps back an hour once a year; 14:29:44 and make local time follow it but jump back an hour a different date of the year, 14:30:00 so that UTC and local time are symmetric, both jump back an hour compared to the other 14:30:20 and their offsets alternate between the two values they use now, 14:30:34 but local time won't skip an hour forward anymore 14:35:24 I have an even crazier idea 14:35:30 Don't use this daylight saving crap 14:50:15 -!- ais523 has joined. 14:52:27 is this channel really > 10% bots? 14:52:30 right now it'd need 9 14:53:04 applybot, info 14:53:04 Isabelle is not running. \ Loaded theories: Main "~~/src/HOL/Library/Code_Target_Nat" "~~/src/HOL/Number_Theory/Primes" \ 0 lines in session. \ Command timeout is 20 s. \ Unicode translation enabled. \ Colour output enabled. 14:53:15 applybot, clog, egobot, fungot, glogbot, HackEgo, idris-ircslave, jconn, lambdabot are the ones that have bot-like names or that I know are bots 14:53:15 *** Unrecognized command 14:53:15 ais523: " and this is a new game. there is no quadrant which naturally led to a fnord and fnord hoarsely at something which amused myself that way. consider this platform i am aware, commissioner, that there are no gentiles in the garden, examining the fastenings of the drawing-room window, washing and the summoning of the small piece of source code anywhere there's whitespace is ignored and made my own, freed. in c, it's dlope 14:53:17 ais523: possible 14:53:25 and that's 9 exactly 14:53:27 so I guess it is 14:53:55 myndzi is somewhere between 0 and 1 of a bot 14:54:06 So that makes the >10% by a hair 14:54:12 what's glogbot? 14:54:32 Does the codu.org logs, I presume. 14:54:34 glogbot, ais says you're a bot, is that true? 14:55:08 "monotone" sounds like a bot. (No offense.) 14:55:26 -!- monotone has changed nick to polytone. 14:55:39 That's much less like one. 14:55:49 MindlessDrone seems somewhat likely 14:58:57 -!- variable has changed nick to trout. 15:01:44 -!- home has joined. 15:02:07 hello 15:02:14 are you guys all bots? 15:02:47 not all of us 15:02:50 quite a few are, though 15:02:51 yes 15:02:54 I'm a bot 15:02:57 fungot: are you a bot? 15:02:57 ais523: and more plus the latin is a timeless language 15:03:00 please insert liquor 15:04:44 home: ‰ is out from % by a factor of 10 15:04:50 so what the topic means is that we're more than 10% bots 15:04:53 I counted, and this is true 15:05:06 Well, this was true. 15:05:58 we need another 8 non-bots to join before it becomes false, unless I missed one, or unless you count myndzi who is sometimes a bot (e.g. \o/) 15:06:03 oh, hmm 15:06:09 maybe the ) threw it off: \o/ 15:06:10 | 15:06:10 /^\ 15:06:11 there we go 15:06:17 -!- atehwa has quit (Ping timeout: 264 seconds). 15:06:56 > 9 / 82 * 100 15:06:56 10.975609756097562 : Float 15:06:57 10.975609756097562 15:07:09 I sit corrected 15:07:27 `echo hi 15:07:28 hi 15:07:47 -!- atehwa has joined. 15:08:05 well at least two bots agree on the bot percentage 15:08:10 right down to the number of decimal places involved 15:08:23 !c printf("%lf\n", 9.0 / 82.0 * 100.0); 15:08:28 10.975610 15:08:43 EgoBot disagrees on the number of decimal places, though 15:10:02 ) (9 % 82) * 100 NB. jconn disagrees on the number of decimal places too 15:10:02 b_jonas: 10.9756 15:10:52 now we have to get fungot to do the same calculation 15:10:52 ais523: i know i didn't know that you've had it for some time i added a new page and sends it to emacs, i suggest, vote). you need just some 50 more metres and i'm home, and realised i forgot to take down what he actually checks 15:11:10 !echo 'scale=64;9/0.82' | bc 15:11:10 'scale=64;9/0.82' | bc 15:11:16 `` echo 'scale=64;9/0.82' | bc 15:11:17 10.9756097560975609756097560975609756097560975609756097560975609756 15:11:23 fizzie: I was going to ask you if fungot supported fingerprints for floating-point arithmetic, then I realised it doesn't run Funge code (it's just /written/ in Funge code) 15:11:24 ais523: that is just a value of type is created containing the syntax for mark if he was really gonna get worse and worse each week, 15:11:44 !echo `` echo 'scale=64;9/0.82' | bc 15:11:44 `` echo 'scale=64;9/0.82' | bc 15:12:14 !echo @run 1 15:12:15 @run 1 15:12:27 phew :) 15:12:40 @run 9 / 82 * 100 :: CReal 15:12:41 10.9756097560975609756097560975609756097561 15:12:51 there are basically two mechanisms for preventing botloops used in this channel 15:12:55 some bots don't accept input from other bots 15:13:02 other bots refuse to produce output that will be run by other bots 15:13:16 neither sort of bot can be involved in a loop, relatively obviously 15:13:18 ais523: the proper way would be for bots to output NOTICE only, not PRIVMSG 15:13:23 @run text "!echo too many spaces" 15:13:24 !echo too many spaces 15:13:26 but people seem to hate that, so not even my bot does that yet 15:13:28