00:05:33 [] aren't actually used in APL at all 00:05:48 well, they are, but they're used for indexing, not iverson brackets 00:06:35 shachaf and Gracenotes are in my living room 00:07:17 hichaf 00:07:20 hinotes 00:07:21 are they high 00:07:36 kmc, did you let them in 00:08:08 yes 00:08:10 Bike: no 00:08:58 aw 00:09:40 i guess the iverson bracket is well defined :( 00:09:48 it annoys me that you cant break it 00:10:42 -!- sprocklem has joined. 00:10:43 well it's well defined insofar as letting you put arbitrary propositions everywhere is well defined 00:12:11 -!- mnoqy has quit (Quit: hello). 00:14:47 Bike: i am hi 00:14:49 hi Bike 00:14:57 hi shachaf 00:15:21 hi 00:15:37 hi Gracenotes 00:17:08 -!- katla has quit (Quit: BitchX-1.1-final -- just do it.). 00:21:21 -!- oerjan has set topic: The channel for hi people | [ WOMAN VOCALIZING ] ♪♪ [ MAN SPEAKING BACKWARDS ] | http://underhanded.xcott.com/?page_id=5 | logs: http://codu.org/logs/_esoteric and http://tunes.org/~nef/logs/esoteric/?C=M;O=D. 00:29:12 -!- Koen_ has quit (Quit: Koen_). 00:46:44 -!- Bike has quit (Ping timeout: 240 seconds). 00:54:20 -!- Bike_ has joined. 01:00:07 shachaf: is this the biggest #esoteric meetup yet?? 01:00:58 -!- Bike_ has changed nick to Bike. 01:13:22 meetup????? 01:21:02 yes 01:21:06 meet. up. 01:21:30 hm i don't know where nooodl or quintopia lives 01:21:42 turns out everyone in #esoteric lives in san francisco. spooky 01:21:59 not sf 01:22:42 later this month i might be quite close to hexham though... fsvo close (i'll be "in the uk") 01:23:21 you can visit taneb 01:25:10 can i visit taneb 01:25:34 no 01:26:58 if i end up going to hexham somehow it'd only be fitting not to visit anyone there 01:29:22 -!- nooodl_ has joined. 01:29:33 wheres taneb 01:30:46 hexham 01:32:17 update on previous question: i found a really easy algorithm and i don't now how it works because i forgot 01:32:29 -!- tswett_ has joined. 01:37:38 -!- conehead has quit (Quit: Computer has gone to sleep.). 01:38:50 -!- nooodl has quit (*.net *.split). 01:38:50 -!- Nisstyre-laptop has quit (*.net *.split). 01:38:50 -!- ion has quit (*.net *.split). 01:38:50 -!- sivoais has quit (*.net *.split). 01:38:50 -!- Sgeo_ has quit (*.net *.split). 01:38:50 -!- variable has quit (*.net *.split). 01:38:50 -!- tswett has quit (*.net *.split). 01:40:22 -!- variable has joined. 01:45:48 -!- ion has joined. 01:46:18 -!- Sgeo_ has joined. 01:46:25 -!- Phantom__Hoover has joined. 01:49:20 -!- Phantom_Hoover has quit (Ping timeout: 264 seconds). 01:50:19 -!- zzo38 has quit (Ping timeout: 264 seconds). 01:50:41 -!- nycs has joined. 01:53:54 -!- shachaf_ has joined. 01:54:31 -!- atehwa has joined. 01:54:51 -!- shachaf_ has quit (Client Quit). 01:57:42 -!- augur_ has joined. 01:59:18 -!- ion has quit (*.net *.split). 01:59:19 -!- `^_^v has quit (*.net *.split). 01:59:19 -!- atehwa_ has quit (*.net *.split). 01:59:19 -!- shachaf has quit (*.net *.split). 01:59:46 -!- jix_ has joined. 01:59:48 -!- mysanthrop has joined. 01:59:57 -!- kmc_ has joined. 02:00:24 -!- atehwa_ has joined. 02:00:30 -!- Lumpio_ has joined. 02:00:38 * oerjan spots mysanthrop, myname's evil twin 02:02:06 what happen 02:02:07 -!- shachaf has joined. 02:02:12 shachaf: shachaf! 02:02:22 * oerjan sees wikipedia lists some important anniversaries for today 02:02:39 hiuaf 02:03:33 <3 02:03:50 today we celebrate america by drinixing beer and listening to canadian post-rock music 02:04:01 well i do anyway 02:04:10 i guess for you americans these anniversaries are tomorrow. 02:04:26 wait did services disappear 02:04:45 anarchy, &c. 02:05:27 -!- atehwa has quit (*.net *.split). 02:05:28 -!- Lymia has quit (*.net *.split). 02:05:28 -!- jix has quit (*.net *.split). 02:05:28 -!- kmc has quit (*.net *.split). 02:05:28 -!- augur has quit (*.net *.split). 02:05:28 -!- Lumpio- has quit (*.net *.split). 02:05:28 -!- myname has quit (*.net *.split). 02:05:56 chanserv seems to respond "No such nick/channel" to every command, including help :P 02:06:12 oops, the pizza 02:06:40 -!- ion has joined. 02:12:03 -!- Lymia has joined. 02:15:37 -!- zzo38 has joined. 02:17:23 -!- copumpkin has quit (Ping timeout: 260 seconds). 02:19:49 -!- Nisstyre has joined. 02:28:56 -!- nooodl_ has quit (Ping timeout: 240 seconds). 02:29:17 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:48:11 oh wait duh, it's not chanserv responding, it's the server saying chanserv doesn't exist XD 02:49:22 how am I going to ban everyone now?? 02:49:23 -!- sacje has joined. 02:49:33 patience, elliott 02:54:40 kmc_: are you and shachaf talking over IRC while being in the same room 02:55:54 elliott: i was going to comment on that but then realized it was a mandatory geek ritual 02:57:10 does it count as a ritual if it's just because you're dorks 02:57:58 elliott: hm this is getting serious, we need to ban Bike now but cannot 02:58:42 hey i've done it too!! 02:58:45 i'm an "insider" here 02:58:52 oh okay 02:59:12 just go back into elliott's general queue then 02:59:26 k 03:00:22 * Fiora steals the top of elliott's queue 03:01:06 congratulations, you have spared one person from the onslaught... at the end..... one person in #esoteric shall remain unbanned 03:01:14 you may bet amongst yourselves as to who it is 03:01:25 that's obvious, zzo38. 03:01:32 it's actually glogbot. 03:01:45 pretty zen, imo. 03:09:08 or I'll just occupy elliott forever with magical friendship beams 03:09:13 then he'll never ban anyone! 03:09:24 Bike: help 03:09:41 truly my plan is foiled. 03:09:50 yeah i'm no match for friendship beams sorry 03:09:54 Bike: useful tip! elliott is weak to friendship 03:10:06 * Bike writes in quest manual 03:10:30 so when you need to get past elliott, don't try to attack him, just ask nicely and offer to have nice long conversations with him! then just give him some cookies and go on your way 03:10:41 useful tip for final bosses 03:11:22 looks like I gotta resign ops. will never get to ban anyone at this rate. 03:11:28 fuck, cookies might be hard 03:11:29 my weaknesses, laid bare. 03:11:36 elliott: it's ok you can still ban unfriendly people 03:11:56 not that i have any idea why anyone would want to do that. 03:12:37 Bike: the hardness can be balanced with chocolate hth 03:12:45 good point 03:13:23 also, brits love stale cookies. 03:13:27 how about chocolate cookies? 03:13:31 chocolate fudge brownies? 03:13:37 with chocolate syrup and strawberries 03:14:26 fiendish, fiora 03:14:44 fiora is clearly a veteran of many battles 03:14:49 fiendora 03:14:59 whoever said we need a portmanteau bot is right. 03:15:10 um i thought we did 03:15:14 `word 50 03:15:16 bal cadiffel fo in clemoricomiclet ia symparokip mcepapj lazcansori jambselle nehagelifiigmedinttaceldstricidamil annkoech ingie frivskelen twelmaban kleselix pellisphteci etu ime pels adcad calidenticelpe neptes handrinco glawa non chby irmullated duresticntre glethriewiverig igue sum mas alme manaecans probiletyburzenrized succs nlelon nits ston 03:15:45 mind you, they should have been portmanteaus in a real language. 03:15:46 no, a bot to make a portmanteau given some words. 03:15:48 keep up oerjan. 03:16:05 oh, a portmanbot, gotcha 03:16:27 see, what if it was portmanbeaut? this is why it's necessary 03:16:35 who wrote `thanks again? noodl? let's make him do it 03:16:49 ideally if you said "foo, bar" it would portmanteau them automatically. 03:17:07 then we could replace shachaf with it :P 03:18:11 ooh, cleverchaf 03:29:10 -!- mysanthrop has changed nick to myname. 03:29:41 somebody tell me how the series floor(x*b^-n) over n works. 03:30:21 very well 03:30:35 for positive n. 03:30:38 it's important 03:31:59 elliott hurry it up! 03:32:10 -!- mnoqy has joined. 03:32:31 Bike: I told you! it works very well. 03:32:56 your the fucking wurst 03:33:07 hi 03:33:13 wurst? mmm sausage 03:33:17 hi mnoqy 03:36:45 Bike: it is decreasing hth 03:39:22 -!- mastring has joined. 03:39:35 Here's a fun challenge. Can you write a program which prompts for the number of elements and then displays and output like: http://pastebin.com/bnziw40r 03:39:48 The pattern is simple. First write one's(1) along the top for the number of elements, then write one's(1) down for number of elements - 1 and then back along the bottom for number of elements -2 and then back up again for number of elements - 3 and so on and so on... 03:40:10 @oeis 1,2,4,6,10,12,16,18,22 03:40:12 Primes minus 1.[1,2,4,6,10,12,16,18,22,28,30,36,40,42,46,52,58,60,66,70,72,7... 03:40:31 oh, wow. 03:41:24 mastring: i believe that is called a spiral. also 03:41:26 `welcome mastring 03:41:28 mastring: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 03:43:07 Thanks :) 03:44:25 I did a solution in C 03:48:03 Would be nice to see some esoteric solutions :) 03:49:09 eek 03:51:11 it looks to me like a problem that _needs_ a mutable 2d array for the solution to be simple 03:51:29 oerjan: don't tempt me to try and find a cute functional knot-tying solution 03:51:47 elliott: um, tempting to tempt you, there 03:52:51 hm perhaps you could calculate based on the center somehow 03:54:38 funge98 should be able to handle this, anyway. 03:57:17 -!- TeruFSX has quit (Read error: Connection reset by peer). 03:57:21 You think? 03:57:37 funge98 is good with 2d stuff, being a 2d language 03:58:08 one thing i'm thinking here is that everything except for the left edge is part of a pattern that can be extended infinitely outwards 03:58:51 well, if it was more than 10 there'd be more empty columns right 03:59:38 what i mean is that logically you'd want 1's down that left edge instead of 0's 04:00:15 * Bike counts on fingers 04:00:16 oh yeah. 04:01:22 It looks simple until you look at it and then you realize you can't solve it the way you thought and then you think and think and think and wait a minute all I have to do is....This is a simple problem after all. ;P 04:04:23 -!- sprocklem has quit (Remote host closed the connection). 04:05:37 mastring: note that if you remove the left edge, then it's entirely symmetric between 0's and 1's if you rotate it 180 degrees 04:07:56 yea 04:08:46 Are you trying to solve it functionally? and the first implementation that came to mind was to rotate the permutations lexically: 04:08:56 http://dl.dropbox.com/u/51836583/Screenshots/oh.png 04:09:10 That way, an odd cardinality simply doesn't render. 04:09:20 Just what I thought of then, idk :P 04:11:09 -!- Nisstyre has quit (Quit: Leaving). 04:11:47 well i'm thinking of a weirder way of building the n+1 case from the n one 04:11:50 -!- Nisstyre has joined. 04:12:15 basically, rotate the matrix clockwise, then put a line of 1's on top and a line of 0's on the bottom (this ignores the left edge) 04:14:03 -!- Bike has quit (Quit: Reconnecting). 04:14:19 -!- Bike has joined. 04:15:36 hm this _would_ be possible in a knot-tying way, wouldn't it. 04:15:54 well, or recursive, anyway 04:16:36 * elliott is glad to have planted the seed in oerjan's mind 04:16:39 ok well, i worked something out. sum of floor(x*b^-n) for positive n is (x - base b digital sum of x)/(b-1). 04:16:50 floor is the worst clearly 04:17:16 this is rather pointless since computing digital sum is hard anyway but still. 04:17:41 Bike: i wasn't really expecting a more efficient method than shifting and looping, here 04:18:02 i can dream 04:20:07 i'm just glad i worked out something resembling a fact, in the pursuit of something unrelated and also pointless 04:24:06 > let spiral 1 = ["1","0"]; spiral n = replicate n '1' : (transpose . reverse $ spiral (n-1)) ++ [replicate n '0'] in var . unlines $ spiral 5 04:24:07 Ambiguous occurrence `var' 04:24:07 It could refer to either `Data.Number.Symbolic.... 04:24:13 elliott!!! 04:24:18 -!- Bike has quit (Ping timeout: 245 seconds). 04:24:25 waht 04:24:26 ughh 04:24:28 um 04:24:34 how dare you ruin my favorite text unescaper :( 04:24:44 > let spiral 1 = ["1","0"]; spiral n = replicate n '1' : (transpose . reverse $ spiral (n-1)) ++ [replicate n '0'] in text . unlines $ spiral 5 04:24:44 11111 04:24:45 00001 04:24:45 01101 04:24:45 01001 04:24:45 01111 04:24:47 00000 04:25:07 which one should I import 04:25:13 05:24:33 It could refer to either `Data.Number.Symbolic.var', 04:25:14 05:24:33 imported from `Data.Number.Symbolic' at L.hs:82:1-27 04:25:16 05:24:33 or `Debug.SimpleReflect.Expr.var', 04:25:18 i guess probably the latter 04:25:20 05:24:33 imported from `Debug.SimpleReflect' at L.hs:93:1-26 04:25:47 huh i think they both are useful for this purpose, although i _think_ the former used to be imported 04:25:54 hm old lambdabot had - yes 04:26:05 seems like the latter is more general... 04:26:06 the latter can be faked with fun ... :: Expr 04:26:45 mastring: anyway that's how you can do it functionally in haskell :) 04:26:51 -!- mnoqy has quit (Quit: Reconnecting). 04:27:00 -!- kmc_ has changed nick to Guest83873. 04:27:01 -!- variable has changed nick to Guest13514. 04:27:01 I am tempted to import the latter because I can import the former module as S but would have a harder time coming up with a single-letter alias for the latter 04:27:03 -!- sacje has changed nick to Guest21838. 04:27:04 -!- mnoqy has joined. 04:27:12 ok 04:27:28 -!- Guest13514 has quit (Changing host). 04:27:28 -!- Guest13514 has joined. 04:27:54 -!- copumpkin has joined. 04:28:00 oh hm 04:28:00 -import Data.Number.Symbolic hiding (var) 04:28:01 -import qualified Data.Number.Symbolic as Sym 04:28:01 +import Data.Number.Symbolic 04:28:10 (diff -u Pristine.hs .lambdabot/State/Pristine.hs) 04:28:18 I guess I intended to do that but never actually put it in the actual file 04:28:46 @undefine 04:28:46 Undefined. 04:28:47 > sym "x" 04:28:48 Not in scope: `sym' 04:28:48 Perhaps you meant one of these: 04:28:48 `sum' (imported fro... 04:28:51 > var "x" 04:28:52 x 04:29:15 > let spiral 1 = ["1","0"]; spiral n = replicate n '1' : (transpose . reverse $ spiral (n-1)) ++ [replicate n '0'] in text . unlines $ spiral 10 04:29:16 1111111111 04:29:16 0000000001 04:29:16 0111111101 04:29:16 0100000101 04:29:16 0101110101 04:29:18 0101010101 04:29:20 010... 04:29:50 that extra space on the first line is a lambdabot quirk 04:30:36 oerjan: Would this work in ideone? 04:31:07 i assume so with a minor modification 04:35:32 -!- TeruFSX has joined. 04:35:33 oerjan: What sort? 04:36:17 wait a minute 04:37:05 http://ideone.com/VGXllV 04:45:55 -!- maddock has quit (Ping timeout: 256 seconds). 04:53:47 -!- Bike has joined. 04:58:54 -!- Bike has quit (Ping timeout: 264 seconds). 05:00:08 -!- Bike has joined. 05:05:09 -!- Bike has quit (Ping timeout: 248 seconds). 05:06:29 -!- Bike has joined. 05:14:59 oerjan: ooh chanserv is back 05:19:44 "Warrgle is a combination of war or warrior and eagle. It may also involve warble, a sound a bird makes. 05:19:44 " 05:19:50 tswett_, are you a pokemon? 05:23:30 does this mean i'm banned 05:23:54 do you want it to mean that 05:24:01 Sgeo_: i want to be a pokemon someday 05:24:10 What kind of pokemon? 05:24:11 is that a trick question 05:24:16 no 05:24:17 I like to play pokemon card. 05:24:45 My question would have been better if tswett_ used his other nick here 05:24:51 well, one of his other nicks 05:25:19 I think tswett_ has as many nicks and names as Gregor has hats 05:35:27 he even has a nick that is a wiki admin, although i wouldn't be surprised if he is unable to log in to it 05:36:48 last used 25 february 2009 05:39:50 the bounded gaps of primes project seems to have slowed seriously down :( 05:40:34 oerjan is all about the wiki admins now 05:40:52 the one i linked before? yeah, well, they made like ten billion percent improvement first so w/e 05:40:57 i'm all about power totally corrupting, yes 05:41:41 yeah but up until a week ago they had something every day 05:41:42 still waiting to hear back from Bike in re: whether he wants to be banned 05:41:57 these are tough decisions, elliott 05:42:17 Bike: I could kick you if you want a taste of what it's like 05:42:21 hm 05:42:29 Sgeo_: I need some advice. 05:42:58 Bike, with what? 05:43:10 And are you sure I'm the best person to ask for advice? 05:44:06 Yes. Do I want to be banned? 05:44:42 If you were a norn, I could attempt to peek in your brain to find out. Are you a norn? 05:45:01 sgeo... 05:45:14 i'm not srry 05:58:15 -!- Guest21838 has quit (Quit: Guest21838). 06:09:01 -!- Yonkie has joined. 06:09:33 `WeLcOmE Yonkie 06:09:36 YoNkIe: WeLcOmE To tHe iNtErNaTiOnAl hUb fOr eSoTeRiC PrOgRaMmInG LaNgUaGe dEsIgN AnD DePlOyMeNt! FoR MoRe iNfOrMaTiOn, ChEcK OuT OuR WiKi: HtTp://eSoLaNgS.OrG/WiKi/mAiN_PaGe. (fOr tHe oThEr kInD Of eSoTeRiCa, TrY #eSoTeRiC On iRc.dAl.nEt.) 06:13:45 -!- TeruFSX has quit (Ping timeout: 256 seconds). 06:23:08 k. https://twitter.com/ukhomeoffice/status/352408433506533377 06:23:43 "@ukhomeoffice fyi you seem to have been hacked by the edl" 06:24:22 -!- FreeFull has quit. 06:28:34 ion: jesus 06:28:48 eeesh 06:29:06 "@ukhomeoffice you must have a harder example than finding them in the back of an Immigration Enforcement van?" 06:29:23 -!- Nisstyre has quit (Quit: Leaving). 06:29:48 they have a whole bunch of tweets like that, the brits in my feed were yelling at them this morning :/ 06:29:57 by which i mean like last night? fuck time zones 06:31:03 ask elliott, he knows british time zones 06:31:07 and by knows, I mean 06:31:10 he sleeps through them 06:31:31 help. 06:31:45 what :< 06:31:47 if you sleep through a time zone do you come out on the other side 06:31:58 imo, yes. 06:32:14 -!- Taneb has joined. 06:32:21 that explains why you're awake at seven am and have been for like twelve hours 06:32:51 it's true, I've been awake at 7 am for like twelve hours. 06:32:54 time is stuck. send help 06:33:03 help I just wrote a short blog post on how fmap for functions is (.) on my mainly fandom blog 06:33:27 at seven am 06:33:28 did you have a homestuck character explain it 06:33:32 for the past 12 hours 06:33:35 Bike, no 06:33:42 I had a sign advertising ice cream explain it 06:33:46 well there's your problem 06:33:59 And I just joined 15 channels across 2 servers to say that and nothing else 06:33:59 bye 06:34:03 people aren't going to accept caleskellisms if they're not explained by a guy with horns! 06:34:06 bye 06:34:14 -!- Taneb has quit (Client Quit). 06:35:03 so speaking of shit, are hypergeometric functions cool? signs point to hell yes 06:45:45 -!- itsy has left. 07:21:23 hi elliott, oerjan 07:21:37 wow doesn't Bike get hi 07:21:49 hi Fiora, Taneb 07:22:10 hi the chaf 07:22:27 Fiora: it's a shame you couldn't come 07:22:57 -!- zzo38 has quit (Remote host closed the connection). 07:23:09 funny, simon tatham's "single" puzzle becomes easier with larger board, because there are too many clues... 07:24:11 -!- TodPunk has quit (Read error: Connection reset by peer). 07:24:45 -!- TodPunk has joined. 07:31:47 -!- Taneb has joined. 07:34:53 Favourite low-ish quality video format for storing movies on SD cards? 07:36:00 gif 07:36:06 i was about to say flac 07:36:12 Lagarith 07:37:32 vt100 07:37:50 HAVE WE BEEN USELESS ENOUGH YET???? 07:37:56 no 07:38:29 :( 07:39:02 elliott: today was drugz day in san francisco 07:39:05 drugz everywhere 07:39:13 whats drugz day 07:39:14 I'm drugz too 07:39:15 smelled like freedom 07:43:01 mnoqy: drugz day is everyday 07:44:32 makes sense 07:45:12 mnoqy: hey, you're in california 07:45:15 how come you didn't come 07:47:09 :] 07:49:16 -!- Lymia has quit (Read error: Operation timed out). 07:49:41 -!- Lymia has joined. 07:52:39 california is pretty small 07:55:03 -!- oerjan has quit (Quit: leaving). 08:13:54 -!- Taneb has quit (Ping timeout: 268 seconds). 08:21:11 -!- Fiora_ has joined. 08:28:32 -!- mnoqy has quit (*.net *.split). 08:28:32 -!- Fiora has quit (*.net *.split). 08:40:38 !bfjoust 08:40:39 ​Use: !bfjoust . Scoreboard, programs, and a description of score calculation are at http://codu.org/eso/bfjoust/ 08:41:51 fizzie: what is the cycle limit these days? 08:43:30 The same hundred thousand, I believe. 08:43:41 thanks 08:43:46 * elliott is up to evil 08:44:18 -!- Bike has quit (Ping timeout: 245 seconds). 08:46:20 -!- Bike has joined. 09:09:06 -!- epicmonkey has joined. 09:16:00 -!- yiyus has quit (Ping timeout: 260 seconds). 09:17:36 -!- yiyus has joined. 09:18:19 -!- jconn has joined. 09:21:52 ion: #drugz 09:22:14 #especiallydrugz 09:40:40 -!- aloril_ has quit (Read error: Operation timed out). 09:54:35 -!- aloril_ has joined. 10:36:49 -!- aloril_ has quit (Ping timeout: 276 seconds). 10:40:20 #esoteric 10:40:25 help where's the bot 10:41:31 -!- fungot has joined. 10:44:47 fungot: not you, oonbotti 10:44:47 shachaf: he said i should do 10:44:48 shachaf meant the other bot, fizzie. 10:45:15 fungot: well tell him you don't do 10:45:16 shachaf: ah right. i remember it doing some weird context-based stuff with 10:45:23 fungot: with what 10:45:24 shachaf: what i mean? riastradh ( i know, but when i go there; i should go 10:46:04 fungot: yes. you should go 10:46:04 shachaf: in that case fnord mode are you using? the operational or denotational one? i can't 10:46:15 fungot can't 10:46:23 um 10:46:35 i guess fungot really can't 10:46:51 ??? 10:46:56 fungot: hi 10:47:10 fungot, more like nofungot 10:47:18 ("bcuz ur no fun") 10:49:42 Bike: did you decide yet 10:50:33 -!- aloril_ has joined. 11:31:29 -!- nooodl_ has joined. 11:42:09 -!- aloril_ has quit (*.net *.split). 11:49:21 -!- aloril_ has joined. 12:04:08 Huh, that's funny; a (Linux) box where 'cc' is not GCC. (It's the PGI compiler instead.) 12:07:56 -!- ottianna has joined. 12:08:06 `relcome ottianna 12:08:12 ​ottianna: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 12:08:32 jja 12:09:11 jja. 12:10:08 -!- ottianna has left. 12:16:18 -!- Koen_ has joined. 12:23:39 -!- nooodl_ has quit (Quit: Leaving). 12:24:49 -!- maddock has joined. 12:25:03 -!- maddock has left. 12:43:22 -!- ion has quit (*.net *.split). 12:43:23 -!- nycs has quit (*.net *.split). 12:43:23 -!- olsner has quit (*.net *.split). 12:43:23 -!- comex has quit (*.net *.split). 12:43:23 -!- Gracenotes has quit (*.net *.split). 12:43:23 -!- Vorpal has quit (*.net *.split). 12:43:23 -!- fizzie has quit (*.net *.split). 12:46:31 -!- Jafet has joined. 12:46:31 hi 12:46:43 -!- TeruFSX has joined. 12:51:41 -!- TeruFSX has quit (*.net *.split). 12:51:41 -!- Bike has quit (*.net *.split). 12:51:41 -!- Lymia has quit (*.net *.split). 12:51:42 -!- Jafet has quit (*.net *.split). 12:51:42 -!- jix_ has quit (*.net *.split). 12:51:42 -!- aloril_ has quit (*.net *.split). 12:51:42 -!- epicmonkey has quit (*.net *.split). 12:51:43 -!- hogeyui_ has quit (*.net *.split). 12:51:43 -!- heroux has quit (*.net *.split). 12:51:43 -!- TodPunk has quit (*.net *.split). 12:51:43 -!- atehwa_ has quit (*.net *.split). 12:51:43 -!- myname has quit (*.net *.split). 12:51:44 -!- augur_ has quit (*.net *.split). 12:51:44 -!- Guest13514 has quit (*.net *.split). 12:51:44 -!- sebbu2 has quit (*.net *.split). 12:51:44 -!- glogbackup has quit (*.net *.split). 12:51:44 -!- mtve has quit (*.net *.split). 12:51:44 -!- rodgort` has quit (*.net *.split). 12:51:44 -!- neena has quit (*.net *.split). 12:51:44 -!- Koen_ has quit (*.net *.split). 12:51:45 -!- ineiros_ has quit (*.net *.split). 12:51:45 -!- FireFly has quit (*.net *.split). 12:51:46 -!- iamcal___ has quit (*.net *.split). 12:51:46 -!- yiyus has quit (*.net *.split). 12:51:46 -!- Fiora_ has quit (*.net *.split). 12:51:46 -!- sivoais has quit (*.net *.split). 12:51:46 -!- Lumpio_ has quit (*.net *.split). 12:51:47 -!- copumpkin has quit (*.net *.split). 12:51:47 -!- tswett_ has quit (*.net *.split). 12:51:47 -!- elliott has quit (*.net *.split). 12:51:49 -!- nortti has quit (*.net *.split). 12:51:49 -!- HackEgo has quit (*.net *.split). 12:51:49 -!- Deewiant has quit (*.net *.split). 12:51:50 -!- lifthrasiir has quit (*.net *.split). 12:51:50 -!- ssue__ has quit (*.net *.split). 12:51:50 -!- upgrayeddd has quit (*.net *.split). 12:51:50 -!- lambdabot has quit (*.net *.split). 12:51:50 -!- Gregor has quit (*.net *.split). 12:51:50 -!- quintopia has quit (*.net *.split). 12:51:50 -!- clog has quit (*.net *.split). 12:51:51 -!- fungot has quit (*.net *.split). 12:51:51 -!- jconn has quit (*.net *.split). 12:51:51 -!- shachaf has quit (*.net *.split). 12:51:51 -!- Guest83873 has quit (*.net *.split). 12:51:51 -!- mastring has quit (*.net *.split). 12:51:52 -!- coppro has quit (*.net *.split). 12:51:52 -!- myndzi has quit (*.net *.split). 12:51:52 -!- tromp_ has quit (*.net *.split). 12:51:52 -!- SirCmpwn has quit (Max SendQ exceeded). 12:56:27 -!- fizzie has joined. 12:56:27 -!- Vorpal has joined. 12:56:27 -!- Gracenotes has joined. 12:56:27 -!- comex has joined. 12:56:27 -!- olsner has joined. 12:56:27 -!- nycs has joined. 12:56:27 -!- ion has joined. 12:56:27 -!- clog has joined. 12:56:27 -!- quintopia has joined. 12:56:27 -!- Gregor has joined. 12:56:27 -!- upgrayeddd has joined. 12:56:27 -!- ssue__ has joined. 12:56:27 -!- lifthrasiir has joined. 12:56:27 -!- nortti has joined. 12:56:27 -!- HackEgo has joined. 12:56:27 -!- Deewiant has joined. 12:56:27 -!- ?unknown? has set channel mode: +v Gregor . 12:56:59 -!- Frooxius has quit (Read error: Connection reset by peer). 12:56:59 -!- mnoqy has joined. 12:56:59 -!- TeruFSX has joined. 12:56:59 -!- Jafet has joined. 12:56:59 -!- Koen_ has joined. 12:56:59 -!- aloril_ has joined. 12:56:59 -!- fungot has joined. 12:56:59 -!- jconn has joined. 12:56:59 -!- yiyus has joined. 12:56:59 -!- epicmonkey has joined. 12:56:59 -!- Bike has joined. 12:56:59 -!- Fiora_ has joined. 12:56:59 -!- Lymia has joined. 12:56:59 -!- TodPunk has joined. 12:56:59 -!- copumpkin has joined. 12:56:59 -!- mastring has joined. 12:56:59 -!- shachaf has joined. 12:56:59 -!- Lumpio_ has joined. 12:56:59 -!- atehwa_ has joined. 12:56:59 -!- Guest83873 has joined. 12:56:59 -!- myname has joined. 12:56:59 -!- jix_ has joined. 12:56:59 -!- augur_ has joined. 12:56:59 -!- Guest13514 has joined. 12:56:59 -!- tswett_ has joined. 12:56:59 -!- sebbu2 has joined. 12:56:59 -!- ineiros_ has joined. 12:56:59 -!- hogeyui_ has joined. 12:56:59 -!- heroux has joined. 12:56:59 -!- neena has joined. 12:56:59 -!- FireFly has joined. 12:56:59 -!- tromp_ has joined. 12:56:59 -!- myndzi has joined. 12:56:59 -!- coppro has joined. 12:56:59 -!- elliott has joined. 12:56:59 -!- mtve has joined. 12:56:59 -!- iamcal___ has joined. 12:56:59 -!- rodgort` has joined. 12:57:39 -!- Frooxius has joined. 13:01:23 -!- SirCmpwn_ has joined. 13:08:47 -!- Deewiant has quit (Quit: Viivan loppu.). 13:08:57 -!- Deewiant has joined. 13:11:53 -!- quintopia has changed nick to Guest4641. 13:11:53 -!- Gregor has changed nick to Guest22624. 13:14:05 -!- SirCmpwn_ has quit (*.net *.split). 13:14:06 -!- mnoqy has quit (*.net *.split). 13:14:06 -!- aloril_ has quit (*.net *.split). 13:14:06 -!- epicmonkey has quit (*.net *.split). 13:14:06 -!- hogeyui_ has quit (*.net *.split). 13:14:06 -!- heroux has quit (*.net *.split). 13:14:17 -!- Jafet1 has joined. 13:14:56 -!- nooodl has joined. 13:14:56 -!- SirCmpwn_ has joined. 13:14:56 -!- mnoqy has joined. 13:14:56 -!- aloril_ has joined. 13:14:56 -!- epicmonkey has joined. 13:14:56 -!- hogeyui_ has joined. 13:14:56 -!- heroux has joined. 13:15:33 -!- SirCmpwn_ has quit (Max SendQ exceeded). 13:16:13 -!- mnoqy has quit (Quit: Reconnecting). 13:16:53 -!- augur_ has changed nick to augur. 13:18:02 -!- mnoqy has joined. 13:18:18 -!- TeruFSX has quit (*.net *.split). 13:18:18 -!- Bike has quit (*.net *.split). 13:18:18 -!- Lymia has quit (*.net *.split). 13:18:18 -!- Jafet has quit (*.net *.split). 13:18:19 -!- jix_ has quit (*.net *.split). 13:18:19 -!- copumpkin has quit (*.net *.split). 13:18:19 -!- tswett_ has quit (*.net *.split). 13:18:20 -!- elliott has quit (*.net *.split). 13:18:21 -!- fungot has quit (*.net *.split). 13:18:21 -!- jconn has quit (*.net *.split). 13:18:22 -!- shachaf has quit (*.net *.split). 13:18:22 -!- Guest83873 has quit (*.net *.split). 13:18:22 -!- mastring has quit (*.net *.split). 13:18:22 -!- coppro has quit (*.net *.split). 13:18:23 -!- myndzi has quit (*.net *.split). 13:18:23 -!- tromp_ has quit (*.net *.split). 13:18:37 -!- Bike has joined. 13:18:37 -!- Lymia has joined. 13:18:48 -!- fungot has joined. 13:18:48 -!- jconn has joined. 13:18:48 -!- shachaf has joined. 13:18:48 -!- Guest83873 has joined. 13:19:16 -!- FireFly has quit (Quit: WeeChat 0.4.0). 13:19:20 :-D http://heh.fi/tmp/gg-freenode.png 13:19:30 -!- coppro has joined. 13:19:30 -!- myndzi has joined. 13:19:30 -!- tromp_ has joined. 13:20:24 -!- Effilry has joined. 13:20:24 -!- SirCmpwn has joined. 13:20:35 -!- jix_ has joined. 13:21:41 -!- nycs has changed nick to `^_^v. 13:21:47 -!- Fiora_ has changed nick to Fiora. 13:26:54 -!- copumpkin has joined. 13:26:55 -!- tswett_ has joined. 13:26:55 -!- elliott has joined. 13:43:39 -!- sebbu has joined. 13:45:58 -!- sebbu2 has quit (Ping timeout: 245 seconds). 13:46:00 -!- lambdabot has joined. 13:50:52 -!- sebbu2 has joined. 13:51:00 -!- Effilry has changed nick to FireFly. 13:54:06 -!- sebbu has quit (Ping timeout: 264 seconds). 14:22:26 -!- MindlessDrone has joined. 14:25:28 Guest22624: are you kmc 14:25:33 oh you are gregor 14:25:36 -!- Taneb has joined. 14:28:30 -!- Lumpio__ has joined. 14:30:36 -!- sivoais has quit (Ping timeout: 276 seconds). 14:30:39 -!- Lumpio_ has quit (Ping timeout: 276 seconds). 14:38:43 -!- sacje has joined. 14:39:42 -!- sacje has changed nick to Guest45049. 14:51:58 -!- Guest4641 has changed nick to quintopia. 15:01:05 -!- Bike has quit (Ping timeout: 256 seconds). 15:02:04 -!- TeruFSX has joined. 15:02:40 -!- Bike has joined. 15:11:36 `welcome Guest22624 15:11:38 Guest22624: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 15:25:44 Get Girls to Talk to You http://youtu.be/if8hveMIQPM 15:29:24 -!- zzo38 has joined. 15:30:10 -!- TeruFSX2 has joined. 15:31:16 -!- TeruFSX has quit (Ping timeout: 276 seconds). 15:40:59 ion: Have you tried this advice? 15:41:13 I surely will. This advice is golden. 15:42:10 It sounds a bit work-intensive. 15:48:14 -!- scorpo has joined. 15:49:08 `relcome scorpo 15:49:11 ​scorpo: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 15:49:39 ello 15:49:47 i 15:49:59 hi 15:50:25 -!- Nisstyre-laptop has joined. 15:55:53 Are there any programming language where a variable can have multiple types where the same data is valid as all types simultaneously? (This isn't a struct, where you have different fields, or a union, where only one type is usually valid at once) 16:05:48 Could kind of fake it with Haskell 16:06:53 ion: hmmm I was half-listening to the whole thing and then suddenly "you reach in your pants and hum you pull your hum chewing-gum out and you hum put it in her mouth" 16:06:55 wtf 16:07:23 I suppose a sum type might be kind of close, or if you had subtyping that might be kind of close 16:07:34 More awesomeness from the same dude. http://youtu.be/iG_QDyHxrnQ http://youtu.be/Dkls0ciI8l0?t=1m 16:09:29 zzo38: yes, any language with universal quantification 16:09:47 you can view (forall a. ...) as the intersection of ... over all a (due to parametricity) 16:09:58 ion he's bringing another human being into this I'm scared 16:10:03 elliott: Yes, I suppose that does it, but I actually meant something else that I wasn't clear. 16:10:13 did you mean 'intersection types' 16:10:15 e.g. (forall a. a -> a) is the intersection of (() -> ()) and (Integer -> Integer) and (Maybe String -> Maybe String) and ..., which is just {id} 16:10:17 Ick I can't seem to get to my bank's website 16:10:30 Perhaps what I really meant is for the data to be valid for multiple enumerations simultaneously, rather than meaning multiple types. 16:10:58 (So I suppose it is only one type; I mean enumerations) 16:11:07 Uh... chase.com why u have mixed content? 16:12:08 probably better to ask customer support than #esoteric 16:12:13 zzo38: what do you mean by multiple enumerations? 16:12:37 pfft mnoqy hasn't ever had a bank what oes he know 16:12:40 *does 16:12:52 i have a bank!!!! i just dont use it 16:13:03 -!- scorpo has changed nick to scorpo_food. 16:13:18 -!- nooodl has quit (Ping timeout: 264 seconds). 16:14:41 scorpo: For example in C you might have: typedef enum { AAA, BBB, CCC } ABC; typedef enum { XXX, YYY } XY; and then having some variables that are for one enumeration only, but some where the same data means both enumerations at once (so CCC won't do). 16:21:53 Oh, is Guest13514 Gregor? 16:21:58 Guest13514, note other channel 16:22:27 Guest13514 is variable 16:24:27 -!- ChanServ has set channel mode: +v Guest13514. 16:24:30 -!- ChanServ has set channel mode: +v Guest45049. 16:24:33 -!- ChanServ has set channel mode: +v Guest83873. 16:24:40 they're coming 16:25:41 I meant Guest22624 16:28:32 “and she is pretty hot, might I add” “and she was my cousin” “I’m just getting luckier and luckier with girls every day.” 16:30:45 * tswett_ chooses Gregor's hat. 16:33:42 ion: in that second video is that really the same guy? in the other videos he looked more oriental somehow 16:35:07 The first video is two years later than the cousin one. 16:44:03 -!- tswett_ has changed nick to tswett. 16:58:50 help I just ordered an incredibly expensive laptop 16:59:13 Is it any good? 16:59:15 -!- Guest83873 has changed nick to kmc. 17:00:21 I hope so 17:00:41 Apparently trackpad isn't great, and it's a bit heavy, but other than that it's regarded well I think 17:01:28 -!- FreeFull has joined. 17:01:39 Oh and no touchscreen even though Windows 8 17:03:06 -!- epicmonkey has quit (Ping timeout: 264 seconds). 17:03:12 I have once set up someone's new laptop computer, having Windows 8, I don't think it had a touchscreen either. But, it isn't needed; you can use a mouse, and the keyboard; most of the keyboard commands are the same as the older versions of Windows, and cmd.exe still works too, so it shouldn't be too much trouble to use, due to that. 17:03:32 (In fact that was the only reason I was able to figure it out) 17:04:42 Sgeo_: which one? 17:04:49 Lenovo IdeaPad Y500 17:04:51 -!- TeruFSX2 has quit (Ping timeout: 268 seconds). 17:05:25 Also paid for some warranty stuff on it >.> 17:05:31 And a backpack 17:10:28 -!- matthiaskrgr has joined. 17:12:05 what is this channel about? 17:12:14 yes 17:12:20 `welcome matthiaskrgr 17:12:22 matthiaskrgr: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:13:07 ah, so coding 17:13:15 `commands 17:13:16 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: commands: not found 17:13:19 it's not a very on-topic channel 17:13:22 lol 17:13:38 `help 17:13:38 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 17:13:39 there are 3 inhabitants of (∀a. a -> a) in Haskell right? 17:13:57 id, bottom, const bottom? 17:13:58 ⊥, const ⊥, and id 17:14:01 yup 17:14:34 does the HackEgo bot run shell commands? 17:14:40 yes 17:14:44 `uname -a 17:14:45 kmc: and unsafeCoerce "hello" 17:14:46 Linux umlbox 3.7.0-umlbox #1 Wed Feb 13 23:30:40 UTC 2013 x86_64 GNU/Linux 17:14:53 I wonder if exit works :P 17:15:06 `pwd 17:15:07 ​/hackenv 17:15:11 it actually boots up a new virtualized Linux system for each command 17:15:18 and then merges the filesystem changes using mercurial 17:15:19 really 17:15:21 o.o 17:15:29 so exit is save? :> 17:15:37 it's a no-op 17:16:09 `help 17:16:10 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: help: not found 17:16:18 err 17:16:26 `welcome matthiaskrgr 17:16:27 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: welcome: not found 17:16:32 hehe 17:16:53 `relcome matthiaskrgr 17:16:55 ​matthiaskrgr: Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: http://esolangs.org/wiki/Main_Page. (For the other kind of esoterica, try #esoteric on irc.dal.net.) 17:17:08 `paste bin/relcome 17:17:10 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/relcome 17:17:17 `paste bin/rainbow 17:17:19 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/bin/rainbow 17:17:20 :D 17:18:14 Is unsafeCoerce :: a -> a guaranteed to be id? 17:18:27 `echo 1 > file ; cat file 17:18:28 1 > file ; cat file 17:18:57 `1 > file ; cat file 17:18:58 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: 1: not found 17:19:05 Sgeo_: GHC does make such a guarantee, yes 17:19:19 it also guarantees that you can coerce between a newtype and the underlying type 17:19:28 and from any type to Any and back 17:19:42 and maybe other things 17:20:39 λ> unsafeCoerce (unsafeCoerce (succ :: Integer -> Integer) :: String -> String) (unsafeCoerce (42 :: Integer) :: String) :: Integer 17:20:41 43 17:21:57 I think I may have overspent 17:22:09 almost 1.5k 17:22:26 you have a job 17:22:27 you need a laptop 17:22:47 Yeah, but it doesn't need to be such an expensive laptop unless I want it for home too 17:23:55 shrug 17:24:01 Also, maybe I could have hoped that the reason the computers currently at my cubicle are so slow is just lack of memory, and bought some memory for them 17:29:45 My order was voided 17:29:46 wtf 17:30:37 matthiaskrgr: use `run if you want shell 17:31:14 `run echo 1 > file ; cat file 17:31:18 1 17:31:36 `rm file 17:31:40 No output. 17:33:15 -!- scorpo_food has quit (Ping timeout: 250 seconds). 17:34:55 -!- Phantom_Hoover has joined. 17:51:37 May have typoed my street name 18:13:46 -!- Nisstyre-laptop has changed nick to Nisstyre. 18:21:02 -!- nooodl has joined. 18:25:21 -!- Bike has quit (Ping timeout: 264 seconds). 18:27:13 -!- Bike has joined. 18:29:00 -!- Nisstyre has quit (Quit: Leaving). 18:37:10 -!- Bike has quit (Ping timeout: 276 seconds). 18:38:34 -!- Bike has joined. 18:42:52 I am still not used to Feedly 18:46:01 Sgeo_, I'm using bazqux 18:46:45 It's quite nice 18:46:53 But also not free which is a bad thing 18:48:12 It pretty much convinced me to start paying for web software (even though I am still on the free trial) 18:48:16 I actually prefer it to Google Reader 18:50:28 The SMBC feed doesn't work sensibly for me in Feedly 18:55:25 Also screwed up the TDWTF feed 18:55:31 The CodeSOD ones 18:55:48 What other countries is the British ringback tone used in? Is it used in Germany? 18:59:48 -!- mnoqy has quit (Quit: hello). 19:07:04 Graham Nelson's Z-machine standards document has many errors in it. Infocom's document also has many errors in it. Therefore, I have to use both. 19:07:11 Doesn't seem so, based on http://en.wikipedia.org/wiki/Ringback_tone#Ringback_tone_characteristics 19:09:46 O, then I wonder what happened. I called someone cellular phone, I believe they are in Germany, but I got the British tone. Is this due to non-direct flights? 19:11:18 dammit, Sgeo_ 19:11:22 I'm reading SMBC again 19:14:30 Be sure not to forget about voteys 19:14:42 If this is the first time you're learning of voteys, have fun 19:15:52 Oh, I know about voteys 19:23:36 -!- conehead has joined. 19:36:45 -!- mnoqy has joined. 19:42:44 -!- KingOfKarlsruhe has joined. 19:44:06 I shall entomb him in guilded halls 19:44:36 awww, the dead weaver was a mother of a small baby 19:52:43 -!- sebbu has joined. 19:54:02 -!- epicmonkey has joined. 19:55:45 -!- sebbu2 has quit (Ping timeout: 256 seconds). 20:15:51 -!- shachaf has quit (Changing host). 20:15:51 -!- shachaf has joined. 20:20:12 The Great Gatsby VFX http://vimeo.com/68451324 20:28:46 -!- MindlessDrone has quit (Quit: MindlessDrone). 20:32:59 -!- Zerker has joined. 20:35:45 -!- Frooxius has quit (Ping timeout: 268 seconds). 20:46:33 -!- mnoqy has quit (Quit: hello). 20:46:51 -!- epicmonkey has quit (Ping timeout: 268 seconds). 20:52:37 -!- Zerker has quit (Quit: Colloquy for iPad - Timeout (10 minutes)). 20:53:47 -!- Frooxius has joined. 20:55:57 -!- Taneb has quit (Quit: Leaving). 21:12:38 -!- Zerker has joined. 21:22:28 -!- esowiki has joined. 21:22:32 -!- esowiki has joined. 21:22:32 -!- esowiki has joined. 21:23:20 -!- esowiki has joined. 21:23:24 -!- esowiki has joined. 21:23:24 -!- esowiki has joined. 21:24:19 -!- esowiki has joined. 21:24:20 -!- glogbot has joined. 21:24:23 -!- esowiki has joined. 21:24:23 -!- esowiki has joined. 21:28:26 -!- oerjan has joined. 21:31:11 -!- KingOfKarlsruhe has quit (Quit: ChatZilla 0.9.90 [Firefox 22.0/20130618035212]). 21:35:13 -!- Zerker has quit (Remote host closed the connection). 21:35:39 -!- Zerker has joined. 21:38:30 -!- conehead has quit (Quit: Textual IRC Client: www.textualapp.com). 21:38:49 -!- conehead has joined. 21:40:03 -!- Zerker has quit (Remote host closed the connection). 21:40:30 -!- Zerker has joined. 21:42:04 -!- Zerker has quit (Remote host closed the connection). 21:42:34 -!- Zerker has joined. 21:45:11 @messages? 21:45:11 Sorry, no messages today. 21:45:25 -!- Zerker has quit (Read error: Connection reset by peer). 21:46:02 @messages 21:46:02 You don't have any messages 21:46:14 @tell oerjan You don't have any messages 21:46:14 Consider it noted. 21:46:45 hi oerjan 21:46:55 hi shachaf 21:46:59 hoerjan 21:47:05 help 21:47:32 -!- Zerker has joined. 21:47:56 @tell elliott i think i'd like a command that works like /msg lambdabot @messages, except that it says _nothing_ in private or elsewhere if there are no messages. 21:47:56 Consider it noted. 21:48:39 -!- Zerker has quit (Remote host closed the connection). 21:48:57 @tell elliott that way i think i can get them automatically in a window when i join, but without showing activity if there are none 21:48:57 Consider it noted. 21:49:14 @list messages 21:49:14 tell provides: tell ask messages messages-loud messages? clear-messages 21:49:15 -!- Zerker has joined. 21:49:54 oerjan: The current behavior is that if you have any messages, lambdabot will /msg you about it as soon as you say anything at all. 21:50:03 well yes 21:50:05 So just saying anything has this behavior. 21:50:16 well, hm... 21:50:34 -!- Zerker has quit (Remote host closed the connection). 21:50:37 i guess. except for the part where i have to say @messages in the query window too. 21:50:46 Well, yes, I suppose. 21:50:51 But that's only if you have messages. 21:51:11 hm, let me adjust my settings... 21:52:29 -!- oerjan has quit (Quit: Testing). 21:52:40 -!- oerjan has joined. 21:53:44 oh fuck, why the hell does irssi show activity on just "Starting query in freenode with lambdabot"... 21:54:03 You can change irssi's act settings 21:54:34 I have no idea if this is some kind of troll or a person who really feels like that, or how to deal with it http://www.reddit.com/r/self/comments/1hpp4c/it_seems_inevitable_that_i_will_kill/ 21:55:44 FreeFull: i'm sure you can, but irssi's help menus suck my lifeforce out of me when trying to figure things out 21:56:30 Then use a different documentation of irssi or a different program? 21:56:37 oerjan: I have done it 21:57:29 oerjan: You probably want /set activity_hide_level something 21:58:14 yes. imagine if irssi actually had builtin _help_ on the set options. 21:59:20 ?messages-loud 21:59:20 kmc asked 1d 12h 55m 56s ago: Are there TeX macros for typesetting Magic: the Gathering cards? 22:00:01 kmc: No, but I would make up a way to type spoilers of cards using it, if we could have the necessary font. 22:01:48 -!- ChanServ has set channel mode: -v Guest13514. 22:01:49 -!- Guest13514 has changed nick to variable. 22:02:58 even the _online_ documentation for activity_hide_level doesn't link to what the levels _are_... 22:03:16 maybe they are integers 22:03:23 which means i'm already two levels of yak shaving beyond my comfort zone. 22:03:59 and about one level from full rage. 22:04:28 * oerjan is not easy to please. 22:07:57 dammit i did the mistake of blathering before opening the logs again. they changed IE so that when i search for my nick, you can _only_ go one step forwards or backwards in the list of searches, so it is horrible to get to anywhere not near the beginning or end. 22:09:20 and of course no one actually mentioned my nick in the period i'm trying to search XD 22:10:24 it's like, when using IE 8 i had so many tiny convenience habits dependent on _precisely_ how it worked, and they've managed to remove a _dozen_ of them... 22:11:08 like, i actually used the address bar dropdown menu as a queue of which of my usual sites i'd remembered to visit recently :P 22:12:00 which depended on the exact rules for _what_ IE puts there and not, the fact that it's a long list and that it's organized in a queue fashion by last visit. 22:14:57 and then current IE has shortened the list to just 5 elements (you can see a 6th if you explicitly delete one of the visible ones), and no way to prevent an address you write from being added (admittedly the last part was really hacky even with IE 8) 22:15:44 Can those settings be changed? 22:15:49 and don't get me started on how the address line autocomplete works 22:15:56 zzo38: i have no idea. 22:16:26 Did you look in the registry setting? 22:16:30 also, i have no particular reason to believe any _other_ browser would care about doing things the ways it works. 22:17:22 zzo38: that would be essentially the equivalent of reading irssi's /set listing, except _worse_, no? so see above about yak shaving and rage. 22:18:03 Then modify some other one to do how you want. Often they have these things that some people like but is hardly ever had. For example, one feature I happen to like is a relative location bar, and I have not seen that anywhere. 22:18:08 (if i can even _find_ the registry. not that i've tried.) 22:19:52 zzo38: the problem is not really technical, but mental. 22:19:56 But, I don't know if anyone else would prefer a relative location bar, anyways. Do you know? 22:20:12 oerjan: O, yes, it always is mental, too. 22:20:19 This causes a lot of problems. 22:25:44 heh another problem which english speakers may not appreciate: when your OS is heavily nationalized, it's sometimes impossible to figure out the right english words for when you _do_ try to google problem-solving fora. 22:27:16 like, i know no:"fane" = en:"tab" because i've seen tabs discussed often enough on the internet, but this doesn't work for terms i've only seen in the nationalized programs/help on my own computer... 22:28:02 some things you can guess, like kontrolpanel -> control panel, but others are harder. 22:28:50 of course microsoft _do_ have nationalized online help pages, but they naturally don't go into the depth needed. 22:30:01 hmm, is that fane as in the kind of flag? 22:30:15 olsner: yeah probably 22:30:39 i guess it's a weird term to choose, but i'm not sure there's a better one. 22:31:04 just transliterating the word "tab" would probably be better 22:31:06 does "tab" mean anything? 22:31:40 I think those divider things you have in binders are called tabs 22:31:55 hm i suppose. what are those in norwegian i wonder. 22:32:07 sv:flik 22:32:11 skilleark is the term that pops up 22:32:23 (in my mind) 22:33:13 tab: A small flap or strip of material attached to something, for holding, manipulation, identification, etc. 22:35:04 bah wiktionary lists only swedish, not norwegian :/ 22:36:32 wikipedia's tab disambiguation page doesn't seem to _list_ the binder meaning. although heaps of others. 22:43:00 -!- ggherdov has quit (Write error: Broken pipe). 22:43:00 -!- iamcal___ has quit (Remote host closed the connection). 22:43:00 -!- upgrayeddd has quit (Remote host closed the connection). 22:43:00 -!- ssue__ has quit (Remote host closed the connection). 22:43:26 "välilehti", lit. something like "between-leaf", from the binder meaning, is the official Finnish term for tab. 22:47:55 btw Gracenotes, shachaf it was fun hanging out with you yesterday 22:48:10 my theory is they chose "fane" because norwegian doesn't actually _have_ a word for the archive meaning. 22:49:36 Hanging out? With #eoteric people? Is that even legal! 22:49:54 of course it's not legal, but so weren't the drugs 22:50:41 or wait, i started looking at some sites selling the actual physical ones... 22:50:42 Wait, Gracenotes is in #esoteric? I've never noticed that.. 22:51:06 i am being forced to conclude "fane" _is_ the technical term for them. 22:53:24 oerjan: Maybe they've been renamed to that, after they chose it for the UI-y meaning. 22:55:49 that's disturbingly plausible. 22:59:21 new game: writing C++ functions such that the mangled names spell amusing things 22:59:48 example plz 23:01:48 i wonder, way back in time, whether there were computers that tried hard to _keep_ a tcp connection open even if your network connection drops dead for half a second. seems like something you'd want to build into the protocol, really. 23:03:58 (inb4 linux does hth) 23:04:24 My computer didn't have any trouble keeping TCP connections (to IRC servers) open over a dozen-or-so-seconds PPP hangup+redial+negotiation cycle, way back when I had to do that once every 30 minutes for pricing-related reasons. 23:04:56 thought so. 23:07:01 (The phone company used to have a flat per-call fee for calls on weekends, and 17-05 on weekdays; then when the Internet started happening, they changed it so that the per-call fee covered only the first 30 minutes, and after that there was a per-minute fee, that was significantly higher than 1/30th of the per-call fee.) 23:08:10 that was one of the most annoying things with mac when I had one, every tcp connection is force-closed immediately when your network cable pops out 23:08:38 ... and the ethernet port was recessed so that the clip to hold the cable didn't work 23:09:37 anyway, what usually keeps TCP connections open in situations like that is just TCP itself doing its thing 23:11:11 I think I did have to do the hangup in some other way than "kill and restart pppd", because I have a feeling bringing the interface down would in fact have killed connections. 23:12:03 sounds reasonable 23:20:54 That makes me wonder if NetworkManager is silly enough to spork off everything if the cable pops off. ("Normally" that wouldn't affect the configuration at all, but I know it keeps sniffing at link status.) 23:23:17 to be fair, there could be an issue if you're on a trusted network, get reconnected to an untrusted one and restart sending data right away 23:34:20 hm the outside ip of my machine doesn't change with disconnection, at least. 23:43:34 Ooh, linear logic apparently lets you handle arrays efficiently in a functional language. 23:44:17 It does? What is the way it does? 23:44:21 Have a function of type Array that lets you create an array, and functions that let you copy and delete arrays. 23:44:47 Then for setting, you can have a function of type (Array * index * value) -o Array, and for getting, you can have a function of type (Array * index) -o (Array, value). 23:45:16 I guess you could do exactly the same thing in Haskell. 23:45:38 But with this, the compiler knows that Arrays won't be copied or deleted except by using the "copy" and "delete" functions. 23:47:03 What is the comma going to do? It doesn't seem to be one of the operators of linear logic. 23:47:19 Whoops, that was supposed to be an asterisk. 23:47:28 OK 23:47:48 Denoting multiplicative conjunction ("you have both things"). 23:48:12 (There isn't an asterisk in linear logic either, but I see, you mean the "times" symbol (multiplication conjunction, like you waid).) 23:52:01 If this is the first time you're learning of voteys, have fun <-- argh what are voteys 23:52:06 kmc: Yep, was fun! 23:53:05 oerjan, the big red button things 23:53:17 oh. whew, i knew that. 23:53:29 wtf are they called voteys 23:53:40 http://en.wikipedia.org/wiki/Mentometer ? 23:53:53 oerjan: they used to only be shown to people who voted for the comic 23:53:58 hth 23:54:01 aha 23:58:20 tat 23:59:43 thanks, T.S.W. Ett