00:02:13 boily: Try naga jolokia next. That’s fun. 00:05:45 seems like the bhut of many practical jokes. 00:07:37 oerjan: <3 frozen pizza 00:08:04 such crunchy goodness. but bad for teeth. 00:08:08 -!- shikhout has joined. 00:08:48 oerjan: is frozen pizza cheap in .no? 00:09:03 no food is cheap in .no. 00:09:03 or wherever you are 00:09:23 in .uk frozen pizza was approximately the cheapest food, i could get a frozen pizza that weighed a pound and cost a pound 00:09:41 here in .us frozen pizza is annoyingly expensive, buying prepared pizza is actually cheaper! 00:10:16 ok norway is not _that_ bad. 00:10:22 frozen pizza is around CAD 7. 00:10:43 i can get a decent slice of hot prepared pizza for $1 00:10:59 -!- shikhin has quit (Ping timeout: 260 seconds). 00:11:00 -!- shikhout has changed nick to shikhin. 00:11:17 well, the place offering this near my house closes at midnights, though others elsewhere in the city are open all hours 00:12:41 iirc the pizzas i buy are about $10, but they're not the cheapest, the cheapest don't get me full... 00:12:53 i heard norwegian pizzas are v. expensive 00:13:05 i think the price i heard was ~$30 00:13:26 that would be in a restaurant. 00:13:44 yes 00:14:11 i think the small size is cheaper than that in the restaurant i like to go to, but i rarely buy pizza there. 00:15:14 -!- zzo38 has joined. 00:15:29 -!- Sgeo has joined. 00:19:35 Is vim particularly likbut tather know-and-peck? 00:19:37 n't really touch-type, but rather know-and-peck? 00:19:44 Hmm, the gibberish that just got typed in didn't go through, according to the logs? 00:19:50 Um. 00:19:55 fungot: hi 00:19:55 Sgeo: then how about assigning ' fnord'. what does. :d 00:19:59 ) 'hi' 00:20:01 that looked pretty gibberish to me 00:20:07 oh Sgeo 00:20:25 It.... seems like it took a while for anything to go from my client to channel 00:20:40 or to glogbot, perhaps 00:21:04 fungot took 11 seconds to respond to me? 00:21:04 Sgeo: i guess i will do when i get to go!! i'm a genius! let me know 00:21:19 pretty quick now 00:21:21 oh, more than that 00:21:23 fungot: hi 00:21:24 oerjan: it could potentially be awesome. gatech, caltech, berkeley and a few other pessimal algos too 00:21:32 Also, what I intended to say in the first place: 00:21:47 Is vim particularly likely to be bad if I don't really touch-type, but rather know-and-peck? 00:23:31 how does that apply to vim as opposed to any other editor? 00:24:01 muscle memory is important for all editors, surely 00:24:02 Because vim apparently encourages keeping hands on the home row, which I don't normally do while typing? 00:24:04 <^v> so any halp with moi brainfuck problem 00:24:18 I have muscle memory, it just doesn't particularly involve the home row as much as genuine touch-typing 00:24:39 It's Sgeo-brand typing, not standard-brand typing 00:25:50 i might chastise you, but my touch typing has slipped and my fingers rarely stay stable on the home row. 00:26:19 I think Bike wanted to see a video of me typing 00:26:24 Still have yet to make tht 00:26:26 that 00:26:33 also as someone who uses vim _without_ using the hjkl commands much, i might not be one to ask. 00:26:58 "home row" is asdf hjkl anyway 00:27:06 (i use them in visual mode, but only because gvim has a bug that makes arrows not work there) 00:27:32 on windows at least 00:33:09 -!- Sprocklem has joined. 00:38:11 * boily checks his inventory. “I have: one slightly-humid upended saucepan, one onion juice, and one absence of egglplant.” 00:38:20 s/lp/p/ 00:42:53 -!- Sorella has quit (Quit: It is tiem!). 00:44:16 *♪ sound of a not quite exactly brillant idea suddenly appearing ♪* 00:44:29 I should include that in the next Paranoïa campaign. 00:44:52 zzo38: hezzo38. how's the dnding going? 00:46:22 -!- boily1 has joined. 00:48:26 -!- Effilry has joined. 00:50:28 -!- FreeFull_ has joined. 00:50:57 -!- kmc_ has joined. 00:51:03 -!- quintopi1 has joined. 00:51:06 -!- heroux_ has joined. 00:51:16 -!- int-e_ has joined. 00:51:30 -!- shachaf_ has joined. 00:52:01 -!- shachaf_ has quit (Changing host). 00:52:01 -!- shachaf_ has joined. 00:52:08 -!- shachaf has quit (Disconnected by services). 00:52:13 -!- shachaf_ has changed nick to shachaf. 00:52:31 -!- tromp has joined. 00:55:54 -!- zzo38 has quit (*.net *.split). 00:55:54 -!- boily has quit (*.net *.split). 00:55:54 -!- ineiros has quit (*.net *.split). 00:55:56 -!- kmc has quit (*.net *.split). 00:55:56 -!- FireFly has quit (*.net *.split). 00:55:59 -!- heroux has quit (*.net *.split). 00:56:00 -!- glogbackup has quit (*.net *.split). 00:56:01 -!- quintopia has quit (*.net *.split). 00:56:01 -!- FreeFull has quit (*.net *.split). 00:56:02 -!- int-e has quit (*.net *.split). 00:56:02 -!- olsner has quit (*.net *.split). 00:56:03 -!- lifthrasiir has quit (*.net *.split). 00:56:03 -!- Effilry has changed nick to FireFly. 00:56:04 -!- heroux_ has changed nick to heroux. 00:57:59 -!- ineiros has joined. 00:58:00 -!- lifthrasiir has joined. 01:02:01 -!- ineiros has quit (*.net *.split). 01:02:02 -!- lifthrasiir has quit (*.net *.split). 01:02:28 -!- ineiros has joined. 01:02:28 -!- lifthrasiir has joined. 01:02:34 -!- olsner has joined. 01:03:19 -!- boily1 has changed nick to boily. 01:03:56 * boily pokes a random Norwegian, just to see if Freenode's back to normal... 01:12:18 -!- Phantom_Hoover has quit (Quit: Leaving). 01:13:56 -!- zzo38 has joined. 01:14:12 boily: Sorry, there was a connection error on my computer. 01:17:04 same here. 01:17:15 -!- yorick has quit (Read error: Connection reset by peer). 01:19:00 the random norwegian was reading a web page about a proposed wikimedia TOS change 01:19:13 now food -> 01:19:55 -!- pikhq has joined. 01:23:14 <^v> the only way to make brainfuck not make your eyes bleed is to convert it to whitespace 01:24:49 then it's the paper that bleeds. 01:25:19 You can turn BF to ascii art 01:25:23 -!- Bike has joined. 01:25:52 -!- `^_^v has joined. 01:29:10 -!- newsham_ has changed nick to newsham. 01:30:11 -!- tromp has quit (Ping timeout: 272 seconds). 01:35:47 -!- tromp has joined. 01:42:37 -!- myndzl has changed nick to myndzi. 02:07:33 -!- boily has quit (Quit: UNIFORMLY DISTRIBUTED CHICKEN). 02:07:35 -!- metasepia has quit (Remote host closed the connection). 02:25:21 -!- coppro_ has changed nick to coppro. 02:37:30 -!- tromp has quit (Remote host closed the connection). 02:38:03 -!- tromp has joined. 02:41:33 -!- tromp has quit (Remote host closed the connection). 02:41:45 -!- tromp has joined. 03:04:22 -!- conehead has quit (Quit: Computer has gone to sleep.). 03:15:57 -!- ter2 has quit (Ping timeout: 272 seconds). 03:25:00 -!- ter2 has joined. 03:25:40 -!- Sellyme has quit (Excess Flood). 03:26:03 -!- Sellyme has joined. 03:27:07 -!- Sellyme has quit (Excess Flood). 03:27:49 -!- conehead has joined. 03:30:03 -!- Sellyme has joined. 03:30:51 -!- tromp has quit (Remote host closed the connection). 03:31:06 -!- tromp has joined. 03:45:09 -!- tertu3 has joined. 03:48:22 -!- ter2 has quit (Ping timeout: 252 seconds). 03:50:01 -!- tertu3 has quit (Ping timeout: 252 seconds). 03:56:27 -!- shikhin has quit (Ping timeout: 252 seconds). 04:07:19 -!- conehead has quit (Quit: Computer has gone to sleep.). 04:08:13 -!- kmc_ has changed nick to kmc. 04:08:33 -!- Tod-Autojoined has joined. 04:08:37 -!- TodPunk has quit (Read error: Connection reset by peer). 04:19:33 The recursive queries in SQL kind of resemble the "for-input" loop in the Wheat esolang. 04:20:38 -!- shikhin has joined. 04:20:44 -!- shikhin has quit (Changing host). 04:20:44 -!- shikhin has joined. 04:24:44 Sort of as if it is a Wheat program that has an implicit "for-input" loop with no other "input" commands in it. It isn't actually like that, but that is something a bit similar! 04:32:53 -!- tromp has quit (Remote host closed the connection). 04:33:26 -!- tromp has joined. 04:34:31 -!- Tod-Autojoined has changed nick to TodPunk. 04:36:35 WITH `SEQUENCE`(`DATA`) AS (SELECT '0' UNION ALL SELECT `DATA` || REPLACE(REPLACE(REPLACE(`DATA`,'0','-'),'1','0'),'-','1') FROM `SEQUENCE`) SELECT * FROM `SEQUENCE`; 04:37:50 Can you recognize it? 04:37:59 -!- tromp has quit (Ping timeout: 252 seconds). 04:41:09 -!- Bike has quit (Ping timeout: 248 seconds). 04:42:02 -!- Bike has joined. 04:48:46 https://24.media.tumblr.com/abfd0b7842bb2e9eb96ad5570a85376f/tumblr_n1bwvrkMj51qjr3c0o1_500.jpg up for secrets 05:05:39 https://www.kickstarter.com/projects/ilex-press/kickstarter-succeed-first-time-a-guide-to-crowdfun only 25% of target 05:06:01 err, 34%, can't math 05:06:46 * ^v pokes everyone 05:06:55 twitch plays microcorruption anyone? 05:06:59 oops wrong room 05:07:01 <^v> who wants to see my brainfuck irc bot 05:07:22 ^v that sentence has some unusual alternate parses 05:08:36 <^v> well here it is http://pastebin.com/kUBUb4ps 05:10:22 -!- password2 has joined. 05:17:05 Hopefully you can understand what this SQL program means. (If not, I can explain it.) 05:21:41 oerjan: do you know how to solve a jigsaw puzzle (aka wang tile puzzle) in polynomial time? 05:26:16 i'd expect that to be NP-complete 05:27:07 given that the infinite generalization is turing complete, and i don't know any explicit reason why it wouldn't be 05:27:22 -!- tertu3 has joined. 05:27:24 and it's obviously in NP for a finite setup 05:28:24 How can I make a tree pattern matching program in C which compiles into SQL? 05:29:36 It can already be done in SQL but since such pattern matching codes can be long, I want to provide a function which can compile a tree pattern code into an SQL code 05:29:47 (Or else do just do it entirely in C) 05:30:56 quintopi1: ^ 05:34:05 Maybe it is faster/more efficient to do entirely in C, but maybe it is better to do it in SQL, or maybe in a combination of SQL and C; I don't know what way. 05:34:36 -!- tertu3 has quit (Read error: Connection reset by peer). 05:36:19 oerjan: it is NP-complete. i looked it up finally. but i was confused because some author claimed it was in P in some publisher's weekly article. 05:36:36 and i knew the infinite case was undecidable 05:36:52 which seemed wrong, but i assume i'm wrong first until other evidence arises 05:36:53 ok 06:02:45 -!- chaiomanot_ has quit (Ping timeout: 248 seconds). 06:04:32 Did I just buy an entire collection of Worms games on Steam? I believe I just did 06:04:33 :/ 06:04:49 I already had W:A... I think I saw Worms Blast in there and some memory of it made me want it 06:05:18 worms blast is literally puzzle bobble... 06:06:27 damn, if only i had some kind of influence on my purchasing habits 06:07:06 Oh, that's the same as Frozen Bubble? 06:07:38 elliott: well, at least there's some other games in here that aren't the normal Worms games, but are distinctly Wormy? 06:07:51 Isn't there one where the main game mode is ... something to do with forts? 06:08:26 -!- shikhout has joined. 06:08:34 Doesn't seem to be in this package 06:09:21 -!- ^v has quit (Quit: Leaving). 06:09:33 -!- Sprocklem has quit (Ping timeout: 252 seconds). 06:10:39 oh USPS package tracking, you are so useless 06:10:51 `coins 06:10:52 concacoin gibblercoin pogoncoin shogocoin gason-of-unbuicoin wiicoin sorielcoin comcoin dimecoin caucoin con-of-unbecoin fibracoin minkcoin prefcoin tlwncoin notheriacoin bitwiserticcoin talcoin smuehcoin chineilcoin 06:11:23 -!- shikhin has quit (Ping timeout: 272 seconds). 06:11:24 `coins 06:11:24 -!- shikhout has changed nick to shikhin. 06:11:25 cosmitycoin surgasonalipticcoin randacoin gayakucoin bam12coin hayacoin wilsecoin salcoin iscabcomcoin flangcoin ptacoin lo'scoin syndcoin mureheatespacseaucoin dorphinecoin botativecoin superpcoin salagonacoin indencoin scriptcoin 06:12:28 Also, the 3d games aren't in here :( 06:12:43 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:13:01 Oh, there is one 06:13:19 :) 06:13:56 Does only W:A support recording games? 06:19:49 only cellular automaton games hth 06:22:22 Do you have C codes with stuff like this? if(*rule=='#' && (rule++,!is_weaving)) return; 06:23:16 -!- nisstyre has joined. 06:23:50 How common are a negative array index access in a C program? 06:29:17 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 06:32:06 -!- nisstyre has joined. 06:32:06 -!- nisstyre has quit (Client Quit). 06:32:22 -!- nisstyre has joined. 06:37:07 -!- nisstyre has quit (Client Quit). 06:39:18 -!- nisstyre has joined. 07:00:43 -!- spiette has quit (Read error: Connection reset by peer). 07:01:26 -!- spiette has joined. 07:28:21 -!- oerjan has quit (Quit: leaving). 07:36:08 -!- tromp has joined. 07:39:01 -!- conehead has joined. 07:40:51 -!- tromp has quit (Ping timeout: 252 seconds). 07:44:32 Wonder if it would be unethical to buy a Worlds VIP 07:44:42 Considering that Worlds, Inc. is pretty much a patent troll 07:48:30 you know what they say. 07:49:19 ? 07:49:55 i said, "you know what they say." 07:49:56 `coins 07:49:58 dyncoin brcnicoin compliticoin prakircoin this=thacoin pipenacoin anousercoin intrencoin destacoin glaurcoin dubicoin bengecoin locacoin funderlcoin agelcoin madnesetlamblecoin ruitcoin concoin biiecoin nandocoin 07:52:10 -!- MoALTz has joined. 08:26:43 `coins 08:26:45 sotacoin confcoin soutcoin bachycoin fttcoin simputcoin bligaracecoin fuelcoin dececoin memcoin puzafecoin remcoin ///coin tre-calcoin delmincoin sanncoin iincoin frapkcoin cheddainfursecoin minaturcoin 08:37:28 http://vill.ee/eye/ 08:43:38 -!- Tritonio has joined. 08:43:40 -!- kmc has set topic: ...we came in? | https://dl.dropboxusercontent.com/u/2023808/wisdom.pdf http://codu.org/logs/_esoteric/ http://tunes.org/~nef/logs/esoteric/ | Isn't this where.... 08:45:43 fungots fall on fungot falls 08:45:44 kmc: so that's only 1600. just didn't find anything out about it 08:50:31 -!- jconn has joined. 09:11:16 -!- Tritonio has quit (Quit: Tritonio). 09:12:28 -!- Tritonio has joined. 09:31:29 -!- Tritonio has quit (Quit: Tritonio). 09:31:54 -!- Tritonio has joined. 09:32:17 Notice the built-in cigarette lighter and the ashtray just left of the light pen. http://commons.wikimedia.org/wiki/File:SAGE_console.jpeg 09:34:47 -!- shikhin has quit (Read error: Operation timed out). 09:35:11 -!- password2 has quit (Ping timeout: 260 seconds). 09:35:50 -!- shikhin has joined. 09:40:35 -!- Phantom_Hoover has joined. 09:51:51 -!- password2 has joined. 09:53:10 ion: huh, I guess smoking was amazingly much more normal in the past 09:53:49 ... and you can't have your radar people go on smoke breaks and leave the monitors unmonitored 09:58:23 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:58:29 if you have to use that thing for real, smoking is definitely the right choice 09:58:46 because you need to be calm and alert and you're probably about to die anyway. 09:59:26 * kmc has seen that very object in person, at the Computer History Museum 10:03:02 if you have to use that, aren't you in some bunker deep inside a secret mountain in the middle of nowhere? 10:03:19 i.e. "safe" 10:07:48 well SAGE predates the Cheyenne Mountain bunker by some 10 years 10:08:37 they were located in above-ground buildings that are hardened but probably not indestructible 10:09:54 Aw, I was assuming some obscure game console based on the file name. 10:10:22 (Are there any game consoles with integrated ashtrays?) 10:12:22 the SABRE airline booking system was conceived after the president of American Airlines happened to be sitting on a flight next to an IBM salesman who'd just worked on SAGE 10:19:14 "The result was that the aircraft could deliver passengers faster than their existing booking systems could sell tickets for them." 10:19:17 (about the preceding booking system, the Magnetronic Reservisor, after introducing jet planes) 10:19:39 -!- Phantom_Hoover has quit (Ping timeout: 272 seconds). 10:37:05 -!- qlkzy has quit (Excess Flood). 10:52:04 -!- qlkzy has joined. 11:27:38 -!- qlkzy has quit (Excess Flood). 11:38:00 -!- Frooxius has joined. 11:42:04 -!- qlkzy has joined. 12:06:16 I wish there was a way to transfer panes from tmux server 7 to 8 12:06:33 I want to test out tmux 8 but can't while 7 is running 12:06:36 -!- FreeFull_ has changed nick to FreeFull. 12:08:36 -!- shikhout has joined. 12:11:17 -!- shikhin has quit (Ping timeout: 248 seconds). 12:11:18 -!- shikhout has changed nick to shikhin. 12:29:36 -!- qlkzy has quit (Excess Flood). 12:34:35 -!- qlkzy has joined. 12:36:33 -!- MindlessDrone has joined. 12:41:38 -!- yorick has joined. 12:45:44 -!- qlkzy has quit (Remote host closed the connection). 12:48:29 -!- qlkzy has joined. 12:48:50 -!- qlkzy has left. 12:49:01 -!- utkarsh has left ("Textual IRC Client: www.textualapp.com"). 12:51:12 -!- Sorella has joined. 12:58:29 Twitch Plays Dwarf Fortress? 12:58:59 WHERE IS THE BEER URIST 13:13:46 -!- password2 has quit (Ping timeout: 260 seconds). 13:28:34 -!- Sgeo has quit (Read error: Connection reset by peer). 13:46:30 -!- Tod-Autojoined has joined. 13:46:31 -!- TodPunk has quit (Read error: Connection reset by peer). 13:47:05 -!- Tod-Autojoined has changed nick to TodPunk. 13:57:58 FreeFull: there's a version 8? 13:58:02 oh wait 13:58:05 I think it's not new 13:58:13 yeah 13:58:17 nyuszika7h@cadoth ~ % tmux -V 13:58:19 tmux 1.8 13:58:27 FreeFull: you can transfer programs 13:58:33 transfer them to screen first, then to a new tmux 13:58:35 using reptyr 13:58:40 make sure the TERM is the same, however 13:58:51 if the TERM in tmux is screen, the TERM in screen should be screen too 13:58:59 -!- hexagon has quit (Ping timeout: 252 seconds). 13:59:02 if it's screen-256color, it should be screen-256color in screen too 13:59:32 -!- hexagon has joined. 14:00:02 nyuszika7h: I meant 9 14:00:07 9? :O 14:00:09 brb updating 14:00:20 still, reptyr ;) 14:00:34 Haven't heard of reptyr before 14:00:53 Thanks for telling me about it 14:00:54 it rarely likes to break though, so don't risk it if you run important programs 14:01:06 that can't afford being down for a few seconds or mintwesu 14:01:08 *minutes 14:01:21 I don't actually have screen installed right now 14:01:43 I just want to transfer irssi =P 14:01:58 hm 14:02:04 can't you make the new tmux server use another socket 14:02:42 tmux -L foo 14:11:28 -!- nyuszika7h has quit (Quit: WeeChat 0.4.4-dev). 14:20:39 -!- password2 has joined. 14:27:47 -!- quintopi1 has changed nick to quintopia. 14:27:58 -!- quintopia has quit (Changing host). 14:27:58 -!- quintopia has joined. 15:09:16 -!- CADD_ has quit (Quit: Connection closed for inactivity). 15:09:44 -!- conehead__ has quit (Quit: Connection closed for inactivity). 15:15:32 -!- typeclassy has quit (Quit: Connection closed for inactivity). 15:26:48 I have a copy of a key, which fits, and it turns, but fails to lock or unlock the door. I compared it with the original, and it matches, and the original key works. Do you know what is wrong? 15:28:53 How do you know it matches 15:30:57 Because I compared it very carefully 15:31:21 By lookin'? 15:31:38 It is possible that a different of a micron might not work 15:33:52 By looking, yes 16:07:39 -!- AnotherTest has joined. 16:27:17 zzo38: the usual method is the return the key to where you've had it copied and demand a new copy, but make sure the template you're copying from is an original, not a copy 16:31:27 -!- Tritonio has quit (Ping timeout: 260 seconds). 16:51:27 b_jonas: OK 17:02:35 -!- blotter has joined. 17:10:00 -!- Phantom_Hoover has joined. 17:14:28 -!- Tritonio has joined. 17:18:34 -!- nooodl has joined. 17:20:55 Some people say the flippers make a pinball game skillful. That isn't true; while there is skill involved in effectively using the flippers, that isn't what makes the game skilful. 17:21:25 The skill is finding a job to get the money to put inside 17:22:06 Yes, that is what some people say too, but that has nothing to do with a pinball game. 17:23:04 If you own a pinball table, you may not need to put a coin (and if you do, you can get it back). 17:44:50 -!- Sellyme has quit (Excess Flood). 17:46:34 -!- Sellyme has joined. 17:50:58 -!- FireFly has quit (Read error: Operation timed out). 17:52:53 -!- blotter has quit (Ping timeout: 265 seconds). 17:53:56 -!- Sellyme has quit (Excess Flood). 17:55:03 -!- Sellyme has joined. 18:01:37 -!- blotter has joined. 18:08:46 -!- shikhout has joined. 18:11:58 -!- shikhin has quit (Ping timeout: 260 seconds). 18:11:58 -!- shikhout has changed nick to shikhin. 18:14:25 -!- Slereah has quit (Read error: Connection reset by peer). 18:14:41 -!- Slereah has joined. 18:26:41 https://github.com/mame/radiation-hardened-quine 18:26:58 -!- blotter has quit (Ping timeout: 265 seconds). 18:30:28 finally 18:40:47 -!- blotter has joined. 18:42:58 zzo38: what makes it skillful then? 18:43:45 zzo38: what do you think of Twitch Plays Pokémon? 18:43:54 fungot: what do you think of Twitch Plays Pokémon? 18:43:54 kmc: i thought optimistic/ pessimistic concurrency was an implementation that doesn't have to 18:44:10 democracy!! 18:44:23 anarchy!! 18:45:04 -!- chaiomanot_ has joined. 18:48:17 -!- shikhin has quit (Ping timeout: 252 seconds). 18:48:59 -!- shikhin has joined. 18:49:23 -!- password2 has quit (Ping timeout: 252 seconds). 18:49:28 -!- conehead has joined. 18:50:33 start9 18:50:33 start9 18:50:33 start9 18:50:34 start9 18:50:35 -!- atrapado has joined. 18:50:39 :D 18:50:44 `coins 18:50:45 aeocoin singcoin 5-logiccoin thinecoin clocoin jugglyphoboldcoin flaneurcoin meanycoin chacoin pathcoin nicecoin hydracoin bf-derosicoin landballcoin hevavecoin bitzogtcoin cobbycoin conicoin gola/mcoin inftabllcoin 19:01:46 -!- blotter has quit (Ping timeout: 265 seconds). 19:10:20 -!- realzies has quit (Quit: realzies). 19:13:24 kmc: I don't know "Twitch Plays Pokemon", so I don't think of it. 19:17:17 -!- realzies has joined. 19:17:51 -!- realz has joined. 19:31:27 -!- Phantom_Hoover has quit (Ping timeout: 252 seconds). 19:40:51 -!- Phantom_Hoover has joined. 19:41:23 -!- shikhin has quit (Read error: No route to host). 19:44:09 -!- shikhin has joined. 19:57:34 -!- realz has quit (Quit: realz). 20:04:34 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:10:40 zzo38: do you want to learn of it? 20:14:18 -!- FireFly has joined. 20:17:09 somebody has written on the chalkboard in the maths department "3987^12 + 4365^12 = 4472^12" 20:17:45 > 3987^12 + 4365^12 == 4472^12 20:17:47 False 20:18:00 :t (^) 20:18:00 lambdabot: well, fuck you 20:18:01 (Integral b, Num a) => a -> b -> a 20:18:13 lambdabot: nevermind, problem's on my end 20:18:23 i mean, clearly it's false since 12 > 2 20:18:38 are you sure that 12 > 2 20:18:52 kmc: No I am not much interested at the present time 20:19:38 :t ((^), (^^), (**)) 20:19:39 (Floating a2, Fractional a1, Integral b, Integral b1, Num a) => (a -> b -> a, a1 -> b1 -> a1, a2 -> a2 -> a2) 20:19:45 good type 20:19:49 yes 20:19:51 :t True 20:19:52 Bool 20:19:58 :t Bool 20:19:59 Not in scope: data constructor `Bool' 20:20:02 :k Bool 20:20:03 * 20:20:07 `relcome chaiomanot_ 20:20:08 ​chaiomanot_: 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:20:11 ack 20:20:25 `relcome kmc 20:20:25 ​kmc: 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:20:56 :k True 20:20:58 Not in scope: type constructor or class `True' 20:20:58 A data constructor of that name is in scope; did you mean -XDataKinds? 20:20:58 Perhaps you meant `Tree' (imported from Data.Tree) 20:21:16 `run echo '3987 12^ 4365 12^+ 4472 12^-n' | dc 20:21:17 1211886809373872630985912112862690 20:21:29 see lambdabot, you're why i don't like static typing 20:21:34 (I guess that's p. close?) 20:21:35 lol 20:21:43 Bool is a type, so it has a kind, not a type. True is a value, so it has a type, not a kind 20:21:57 unless you use DataKinds hth 20:22:00 i know, but :t Bool should return Type, not an error! 20:22:00 keeping straight which things are types and which ones aren't is why you don't like static typing? 20:22:08 shachaf: look, shut up :( 20:22:10 chaiomanot_: it would with dependent types 20:22:24 so the problem is that Haskell isn't all the way in the deep end of statically typed :) 20:22:31 well fair enough 20:22:32 Bike: oh, wait, someone was actually getting things mixed up, never mind 20:22:34 i hear making type a type makes all hell break loose 20:22:45 something about barbers maybe 20:22:50 yeah it's dodgy 20:22:53 it's not so bad imo 20:22:57 usually you have like Set : Set1 : Set2 : ... 20:23:01 `run echo '3987 12^ 4365 12^+ 4472 12^ f' | dc 20:23:02 63976656348486725806862358322168575784124416 \ 63976656349698612616236230953154487896987106 20:23:22 shachaf: do you know idris? should i learn idris? 20:23:32 fizzie: oh that does seem close 20:23:37 kmc: i don't know either one 20:23:52 kmc: were you at edwinb's talk about it a couple of years ago? 20:23:55 you don't know whether you know idris? 20:23:57 i wasn't 20:23:59 Bike: It's close if you're all floating point. 20:24:01 in boston 20:24:16 it was a good talk 20:24:21 octave:1> (3987^12 + 4365^12)^(1/12) 20:24:21 ans = 4472.0 20:24:43 oh. 20:24:44 * kmc imagines a Flappy Bird clone named Floaty Point 20:26:09 fucking unstable internet 20:26:22 kmc: you should learn it and then tell me 20:28:37 ok 20:29:04 error: aborting due to 7452 previous errors 20:29:24 -!- Bike has quit (Quit: Reconnecting). 20:33:15 -!- Bike has joined. 20:33:48 -!- JZTech101 has quit (Read error: Operation timed out). 20:34:41 -!- JZTech101 has joined. 20:47:14 Join to #esoteric was synced in 464 secs 20:48:12 speedy 20:48:13 `coins 20:48:14 arrocoin hartransomskjcoin orthcoin elorifidcoin .yachectcoin temparcoin formylecoin proogucoin pyriacoin burecoin zowiercoin braincoin cobospeacoin triacoin puccinforcoin elfcoin rococoin prdcatcoin waduzicoin yourcomcoin 20:53:20 kmc: What are you using all these coins for? 20:53:27 flipping 21:03:44 http://arstechnica.com/tech-policy/2014/02/harvard-supercomputing-cluster-hijacked-to-produce-alt-cryptocurrency/ student steals supercomputer for doges 21:07:26 :D 21:09:56 soon we'll hear about tsmc facilities being hijacked to make miner asics 21:10:13 kmc: should i learn idris and/or rust 21:10:45 probably 21:13:59 -!- oklopol has quit (Ping timeout: 240 seconds). 21:14:35 -!- chaiomanot_ has quit (Ping timeout: 252 seconds). 21:16:55 if i define FOO=/some/path in bash, can i get tab completion for $FOO/? 21:23:34 ATTRIBUTE_NAMES[574] = ATTR_VERYVERYTHICKMATHSPACE; 21:29:16 Pokemon cards GUST OF WIND is mainly useful to switch into opponent's cards having high retreat cost, especially to me. Often even if they are resisted to me, it is more helpful. 21:29:30 Do you think so too? 21:43:55 -!- SirCmpwn has quit (Quit: ZNC - http://znc.in). 21:44:09 -!- SirCmpwn has joined. 21:52:40 -!- Sprocklem has joined. 21:57:56 -!- CADD has joined. 21:58:08 -!- CADD has quit (Client Quit). 21:58:51 -!- impomatic has quit (Remote host closed the connection). 22:01:03 -!- atrapado has quit (Quit: Leaving). 22:10:58 Curiosity question: has anything used a 2x2 RGGB Bayer pattern in a display instead of a sensor? 22:12:05 the XO-1 screen is... not a Bayer pattern, but weird http://en.wikipedia.org/wiki/File:XO_screen_01_Pengo.jpg 22:12:32 It's pretty close to a Bayer pattern. 22:12:42 it has the same density of all three colors. they're just in diagonal stripes 22:12:46 it takes a second to see it 22:12:47 Right. 22:12:52 Yes, it did take a second. 22:13:13 Now that you mention that, I think I vaguely recall some other "odd" arrangement. 22:13:15 they did this in order to use a single diffraction grating instead of a lot of filters 22:13:31 http://en.wikipedia.org/wiki/PenTile ? 22:13:40 Right. 22:17:34 -!- Sprocklem has quit (Read error: Operation timed out). 22:28:20 Interesting asides found while Googling for this: a downsampling algorithm that goes directly from a Bayer-pattern sensor image to a RGB subpixel screen image, that's supposedly better than doing a traditional demosaicing and then downsampling that disregards the subpixel layout information. 22:34:31 nice 22:34:47 you could use that for viewing RAW images on LCD monitors 22:39:00 The suggested use was for camera viewfinders and screens, since they have to show a downscaled "live view" image. 22:39:31 * kmc has 5 GB of RAW files so far and has done exactly nothing with them 22:39:43 fizzie: ah, good 22:40:03 * kmc has a MILC with an impressive OLED viewfinder 22:40:34 Does it have 2.36 megadots? 22:40:50 seems so 22:41:06 That seems to be the norm for modern high-end thingies. 22:41:24 It's also really strange that EVF and camera screen resolutions are given in terms of subpixel counts, while everywhere else displays count full pixels. 22:41:36 They must've gotten that from the way sensor resolutions are counted. 22:42:23 (Like that "2.36 million dots", that's 1024*768*3.) 22:42:33 -!- AnotherTest has quit (Ping timeout: 272 seconds). 22:42:43 aha 22:43:31 My old non-ILC zoomy-woomy camera has a 188 kilodot EVF. 22:43:36 That's significantly less impressive. 22:53:48 -!- jconn has quit (Read error: Operation timed out). 22:56:53 -!- boily has joined. 22:56:56 -!- metasepia has joined. 22:57:57 bleeeeeeeeeerghhh... 22:58:34 hello helloily 22:59:07 hello Bikello 22:59:15 h'oily boily 22:59:24 hello hellolsner 22:59:39 (or is it olsnello?) 22:59:43 someone claimed to have made some progress on the voynich manuscript 23:00:00 エェ？本当？ 23:00:03 two separate someones! 23:00:05 who will win 23:00:13 `quote Newcastle 23:00:13 960) it's raining in newcastle, therefore the elliotts are distinct. boily's Newcastle Theorem. 23:00:17 ~metar CYUL 23:00:17 CYUL 212252Z 21013KT 15SM SCT060 BKN085 02/00 A2968 RMK SC4AC3 SLP053 23:00:31 ~metar EGNT 23:00:32 EGNT 212250Z 23010KT 200V270 9999 FEW018 BKN023 05/03 Q0990 23:01:00 ~metar EFHK 23:01:00 EFHK 212250Z 11010KT 9999 BKN006 00/M01 Q1006 TEMPO 6000 -SN 23:01:05 Bike: as it isn't raining, we don't have proof that there are at least two different people on Earth to claim voynich-progress. 23:01:12 Some TEMPO -SN. 23:01:17 (I referred to this someone http://stephenbax.net/) 23:01:37 ~metar ESSA 23:01:38 ESSA 212250Z 22005KT 2500 BR OVC002 03/02 Q0998 R01L/29//95 R01R/29//95 R08/29//95 TEMPO 1400 23:02:49 now I will read a book 23:05:58 What is the meaning of R01L/29//95 ? 23:08:10 FireFly: those are runway conditions. 10° leftmost runway, something something, surface conditions. 23:08:15 `coins 23:08:17 peochallcoin scutomousedagonalietcoin linearassurbecoin dnrandreimacrocoin clotacoin poinecoin claitafncoin wormcoin isairicoin selliicoin sobufcoin moniacoin didecoin blackcoin finicoin hapylicoin hydromcoin objectioncalculacoin quecoin halfcoin 23:08:44 FireFly: I never can remember what the magic numbers mean. 23:09:00 boily: I see, okay 23:09:05 kmc: is it me, or are the coin names getting sillier and sillier? 23:09:30 Invest in poinecoin! 23:10:17 I want a bunch of Quécoins! 23:11:04 `coins --swedish 23:11:06 truecoin 23:11:14 `coins --swedish 20 23:11:16 hommapcoin legidcoin ronecoin smitrevelancoin årlitticoin ardigfillcoin sigacoin intercoin zelcoin @coin mazulecoin tainscoin uncitierdcoin phinecoin pericoin mumonkelxxviiiudgecoin brakapebatocoin datiblemcoin forraphcoin krylcoin 23:11:31 `coins --french 20 23:11:34 xaincoin 4dlcoin mannstatcoin spironcoin bestantcoin nourvoudcoin eibercicoin haicoin distrancoin graycoin maigecoin sucorpocoin posiicoin brazdcoin embestacoin versenencoin strustitlcoin pingcoin bubbecoin madnscoin 23:12:10 `coins --japanese 20 23:12:12 Unknown option: japanese 23:12:20 * boily mapoles HackEgo 23:12:27 `words --help 23:12:28 Usage: words [-dhNo] [DATASETS...] [NUMBER_OF_WORDS] \ \ options: \ -l, --list list valid datasets \ -d, --debug debugging output \ -N, --dont-normalize don't normalize frequencies when combining \ multiple Markov models; this has the effect \ of making larger dataset 23:12:35 `words -l 23:12:36 valid datasets: --eng-1M --eng-all --eng-fiction --eng-gb --eng-us --french --german --hebrew --russian --spanish --irish --german-medical --bulgarian --catalan --swedish --brazilian --canadian-english-insane --manx --italian --ogerman --portuguese --polish --gaelic --finnish --norwegian --esolangs \ default: --eng-1M 23:12:49 manx but not japanese? 23:12:55 `coins --manx 20 23:12:56 chocoin lo'reravacoin capcoin sanidcoin thummillanencoin shagogcoin ghkincoin luttolercoin physidcoin anumecoin sadolcoin sacriburtcoin bircoin virusthograishcoin lengersecoin shellcoin braghcoin onotacoin eddenncoin nylcoin 23:13:44 `coins --hebrew 20 23:13:47 ​והבדcoin wollencoin unshilaxcoin geolacoin hq9+coin desedjametaligeunstaquecogsbycoin בסבורסטיcoin שהתאניcoin regxcoin epingcoin וההיאהוזיטוראcoin youarecoin alldecoin albocoin שנסתcoin ומהcoin immicoin ובחושcoin exelcoin לקערובצהcoin 23:14:04 wow. 23:14:11 I don't think hq9+ is valid hebrew... 23:14:12 let's just stick with that one 23:14:30 shachaf: your opinion on --hebres? 23:15:10 `words --hebrew --german-medical 20 23:15:12 subkorpolyt psorisch הוצא בהכלכלה בנחח gast מין ומסירוס לסליקצבי dihydran סקרנב tasoleucin ארנד עוקליסטו sonsweit trikum למעמדתו sequenzele שבאיזודי שהנשמרניש 23:15:29 Those datasets might not blend very well together.. 23:15:52 and... uhm.. --canadian-english-insane??? 23:16:01 `coins --canadian-english-insane 20 23:16:03 irngcoin enedcoin abetacoin cursioncoin vvlercoin kelitafncoin lockcoin uncomcoin ouviacoin myxomcoin tifcoin ferncoin wuttycoin wjyothcoin melshowcoin rposcoin fielcoin durecoin midecoin unrepushedromecoin 23:16:15 Well, the last part is implied by 'canadian', isn't it? 23:16:20 i think the -insane just means the volume. 23:17:06 you wutty vvler that you are, you unrepushedrome person. 23:17:42 Very wutty. 23:18:52 ~duck vvler 23:18:53 --- No relevant information 23:20:35 ~duck Vyers 23:20:35 --- No relevant information 23:22:07 -!- chaiomanot_ has joined. 23:22:43 Insanadian is unduckable. 23:22:49 `relcome chaiomanot_ 23:22:50 ​chaiomanot_: 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.) 23:23:07 (ah, it's been a long time since I've `relcomed someone new!) 23:23:14 `relcome boily 23:23:14 `relcome boily 23:23:15 ​boily: 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.) 23:23:15 ​boily: 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.) 23:23:19 (and ooooh, I do have nice term colours here.) 23:23:36 chaiomanot_: were you already `relcomed? I kinda disappeared from the channel lately. 23:24:00 4 times now :-P 23:24:17 ah! :D 23:24:25 there are a lot of ppl here, how do you know i'm new? 23:25:11 my Instincts, Gut Feelings, and Because I Decided So as thinking is too hard at this time of the day. 23:25:25 -!- impomatic has joined. 23:25:47 lol 23:26:03 im surprised you guys dont just have hackego do it automatically 23:26:11 too logical. 23:26:16 ha 23:26:37 Too easy 23:26:37 I mean, a solution obviously exists, so solving the problem is trivial. 23:26:52 exactly 23:27:02 crazy part is know what you mean 23:27:34 -!- nisstyre has quit (Ping timeout: 245 seconds). 23:33:46 -!- nooodl has quit (Quit: Ik ga weg). 23:34:08 -!- Sgeo has joined. 23:34:56 impellomatic. Sgello. 23:35:04 Tanelle, Quinthellopia. 23:42:39 -!- MoALTz has quit (Read error: Operation timed out). 23:42:42 -!- oerjan has joined. 23:49:54 hellørjan! 23:50:05 (tonight is a very welcommy night!) 23:50:59 jóily napot 23:52:37 -!- Frooxius has quit (Ping timeout: 248 seconds). 23:57:45 -!- nisstyre has joined.