00:00:21 both reducing to #P is obvious. 00:00:57 ah, yeah, i'm wrong 00:01:09 "The relationship between BPP and NP is unknown: it is not known if BPP is a subset of NP, NP is a subset of BPP or if they are incomparable." 00:01:37 P is still a subset of BPP though, right 00:01:42 sure 00:04:32 what is it thundering 00:04:38 nooodl: genericLength is almost never a good idea. 00:04:44 Pretty much the only use case is lazy naturals. 00:05:20 * oerjan unplugs laptop, just in case 00:06:07 it's about time for the monthly recommended uncharging, anyway 00:07:27 shachaf: what if my list has more than 2^64 elements? er hmm... 00:07:52 i guess that's more interesting on 32-bit machines 00:08:10 > 2^64 00:08:11 18446744073709551616 00:08:21 i'm so over 32-bit machines 00:08:25 > 2**64 00:08:26 1.8446744073709552e19 00:08:28 kmc: With 64-bit Int it doesn't matter much realistically. With 32-bit Int it can matter, but you should *still* not use genericLength. 00:08:31 @src genericLength 00:08:32 genericLength [] = 0 00:08:32 genericLength (_:l) = 1 + genericLength l 00:08:41 maybe by the time Servo is a product even phones will all be 64-bit 00:08:46 @src length 00:08:46 Source not found. I can't hear you -- I'm using the scrambler. 00:08:46 that would be cool 00:09:01 > map Seq.length (iterate (\s -> s <> s) (Seq.singleton ())) !! 63 00:09:03 -9223372036854775808 00:09:08 32-bit architectures are a real problem if you want lightweight threads because there isn't enough address space for all the stacks 00:09:20 @list vote 00:09:20 poll provides: poll-list poll-show poll-add choice-add vote poll-result poll-close poll-remove 00:09:29 @help poll-show 00:09:29 poll-show Shows all choices for some poll 00:09:38 @poll-show remove@src 00:09:38 ["no","yes"] 00:09:53 @poll-add remove@src makeitactuallywork 00:09:53 usage: @poll-add with "ThisTopic" style names 00:10:05 oops 00:10:39 @choice-add remove@src makeItActuallyWork 00:10:39 New candidate "makeItActuallyWork", added to poll "remove@src". 00:10:51 @vote remove@src makeItActuallyWork 00:10:51 The "remove@src" poll is closed, sorry ! 00:10:54 darn 00:11:10 @poll-show remove@src 00:11:10 ["makeItActuallyWork","no","yes"] 00:11:17 semi-closed. 00:11:22 oerjan, what's your favourite turing tarpit 00:12:13 * int-e gives up on tab removal (with bfgolf rules; no negative numbers), after ,[[>+>+<<-]>-[-[-[-[-[-[-[-[-[>.<[-]]>[-]<]]]]]]]]>[.[-]]<<,] and the slightly longer >,[>>+++++++++[>+<-<<-[>]>]>[>[>]<[<<<+>>>-]<[-]<<.>>]>[-]<<<,] 00:15:45 Taneb: underload or ///, maybe slightly the former 00:16:10 oerjan, thank you 00:16:23 wait is this for your essay 00:16:52 THIS IS A GREAT INVASION OF PRIVACY AND I WANT ROYALTIES 00:17:06 Shush 00:17:17 I just wanted an example of a turing tarpit 00:17:17 Taneb is writing an essay? 00:17:26 kmc, I have to write an essay in the next 9 or so hours 00:17:42 About a classic Computer Science paper of my choice 00:17:47 I chose On Computable Numbers 00:17:58 shoulda done five worlds. smh 00:18:12 if you want it really tarpitty you can do underload with just :()^ or /// with just /\ 00:18:34 Taneb: can i have royalties too 00:18:48 shachaf, if you pay for me to live in CA 00:19:00 uh 00:19:03 no royalty in CA 00:19:15 try .uk instead 00:19:27 or .nl etc 00:19:29 tarpittiful 00:19:30 r.i.p. Emperor Norton 00:19:45 we'll name that bridge after him yet 00:19:46 int-e: well, Taneb is actually in .uk 00:19:55 fucking oakland wouldn't go along 00:19:55 rip 00:20:07 kmc: the bastards! 00:20:29 we just need to make sure all the san franciscans who move to oakland due to outrageous rent in SF will remain loyal to the emperor 00:20:35 shachaf, although I have contacts in .nl and .au 00:20:42 And .it, come to think of it 00:20:51 also there's a new bar in the Tenderloin called Emperor Norton's Boozeland 00:20:55 i've yet to go 00:21:00 I assume I will either love it or hate it intensely 00:22:23 did norton even drink 00:23:03 That reminds me 00:23:04 don't know 00:23:12 I really need to get a game of Diana: Warrior Princess going 00:23:31 -!- myname has quit (Ping timeout: 272 seconds). 00:25:10 shachaf: there is royalty in .ca though 00:25:18 Taneb: would .ca suffice 00:26:15 hmmm maybe 00:27:33 emperor Taneb for president 00:28:33 "Whoever after due and proper warning shall be heard to utter the abominable word "Frisco," which has no linguistic or other warrant, shall be deemed guilty of a High Misdemeanor, and shall pay into the Imperial Treasury as penalty the sum of twenty-five dollars." 00:28:57 if outsourced royalty counts 00:30:13 -!- myname has joined. 00:30:21 oerjan: how much is that in 2013 dollars 00:30:49 hm can frink convert that 00:31:52 https://github.com/ngerakines/commitment/blob/master/commit_messages.txt 00:32:58 ...I may be guilty of a few of those 00:33:07 -!- Phantom_Hoover has joined. 00:33:42 `frink 25 dollars_1872 -> dollar 00:33:53 Error when reading Consumer Price Index file from FTP site. \ Will use static file for historical U.S. currency conversions. \ 463.23673749815968985 00:34:07 -!- Bike has quit (Ping timeout: 260 seconds). 00:35:16 i suppose that shouldn't be _too_ out of date. 00:35:41 'IEize" 00:35:51 -!- Bike has joined. 00:45:18 -!- muskrat has joined. 00:45:22 -!- sebbu has joined. 00:46:01 -!- sebbu has quit (Changing host). 00:46:01 -!- sebbu has joined. 00:47:59 -!- Oj742 has quit (Ping timeout: 265 seconds). 00:48:21 Aaaah 00:48:32 What does the fact that things can be accidentally turing complete show 00:48:58 This essay is in in 9 hours and I'm 50 words short 00:49:01 that the world is a bad place 00:49:09 > 50/9 00:49:10 5.555555555555555 00:49:18 Not quite shachaf 00:49:20 > 50/(9*60) 00:49:21 9.259259259259259e-2 00:49:52 Help I've reached the point where I'm being really introspective about my chest hair 00:49:59 that we're doomed once our toasters accidentally turn sentient. 00:50:08 sorry, *sapient 00:50:28 are your chest hairs turing complete 00:50:39 I don't think so but on the other hand bathroom tiles are 00:50:41 So who knows 00:50:48 kmc: did you know there was an iso standard for entering unicode codepoints 00:51:07 actually it's just what urxvt does 00:51:12 i guess you use urxvt 00:57:58 -!- Phantom__Hoover has joined. 00:58:13 -!- Phantom_Hoover has quit (Ping timeout: 248 seconds). 01:08:30 -!- yorick has quit (Read error: Connection reset by peer). 01:09:15 yeah i think i've mentioned it here 01:31:58 -!- variable has changed nick to function. 01:33:02 fungot: but are you a constant function or a variable function? 01:33:02 lexande: i'm ol' x86 user ;p http://www.klubitus.org/ fnord/ fnord 01:33:07 err, function ^ 01:33:58 function: fun fact, all except one of your nicks collides with someone else in the first 3 letters 01:34:42 * oerjan vaguely wonders if function is changing nick automatically and has been idling this whole time 01:34:45 fungot is /win 19 01:34:46 lexande: how old are you?" " this section describe infrared connection troubleshooting procedure." hahah, same with perl/ java/ io/ file.html 01:35:10 -!- Taneb has quit (Quit: Leaving). 01:35:45 you have fungot in its own window? 01:35:45 oerjan: different people have different preferences. some people don't 01:35:56 fungot: i guess you're right. 01:35:56 oerjan: hmm how can drscheme fnord factorial that fast and with no examples. 01:36:09 fungot: it's a mystery 01:36:09 oerjan: hehe... my wife? is she at home enjoying capitalism?. yarly nowai fnord if then else 01:36:35 fungot: that sounds expensive, also i didn't know you were married. 01:36:35 oerjan: external 1g scsi hd. but that may be very good for writing little scripts." how many people use religion as an answer 01:37:00 oerjan: no, I don't change nick automaticall 01:37:08 oerjan: i started saying something about fungot, and then i won 01:37:08 lexande: but why would you need to check 01:37:11 oerjan: which nick doesn't collide ? 01:37:19 lexande: I'm a mutable constant function 01:37:25 function: variable 01:37:32 oerjan: ha 01:37:46 constants are just a kind of function 01:39:27 -!- Sprocklem has joined. 01:43:26 -!- nooodl has quit (Ping timeout: 264 seconds). 01:43:42 -!- nooodl has joined. 01:45:52 -!- Sorella has quit (Remote host closed the connection). 01:48:23 -!- nooodl_ has joined. 01:49:17 -!- nooodl has quit (Ping timeout: 272 seconds). 01:52:50 -!- Sorella has joined. 01:53:09 -!- Sorella has quit (Changing host). 01:53:10 -!- Sorella has joined. 02:20:57 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:27:18 -!- oklopol has quit (Ping timeout: 241 seconds). 02:27:49 -!- nooodl__ has joined. 02:31:18 -!- nooodl__ has changed nick to nooodl. 02:31:43 -!- nooodl_ has quit (Ping timeout: 260 seconds). 02:43:34 -!- nisstyre has joined. 02:56:45 -!- carado has quit (Ping timeout: 252 seconds). 02:58:13 http://discontinuity.info/~pkhuong/futures/ of course 03:30:38 -!- oerjan has quit (Quit: leaving). 04:11:51 "Horny Ghost Of Osama Bin Laden : Rise Of The Ghost and over one million other books are available for Amazon Kindle. [Learn more]" 04:21:56 -!- ruddy has quit (Remote host closed the connection). 04:29:57 note to self: when someone asks me what an applicative functor is i have to tell them "they're like halfway between boxes and burritos" 04:31:49 https://twitter.com/bos31337/status/402212508187897856 04:34:29 fungot has a twitter account? 04:34:29 shachaf: why no pointers? me scared by pointer fnord n' stuff? 04:35:04 fungot: are you a three-star programmer 04:35:04 kmc: i wish i were a fan of the fnord and passing it to number-string with a radix of 8 to just generate a simple html webpage. 04:35:13 how often are you asked what an applicative functor is 04:35:16 fungot: what do you think of http://kingjamesprogramming.tumblr.com/ 04:35:16 kmc: you are, 6 instructions. i figured that 04:35:30 fungot: ya got me 04:35:30 kmc: do you think the extension was? just some random ideas and the thought alone makes me want to kill someone. i'll make up something 04:38:35 fungot: how many instructions am i 04:38:35 shachaf: although really all programming concepts out there in the begin clause of define-structure then? ;p it might make sense 04:38:45 fungot don't make sense 04:38:45 shachaf: there was a major transition to 32-bit architectures in all sorts of things 04:39:10 fungot: 32-bit addresses aren't enough for kmc 04:39:10 shachaf: in scheme?' 04:40:50 fungot: you're the seriously best bot 04:40:51 shachaf: zomg repeat!! but that low-level stuff frightens and confuses me, so to have binary data combined with gc'ed data i'd have to special-case literals; you treat them as a tad) n 04:40:56 fungot: you're the seriously best bot 04:41:10 last time i'm taking directions from a bot 04:41:51 ah, to be young again, and also a robot 04:43:41 http://www.theonion.com/articles/ah-to-be-young-rich-white-male-collegeeducated-str,34320/ 04:45:52 haha 04:47:09 -!- coppro|nospoiler has changed nick to coppro. 04:47:19 coppro|spoiled 04:47:26 nope 04:47:28 no spoilers! 04:47:54 brian dies 04:49:41 kmc: wow is this 04:49:50 markov chains from sicp and the king james bible 04:51:15 ah. yes 04:51:28 aka "the description in the header" 04:52:40 what it says on the tin 05:13:08 -!- nisstyre has quit (Quit: Leaving). 05:29:15 -!- nisstyre has joined. 05:48:28 -!- nisstyre has quit (Quit: Leaving). 05:49:10 -!- nisstyre has joined. 06:08:37 -!- Sprocklem has quit (Ping timeout: 248 seconds). 06:24:40 -!- Slereah has joined. 07:06:03 -!- tertu has joined. 07:20:40 shachaf: It hasn't tweeted for a while, though. 07:20:52 (The script might be broken.) 07:39:55 -!- FreeFull has quit. 07:41:02 -!- L8D has quit (Ping timeout: 264 seconds). 07:49:53 "Date of publication nulldate; date of current version nulldate." 07:51:49 seems like you have the first and only version 07:59:20 Also it seems that in the acknowledgements footnote I've claimed that the "recognition experimenters" (rather than experiments) have been performed using computational resources from the Triton cluster. 07:59:29 I guess that means that I'm a program after all. 08:00:50 not a train? 08:01:50 am i a train 08:03:02 http://acko.net/blog/on-asmjs/ 08:04:10 nope nope nope 08:04:24 nope? 08:04:25 fuck that guy for his rant about how feminism is bullshit and what about the men: http://acko.net/blog/storms-and-teacups/ 08:04:36 also for his absurd LOOK AT ME web design which distracts from the content and melts my computer 08:04:37 Maybe some kind of a computer-simulated train. 08:04:39 in conclusion, nope 08:04:49 oh. didn't know. 08:04:53 fizzie: am I a computer dreaming i'm a train? or a train dreaming i'm a computer? 08:05:52 the exercises in model checking class did often involve trains and elevators 08:06:11 and the prof had a story about being hired by the italian government to prove that the trains wouldn't run into each other 08:06:15 hehe the first page of that hits like half my antifeminism bingo card. 08:06:19 i know right 08:06:35 i haven't been able to make it all the way through (which I guess means I have no right to criticize, according to the first section) 08:06:44 instead I open it, scroll to a random point, get intensely angry, close it 08:07:08 there's usually a way for humans to fuck up so that the trains run into each other, anyway, though 08:07:11 , isn't it 08:07:39 i think i've seen like one video of a head on train collision, but i might have imagiend int 08:07:48 head-on-train collision 08:07:52 those happen a lot on caltrain :/ 08:07:59 huh, really 08:08:06 i've mostly seen train-hits-incidental-vehicle 08:08:09 "ICE 3 high speed trains use electrochromatic glass panels between the passenger compartment and the driver's cabin. The standard mode is clear, and can be switched by the driver to frosted/translucent, mainly to conceal "unwanted sights" from passengers' view, for example in the case of (human) obstacles." 08:08:46 uh. 08:09:06 caltrain runs right through the center of a densely populated corridor and mostly at grade 08:09:13 so there are a lot of vehicle collisions but also a lot of suicides 08:11:24 We had an elevator exercise in the model checking class. 08:11:29 No trains that I can recall. 08:13:28 we were given a puzzle about how two trams could pass each other through a bridge that looks like -=-=- , i.e., three single track sections with two passing sections between them 08:13:35 based on some bridge in amsterdam supposedly 08:14:18 a protocol for the trams to follow which never results in them getting stuck or backing up 08:14:30 i find it interesting that http://en.wikipedia.org/wiki/Gauntlet_track is used for some bridges rather than actual single tracking 08:15:02 Our class was based on http://spinroot.com/spin/ if I recall correctly. 08:15:11 ours too 08:15:16 the instructor was the main developer 08:15:48 PROMELA was kind of funny to write. 08:16:36 merging two tracks into two overlapping tracks is simpler & more reliable (no moving parts) than merging them onto one track with switches 08:17:05 fizzie: I don't remember much about it 08:17:32 I know it had finite state, and pattern-matching on message reception, and slightly odd syntax but nothing too awful iirc 08:17:49 Oh, I mostly remember the syntactical bits. 08:18:15 Parts of it looked very C-inspired, but then there were the oddities that really stood out with that background. 08:18:52 (Also "if ... fi" and "do ... od" control structures.) 08:19:00 oh i forgot about that 08:19:52 I don't have anything against if..fi or do..od, it's just that e.g. procedures were "normal" brace-delimited blocks. 08:20:12 ("Some of my best friends are if..fi's and do..od's.") 08:34:51 https://dl.dropboxusercontent.com/u/76028872/kuusipalaa.png 08:35:57 what about "the spruce is on fire" 08:36:02 is that not valid :'( 08:36:10 oh, wait 08:36:12 that's the top one 08:37:38 we don't need no water let the motherfucker burn 08:44:07 that's a lot of definitions for one phrase 08:44:16 -!- shachaf has quit (Ping timeout: 264 seconds). 08:45:00 -!- shachaf has joined. 08:58:35 http://www.youtube.com/watch?v=796bHaAtlkE#t=1m hth 09:05:47 I happened to write an explanation of that to someone who asked, might as well paste it here: The words for spruce and six happen to be the same. I have no idea why. “To return” is “palata” and “to burn” is “palaa”; “I return” is “palaan” and “I burn” is “palan”. The rules of inflection just happen to make both “(it) returns” and “(it) burns” “palaa”. The word for 09:05:49 “piece” is “pala”. The inflection for “(eleventy) pieces” just happens to be “palaa”. That’s not unlike “I have a rose” and “I rose up” in English. The word for “moon” is “kuu”. The inflection for “your moon” happens to be “kuusi”. 09:06:28 Seems sensible to me. 09:08:32 shachaf: So that’s what the fox says. 09:23:40 `? d-module 09:23:44 D-modules are just modules over the ring of differential operators. Taneb invented them. 09:24:27 `thanks taneb 09:24:28 Thanks, taneb. Thaneb. 09:29:12 ion: Wiktionary seems to indicate "kuusi" migth be both six and spruce just by accident; the number has the etymology "from Proto-Finnic *kuuci, from Proto-Finno-Ugric *kutte", while the tree is "from Proto-Uralic *kuse, *kose or *kowse". 09:29:35 Yeah, i assumed it’s just by accident, but i didn’t know the etymology of either. 10:21:35 -!- nisstyre has quit (Quit: Leaving). 10:51:32 -!- nisstyre has joined. 11:18:12 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 11:22:08 Do you folks happen to know if there are good open-sores tools to annotate PDF files? 11:22:51 i was going to say "printer and a pen" but even printing from Linux is nigh-impossible so 11:24:14 fizzie: Xournal 11:28:02 kmc: I've in fact already printed the PDF, from Linux. 11:28:13 (But I'm supposed to return an annotated PDF.) 11:29:52 ion: I guess Xournal does something custom? The file I return needs to be something Adobe-compatible, I presume. 11:30:11 It lets you draw on the PDF and save it again. 11:30:16 Very useful with a wacom pad. 11:31:11 -!- nisstyre has quit (Ping timeout: 260 seconds). 11:32:16 From what I can tell from the manual, that would produce a PDF with scribblings on it, not a PDF with those specific annotation boxes. 11:38:12 Maybe I'll just rdesktop to the terminal server, it's supposed to have Adobe Acrobat X Pro on it. 11:38:56 Give Up And Use Windows 11:39:44 Yes. 11:40:13 Deewiant: Heh, there's a /C:\nppdf32Log\debuglog.txt file (as in, in the root directory) owned by root:root on kosh.org.aalto.fi. :p 11:41:18 Nice, who's been running firefox as root 11:41:52 Maybe it's been MATLAB instead. 11:44:57 Wow, this PDF renders quite horribly in rdesktop-Acrobat. 11:47:17 https://dl.dropboxusercontent.com/u/113389132/Misc/20131128-baseline.png that's some quality horizontal alignment there 11:49:06 vertikerning 11:51:22 http://www.youtube.com/watch?v=bew73APL7X4 wow hypnotizing 12:07:36 cool 12:10:51 -!- carado has joined. 12:21:00 fizzie: I thought that was from adobe's pdf reader plugin for firefox 12:21:49 Deewiant: I get it from MATLAB's help browser, but of course the help is a mess of HTML, so it might well use the same underlying components. 12:26:31 Ah, okay 12:31:33 -!- Nisstyre-laptop has joined. 12:36:53 -!- Nisstyre-laptop has quit (Ping timeout: 246 seconds). 12:37:12 -!- Sorella has quit (Disconnected by services). 12:37:27 -!- Sorella` has joined. 12:48:22 -!- yorick has joined. 13:08:58 -!- boily has joined. 13:09:07 -!- metasepia has joined. 14:01:46 -!- L8D has joined. 14:02:32 -!- muskrat has quit (Quit: Leaving). 14:18:16 -!- oerjan has joined. 14:21:31 `ello L8D 14:21:34 L8Dello 14:21:44 hellœrjan. 14:21:54 fungot has a twitter account? <-- pretty sure e used to have, but i think it stopped working. 14:21:54 oerjan: http://web.archive.org/ web/ fnord/ fnord? or where the number of arguments 14:22:16 quintopia: the ball was sweet and mushy, kinda like a rice crispies square... 14:22:21 fungot: it's nice of you to point to the archive version, but you really shouldn't apply the fnord substitution to it 14:22:21 oerjan: i haven't seen any ' fnord just yet. 14:22:43 fungot: you cannot see your own fnords? i guess that makes some sense. 14:22:43 oerjan: fnord? catch the wind and cut off its fnord? 14:22:58 fungot: i have this feeling you are just messing with me. 14:22:58 oerjan: the only motivation for the syntax 14:23:41 fungot: you are creepy. 14:23:41 boily: they shit out rice crispies" when you ask the question 14:23:43 boily: i have a certain urge to `addquote that. 14:23:55 (um, what you said just before.) 14:24:11 Well, technically, the account still works, the tweeting script just might not. 14:24:58 Maybe I should revive it. 14:25:11 fungot: How do you feel about getting back to the social twitosphere? 14:25:11 fizzie: fnord) if ( *cptr fnord *cptr fnord) check the next cell ( a total of n places in under n moves, moving only one place 14:25:12 `pastlog twitter\.com.*fungot 14:25:13 oerjan: ais523 can read it back in whenever it changes cons that list onto another list 14:25:43 No output. 14:25:57 `pastlog twitter\.com.*fungot 14:25:57 oerjan: and malice fnord. but i was talking about making a whole scheme 14:26:04 @tell ais523 could you read the twitting fungot back when the cons are changed? twh. 14:26:04 Consider it noted. 14:26:04 boily: that's the purpose. why write source code at all 14:26:11 2013-04-09.txt:01:51:08: http://twitter.com/fungot 14:26:25 fungot: uhm... like, you know, like, it's my job, genre tsé. 14:26:25 boily: maybe it's more: the public is saved from what it doesn't 14:26:59 fungot: indeed. I wouldn't want the public to start coding too much. too dangerous, imho. 14:26:59 boily: i'll bet the fact that nothing works properly on this computer so i can't count. 14:27:09 fizzie: what is the one twitter account fungot follows 14:27:09 oerjan: what were you talking about? what is the reindeer effect? odd :) 14:28:32 * oerjan just noticed that fungot mentioned rice crispies after boily did 14:28:32 oerjan: process 4 killed. there was this comment: fnord/ guile-ref/ fnord? here's not even the current editors. they know me. you've never seen the lectures myself, but i 14:29:00 the reindeer effect is when you drop a twitter account in order to latch onto rice crispies. 14:29:35 oerjan: It's probably my twitter account. 14:31:00 Yes, that is indeed the case. 14:32:53 fungot: latch? 14:32:54 boily: do you know the problem of namespace pollution problems.) ack! 14:33:36 fungot: I do know. as a certain bespectacled girl who wields blood would say, 不愉快です。 14:33:36 boily: gnu tend not to go in early for some project instead of eager... then you could shine lasers on them to make smart decisions or act out some kind of syntax is that just x. z) 14:34:48 wielding blood sounds creepy 14:34:50 fungot: am I able to make you trip onto some predetermined keywords? what are the gnu commandline options for that? poulet, orange, navet, melon, luffa, kiwi? 14:34:50 boily: mmm.... montreal smoked meat. :) why do you say it'd work particularly well on many modern windows-based platforms" 14:34:58 oerjan: it's a plot point. 14:35:10 fungot: yé! montréal smoked meat! 14:35:10 boily: ( " a gentle introduction to ml" is much harder than with anything else 14:35:28 fungot: indeed. ML is hardcore. those Haskell wussies don't know nothing. 14:37:22 it has a formal definition, which sadly only half exists because it's paywalled, iiuc. 14:37:47 ic. ow. tdh. 14:38:06 *tdnh 14:38:58 i live by the principle that information that isn't freely available doesn't really exist. 14:39:55 your explanation dh, even if ML by itself dnh. 14:40:24 i think they recently released an older version of the definition. 14:41:34 imo, paywalls are there to protect a lack of information. case in point, about the only thriving mainstream news source in Québec switched to a tablet version. 14:42:03 (well. printed and or textual. we're still stuck with TVA and suchlike when turning on a television.) 14:43:05 i wonder if the released version is from before they switched to the value restriction. 14:44:18 (ML used to have a complicated kind of purity annotation on type variables.) 14:45:19 but then someone realized (or borrowed from ocaml) that you can just restrict generalization of types to actual functions given syntactically. 14:51:07 " gnu tend not to go in early for some project instead of eager... then you could shine lasers on them to make smart decisions" fungot explains how to make the GNU project work. 14:51:08 fizzie: 30 meg or so. i take it back a few times when i get h. in case you hadn't noticed, i was 14:53:26 the whole GNU project fits in 30 MB, and to work need to be shined upon by lasers. 14:59:31 (I strongly suspect every GNU application is only emacs in disguise.) 15:11:37 -!- MindlessDrone has joined. 15:31:46 -!- muskrat has joined. 15:32:08 -!- Phantom_Hoover has joined. 15:32:31 -!- muskrat has quit (Client Quit). 15:40:20 -!- Sprocklem has joined. 15:46:59 http://acko.net/blog/on-asmjs/ <-- so, this guy has to be blind, right? 15:54:08 I need someone with a brain 15:54:29 for what? 15:54:34 3SAT 15:55:13 A term in conjunctive normal form is only satisfable if every subterm is? 15:55:28 *satisfiable 15:55:57 ok conjuctive is where the and's are outermost, right? 15:56:01 Because all subterms are AND-ed 15:56:06 oerjan: Yes 15:56:23 All Subterms consist only of OR-ed variables and a Term consists of AND-ed subterms 15:56:28 well then yes, that's a requirement. 15:56:33 Ok 15:56:49 Every subterm esentially describes a "non-solution" 15:56:54 (of course if it were also sufficient, things would be very simply) 15:57:05 *simple 15:57:06 * boily recalls his «Circuits logiques» classes, with Karnaugh tables and smokeless chips... 15:57:35 (a v !b) ^ (a v b v c) tells us, that (0, 1, x) and (0, 0, 0) can't be solutions 15:57:41 (x = don't care) 15:58:28 yep 15:59:22 you can just put a big "not" around the whole and apply deMorgan. 15:59:41 Right. 16:00:58 Due to that, the complexity of determining if the whole term is satisfiable is linear in the number of "don't care"s 16:01:22 um wait what 16:01:28 this is NP-complete, you know. 16:01:45 -!- augur has quit (Ping timeout: 272 seconds). 16:02:06 all known algorithms are exponential. 16:02:20 Well 16:02:41 Consider exact 3-SAT with 6 Variables 16:02:53 ok 16:02:58 wait 16:03:35 I'm aware that it must be exponential ;) 16:04:15 good, good 16:04:34 (if you can _prove_ it, you have a million dollars hth) 16:04:50 It's exponential in the number of "don't care"s 16:05:03 sounds more likely 16:06:24 In theory 16:09:12 -!- Sprocklem has quit (Ping timeout: 265 seconds). 16:12:09 I think there should be an algorithm that is exponential in number of subterms 16:12:18 like uhm 16:12:30 8^m where m is the Numbers of Terms for 3-SAT 16:15:17 7^m actually for 3-SAT 16:16:06 because a single subterm is satisfiable in (2^n)-1 ways 16:18:37 -!- function has changed nick to trout. 16:21:35 -!- Phantom__Hoover has joined. 16:22:01 well you can have one that is exponential in number of variables, which is no more than 3*subterms 16:22:07 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 16:35:37 -!- Phantom_Hoover has joined. 16:36:53 -!- Phantom__Hoover has quit (Ping timeout: 248 seconds). 17:00:41 -!- oerjan has quit (Quit: leaving). 17:36:31 -!- FreeFull has joined. 17:42:47 -!- Phantom_Hoover has quit (Ping timeout: 246 seconds). 18:06:25 back from lunch. the accentèd soup was good, but the place was cold. 18:34:46 what does "kuusi palaa" mean? 18:35:16 All those things listed in the image? 18:36:06 Also see ion's comprehensive explanation. 18:36:25 Huh, "This account's public links are generating too much traffic and have been temporarily disabled!" 18:36:50 -!- yiyus has joined. 18:38:21 oh, it already got linked here, i see 18:40:35 There's a "joke" related to translating "voi äiti, joulukuusi palaa!" to Swedish in an intententionally wrong way; it goes something like "smör mamma, julsex kommer tillbaka!" 18:42:15 -!- olsner has joined. 18:42:59 julsex? is that some kind of twisted Santa Fetish? 18:43:50 That would be YuleSex 18:44:05 Them Swedes collapse en:six and en:sex, probably for some good reason. 18:44:25 http://www.graficaobscura.com/future/futnotes.html 18:44:27 (Also itself a subject of much giggling in primary school language lessons.) 18:45:02 -!- Sprocklem has joined. 18:45:12 i,i sextuplets 18:47:34 Slereah: “try indenting from right to left” ??? 18:47:57 A sextet too, I guess. 18:48:43 I doubt there is any good reason for using sex for six 18:50:39 What about the sex 18:50:42 Pretty good reason 18:50:53 boily : ANARCHISTS 18:52:20 anarchists are a strangely structured bunch... 18:53:16 Except : "Structured programming = slow. " 18:53:23 THEY HATE STRUCTURE :o 18:53:44 ↑ cf. strangely. 18:54:42 Though I'd love to see a modern OS programmed entirely efficiently 18:54:53 Although I'm pretty sure it would cost a million dollars 18:54:56 How does that work? "I just want to code, I don't want to abide by any structure. It slows me down." 18:55:44 I guess they want to code efficiently instead of maintainably 18:55:57 Which is a nice idea in theory 18:56:10 But I wouldn't want to be the guy who has to pick up the project later on 18:56:46 if I apply their principles, all I'll achieve is unusable-code-that-only-works-on-my-machine-today. 18:56:47 so, not a nice idea in theory. 18:57:05 boily : But boy will it run smoothly! 18:57:22 until you try to install something and it messes everything up. 18:57:30 usability means more than 'speed'. 18:57:37 Such are the risks! 18:58:31 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:58:38 but there's no advantage. 18:59:00 Well, speed I guess 18:59:22 If you run it for one thing on a dedicated machine, should be fine 18:59:33 -!- tswett has joined. 18:59:43 But if you're running it for "one thing" you might as well just put that one thing on the hardware. 18:59:46 Slereah: that I can't deny. but it's like doing lines of code as if doing lines of coke. instant gratification, but empty. 18:59:46 ABOUT LINEAR TYPING. 19:00:02 `ello tswett 19:00:04 Hello, tswett ! 19:00:06 Hardware is expensive though! 19:00:12 `ey there. 19:00:13 beuh. who changed `ello? 19:00:13 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ey: not found 19:00:21 boily : You say that like it's a bad thing 19:00:22 well i guess we can't buy a computer then 19:00:31 `cat /bin/ello 19:00:32 cat: /bin/ello: No such file or directory 19:00:37 `which ello 19:00:38 ​/hackenv/bin/ello 19:00:39 A computer is probably cheaper than building a dedicated CPU 19:00:44 `paste /hackenv/bin/ello 19:00:47 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip//hackenv/bin/ello 19:00:56 `ello tsetto 19:00:56 by 'on hardware' i meant just putting it on a regular cpu, but without an os 19:00:58 tsettello 19:01:01 w 19:01:17 Isn't that still software? 19:01:17 `ello tswett 19:01:19 tswettello 19:01:24 Software doesn't mean "on an OS" 19:01:28 Well, then. 19:01:46 I guess you can put it in a static memory, if that counts? 19:01:55 Yeah, but doesn't "on software" mean "on an OS"? 19:02:08 software means all that can't be physically kicked around. 19:03:11 So, right. ABOUT LINEAR TYPING. You can make a linear type system out of Haskell's type system just by adding one operator, ~, the dual operator. a with b becomes ~(Either ~a ~b), a par b becomes ~(~a, ~b), bottom becomes ~(), and so on. 19:03:56 And this raises the question, what does ~ mean? It acts suspiciously like (-> e), where "e" is some universally quantified type variable. 19:04:43 But where do you put the quantifiers? 19:05:01 on the left 19:05:25 Oh, there's my problem. I was putting the quantifiers in Zimbabwe. 19:05:45 zimbabwe is to the left of some places, to be fair. 19:05:58 @tell oerjan can I learn Zimbabwe's quantification? 19:05:58 Consider it noted. 19:06:13 Let me see whether or not Zimbabwe is to my left right now. 19:06:15 I'm guessing it is. 19:06:44 tswett: what are your current approximate coördinates? 19:07:08 42.9612° N, 85.6557° W 19:08:00 Accurate to within a few tenths of a degree. 19:09:32 Where was I. Oh yeah. 19:10:00 Really, all of linear logic's production rules can be translated directly into Haskell, practically unchanged! 19:10:04 I just don't know what will come out. 19:10:06 boily: i'm sorry it was mushy. they were very crunchy at the beginning of the month. 19:12:15 quintopia: don't be sorry, I quite enjoyed it. the sweetness was surprising, though. 19:12:45 tswett: thanks. for scientific purposes, could you provide me with you body weigh? 19:13:52 boily: 185 lbs. 19:13:59 Probably accurate to within 5 lbs. 19:14:24 that's much appreciated. and strangely precise. I am disturbed; this doesn't happen often... 19:15:01 You don't usually get body weights accurate to within 5 lbs? 19:15:12 also have people here been enjoying the autogenerated hackernews headlines? they use the same technique as fungot afaict 19:15:12 quintopia: call it " fn" is ( a f)) ( map fnord lst) 19:15:48 So, gimme a few minutes, lemme see how the cut rule translates. 19:15:49 tswett: I get frivolous answers, viz. megaluns. 19:15:58 `? megalun 19:16:00 megalun is a chain of a million SCSI devices. FreeFull weighs 482 of them. 19:16:11 boily: do you have my coordinates and body weigh? they are less fluctual now 19:16:11 I see. 19:16:27 Oh dang, I never figured out whether or not Zimbabwe is to my left. 19:16:51 quintopia: I don't have your weigh. the coordinates were properly appröximated according to your last known address. 19:17:15 Yep, I'm pretty sure I would describe Zimbabwe as being on my left. 19:17:20 righto 19:17:23 ahm 19:17:26 -!- muskrat has joined. 19:17:31 -!- Sgeo has quit (Read error: Connection reset by peer). 19:17:41 probably near 220lbs? 19:18:15 that'll do. 19:18:30 tswett: michigan? zimbabwe is most definitely to your left. 19:18:49 Depends on which way I'm facing. 19:19:45 zimbabwe's leftness is orthogonal to your orientation. 19:19:49 apparently my desk points zimbabwe 19:20:10 zimbabwards 19:20:14 No, I disagree. Zimbabwe's leftness is highly dependent on my orientation. 19:20:21 -!- Sprocklem has quit (Ping timeout: 272 seconds). 19:21:51 `run echo "olsner's desk points zimbabwards. it is highly dependent on tswett's michiganic orientation." >wisdom/zimbabwe 19:21:55 No output. 19:22:02 -!- Sprocklem has joined. 19:22:05 boily: it would only be orthogonal if michigan was antipodal to zimbabwe 19:22:36 -!- Sgeo has joined. 19:25:25 Sgello. 19:25:56 quintopia: sadly, I concur that is not the case. 19:26:00 I think sgello is a kind of a (virtual?) string instrument? 19:27:01 fizziello 19:27:59 * boily strokes Sgeo with a sbow 19:29:31 i'm sure that's exactly what sgeo was hoping for waking up today 19:29:40 "i need to get myself stroked today" 19:30:56 I'm hoping for a computer that doesn't keep struggling with its graphics driver 19:31:18 Also hoping not to be stroked by something that I don't even know what it is 19:31:57 Looked it up. Apparently, boily is trying to run me over with an SUV? 19:32:52 huh? 19:33:03 http://www.urbandictionary.com/define.php?term=SBOW 19:33:11 boily: Don't try to play innocent, we know what you did. 19:33:57 bin torieux. there's always that chance that unknown words I type already mean something. I guess that just happened, eh? 19:34:17 fizzie: I claim not-guilty. 19:35:00 besides, how would one realistically stroke somebody else with an SUV? 19:41:11 By driving over them, presumably. 19:42:15 I deny everything. also, Sgeo is a wall. 19:42:54 Some people are walls, other people are wextras, it's just a fact of life. 19:46:04 boily: that's why you should type randomly-chosen 256-bit words 19:48:39 -!- ais523 has joined. 19:50:05 shachaf: I 4ediGUdynGUJfQr0rGb582AvRrw6IBZX with you. 19:52:16 ew 19:52:28 that's disgusting 19:52:58 So the cut rule ends up typed like this: 19:53:01 (d -> (b -> t4, g -> t3) -> t) -> ((d', b) -> (g' -> t2) -> t4) -> (d, d') -> (g -> t3, g' -> t2) -> t 19:53:26 Where all those ts are the universally quantified variables. 20:02:55 Each one seems to correspond to a normal variable. t3 obviously corresponds to g, and t2 to g'. Then t4 seems to correspond to b, and t must correspond to d. And that leaves nothing to correspond to d'. 20:06:02 -!- copumpkin has joined. 20:11:31 what cut rule thing? 20:12:01 one cut to rule them all, and in the scissors snip them... 20:19:25 maybe cut elimination should be called stitching. 20:20:30 chellopumpkin. int-hello. 20:24:45 -!- tswett has quit (Ping timeout: 250 seconds). 20:25:10 -!- jochem88 has joined. 20:25:30 `relcome jochem88 20:25:33 ​jochem88: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 20:26:06 -!- tswett has joined. 20:26:17 Whoever asked, the cut rule is from here: http://plato.stanford.edu/entries/logic-linear/ 20:26:51 -!- augur has joined. 20:29:14 -!- jochem88 has quit (Client Quit). 20:29:58 -!- jm__ has joined. 20:34:31 http://www.techwyse.com/blog/wp-content/uploads/2010/04/robots-txt1.gif 20:35:51 -!- elliott has quit (Ping timeout: 260 seconds). 20:36:54 -!- yiyus has quit (Read error: Connection reset by peer). 20:41:15 -!- Sprocklem has quit (Ping timeout: 245 seconds). 20:42:40 -!- elliott_ has joined. 20:43:21 relcome jut might be a bit too colourful 20:43:25 just* 20:43:33 -!- ais523 has quit (Read error: Operation timed out). 20:43:35 -!- Bike_ has joined. 20:43:42 it is not colourful enough 20:43:55 -!- Bike has quit (Ping timeout: 246 seconds). 20:44:21 -!- ais523 has joined. 20:44:28 -!- Bike_ has changed nick to Bike. 20:45:29 /set hide_colors on 20:50:49 -!- Bike has quit (Ping timeout: 252 seconds). 21:02:35 -!- jm__ has quit (Ping timeout: 272 seconds). 21:12:01 Grumble murgle burgle, that computer with the noisy broken-sounding fan, into which I put a new nice and silent fan, has made the new fan also noisy and broken-sounding, in just a month or three. Must be some kind of a curse. 21:13:23 `rwelcome FireFly 21:13:25 ​FireFly: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: . (For the other kind of esoterica, try #esoteric on irc.dal.net.) 21:13:32 Hmm, those are the same? 21:13:37 fizzie: did you cast the chicken bones right? 21:13:52 Awful. 21:13:53 `run ls -l bin/r*me 21:13:55 lrwxrwxrwx 1 5000 0 8 Oct 28 14:16 bin/relcome -> rwelcome \ -rwxr-xr-x 1 5000 0 12 Sep 25 13:06 bin/resume \ -rwxr-xr-x 1 5000 0 35 Oct 19 20:40 bin/rwelcome 21:13:55 I think someone decided the other one broke too much stuff 21:14:03 `resume 21:14:05 rsum 21:14:11 `stop 21:14:12 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: stop: not found 21:14:16 `run cat bin/resume 21:14:17 echo rsum 21:14:43 `run echo 'echo resume' > bin/rèsumè; chmod +x bin/rèsumè 21:14:47 No output. 21:18:34 l'horreur. 21:21:47 What! The non-word-based rainbow welcome is no more? 21:22:15 Bah. I guess there's no accounting for taste. 21:22:16 fizzie: indeed. it was squished away by heretics. 21:22:21 ==fizzie 21:23:28 > fizzie == fizzie 21:23:29 Not in scope: `fizzie'Not in scope: `fizzie' 21:23:35 -!- Bike has joined. 21:32:09 -!- boily has quit (Quit: PSYCHOSOMATIC CHICKEN!). 21:32:10 -!- metasepia has quit (Remote host closed the connection). 21:33:19 -!- Sprocklem has joined. 21:34:18 -!- ais523 has quit. 21:36:17 -!- Bike has quit (Ping timeout: 252 seconds). 21:38:04 -!- Bike has joined. 21:53:10 -!- oerjan has joined. 21:54:34 -!- elliott_ has changed nick to elliott. 22:17:01 -!- Bike has quit (Ping timeout: 246 seconds). 22:18:57 -!- Bike has joined. 22:26:11 -!- Sprocklem has quit (Ping timeout: 272 seconds). 22:32:01 @messages-good 22:32:01 boily said 3h 26m 3s ago: can I learn Zimbabwe's quantification? 22:35:24 -!- carado has quit (Ping timeout: 252 seconds). 22:35:43 @tell boily the zimbabwean uncertainty principle means you cannot quantify their bmp precisely without causing runaway inflation. 22:35:43 Consider it noted. 22:40:51 There's a "joke" related to translating "voi äiti, joulukuusi palaa!" to Swedish [...] <-- google translate doesn't seem to know that meaning of "voi" 22:41:39 oh it knows it the other way around. 22:43:30 oh hm it's listed in the footnotes if you try "voi" alone. 22:48:47 @tell boily beuh. who changed `ello? <-- i think you got hit by the tab expansion space issue. 22:48:48 Consider it noted. 22:48:53 `ello tswett 22:48:55 Hello, tswett ! 22:48:57 `ello tswett 22:48:58 tswettello 22:49:14 `ello oerjan 22:49:16 helloerjan 22:49:35 `ello оerjan 22:49:37 ​оerjanello 22:49:49 v. flexible command 22:50:00 `unidecode оerjan 22:50:02 ​[U+043E CYRILLIC SMALL LETTER O] [U+0065 LATIN SMALL LETTER E] [U+0072 LATIN SMALL LETTER R] [U+006A LATIN SMALL LETTER J] [U+0061 LATIN SMALL LETTER A] [U+006E LATIN SMALL LETTER N] 22:50:06 yes. 22:52:23 -!- Sorella` has changed nick to Sorella. 22:52:24 -!- Sorella has quit (Changing host). 22:52:25 -!- Sorella has joined. 22:53:23 `unencode [U+043E CYRILLIC SMALL LETTER O] 22:53:24 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: unencode: not found 22:53:27 er 22:53:28 `uniencode [U+043E CYRILLIC SMALL LETTER O] 22:53:29 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: uniencode: not found 22:53:37 h8rego 22:55:11 `unicode CYRILLIC SMALL LETTER O 22:55:13 ​о 22:57:15 SHЕЕSH 23:01:29 `unicode A 23:01:31 Unknown character. 23:01:47 `unicode PILE OF POO 23:01:49 Unknown character. 23:02:46 you're an unkown character 23:03:00 * shachaf looks at the logs 23:03:07 oh 23:03:55 what about the logs. 23:04:06 They have piled up 23:08:31 Hmm, those are the same? <-- some people overwrote the old relcome with rwelcome. 23:09:11 oh it's actually a link. 23:09:27 some bad people imo 23:09:57 h8rs 23:10:08 i vaguely agree. 23:11:03 `resume 23:11:05 rsum 23:11:12 `cat bin/resume 23:11:14 echo rsum 23:11:37 `run echo "echo résumé" >bin/resume 23:11:40 No output. 23:11:45 `resume 23:11:46 résumé 23:12:23 ? 23:12:28 What did you change? 23:12:35 shachaf: it was in latin-1 23:12:41 now it's utf-8 23:12:42 !!!!!!! 23:12:46 h8rs 23:12:53 You know the old adage: when you résumé, you make a rés out of both you and mé. 23:13:06 `rèsumè 23:13:07 resume 23:13:17 * oerjan checks fizzie's line encoding. you pass. 23:13:47 I not only pass, I pass-te. (From your line.) 23:13:57 `unidecode rèsumè 23:13:59 ​[U+0072 LATIN SMALL LETTER R] [U+00E8 LATIN SMALL LETTER E WITH GRAVE] [U+0073 LATIN SMALL LETTER S] [U+0075 LATIN SMALL LETTER U] [U+006D LATIN SMALL LETTER M] [U+00E8 LATIN SMALL LETTER E WITH GRAVE] 23:14:00 fan-cy 23:14:13 shachaf: you appear to possess a grave disorder 23:14:21 è.é 23:15:33 fizzie also has it, it seems to be turning acute 23:15:36 why does unicode require you to know the code point 23:15:39 ♪ when they resume the résumé ♪ 23:15:53 oerjan: but is it turning complete? 23:15:59 that's all we care about in this channel 23:16:26 hm we have defined turning tarpits, but have we defined turning completeness 23:16:47 p. sure 2π is turning complete 23:17:33 ok 23:18:03 itym (4/3)pau right? 23:18:12 * shachaf is desperately trying to stop pronouncing the j in oerjan like the j in jack. 23:18:35 "oerjack" doesn't sound too shabby. Maybe a bit piratey. 23:18:59 ørjack the ørrible 23:19:18 @ørr 23:19:18 Maybe you meant: yarr arr 23:19:28 lambdabot: you disappoint. 23:19:31 that's the worst thing 23:19:59 is there any actual difference between the commands? 23:20:02 ϕrjan. 23:20:04 Yes. 23:20:10 They have two different lists of responses. 23:20:26 (Or did in the past. Maybe in the new age of mokusism that's different.) 23:20:31 arright. 23:20:44 @yarrjn 23:20:44 Splice the Mainbrace! 23:21:19 people who play music loudly are the worst people 23:22:55 shachaf: no, i would say people who do carpentry are just as bad. 23:23:07 -!- Phantom_Hoover has joined. 23:23:13 @wn mainbrace 23:23:14 No match for "mainbrace". 23:23:29 @wn vambrace 23:23:30 *** "vambrace" wn "WordNet (r) 3.0 (2006)" 23:23:30 vambrace 23:23:30 n 1: cannon of plate armor protecting the forearm [syn: 23:23:31 {vambrace}, {lower cannon}] 23:23:32 Close enough. 23:24:05 https://en.wikipedia.org/wiki/Splice_the_mainbrace 23:25:49 Oh, it has nothing to do with mainframes. *disappoint* 23:26:11 well it was more interesting than i expected. 23:29:40 -!- Taneb has joined. 23:30:57 Aaaaaaaaah 23:31:09 I've been pressganged into presenting a talk on esolangs 23:31:45 how big of an audience are we talking 23:32:43 Taneb: well it probably beats joining the navy. 23:33:17 -!- conehead has quit (Quit: Connection closed for inactivity). 23:34:16 nooodl, around 6 23:35:02 cirka sex 23:37:30 (disclaimer: both of my previous messages make slightly more sense if you read the logs.) 23:38:11 But only slightly. 23:38:41 that was implied. 23:39:23 It was also explied. 23:40:09 @wn exply 23:40:10 No match for "exply". 23:40:19 lambdabot: your dictionary is useless 23:41:34 Ex-ply, the euphemism for used toilet paper. 23:42:43 is there an app for identifying a tune i whistle? 23:43:50 i vaguely recall hearing one mentioned, although in the context of it not really working. 23:43:58 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 23:44:16 -!- augur_ has joined. 23:44:36 * oerjan assumes quintopia can google himself. 23:45:01 SoundHound claims to do it, IIRC. 23:45:12 ah i've heard of that 23:46:00 oerjan: i was asking because my googling had failed to turn it up 23:46:13 -!- augur has quit (Ping timeout: 248 seconds). 23:46:21 "Can SoundHound work if I whistle instead of singing or humming? 23:46:23 SoundHound has been designed to work even when you whistle! But please note that the microphones on most mobile devices, including iPhones and Android phones, are very sensitive to whistling. To make sure your whistled search gets the best results, try not to whistle too loud or too close to the microphone: hold the phone at arm's length while whistling, and whistle at only a moderate volume ... 23:46:30 ... so that the SoundHound volume bar does not fill up all the way." 23:46:36 quintopia: yes, i'm just logically deducing that i don't need to do it. 23:46:45 From what I recall, it does do humming better. 23:47:26 How do I even do a talk on esolangs 23:48:19 Musipedia also does whistling, I believe. 23:48:30 hm i am sure some finn here did some. not sure if it was fizzie or oklopol. 23:48:53 or maybe even another finn. 23:48:56 `? finland 23:48:59 Finland is a European country. There are two people in Finland, and at least nine of them are in this channel. Corun drives the bus. 23:49:07 "You may sing or whistle (the latter might work better)" 23:49:11 i guess that covers all, then. 23:49:53 the big question is, does it work for people who cannot carry a tune. 23:49:59 atehwa did some kind of series at the University of Helsinki. 23:51:14 oerjan: Musipedia also has a keyboard if you can laboriously pick notes. 23:52:30 i mean tone deaf, i guess. 23:52:51 like, unable to tell whether they have selected the right notes. 23:53:07 Shazam (the other big name for "mainstream" music search) explicitly does not do singing, I think. 23:53:56 oerjan: It has a search-by-tapping-a-rhythm option for them. 23:55:02 (Also a mode where you just say if consecutive notes are higher or lower than their predecessors.) 23:56:20 `? poland 23:56:22 poland? ¯\(°​_o)/¯ 23:56:33 -!- Phantom__Hoover has joined. 23:56:41 Phantom__Hoover, ... 23:56:55 -!- Phantom_Hoover has quit (Ping timeout: 260 seconds). 23:57:35 hellp 23:58:25 Phantom__Hoover, ... 23:59:39 `ello Oerjan 23:59:41 hellOerjan 23:59:52 `ello Logan 23:59:54 Lellogan