00:03:46 OIL doesn't look to be quite the kind of things I needed 00:07:15 -!- MoALTz_ has joined. 00:07:45 I want to compile a tree pattern with capturing into SQL and then have it to execute a SQL program if it matches, placing the output of the program in place of the original expression which was matched. 00:10:00 -!- nisstyre has quit (Quit: bai). 00:10:01 -!- MoALTz has quit (Ping timeout: 240 seconds). 00:10:57 -!- shikhout has joined. 00:14:02 -!- shikhin has quit (Ping timeout: 264 seconds). 00:14:05 -!- shikhout has changed nick to shikhin. 00:16:25 -!- Sgeo has joined. 00:32:57 -!- ais523 has quit. 00:36:22 -!- oerjan has quit (Quit: Sweet dreams). 01:00:43 -!- svetlanaz has joined. 01:09:26 -!- MoALTz_ has quit (Quit: Leaving). 01:16:36 -!- svetlanaz has quit (Remote host closed the connection). 01:20:37 -!- nordance has joined. 01:25:22 -!- nordance has quit (Remote host closed the connection). 01:27:40 -!- gavriil has joined. 01:29:32 Do peephole optimizers normally use inner blocks or anything similar? 01:29:38 -!- shikhin has quit (Ping timeout: 264 seconds). 01:30:02 -!- gavriil has quit (Remote host closed the connection). 01:33:01 -!- chaiomanot has joined. 02:03:08 -!- Gregor`` has quit (Ping timeout: 240 seconds). 02:03:08 -!- tertu has quit (Ping timeout: 240 seconds). 02:03:32 -!- tertu_ has joined. 02:05:25 -!- newsham_ has joined. 02:06:49 -!- newsham has quit (Remote host closed the connection). 02:07:21 -!- Gregor has joined. 02:08:16 -!- Gregor has quit (Excess Flood). 02:08:23 -!- Gregor has joined. 02:10:14 -!- HackEgo has joined. 02:10:48 -!- Phantom_Hoover has quit (Remote host closed the connection). 02:12:49 -!- newsham_ has quit (Ping timeout: 240 seconds). 02:13:41 -!- newsham has joined. 02:17:47 -!- mtve- has joined. 02:22:20 -!- lifthras1ir has joined. 02:22:56 -!- yorick_ has joined. 02:24:52 -!- iamcal____ has joined. 02:24:58 -!- mtve has quit (Ping timeout: 265 seconds). 02:24:59 -!- iamcal___ has quit (Ping timeout: 265 seconds). 02:24:59 -!- ggherdov has quit (Ping timeout: 265 seconds). 02:25:03 -!- spiette has quit (Ping timeout: 265 seconds). 02:25:04 -!- yorick has quit (Ping timeout: 265 seconds). 02:25:05 -!- lifthrasiir has quit (Ping timeout: 265 seconds). 02:25:09 -!- iamcal____ has changed nick to iamcal___. 02:25:34 -!- nisstyre has joined. 02:26:43 -!- tromp__ has joined. 02:29:19 -!- tertu has joined. 02:35:22 -!- Gregor has quit (*.net *.split). 02:35:22 -!- tertu_ has quit (*.net *.split). 02:35:23 -!- Sprocklem has quit (*.net *.split). 02:35:25 -!- itsy has quit (*.net *.split). 02:35:25 -!- tromp has quit (*.net *.split). 02:35:25 -!- quintopia has quit (*.net *.split). 02:35:26 -!- realzies has quit (*.net *.split). 02:35:30 -!- Sgeo has quit (*.net *.split). 02:35:31 -!- FreeFull has quit (*.net *.split). 02:35:35 -!- atehwa has quit (*.net *.split). 02:35:36 -!- zzo38 has quit (*.net *.split). 02:35:37 -!- augur has quit (*.net *.split). 02:35:37 -!- myname has quit (*.net *.split). 02:35:37 -!- jix has quit (*.net *.split). 02:36:20 -!- yorick_ has quit (Remote host closed the connection). 02:42:29 -!- Sprocklem has joined. 02:43:14 -!- nooodl_ has joined. 02:45:34 -!- nooodl has quit (Ping timeout: 244 seconds). 02:46:27 -!- chaiomanot has quit (Read error: Operation timed out). 02:54:41 -!- quintopia has joined. 03:01:28 -!- olsner_ has joined. 03:06:10 -!- Speed` has quit (Ping timeout: 244 seconds). 03:06:10 -!- siruf has quit (Ping timeout: 244 seconds). 03:06:11 -!- olsner has quit (Ping timeout: 244 seconds). 03:06:14 -!- quintopia has quit (Ping timeout: 244 seconds). 03:06:14 -!- nisstyre has quit (Ping timeout: 244 seconds). 03:06:15 -!- pikhq has quit (Ping timeout: 244 seconds). 03:14:14 -!- Tod-Autojoined has joined. 03:24:41 -!- tromp__ has quit (*.net *.split). 03:24:42 -!- iamcal___ has quit (*.net *.split). 03:24:42 -!- mtve- has quit (*.net *.split). 03:24:44 -!- myndzi has quit (*.net *.split). 03:24:44 -!- Bike has quit (*.net *.split). 03:24:45 -!- TodPunk has quit (*.net *.split). 03:24:45 -!- jconn has quit (*.net *.split). 03:24:46 -!- oklopol has quit (*.net *.split). 03:24:46 -!- Vorpal has quit (*.net *.split). 03:24:50 -!- hogeyui has quit (*.net *.split). 03:32:23 -!- nisstyre has joined. 04:00:01 -!- nooodl_ has quit (Quit: Ik ga weg). 04:07:56 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 04:11:45 -!- Sorella has quit (Quit: It is tiem!). 05:29:39 -!- nisstyre has joined. 05:42:31 -!- Sprocklem has quit (Quit: Bye.). 05:49:16 -!- tertu has quit (Read error: Connection reset by peer). 06:34:53 -!- ^v has quit (Read error: Connection reset by peer). 06:36:07 -!- ^v has joined. 06:58:03 -!- ^v has quit (Quit: Leaving). 07:24:27 -!- itsy has joined. 07:52:47 -!- tromp has joined. 07:52:47 -!- prooftechnique has joined. 07:52:47 -!- hogeyui has joined. 07:52:47 -!- Vorpal has joined. 07:52:47 -!- myndzi has joined. 07:52:47 -!- mtve- has joined. 07:52:47 -!- oklopol has joined. 07:52:47 -!- Bike has joined. 07:52:47 -!- iamcal____ has joined. 07:52:47 -!- jix has joined. 07:52:47 -!- myname has joined. 07:52:47 -!- augur has joined. 07:52:47 -!- zzo38 has joined. 07:52:47 -!- atehwa has joined. 07:52:47 -!- Sgeo has joined. 07:52:47 -!- ggherdov_ has joined. 07:52:47 -!- siruf has joined. 07:52:47 -!- pikhq has joined. 07:52:47 -!- digend has joined. 07:52:47 -!- Speed` has joined. 07:52:47 -!- quintopia has joined. 07:52:47 -!- realzies has joined. 07:52:47 -!- Gregor has joined. 07:52:47 -!- spiette has joined. 07:53:51 Oh my. 07:53:58 -!- Gregor has changed nick to Guest80165. 07:53:58 -!- realzies has changed nick to Guest55840. 07:53:58 -!- quintopia has changed nick to Guest55323. 07:58:14 Bike: "Subject: [MATLAB Webinars] Upcoming Academic Sessions" "Raspberry Pi Programming using Simulink" are you excited yet? 07:58:24 so excite 07:58:30 i've been debating the effort a numpy port would take 07:58:34 -!- MindlessDrone has joined. 07:58:59 -!- tertu has joined. 07:59:08 Also on the menu: "Connecting Hardware to MATLAB and Simulink" and "Mobile Robot Simulation for Collision Avoidance with Simulink". There's some kind of a THEME here. 08:00:32 -!- siruf has quit (Changing host). 08:00:32 -!- siruf has joined. 08:09:17 Now all we need is a port of labview 08:11:26 >_< 08:12:38 -!- tertu has quit (Read error: Connection reset by peer). 08:15:34 Does Raspberry Pi include libraries for accessing GPIO ports in all of the programming languages it includes? 08:16:41 I know Mathematica has it, but I don't know if it includes libraries or examples or anything to deal with it in C. 08:21:30 -!- jconn has joined. 08:23:10 -!- Tod-Autojoined has changed nick to TodPunk. 08:26:02 I don't even remember if it includes an "official" OS that could include languages. 08:27:12 I run the "Raspbian" variant of Debian on mine, and I wouldn't be surprised if there was at least one programming language implementation in the repositories where you can't get at the GPIO. 08:27:34 There's a C library, though. 08:47:19 -!- prooftechnique has quit (Quit: leaving). 08:50:47 -!- conehead has quit (Quit: Computer has gone to sleep.). 09:10:04 -!- oerjan has joined. 09:20:24 -!- Tritonio has joined. 09:24:25 -!- MoALTz has joined. 09:46:19 Mornin' 09:50:21 good ante meridiem 09:52:13 Just barely. 09:52:48 -!- nisstyre has quit (Quit: WeeChat 0.4.3). 09:52:59 crazy finns. 09:53:21 -!- tertu has joined. 10:13:10 -!- nisstyre has joined. 10:34:18 -!- digend has quit (Remote host closed the connection). 10:52:22 U+2661 SIDEWAYS LESS THAN THREE SYMBOL 10:55:38 U+006D LATIN SMALL LIGATURE RN 11:03:26 -!- Tritonio has quit (Ping timeout: 252 seconds). 11:05:40 `run unidecode $(unicode 2661 6d) 11:05:41 ​[U+2661 WHITE HEART SUIT] [U+006D LATIN SMALL LETTER M] 11:05:43 You liars. 11:10:59 -!- guardian_ has joined. 11:11:37 -!- boily has joined. 11:24:13 -!- nooodl has joined. 11:25:54 hellooodl. 11:30:34 @missiges-loud 11:30:34 int-e said 21h 1m 42s ago: I lament the lack of lambdabot messages. 11:30:55 @massages-loud 11:30:55 You don't have any messages 11:30:55 uhm. 11:31:46 int-e: it is a problem I can relate to. 11:34:05 @tell int-e I wonder if lambdie accepts colours. Have an orange message! 11:34:05 Consider it noted. 11:35:08 @tell fungot Psst, please start surreptitiously writing lambdabot messages in private to people doing the lamenting. 11:35:08 fizzie: " what a fnord such a dear, quiet thing." the three stanzas fnord describe " my first," she said. 11:35:08 Consider it noted. 11:36:38 somehow, the thought of fungot telling me “oh dear, what a fnord” helps me feel better. 11:36:38 boily: 9. some judges are unjust."' she stood and listened very gravely for a few moments, the orator fnord, fnord, 11:40:12 ion: I approve 11:40:29 ^echo @ask lambdabot are you ignoring me? 11:40:30 @ask lambdabot are you ignoring me? @ask lambdabot are you ignoring me? 11:40:30 Nice try ;) 11:42:10 -!- metasepia has joined. 11:42:23 ~metar ENVA 11:42:23 ENVA 071120Z 13011KT CAVOK 09/01 Q0998 NOSIG RMK WIND 670FT 17018KT 11:42:51 -!- guardian_ has left. 11:43:15 ~metar TFTP 11:43:16 --- Station not found! 11:43:30 ^echo ~echo @tell oerjan circum-peri-unoptimized bot chain @tell! 11:43:31 ~echo @tell oerjan circum-peri-unoptimized bot chain @tell! ~echo @tell oerjan circum-peri-unoptimized bot chain @tell! 11:43:31 @tell oerjan circum-peri-unoptimized bot chain @tell! ~echo @tell oerjan circum-peri-unoptimized bot chain @tell! 11:43:31 Consider it noted. 11:43:40 ~metar CYUL 11:43:40 CYUL 071100Z 35002KT 15SM FEW240 M17/M21 A3028 RMK CI1 CI TR SLP255 11:44:04 ah! only -17 today. I hope at last my beard won't be freezing over when waiting for the bus. 11:44:07 ^echo ~echo @echo This is why NOTICE was invented 11:44:07 ~echo @echo This is why NOTICE was invented ~echo @echo This is why NOTICE was invented 11:44:08 @echo This is why NOTICE was invented ~echo @echo This is why NOTICE was invented 11:44:08 echo; msg:IrcMessage {ircMsgServer = "freenode", ircMsgLBName = "lambdabot", ircMsgPrefix = "metasepia!~metasepia@96.127.201.149", ircMsgCommand = "PRIVMSG", ircMsgParams = ["#esoteric",":@echo This is why NOTICE was invented ~echo @echo This is why NOTICE was invented"]} target:#esoteric rest:"This is why NOTICE was invented ~echo @echo This is 11:44:08 why NOTICE was invented" 11:44:19 @messages-mould 11:44:20 metasepia said 48s ago: circum-peri-unoptimized bot chain @tell! ~echo @tell oerjan circum-peri-unoptimized bot chain @tell! 11:45:17 ~metar HTTP 11:45:18 --- Station not found! 11:45:22 Aw. 11:45:43 ~metar EFTP 11:45:44 EFTP 071120Z 19011KT 9999 FEW019 BKN055 05/02 Q1017 11:45:53 That’s what i was thinking of. I think 11:46:11 ~metar SMTP 11:46:12 --- Station not found! 11:46:31 ~metar IMAP 11:46:32 --- Station not found! 11:46:34 ~metar BCPL 11:46:35 --- Station not found! 11:47:07 ~metar SNMP 11:47:07 --- Station not found! 11:47:12 ~metar LDAP 11:47:12 --- Station not found! 11:47:17 Sooner or later it'll have to work. 11:47:22 ~metar RTSP 11:47:23 --- Station not found! 11:47:24 you'd think 11:47:28 ~metar UUCP 11:47:28 --- Station not found! 11:47:46 ~metar MDNS 11:47:47 --- Station not found! 11:48:04 ~metar DAAP 11:48:04 DAAP 071100Z 33010KT 9999 FEW040 15/04 Q1019 11:48:06 Hah. 11:48:13 ~duck DAAP 11:48:13 DAAP The Apple protocol that shares iTunes playlists with users across a network via their computers or media hubs. 11:48:26 Digital Audio Access Protocol, I think. 11:48:34 ~duck takhamalt airport 11:48:34 Takhamalt Airport also known as Illizi Airport, is an airport near Illizi, Algeria. 11:49:27 ~duck tampere-pirkkala airport 11:49:27 --- No relevant information 11:49:52 so ~duck manages to get infos on an algerian airport, but not a finnish one. 11:49:57 I don't think I've ever been at Tampere-Pirkkala. 11:50:04 Flying to Tampere seems really useless. 11:50:34 It's like 90 minutes by train. 11:50:49 our trains suck :( 11:51:45 vacuum trains 11:51:46 Well, okay, it's 1:46 for InterCity; the 1:30 time is for Pendolino. 11:51:55 Still, less than two hours. 11:52:26 -!- MoALTz has quit (Quit: brb). 11:52:43 Though apparently there exist direct Tampere-Budapest, Tampere-Bremen and Tampere-London flights, in addition to Tampere-Helsinki. 11:53:46 oerjan: shipping people in vacuum tubes would be a direct improvement over what we have. 11:54:03 35 minutes to fly from Helsinki to Tampere. And then add at least one hour for getting to/from the airport, security checks, boarding and just general being-on-time-in-case-of-queues. 11:54:25 i take it canadian trains are not very safe. 11:54:26 You can't even get to the city from Helsinki-Vantaa airport by rail yet. 11:57:59 -!- tertu has quit (Ping timeout: 240 seconds). 11:59:08 oerjan: for the very few that we have, they are safe. 11:59:51 good, good 12:03:34 -!- MoALTz has joined. 12:04:57 -!- boily has quit (Quit: PROTOCOLAR CHICKEN). 12:04:59 -!- metasepia has quit (Remote host closed the connection). 12:09:37 -!- Bike has quit (Ping timeout: 265 seconds). 12:09:52 -!- Bike has joined. 12:40:51 "By becoming an IEEE Member, you agree to -- b. Support the enhancement of IEEE principles, objectives and activities; and --" 12:40:56 It's all so terribly vague. 12:41:24 (It's cheaper to join for one year and get a conference price discount than not join and pay full price for a conference trip.) 12:42:16 -!- 92AAAE969 has joined. 12:42:56 just 1/3 the usual price + your firstborn 12:52:55 -!- atriq has joined. 12:53:49 `unicode INVISIBLE TIMES 12:53:49 ​⁢ 12:53:57 `unicode INVISIBLE PLUS 12:53:58 ​⁤ 12:54:04 `unicode FUNCTION APPLICATION 12:54:05 ​⁡ 12:54:19 `unidecode ​⁡ 12:54:20 ​[U+200B ZERO WIDTH SPACE] [U+2061 FUNCTION APPLICATION] 12:54:46 oerjan: How does that work if I never have any children, though? 12:55:24 `run unidecode $(unicode 'INVISIBLE TIMES' 'INVISIBLE PLUS' 'FUNCTION APPLICATION') # let's try the round-trip 12:55:24 ​[U+2062 INVISIBLE TIMES] [U+2064 INVISIBLE PLUS] [U+2061 FUNCTION APPLICATION] 12:55:29 -!- atriq has quit (Quit: Page closed). 12:55:50 In related news, I finally fixed `unicode to accept also hex in addition to character names. 12:56:00 fizzie: they're counting on people like that getting rarer with time hth 12:56:38 `unicode 2603 12:56:39 ​☃ 12:57:23 you hexed `unicode, ok 13:01:44 -!- oerjan has quit (Quit: leaving). 13:11:40 -!- yorick has joined. 13:20:57 -!- Sorella has joined. 13:27:09 why the hell are there invisible operators? 13:27:42 So that you can say something that looks like "ab" but unambiguously means the product of a and b. 13:31:15 Trenitalia's ticket search form has this unexplained "Find best price [ ]" checkbox that I can't figure out what it does, exactly. 13:31:32 Unchecked by default. 13:34:29 -!- Sgeo has quit (Read error: Connection reset by peer). 13:34:46 If I check it, there are no results; if I don't, I get lots of results but they all say "The travel solution is not sellable for the selected segment" in the price column. 13:34:57 I don't think this was this difficult the last time. 13:36:34 Apparently it's because the solutions involve a regional train, and they don't sell tickets for those over the Internet. 13:38:30 -!- Tritonio has joined. 14:16:14 -!- Guest55840 has quit (Changing host). 14:16:14 -!- Guest55840 has joined. 14:16:32 -!- Guest55840 has changed nick to realzies. 14:21:57 -!- 92AAAE969 has quit (Remote host closed the connection). 14:23:35 -!- Tritonio has quit (Ping timeout: 244 seconds). 14:26:10 -!- Tritonio has joined. 14:30:47 -!- Tritonio has quit (Ping timeout: 264 seconds). 14:38:18 -!- itsy has quit (Ping timeout: 240 seconds). 15:02:31 -!- Sorella has quit (Quit: It is tiem!). 15:07:07 -!- Tritonio has joined. 15:07:56 -!- itsy has joined. 15:35:36 -!- shikhin has joined. 15:56:23 -!- Slereahphone has joined. 15:57:06 -!- Slereahphone has quit (Remote host closed the connection). 15:59:03 -!- Slereahphone has joined. 16:04:54 -!- Slereahphone has quit (Remote host closed the connection). 16:07:04 -!- Slereahphone_ has joined. 16:07:05 -!- Slereahphone_ has quit (Remote host closed the connection). 16:07:41 -!- Slereahphone has joined. 16:07:53 -!- Speed` has quit (Excess Flood). 16:09:08 -!- Speed`` has joined. 16:11:47 -!- ^v has joined. 16:11:47 -!- not^v has joined. 16:13:01 -!- not^v has quit (Client Quit). 16:30:41 -!- Phantom_Hoover has joined. 16:34:18 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 16:35:56 -!- Tritonio has quit (Ping timeout: 265 seconds). 16:45:25 -!- Slereahphone has joined. 16:52:06 -!- conehead has joined. 17:04:51 -!- Speed`` has changed nick to Speed`. 17:13:18 -!- nisstyre has quit (Read error: Operation timed out). 17:25:33 -!- nisstyre has joined. 17:40:59 -!- impomatic has quit (Ping timeout: 264 seconds). 17:54:50 -!- oerjan has joined. 18:02:11 -!- yorick has quit (Remote host closed the connection). 18:10:07 -!- shikhin has quit (Read error: Connection reset by peer). 18:11:32 -!- shikhin has joined. 18:25:37 -!- Slereahphone_ has joined. 18:26:59 -!- Slereahphone has quit (Ping timeout: 240 seconds). 18:27:01 -!- Slereahphone_ has changed nick to Slereahphone. 18:27:51 -!- FreeFull has joined. 18:31:01 eep there i pressed ctrl-F5 instead of fn-F5 again 18:31:16 no real harm, but still... 18:31:51 (the former, as you probably know, reloads the web page. on my laptop the latter turns down brightness.) 18:34:22 -!- jhj has changed nick to trn. 18:43:03 i just use 'r' to reload the page 18:43:11 or 'R' 18:43:15 shit my nick 18:43:30 -!- Guest55323 has changed nick to quintopia. 18:43:37 -!- chaiomanot has joined. 18:43:38 -!- quintopia has quit (Changing host). 18:43:38 -!- quintopia has joined. 18:49:09 does irssi have a key that instantly scrolls you to the newest line of a channel that you've accidentally left scrolled up? 18:51:38 the end key does that for me, i'm not sure if i made an explicit binding for it (i did it for either home/end or ^A/^E) 18:52:22 ? 18:52:27 i don't have an end key on my phone 18:52:36 You need End to jump to the end of the line you’re editing. 18:52:42 what command should i bind? 18:53:02 Melvar: i set ^E to do that instead 18:53:05 Melvar: down-up does that i think 18:53:23 quintopia means pgup/pgdn, I think. 18:53:29 not in-line editing. 18:53:36 quintopia: scroll_end 18:53:42 okay thx 18:54:38 now i just gotta find a key to bind...i don't have many left on this small keyboard 18:55:06 you can bind some combination i assume 18:56:41 of course. not many of those left either 18:56:44 Melvar: or possibly, ^E and end already both do that by default, and i set end to do the other thing instead. 18:56:52 it was something silly like that. 18:57:21 oerjan: End doesn't seem to do it here. 18:57:34 (And neither does ^E.) 18:57:42 hm 18:57:49 maybe one of them was unset, then. 18:57:53 quintopia: Are you lacking modifiers? 18:58:01 Oh, sorry, I misread that. 18:58:09 Yeah, both End and ^E do end-of-line. 18:58:19 (And neither do scroll_end.) 18:58:55 -!- MindlessDrone has quit (Quit: MindlessDrone). 18:59:00 yeah i think there is no default binding that does scroll_end 18:59:22 According to /bind, "chome" and "cend" are bound to scroll_start/scroll_end, but I have no idea what those are. 18:59:32 (It's clearly not ctrl-home and ctrl-end.) 18:59:45 which meant it was obvious to pick one of the redundant ones to change 18:59:54 huh 19:00:42 fizzie: oh indeed they do, maybe it was added in a later irssi version. 19:01:03 cleft and cright are bound to backward_word and forward_word, and I get those behaviors with shift-left/right, but I don't seem to get scroll_end with any modifier applied to the end key. 19:01:24 Melvar: nah. i can do M and C. i've got most of the M ones bound. i'll just find some C one that screen doesn't need 19:01:26 * Melvar has End on Level5shift+o , so easier than Ctrl+e . 19:03:23 I ended up in a stalemate with the FTL boss. Neither of us has weapons. 19:04:34 Melvar: well i rarely use End anywhere else except in the browser, where it usually means go to bottom of page, so it was more mnemonic for me. 19:04:44 ooh i can just bind F- keys 19:05:22 F4 (since that's the number with $ on it...good mnemonic) 19:06:27 if i do any serious editing, i use vim and there i'm used to $, although End would work too. 19:06:31 -!- bumprod has joined. 19:06:54 or not 19:07:13 C-4 will work 19:07:36 quintopia: you'd want G if you are going for vim mnemonic for that :P 19:10:46 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 19:12:10 -!- Slereahphone has joined. 19:12:34 i can never remember G. just now i was editing the config in vim and thinking 'hmm all this scrolling down...i sure wish i could remember what the shortcut was to scroll to the bottom...' 19:13:13 annnnnd i put an error in the config damn 19:14:56 damn it doesn't work 19:14:56 i use G all the time because "+yG at the top is the simplest way to copy the whole window out of vim 19:15:23 i don't vim edit often enough to be proficient 19:15:38 ok 19:15:54 oerjan: $ is Level3shift+ö , which is definitely harder to reach than Level5shift+o , so I mostly use the latter in vim. 19:16:45 what keyboard is that 19:17:09 Neo2. 19:18:19 i have no idea what this phone is doing keywise 19:18:26 give up? 19:18:28 oh a german keyboard layout 19:20:02 and i also tend to use VG: instead of :.,$ for doing an ex command till end of file 19:22:03 I usually go via visual mode too, haven't gotten the hang of the syntax for ranges in ex (yet?) 19:22:08 and dG and yG get some use when i'm duplicating stuff at the end 19:22:27 so G is quite useful. 19:23:04 visual mode also makes it easy to adjust the selection a little 19:23:15 you can have lots of fun with g in vim ... gggqG is probably my favorite 19:23:43 that formats the whole window, iirc 19:24:02 i tend to use gq only on a few lines at the time 19:24:23 yep, never actually *use* that sequence because reformatting tends to change stuff I don't intend to change 19:24:25 just like it a lot 19:25:23 i have a tendency to use Jgqq 19:25:42 hmm, does that do the same as gqj? 19:25:52 hm.. 19:26:02 -!- olsner_ has changed nick to olsner. 19:26:07 i suppose 19:26:27 except, if the second line contains some indentation that gq won't change 19:26:51 * Melvar is a vim heretic: uses level5shift+iale = ←↓↑→ instead of hjkl, because hjkl are scattered around in inconvenient places. 19:27:11 gqj merges the lines if the first line is shorter than the wrapping width, at least in my config 19:27:51 I like hjkl's position on dvorak 19:27:56 I notice ISO 646 does not have German quotation marks. 19:28:48 Therefore it makes it more difficult converting ISO 646 to Z-machine characters. 19:30:29 Melvar: i use arrows even with qwerty 19:31:04 -!- Slereahphone has quit (Remote host closed the connection). 19:31:32 -!- Slereahphone has joined. 19:31:54 oerjan: I do it both ways, using arrow keys when not in command mode 19:34:23 -!- nisstyre has quit (Ping timeout: 264 seconds). 19:36:11 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 19:38:29 -!- chaiomanot has quit (Ping timeout: 240 seconds). 19:40:06 new blog post about "why we should believe P != NP" http://www.scottaaronson.com/blog/?p=1720 i just got to a couple nice examples of how thin yet sharp the boundary between P and NP-complete problems can be 19:44:30 is it bad if I want P = NP because it sounds more interesting? :( 19:44:49 no, but you may be out of luck 19:46:31 motl sure is an interesting personality. 19:46:48 -!- `^_^v has quit (Quit: This computer has gone to sleep). 19:58:14 -!- zzo38 has quit (Remote host closed the connection). 20:03:02 i think aaronson's frog analogy is getting out of hand 20:10:40 -!- spiette has quit (Quit: :qa!). 20:23:44 P = NP would make the world of complexity classes much less interesting. 20:28:41 more interesting? i like crypto, personally 20:36:32 -!- `^_^v has joined. 20:37:48 I liked the bit that went "-- computer scientists are just not very smart—certainly not as smart as real scientists --". 20:39:18 -!- zzo38 has joined. 20:39:27 fizzie: one might suspect that to be a highly watered down luboš motl statement. 20:48:23 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 20:53:43 -!- Slereahphone has joined. 20:58:20 -!- MoALTz has quit (Ping timeout: 244 seconds). 21:01:33 oh i see why my new key binding wasn't working 21:01:43 Irssi: Unknown command: scroll_end 21:08:04 @src some 21:08:04 some v = some_v 21:08:05 where many_v = some_v <|> pure [] 21:08:05 some_v = (:) <$> v <*> many_v 21:08:35 @src many 21:08:35 Source not found. My mind is going. I can feel it. 21:08:40 :t many 21:08:41 Alternative f => f a -> f [a] 21:09:02 hm they're not defined directly in terms of each other any longer? 21:09:25 i guess that helps sharing. 21:09:40 but not my attempt to provide an example on reddit. 21:09:47 -!- bumprod has quit (Ping timeout: 264 seconds). 21:10:17 quintopia: well scroll_end is presumably more like a key designation than a command 21:11:01 There's a technical term for it, but I forget what it is. 21:11:03 "Action"? 21:11:19 "Bind some action to specified keystroke" yes, I think that's it. 21:12:08 quintopia: i think you just need to leave off the / ? 21:14:36 Those "you've last seen things this far" lines are something I'd kind of like to get; I'm sure there's an app... I mean, a script for that. 21:17:27 heh yeah, i keep leaving windows slightly backscrolled just to simulate it 21:18:18 which gets a little awkward when combined with an occasional bug in the code to add "More" to the window's status line 21:18:22 oerjan: i need to know the name of the command to bind the key 21:18:41 quintopia: /bind whateveryourkey scroll_end 21:18:44 i thought 21:18:51 it's not called scroll_end 21:18:57 hum 21:19:03 maybe scroll_end is added in a more recent version? 21:19:28 i'm using 0.8.15 21:19:36 You can check with "/bind -list". 21:19:39 i'm sure it's been many years since i added it 21:20:00 ...it's called scroll_end on that list 21:20:05 So there you go. 21:20:14 Of ypi 21:20:17 Whoops. 21:20:18 but then why is irssi telling me it's an unknown command 21:20:23 Because it's not a command. 21:20:27 You bind actions, not commands. 21:20:38 Or, well, you can also bind commands, if you start them with the /. 21:20:40 quintopia: 0.8.15 here too 21:20:48 But if you bind something like oerjan says, with no /, then you're binding an action. 21:20:59 so i should call it an action rather than a command 21:20:59 ok 21:24:30 (Technically, I think "/bind X /foo" is equivalent to "/bind X command foo", which is using the action called "command" that runs a command.) 21:28:29 okay now my phone won't even send the same keycode for ^4 it was sending befor 21:28:34 it just sends 4 21:28:40 wtf 21:29:14 tricky 21:29:43 i'll just bind M- instead...crazy? 21:31:25 works. good enough. 21:33:19 -!- augur has quit (Quit: Leaving...). 21:46:58 -!- idris-ircslave has quit (Quit: Terminated). 21:46:59 if only this were true ... "Note that the lid switch is ignored if the system is inserted in a docking station, or if more than one display is connected." 21:47:07 -!- augur has joined. 21:47:12 -!- idris-ircslave has joined. 21:55:26 Oh, that's a very recent change, not yet released. Pity. In the meantime ... it sucks. 22:18:02 -!- chaiomanot has joined. 22:21:58 -!- Slereahphone has quit (Remote host closed the connection). 22:22:46 -!- Slereahphone has joined. 22:28:35 -!- yorick has joined. 22:32:04 -!- Sorella has joined. 22:35:38 -!- Phantom_Hoover has joined. 22:46:03 -!- Sprocklem has joined. 22:54:32 -!- itsy has quit (Quit: itsy). 22:59:44 -!- titomir has joined. 23:27:27 -!- Phantom_Hoover has quit (Quit: Leaving). 23:43:37 -!- nooodl has quit (Ping timeout: 240 seconds). 23:49:05 -!- Sgeo has joined. 23:52:25 -!- nisstyre has joined. 23:57:47 -!- elliott has quit (Ping timeout: 264 seconds).