00:08:40 -!- ^v has joined. 00:13:25 Vorpal: what platform is it for 00:17:54 quintopia, PC, Xbox360 and also maybe PS3 I think? 00:17:58 I played it on PC 00:18:02 that is Windows btw 00:18:06 Not Linux alas 00:18:21 Vorpal: well that's too bad. let me know when it gets ported to android :D 00:18:35 quintopia, also you *really* need a game pad to play it, since you control one character with each analog stick 00:19:39 Vorpal: why can't i just use each half of a portrait-mode touchscreen? 00:20:03 quintopia, well it isn't on a touch screen device 00:20:20 Vorpal: you see my quandary 00:20:22 Anyway I found touch screen game pad controls pretty terrible compared to the real deal 00:20:53 Vorpal: they can be. but they can be good too. for instance, survivalcraft on android 00:20:57 I generally use my PS3 controller with my Nexus 10 tablet when playing that type of android game 00:21:05 Works pretty well, but requires root 00:21:33 There is a really good app for PS3 controllers 00:23:03 -!- nucular has joined. 00:26:43 -!- oerjan has quit (Quit: leaving). 00:33:04 And I just bought the sound track for it as well. 00:33:09 Good night 00:38:09 -!- augur_ has quit (Ping timeout: 272 seconds). 00:38:19 -!- augur has joined. 00:39:45 -!- augur has quit (Read error: Connection reset by peer). 00:40:04 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 00:40:22 -!- augur has joined. 00:41:26 -!- augur_ has joined. 00:43:10 -!- Sprocklem has joined. 00:45:45 -!- augur has quit (Ping timeout: 272 seconds). 00:47:11 -!- augur_ has quit (Ping timeout: 265 seconds). 00:49:17 -!- olsner has quit (Quit: Leaving). 00:51:46 -!- nisstyre has joined. 00:57:48 -!- augur has joined. 01:01:35 -!- conehead has joined. 01:16:16 -!- carado has quit (Ping timeout: 246 seconds). 01:21:03 -!- carado has joined. 01:39:57 -!- yorick has quit (Remote host closed the connection). 01:50:40 "system default timezone" is a pretty weird concept in this age of clouds 01:51:55 the only clock typically visible on my laptop is from an irssi session running on a VM on a physical machine located in I think Virginia, but I have that VM set to America/Los_Angeles because that's where I live 01:51:57 utc-12, obviously, since nobody uses it 01:52:06 but I don't update it when traveling, even though I do update my laptop's local tz 01:53:34 kmc: all of the above applies to me as well, except i set my vps to east coast US 01:59:12 in this thread: Indiana has 11 IANA time zones 02:00:03 i like to think indiana has a graveyard of discarded clocks. 02:00:20 http://imgur.com/r/MapPorn/BPeLK is a kind of time zone map I was looking for the other day: deviation between legal time and mean solar time 02:00:23 lolchina 02:00:46 i'm glad nobody in the west actually uses utc+8 because that seems like it'd be a serious pain 02:01:53 solar noon in Kashgar is around 3 PM 02:02:04 Bike: what do they use? 02:02:20 also Russia uses Moscow time everywhere for some things, like train timetables but not airplanes? 02:02:42 i think they just use utc+5 02:02:45 unofficially, of course 02:03:27 I guess there is no DST so that's good enough 02:04:40 Reddit's habit of labeling any image subreddit as "porn" is somewhat distasteful. 02:04:41 let's abolish time zones and use an arbitrary chosen Biel mean time with a fancy commercial-at mark! 02:08:24 I just took screenshots of a place that doesn't exist anymore 02:08:53 http://imgur.com/a/ddbUy 02:09:03 Sardinia? 02:09:19 I don't think this is Sardinia. 02:09:27 wow this map of spectator sport popularity is edifying 02:09:51 like, who would have guessed that basketball be most popular in estonia and lithuania, while latvia prefers hockey? 02:09:58 sgeo autonomous oblast 02:10:33 I hear 3 on 3 half-court basketball is suuuuuper popular in East Asia 02:10:57 oh man i remember worlds.com 02:10:59 it sucked 02:11:01 sgeo took a screenshot of the pale of settlement. tragic stuff. 02:11:17 -!- Sprocklem has quit (Ping timeout: 265 seconds). 02:11:31 kmc: the most popular spectator sport in mongolia: wrestling. mongolians are true men! :D 02:11:37 heh 02:12:29 I like how that's essentially a map of how stupid a time zone is. 02:17:41 apparently thailand is the only country where the most popular sport is volleyball 02:17:51 what does that say about the thai 02:18:11 i think it says they have warm weather and nice beaches EVERYWHERE 02:21:22 -!- carado has quit (Ping timeout: 246 seconds). 02:22:19 -!- carado has joined. 02:27:28 brb going to thailand 02:28:02 where's the sports-map? 02:29:23 -!- sebbu2 has joined. 02:29:49 -!- sebbu has quit (Ping timeout: 252 seconds). 02:30:02 -!- sebbu2 has quit (Changing host). 02:30:02 -!- sebbu2 has joined. 02:30:42 -!- huihuih8 has joined. 02:34:01 -!- huihuih8 has left ("(Byrd IRC Client // haxed.net)"). 02:34:45 Sardinia? 02:34:50 what happened to sardinia 02:35:02 the kingdom. 02:44:53 -!- Phantom__Hoover has quit (Read error: Connection reset by peer). 02:48:50 -!- Slereah has quit (Ping timeout: 264 seconds). 02:53:09 I should totally build a BytePusher VM 02:55:12 * Sgeo misread that as buy 03:57:19 -!- Sorella has quit (Remote host closed the connection). 04:16:34 -!- conehead has quit (Quit: Computer has gone to sleep.). 04:28:19 -!- Bike has quit (Ping timeout: 272 seconds). 04:29:23 -!- zzo38 has joined. 04:29:53 -!- Bike has joined. 04:37:25 MMIX instruction set has a "SWYM" instruction, which from what I can tell may be like a NOP instruction. 04:39:23 * kmc looks 04:39:32 "sympathize with your machinery" nice 04:44:33 -!- mauke has quit (Disconnected by services). 04:44:43 -!- mauke has joined. 04:46:32 -!- preflex_ has joined. 04:46:57 -!- preflex has quit (Ping timeout: 252 seconds). 04:47:12 -!- ^v has joined. 04:47:16 -!- preflex_ has changed nick to preflex. 04:49:26 http://www.reddit.com/r/askphilosophy/comments/1tzbut/i_have_made_the_three_laws_of_logic_for_humans/ 04:53:05 Is it necessary to have both LDO and LDOU instructions? It is supposed to be LDO for signed and LDOU for unsigned, but it loads into a 64-bit register there would be no bits to be signed extended anyways. There is no condition register either like in other instruction sets. 04:53:57 might just be for consistency with loads of other sizes 04:56:50 Yes, although maybe it should just reserve it in case you need to customize the instruction set 04:57:29 (I don't know what GCC uses, but presumaly the assembler could be modified to work with customized instruction sets) 04:58:20 does gcc just call out to gas 04:58:28 It does. 04:58:29 yes 04:58:45 I want to watch/read a let's play. any recommendations? 04:58:46 ok, good. my experience with inbuilt assemblers is doubleplusungood 04:58:56 coppro: scotsman in egypt 04:59:04 and that one brain age tas 04:59:09 although it calls gas with some flags that mean "don't bother checking this too hard because this code is totally legit" 04:59:24 Also, the inline assembly syntax is quite ignorant of the actual assembly code. 04:59:41 brain age tas is pretty awesome, but it's a) kind of old and b) not a tas 04:59:46 alternatively, I could play metroid ii 04:59:48 let's do that 05:00:03 The constraints are all that GCC actually knows about; the assembly itself is taken as just an opaque stringe. 05:00:07 *string 05:00:25 coppro: Watch the let's play game of Super ASCII MZX Town. 05:00:33 it's always kind of funny/sad to see the \ns 05:00:42 (Maybe you need a knife) 05:01:27 i like it when the "inline assembler" is entirely assembler directives with no instructions 05:01:52 -!- nucular has quit (Read error: Connection reset by peer). 05:02:35 -!- nucular has joined. 05:02:35 -!- nucular has quit (Changing host). 05:02:35 -!- nucular has joined. 05:02:36 that... happens? 05:03:07 yes 05:03:33 eg http://mainisusuallyafunction.blogspot.com/2012/01/embedding-gdb-breakpoints-in-c-source.html 05:03:46 i should have known it was you, you anarchist 05:03:56 Ⓐ 05:04:20 ('A') 05:04:28 is that a cat 05:04:56 sorta. 05:05:54 zzo38: do you like the ideas of Chess 2: The Sequel 05:06:15 -!- ^v has quit (Quit: http://i.imgur.com/MHuW96t.gif). 05:06:17 Bike: you can also use inline asm at the top level of a file: https://gist.github.com/kmcallister/8178050 05:07:01 D: 05:09:06 oh i don't need that "extern" 05:09:41 https://git.kernel.org/cgit/linux/kernel/git/torvalds/linux.git/tree/arch/x86/boot/code16gcc.h Or, more usefully. 05:10:08 nice 05:10:46 http://livegrep.com/search/linux?q=%5Easm%5C( 05:13:29 It's a little more impressive if you know exactly what that's *for* in this case. 05:13:56 That tells gas that the code will be executed in real mode, so it should spew out the 32-bit operand prefixes for everything. 05:16:52 and the assembly gcc outputs is correct in real mode without gcc doing anything special? 05:18:43 Barely. 05:20:30 quintopia: Not really all that much. It is OK, but there are a lot of better chess variants too 05:20:52 zzo38: which ones do you think are better and why? 05:21:00 Basically, all the 32-bit opcodes are still there in 16-bit modes on x86, they're just spelled differently. 05:21:36 anyone got any book recommendations? like, fiction. novels and short story collections. 05:22:05 Bike: parahumans.wordpress.com, Anathem, Good Omens 05:22:32 Though you're running in a 16-bit flat address space when doing this, unless you hit unreal mode. 05:22:44 quintopia: The dueling rule is an interesting idea, though. 05:22:56 zzo38: it seemed like your kind of rule 05:23:08 Needless to say, it's a fragile hack. 05:23:31 are there any esolangs where a program is a sound file? i see it mentioned on http://esolangs.org/wiki/List_of_ideas 05:23:56 there's at least one that uses midi. 05:23:57 The game is not bad, though. 05:24:04 fugue, i think 05:24:14 i found http://esolangs.org/wiki/Fugue through that, which is a really cool idea 05:24:26 and I like the suggestion 'Combine the ideas behind Choon and Fugue into a single language where the programs are music and the output is music, then compose a piece called "Eine kleine Quinemusik".' 05:24:53 probably the best brainfuck derivative 05:25:40 Snowflake is my current favourite esolang 05:25:49 BytePusher is cool to 05:26:46 you could split a sound file into blocks of time and compute a spectrum for each one and map those to Brainfuck commands, for example, but I wonder if there's something more interesting you could do with the spectra 05:27:13 I don't know if the midline rule is good as is, though. Maybe it should be farther across the board? 05:27:32 perhaps the state of the virtual machine is itself such a spectrum and it combines with the spectrum at each time step in a nonlinear way 05:27:52 modulation, one might say 05:27:56 that makes it vaguely quantum-y 05:31:50 brb building a computer out of guitar pedals and tape loop delay boxes 05:32:26 well that's like puredata. just not sound itself. 05:33:04 -!- tromp_ has quit (Remote host closed the connection). 05:33:04 -!- Slereah has joined. 05:33:41 -!- tromp_ has joined. 05:37:55 -!- tromp_ has quit (Ping timeout: 252 seconds). 05:51:08 -!- Sprocklem has joined. 05:58:13 -!- nucular has quit (Read error: Connection reset by peer). 05:58:23 -!- nucular has joined. 06:12:07 -!- Edwardz has joined. 06:12:37 If you have a general idea for a language, how do you check to make sure one similar doesn't exist? 06:21:53 explaining it in here might work 06:22:52 -!- carado has quit (Ping timeout: 246 seconds). 06:33:40 -!- nucular has quit (Quit: Sleeping). 06:55:38 -!- Edwardz has quit (Quit: Page closed). 07:12:08 -!- nooodl has quit (Quit: Ik ga weg). 07:19:47 -!- nisstyre has quit (Quit: Leaving). 07:30:14 -!- Sprocklem has quit (Ping timeout: 264 seconds). 08:27:45 -!- CADD_ has joined. 08:27:46 -!- CADD_ has quit (Client Quit). 08:45:40 -!- zzo38 has quit (Remote host closed the connection). 08:56:52 There's no need to check that :) 08:57:05 Otherwise there wouldn't be soooo freaking many brainfuck derivatives 08:57:44 anyone here familiar with http://www.idris-lang.org/ ? 09:02:14 Are you sure that's not haskell with a different name? 09:02:27 no 09:02:35 but given that it has dependent types 09:02:38 it is probably not haskell 09:03:14 that's just a hunch 09:03:33 I can't see any syntax differences except that :: is : 09:03:35 and : is :: 09:04:15 but yeah. It's not haskell 09:11:11 mroman: see agda 09:25:38 -!- oerjan has joined. 09:37:06 -!- Jafet has joined. 09:40:21 -!- AnotherTest has joined. 09:45:22 -!- MindlessDrone has joined. 09:47:05 Today's Gunnerkrigg Court is cute 10:00:55 -!- Jafet has quit (Quit: Quit). 10:01:06 -!- Jafet has joined. 10:01:10 -!- Jafet has left. 10:08:03 Yeah.... I don't even know what dependent types are 10:09:02 mroman: when the type of something can depend on values 10:09:05 other than the lamens description of it 10:09:11 that it depends on an input value, yes 10:09:28 yeah 10:09:30 *laymen's 10:09:54 there are a few things that make them interesting from a language design perspective 10:09:57 which would suggest that the type is only known at runtime... 10:10:01 no 10:10:23 well, the final type is not known until runtime 10:10:40 unless you do various analyses at compile time 10:10:40 Given that the type is String if its input is True otherwise its a Float 10:10:50 but in practice, you have to make these analyses 10:10:59 then typeof(foo (isSomeCrazyTheoryTrue)) is going to be difficult to tell at compile time 10:11:07 because dependent types are undecideable in general 10:11:40 yes 10:11:47 that's what makes them interesting from a language design standpoint 10:13:01 so 10:13:09 languages with dynamic types 10:13:21 there is no *real* difference to dependent types? 10:13:37 well 10:13:47 unless you don't account for that they may depend on hidden state 10:14:12 but esentially dynamic types all depend on some value 10:18:01 technically most dynamically typed languages have dependent types 10:18:16 but that's so very different from statically-checked dependent types 10:18:33 when you hear "dependently-typed language" it almost exclusively means staticallly checked 10:21:06 which suggests that they are not turing complete 10:21:57 which doesn't really matter for what they are being used for apparentely 10:22:40 they are undecideable 10:23:44 because there is at least one program that can't be typechecked 10:23:58 if you like to gloss over a bunch of important definitions and details, they're turing complete 10:31:32 Now I'm just angry because my school has absolutely nothing on that topic to teach 10:32:14 "Introduction to proof assistants" would be an very interesting course 10:32:59 it's a fairly specialized field 10:36:30 in the it department in turku, you don't learn what a turing machine is and probably you don't learn what first-class functions are either 10:36:32 mroman: turing completeness doesn't require every program in your language to be typechecked. it just requires it to be enough programs that can be, to emulate any turing machine. 10:37:31 (mainly because the math department teaches that stuff probably, but still it's really sad) 10:37:53 and luckily you can already do that without the dependent types 10:38:30 see: C++ 10:41:56 you don't learn what first-class functions are here neither 10:42:09 you don't even learn about functional programming languages 10:42:24 however 10:42:53 what they do is make a 1500 slides long presentation about the .NET framework and then test that ;) 10:44:23 there's a course called declarative programming where you learn some scheme-like language (like 100 ways to print fibonacci type of stuff) 10:44:54 but almost no one takes that because you just read the book and take the exam 10:45:46 and a couple of other decent courses, but most are 1500 slides about java 10:46:39 there was one course about "ui techniques" where the lecturer basically went over the swing or whatever that one java library is called 10:46:44 erm 10:46:52 meant to say went over the swing documentation 10:46:59 yeah 10:47:01 like all of it (or at least enough to fill the course) 10:47:02 I hate those courses 10:47:30 I don't pay them money to treat me like I'm stupid and can't read a library documentation 10:47:55 he kept saying things like "of course the details of how java does this don't matter so much, only the general idea" 10:47:57 and I don't pay them money to force me to memorize a library documentation 10:48:05 mroman, my uni has a correctness by construction module but that's about as close as it gets 10:48:10 but they do it anyway. 10:48:10 THEN WHY DID YOU GO OVER _ALL_ THE DETAILS? 10:48:19 And that's in the third year 10:48:41 (to proof assistants) 10:48:59 (functional programming is... slightly more common, one of my lecturers was an author of the Haskell report) 10:49:08 i thought you meant that's as close as it gets to reading java documentation. 10:49:18 "otherwise we do decent stuff" 10:50:07 oklopol, I am not very good at logreading, I got chronologically displaced 10:50:13 `unidecode Ⓐ 10:50:18 ​[U+24B6 CIRCLED LATIN CAPITAL LETTER A] 10:50:27 `unidecode ö 10:50:29 ​[U+00F6 LATIN SMALL LETTER O WITH DIAERESIS] 10:50:52 diaeresis sounds painful 10:51:15 `unidecode 뷁 10:51:17 ​[U+BDC1 HANGUL SYLLABLE BWELG] 10:51:45 `unidecode 長 10:51:46 ​[U+9577 CJK UNIFIED IDEOGRAPH-9577] 10:51:56 which is superficially similar to 튽 10:52:38 `unidecode 튽 10:52:39 ​[U+D2BD HANGUL SYLLABLE TEUNJ] 10:53:21 is it pronounced teunj 10:53:36 튽arine 10:56:24 -!- yorick has joined. 10:58:15 Apparently, C# was designed to be safe, fast, and easy 10:58:33 lifthrasiir: only to the untrained eye 10:59:08 or with a poor or small font 11:00:45 oklopol: it's pronounced teun ("eu" being a vowel similar to "u" here), "j" is there for explaining various side effects with the following syllable 11:05:20 i knew this korean guy once 11:05:38 but i don't know any korean 11:08:30 뷁 seems uncharacteristic 11:08:53 in the sense that there are no circles or rectangels 11:08:56 rectangles 11:09:11 well a very small rectangle i guess but it's hidden 11:09:38 :) 11:09:53 "There are seven verb paradigms or speech levels in Korean, and each level has its own unique set of verb endings which are used to indicate the level of formality of a situation." 11:10:05 seems a bit excessive 11:10:16 seven paradigms and thousands of possible postpositions/suffixes. 11:10:32 freakin hard for even Koreans. 11:14:30 i knew the korean guy because i was learning japanese and he was learning finnish, one time i asked him something like "korean has some type of honorifics too" (like japanese) 11:15:08 and he was like lol you call these honorifics 11:15:27 (referring to the japanese ones) 11:15:41 sorry i'm telling this story badly because i'm supposed to be downloading something for my gf. 11:19:42 -!- FreeFull has quit (Quit: Rebooting into new kernel). 11:20:21 lifthrasiir: do you use all of them 11:23:44 -!- FreeFull has joined. 11:24:18 oh 11:24:20 oklopol: do you really think that I can count all of them? :x 11:24:28 you learnt japanese? 11:24:41 I have some knowledge of Japanese but not much. 11:24:48 Me too 11:24:52 watashi mo :) 11:25:15 lifthrasiir: just mean the 7 paradigms 11:25:41 sono ringo wo tabetai noni tabemasen <- that's about what I know :) 11:25:42 do you like have, for each paradigm, a couple of people you use it with 11:25:58 oklopol: ah, I think not, there are some paradigms that have been obsoleted so far. 11:26:09 i don't eat that apple because i want to eat it? 11:26:11 and I don't agree on the whole concept of seven paradigms at all 11:26:36 okay 11:26:38 oklopol: maybe "I want to eat that apple but can't" 11:26:57 afk 11:27:12 i can't quite recall what noni means 11:27:51 even though maybe 11:28:12 not quite the same as because i guess 11:29:58 watashi wa sukoshi nihongo o benkyousurukoto ga arimasu 11:30:17 * oklopol generates a random list of words 11:35:10 * oerjan wonders where sukoshi is these days 11:36:09 `seen sukoshi ever 11:36:40 No output. 11:37:01 `seen sukoshi ever 11:37:32 No output. 11:37:43 `pastelogs sukoshi 11:37:55 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/paste/paste.26340 11:38:49 `seen ... ever doesn't work too well when it's _really_ been a long time :( 11:40:31 hm here website is still running and looks updated. 11:40:34 *her 11:40:52 -!- sebbu2 has changed nick to sebbu. 11:42:58 back (temporarily) 11:44:01 oklopol: the reason that I don't buy seven paradigms is simple, it does not fit to the current usage at all 11:45:16 the "paradigms" are in fact a combination of T-V distinction (formality) and honorifics in my opinion 11:46:48 there are no clean distinction and hierarchy among numerous honorifics (i.e. only partial ordering exists) 11:47:42 and so-called paradigms are merely a set of related honorifics that are used altogether (but sometimes not) 11:50:06 the current usage is much more like a simple distinction between informal and formal context, with contextual honorifics 11:51:19 ok 11:52:07 T-V meaning tensor-vector, I assume 11:52:16 Much like the old weak interaction theory 11:52:44 yes 11:53:01 since you're french i assume you're joking. 11:53:16 wait 11:53:18 Hon hon hon 11:53:21 you're obviously joking. 11:53:35 but since you're french i assume you also know the real meaning. 11:54:04 Oh wait 11:54:09 Is that "tu-vous" 11:54:29 so i assumed. 11:54:40 (We don't actually use that word) 11:57:27 we still have a bit of a tv in finnish, but we're trying our best to get rid of it 11:58:35 I assume you mean transvestite 11:59:39 yes 12:00:57 -!- Froox has joined. 12:02:03 -!- ter2 has joined. 12:06:36 -!- tertu has quit (Ping timeout: 272 seconds). 12:06:38 -!- Frooxius has quit (Ping timeout: 272 seconds). 12:14:25 -!- olsner has joined. 12:34:26 -!- Sgeo has quit (Read error: Connection reset by peer). 12:36:48 -!- nooodl has joined. 12:47:31 or television 12:56:49 -!- olsner has quit (Ping timeout: 252 seconds). 13:08:16 -!- Froox has quit (Quit: *bubbles away*). 13:08:28 -!- Frooxius has joined. 13:10:10 or Turnverein 13:10:21 tuvalu 13:15:09 -!- Phantom_Hoover has joined. 13:16:46 -!- Sorella has joined. 13:17:26 -!- Sorella has quit (Changing host). 13:17:26 -!- Sorella has joined. 13:44:36 -!- oerjan has quit (Quit: leaving). 13:52:06 -!- tromp_ has joined. 13:58:24 -!- olsner has joined. 14:02:55 -!- tromp_ has quit (Remote host closed the connection). 14:03:30 -!- tromp_ has joined. 14:04:20 -!- boily has joined. 14:04:31 bon matily 14:05:09 -!- metasepia has joined. 14:05:17 quintohayō. 14:07:11 bon metasepiatin 14:07:50 -!- tromp_ has quit (Ping timeout: 245 seconds). 14:30:30 ~metar KATL 14:30:31 KATL 301352Z 31007KT 9SM FEW044 SCT200 BKN250 06/04 A3013 RMK AO2 SLP208 VIRGA SW T00560044 14:30:35 ~metar CYQB 14:30:36 CYQB 301400Z 25021G27KT 20SM BLSN FEW025 FEW045 M14/M18 A2980 RMK SC1SC2 SC TR PRESRR SLP097 14:46:48 I just tried to estimate how many pages I'd need to use to write all my knowledge down :) 14:47:24 and then again 14:47:31 how many pages would the total human knowledge fill 14:47:38 including deduplication of course 14:47:43 which is gonna be hard to estimate 14:48:33 ~metar EFHK 14:48:33 EFHK 301420Z 25012KT 9999 FEW011 BKN013 03/01 Q1010 NOSIG 14:48:40 It's like the strangest weather, it's a flat +3 .. +5 °C every day, night and day. 14:48:45 ~metar Zurich 14:48:46 --- Station not found! 14:57:33 ~metar LSZH 14:57:34 LSZH 301450Z 35003KT 300V020 9000 SCT013 SCT018 03/M00 Q1025 NOSIG 15:14:23 ~metar ESSA 15:14:24 ESSA 301450Z 23007KT CAVOK 01/M01 Q1015 R01L/29//95 R08/29//95 R01R/750166 NOSIG 15:26:21 -!- Slereah has quit (Ping timeout: 272 seconds). 15:36:01 I wonder how squirrels can survive outside in Canadian winters... 15:36:22 maybe they hibernate? 15:39:14 if they hibernated that'd make more sense than running arround on electric lines all winter long. 15:39:43 (apart from the bizareness of the situation, it's a nice sight to gaze upon when trying to debug badly engineered code.) 15:39:59 electric lines? maybe they discovered electric heating 15:40:29 power lines, not electric. (my French is slipping again... «fils électriques».) 15:40:42 and are you already back at work? 15:40:44 why? 15:41:05 I worked last week, and I'm working this week, but I'm still at my parents'. 15:52:34 Maybe they steal energy from the power lines by induction? 16:00:08 that would explain their running. a magnetic squirrel moving relatively to an EM field would produce current. and because squirrel have a non-null resistance (I hope squirrels aren't superconductors), they heat. 16:00:53 research continues on squirrel-temperature super conductors 16:08:35 what is the average surface area of a transverse squirrel cross-section? 16:09:12 one SQSq ) 16:09:36 well, that would've been something else if backspace was not so close to enter 16:09:46 (“A sciurinæ or a xerinæ?“ “I don't know. Ayeeeeeeeee!”) 16:16:04 -!- carado has joined. 16:29:54 -!- conehead has joined. 16:37:17 -!- Bike has quit (Ping timeout: 272 seconds). 16:44:40 -!- Bike has joined. 16:56:46 -!- conehead has quit (Quit: Computer has gone to sleep.). 17:10:44 -!- conehead has joined. 17:14:45 -!- Slereah has joined. 17:17:23 meanwhile, herobrine confirmed removed in 1.8. 17:20:29 fungot: you hate herobrine, right? 17:20:30 olsner: but _you_ said that any sufficiently complicated common lisp or scheme. shivers is hiding in his lair at ga tech and lay siege upon olin's office in order to 17:20:43 fungot: I said no such thing 17:20:44 olsner: well, i already have my right hand and had to check that 17:21:32 olsner: fungot checked. you said it. 17:21:33 boily: all whitespace between the sexpr delimiters remains untouched. would *you* believe a claim the it was a major program, mis management information systems. 17:22:37 hmm, mis management information systems, isn't that what you're working with? 17:23:17 I deny any implication I'm misinformating for money. 17:23:24 fungot: do you swear or affirm that olsner said it 17:23:24 shachaf: s k and fnord? to avoid cluttering the namespace with names like head tail. 17:25:52 fungot: s k 17:25:52 shachaf: i was confused again. ' huh what did that mean? i know some of those 17:26:20 fungot: you gotta know them all 17:26:20 shachaf: when will you find out how many bytes a jmp call would take. no other reason than the fact that people can watch the original lectures 17:26:51 fungot: from whom? 17:26:51 boily: so the until-test will change their minds 17:27:31 fungot: until (their minds are changed) { show them the original lectures }? 17:27:32 shachaf: only things in that directory. this way of conditional jump. no saving of the stack. why make every implementation keep waaaaay more functionality that is found in macosx? 17:27:36 as the Master said to the Pupil: “you will understand the Namespace Original Lectures when you Mind will have been Changed byt the Until-Test.” 17:28:05 boily: that is the Way of the Conditional Jump 17:28:46 fungot is wise 17:28:46 shachaf: srfi-18 to be specific 17:29:01 Multithreading support 17:30:32 Concurrent fungots. 17:30:32 fizzie: mostly using scheme in your kernel: http://savannah.nongnu.org/ projects/ fnord/ examples/ fnord that? 17:30:41 Yeah, that sounds like the way to go. 17:30:59 Concurrent fizzies. 17:31:17 Perhaps fungot *is* fizzie. 17:31:17 shachaf: not an issue here.)" fnord norvig is a traitor!! 17:32:10 Today I got a coin with my face on it. (There was a show about coins at the local "science center", and it included this machine where you could take a photo and have a machine use lasers to burn it on a coin.) 17:32:14 Sadly, I don't think it works as money anywhere. 17:32:31 i would take it 17:33:23 in fact i would take it at face value 17:34:18 https://dl.dropboxusercontent.com/u/113389132/Misc/20131230-coin.jpg it looks like that 17:34:34 fizziecoin 17:34:43 he latest in cryptocurrency 17:34:46 t 17:34:49 (I forgot to photograph the other side, but it just has the http://heureka.fi/ logo on it.) 17:35:25 OK, that looks like the face value is 2013 fizzies. 17:35:35 Not sure if I can afford that. 17:35:48 The cost of postage would be great. 17:37:16 fungot: can i have a coin with YOUR face on it 17:37:17 shachaf: all bf-complete with upper memory bound 40" at 17:37:28 Quite a coin. 17:37:29 fungot: can i have a hug with your face on it :'( 17:37:30 shachaf: am i the only one i've been toying around with beamer, but i really like are the use of an interface. what point are you trying to do 17:42:34 -!- carado has quit (Ping timeout: 246 seconds). 17:53:31 -!- carado has joined. 17:57:49 -!- Bike has quit (Ping timeout: 272 seconds). 17:58:40 -!- carado has quit (Ping timeout: 246 seconds). 17:59:04 -!- Bike has joined. 18:26:53 -!- nemcevs has joined. 18:27:34 -!- nemcevs has quit (Remote host closed the connection). 18:27:58 https://twitter.com/search?q=smell%20colon 18:28:29 whyyyyyyyyy do people /join then immediately /part... I need my daily fix of `relcomming! 18:28:44 `relcome boily 18:28:47 ​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.) 18:30:17 * boily grins, relaxes, slumps in his chair like a junkie. 18:30:44 Misread "grinds". Made that sound slightly suspicious. 18:30:45 -!- conehead has quit (Quit: Computer has gone to sleep.). 18:31:00 fizzie: you gutterminded fiend. 18:31:11 Like, I don't know what got ground there. 18:31:32 geez fizzie, it was just a perfectly innocent #drugz reference 18:32:03 #drugz references are never innocent 18:33:20 re "grinds" https://twitter.com/unhush/status/416404349527396352 18:33:36 every time someone referes to #drugz, one of the FSM's noodles gets boiled past al dente. 18:34:38 (the pastafarian equivalent to one tanathokitten.) 18:35:07 rugged 18:39:17 ah "al dente" 18:41:28 omg 30C3 has a pneumatic mail system with 1.4 km of tubes 18:41:32 so wish I had gone 18:41:43 screw your christmas mom and dad, I'm going to party with a bunch of German hackers 18:42:04 -!- conehead has joined. 18:42:39 rip kmc, partied too hard 18:45:57 dibs on every maple-y possession of kmc! 18:46:38 hi kmc 18:51:35 shachaf: he's dead. you can have anything else if you want. 18:52:03 can i have his soul 18:53:11 please yourself. 18:58:59 -!- conehead has quit (Remote host closed the connection). 18:59:51 -!- conehead has joined. 19:06:35 hichaf 19:06:50 torrent stalled at 99.9% WHYYYYY 19:07:02 sinners in the hands of an angry god 19:07:17 ur like a spider over the flame 19:09:59 a snail crawling along the edge of a straight razor 19:10:25 i... don't remember that part 19:10:36 ow >_< 19:11:38 ur like a babylonian. 19:14:46 simmer in the hands of an angry god for 30 minutes, then serve immediately 19:16:06 http://boscoh.com/protein/a-sign-a-flipped-structure-and-a-scientific-flameout-of-epic-proportions.html remember to test your code, friends 19:16:17 summer in the hands of an angry god for 3 months, then season accordingly. 19:18:22 punny 19:18:34 :D 19:19:02 shachaf: lift your skinny fists like antennas to heaven 19:21:13 a 2000 double album released by the Canadian post-rock group Godspeed You! Black Emperor. 19:21:26 indeed 19:21:49 Montrealer post-rock group, even 19:22:19 is a post-rock a rock that you attach a message to and throw through someone's window 19:22:20 double? 19:22:39 no, that's rock-post. a post-rock is a rock you use to hammer posts into the ground. 19:22:42 shachaf: a post-rock is the analog version of an authenticating HMAC. 19:22:58 Bike: double means they use key strengthening. 19:25:39 -!- zzo38 has joined. 19:26:00 hezzo38. quick! grab everything you want from kmc! 19:26:45 i'm not dead yet 19:27:11 nonsense. 19:29:18 I don't think there is something I wanted to grab from kmc, as far as I know. 19:30:09 i call his devastating good looks and saving accounts 19:30:22 thanks bike 19:30:40 In some MUD other people can grab everything they want from me when I am dead, but that's only for me, not if other people are dead. 19:31:05 zzo38: organ donor 19:31:43 kmc: I don't need any of your organ at this time. 19:31:47 good song 19:32:02 `addquote kmc: I don't need any of your organ at this time. 19:32:06 1151) kmc: I don't need any of your organ at this time. 19:32:12 hm, would getting kmc's thalamus too be too greedy 19:32:25 i,i I don't need any of your oerjan at this time 19:32:50 “your oerjan”? 19:32:58 how many oerjan do you have zzo38 19:33:18 Bike: Nothing. 19:33:58 response invalid 19:35:04 :t Oerjan 19:35:04 Not in scope: data constructor `Oerjan' 19:35:58 I can't take it with you with the IRC anyways, but that is OK because it isn't necessary anyways. Therefore, it is OK that I don't think there is something I wanted to grab from kmc, as far as I know. 19:36:21 :t Just 19:36:22 a -> Maybe a 19:37:07 kmc: organ donor more like organ doner 19:38:35 döner 19:39:04 yes, that 19:39:27 yummy 19:40:28 @let just :: a -> Maybe a; just _ = Nothing 19:40:29 Defined. 19:49:16 :t Just just 19:49:17 Maybe (a -> Maybe a) 19:49:41 kmc: did you know ¬¬LEM is unprovable constructively 19:49:53 no 19:49:58 how do you prove that 19:50:25 not sure 19:50:27 I,I nstructive coproof 19:50:50 the distinction is between ¬¬(forall a. a + ¬a) and forall a. ¬¬(a + ¬a) 19:52:49 I would though, think that (Cont r (Either a (a -> Cont r b))); you have to apply the double-negative transform (or continuation passing transform) to *both* sides, isn't it? 19:56:08 I've been using turned-E as shorthand for "exists" since college, and in recent years I've been using turned-K for "known". The former is a standard logical convention, but I pulled the latter out of my ass. Is there a conventional symbol for "known"? 19:57:06 What logic will use a symbol for "known", anyways? 19:58:36 it comes up in epistemological analysis, which comes up often in distributed systems 19:58:57 the logic where you pull something out of your ass and assert it 19:59:12 f0rk: That comes up in business analysis. 19:59:31 w00t .. a geek in another channel pointed me at https://en.wikipedia.org/wiki/Epistemic_logic#Syntax 20:01:40 mauke: are you implying there are other chännels out there as geeky as us? 20:02:01 i have never eaten a chicken head 20:02:35 ... 20:02:38 ... wut? 20:02:48 I've never eaten a chicken head either 20:02:58 thanks for your support f0rk 20:03:34 You've never eaten a mcnugget? 20:03:49 god no 20:03:51 boily: https://en.wikipedia.org/wiki/Geek_show 20:04:54 shachaf: interesting 20:05:05 Bike: indeed. 20:05:17 mmmmmmodal logic 20:06:04 boily: irc.perl.org/#perl 20:06:25 nah. not gonna join. #perl people make me feel... squeamish. 20:06:36 Bike: I think I never ate a chicken head. probably. 20:06:43 > (1 - x) ^ 3 20:06:44 (1 - x) * (1 - x) * (1 - x) 20:06:49 Thank you 20:06:55 *sigh* 20:07:03 I am NOT in the mood for binomial expansion 20:07:05 what did #perl people do 20:07:13 also, which #perl 20:07:14 `addquote I am NOT in the mood for binomial expansion 20:07:18 1152) I am NOT in the mood for binomial expansion 20:07:25 because the one on irc.perl.org is more like #perl-blah 20:07:27 -!- oerjan has joined. 20:07:35 1 - 3x + 3x^2 - x^3, right? 20:07:51 mauke: scratch the hash. perl people in general weird me. 20:08:09 I'm a perl people 20:08:24 -!- ais523 has joined. 20:08:42 * oerjan spots (1 - x)^3 expanded 20:08:48 Taneb: shouldbe 20:09:13 @check \x -> 1 - 3*x + 3*x^2 - x^3 == (1 - x)^3 20:09:14 +++ OK, passed 100 tests. 20:09:23 the saddest algebra 20:09:39 :) 20:09:50 Of course, my use for this is virtually non-existent 20:10:05 I'm trying to derive a list 2-zipper 20:10:11 i guess recognizing a few levels of pascal's triangle is a good math skill 20:10:29 oerjan, I can, but not at this time of the day 20:11:28 Which is why I missed something obvious four lines of working earlier 20:11:37 mauke: have you read this year's tasty blogpost in 24 days of hackage? 20:11:52 boily: no 20:12:54 20:13:02 ω̈ 20:14:00 ȍ. 20:14:04 Hmm, it still feels like this carries too much information 20:14:12 mauke: http://ocharles.org.uk/blog/posts/2013-12-03-24-days-of-hackage-tasty.html, and also http://ocharles.org.uk/blog/guest-posts/2013-12-09-24-days-of-hackage-sbv.html 20:14:14 .̈ 20:14:35 mauke: also, https://github.com/pfcuttle/twentyfour-2013 (that one needs to be updated to cover the latest posts...) 20:14:53 mauke: glad to see you fully embrace this chännel's diæresisity :D 20:15:23 I also support `àwesome quoteś´ 20:15:59 `ẁoẃ´ 20:16:00 ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ẁoẃ´: not found 20:16:35 mauke: I also mapped some keys on my ░▒▓█layout█▓░ to get fancy blocks, but I don't use them often. 20:16:38 Best I can do manually is ListZipper2 = LZ2 a (Maybe (a, [a])) [a] [a] 20:17:34 Taneb: whoa whoa whoa whoa whoa 20:17:38 what are you trying to do here 20:18:36 boily: meh, tasty looks overcomplicated 20:18:42 shachaf, be less curry infested 20:18:59 Also oh god that is wrong 20:19:06 mauke: but I understand it! (fsvo understanding.) 20:19:09 I should have trusted my maths 20:19:15 boily: I'd rather have Test::More 20:19:53 Taneb: maybe you should trust oerjan. 20:19:59 mauke: humbug. 20:20:05 bumhug 20:20:38 `? fizzie 20:20:40 fizzie is not fnord with a monad. 20:21:18 I learned that from fungot, unsurprisingly. 20:21:18 fizzie: it's mine, and hope we both post to the wiki 20:21:20 (previously, fizzie was also the creator of minecraft.) 20:21:29 `learn fizzie is not fnord with a monad but the king of #esoteric, see https://dl.dropboxusercontent.com/u/113389132/Misc/20131230-coin.jpg 20:21:34 I knew that. 20:21:40 ...I am ssh'ing to a server where I have nano open which I am using to do differentiation 20:21:44 Is that a bitcoin 20:21:48 oerjan: Do you think it looks kingly? 20:21:57 oh fungot. now I'm stuck to insert pictures into the PDF. 20:21:58 boily: they implement dynamic-wind call/ cc? 20:22:07 oerjan: (Also I guess only king for the rest of 2013.) 20:22:10 fungot: no. it's a stack-based language. 20:22:10 boily: the scheme markup/ document preparation system out there, and it would be better 20:22:13 fizzie: you don't get more royal around here 20:22:26 Slereah: It's a fizziecoin, I hear they're the latest craze. 20:22:42 wow. much value. such PDF. very Finland! 20:22:45 oerjan: can i be king of #esoteric 2014 20:22:47 or president 20:22:51 or tiger in chief 20:22:52 I prefer dogecoins 20:22:53 anything 20:22:59 can I have voice? 20:23:05 -!- coppro has quit (Quit: Changing server). 20:23:06 can i have hug 20:23:10 nt sure you're qualified to be tiger in chief 20:23:49 Bike: uh p. sure i am 20:23:53 -!- coppro_ has joined. 20:24:22 -!- coppro_ has changed nick to coppro. 20:24:23 please provide a CV listing your previous chieftanisms 20:24:42 -!- ChanServ has set channel mode: +v boily. 20:24:44 also, to examples of zebrafish genetic modifications. 20:24:52 `thanks oerjan 20:24:53 Thanks, oerjan. Thoerjan. 20:25:18 I AM THE (HOW DO I INSERT FIGURES AGAIN?) VOICE! 20:25:22 `fetch https://dl.dropboxusercontent.com/u/113389132/Misc/20131230-coin.jpg 20:25:24 "It should be noted that no ethically-trained software engineer would ever consent to write a DestroyBaghdad procedure. Basic professional ethics would instead require him to write a DestroyCity procedure, to which Baghdad could be given as a parameter." --Nathaniel Borenstein 20:25:27 2013-12-30 20:25:26 URL:https://dl.dropboxusercontent.com/u/113389132/Misc/20131230-coin.jpg [230556/230556] -> "20131230-coin.jpg" [1] 20:25:52 Bike: i am cuddly like a tiger and also soft and have fur and stripes 20:25:57 and there are no other tigers in here 20:25:59 `run mv 20131230-coin.jpg src/fizziecoin.jpg 20:26:03 No output. 20:26:12 `url src/fizziecoin.jpg 20:26:14 http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg 20:26:57 `learn fizzie is not fnord with a monad but the king of #esoteric, see http://codu.org/projects/hackbot/fshg/index.cgi/raw-file/tip/src/fizziecoin.jpg 20:27:02 I knew that. 20:27:12 `? people who taneb is not 20:27:14 elliott, a rabbi, Mark Zuckerberg, James Bond 20:27:32 Hmm 20:27:38 fizzie is not on that list 20:27:43 Therefore I am fizzie 20:27:53 Therefore I am not winning... :( 20:29:22 oh fungot. now I'm stuck to insert pictures into the PDF. <-- whoops. well i'm sure it's possible somehow. 20:29:22 oerjan: newtype location location fnord:: double... line though. 20:29:47 good newtype 20:30:48 such fungot 20:30:49 olsner: it's a fnord gate, copy the stack into somewhere else in your family? 20:31:38 under the overpass, over the undertow, through the fnord gate, copy the stack and receive fungot 20:31:38 olsner: does someone from peoria have a shorter version with just cons* macros. 20:31:53 I have some more idea too, about some kind of computer game based on ideas in another dream I have had previously 20:32:38 i am currently having problems distinguishing zzo38 and fungot. 20:32:38 oerjan: gauche " hello, world!" get into there? iteration is where it's at. 20:32:58 oerjan: Then turn on the display of the sender of each message. 20:34:05 -!- zzo38 has quit (Remote host closed the connection). 20:34:12 oerjan: the PDF, it is updated. 20:34:16 wat 20:34:25 I added the fizziecoin to it. 20:34:29 yay 20:35:42 If I knew it was going to end up in print, I'd've uploaded a higher-resolution version. 20:35:48 is there a website that emulated mosaic or netscape or something so i can see old renders of modern webistes to amuse myself 20:36:08 get real mosaic 20:36:23 see, that sounds suspiciously like work. 20:36:44 https://twitter.com/search?q=smell%20colon <-- you know, i think i'll pass. 20:36:50 I need to find a publisher who can get me the PDF printed on A5 paper... 20:37:01 oerjan: it's way funnier than you think 20:37:15 kmc: I'll admit it took me a few tweets to understand what was going on. 20:37:51 kmc: will my mind and remaining faith in humanity survive visiting it? 20:37:59 unclear 20:38:08 oerjan: wait you still have some left 20:38:36 * boily lends some of his own sanity over to oerjan 20:39:42 * oerjan now is somehow thoroughly convinced of his sanity despite all the evidence 20:45:42 * oerjan thinks his sanity survived that link, in a hypothetical manner 20:45:51 The Convinsanity Brand®! The best OTC sanity on the market! For all your sanity troubles, demand Convinsanity! 20:46:26 (side effects may include delusions, sightings of moose, alopecia, and a hunger for tofu. If you are a pregnant marmoset, do not take Convinsanity.) 20:46:58 ~duck alopecia 20:46:59 Alopecia (from Classical Greek 20:47:08 thank you, metasepia. 20:47:14 @wn alopecia 20:47:15 *** "alopecia" wn "WordNet (r) 3.0 (2006)" 20:47:16 alopecia 20:47:16 n 1: loss of hair (especially on the head) or loss of wool or 20:47:17 feathers; in humans it can result from heredity or hormonal 20:47:21 imbalance or certain diseases or drugs and treatments 20:47:23 (chemotherapy for cancer) 20:48:16 * oerjan gives boily's sanity back, after spraying it with colon 20:49:16 fizzie: your bot has contaminated and corrupted mine. he hasn't balanced his parenthesises! 20:49:45 speaking of moose, I forgot my orange one on my desk back in Montréal. 20:49:46 preflex: calc (1 + 2 20:49:47 3 20:49:55 who needs balanced parens anyway 20:49:59 boily: you did not say removing your sanity again would cause instant near-fatal laughter 20:50:02 oh, a new bot! 20:50:34 oerjan: I'm listening to an experimental album. it is forbidden by law to laugh during listening to experimental music. 20:50:42 preflex: botsnack 20:50:42 yum 20:50:47 preflex: 2st 20:50:48 preflex: 2st 4 20:50:48 :( 20:50:57 preflex: 6st 4 20:50:58 4th 20:51:09 preflex: poke 20:51:22 preflex: hello 20:51:23 -!- ais523 has left (" fizzie: it makes demons fly out of my window, washing the windows api"). 20:51:30 hm. not very talkative, eh? 20:51:32 oh there we go 20:51:32 preflex: 6st 5 20:51:33 5th 20:51:35 its default action is silence 20:51:36 preflex doesn't like me :( 20:51:46 preflex: calc head [1, 2, 3] 20:51:46 Lexical error 20:51:57 preflex: calc [2] .* [3] 20:51:57 Lexical error 20:52:06 preflex: calc 1i 20:52:06 Lexical error 20:52:23 preflex: calc (head [1, 2, 3] 20:52:24 Lexical error 20:52:33 preflex: calc 1 2 3 + * 20:52:33 7 20:53:43 preflex: calc 2 2 2 2 2 ^ ^ ^ ^ 20:53:43 inf 20:54:08 WEAK 20:54:30 exercise: explain why the expression above results in 7 20:54:32 ~eval 2 ^ 2 ^ 2 ^ 2 ^ 2 20:54:34 Error (1): 20:54:39 ~eval 2 ^ 2 ^ 2 ^ 2 ^ 2 20:54:40 20035299304068464649790723515602557504478254755697514192650169737108940595563114530895061308809333481010382343429072631818229493821188126688695063647615470291650418719163515879663472194429309279820843091048559905701593189596395248633723672030029169695921561087649488892540908059114570376752085002066715637023661263597471448071117748158809141357427209671901518362825606180914588526998261414250301233911082736038437678764490432059603791244909057075603140350 20:54:59 some tall numbers for a cuttlefish 20:55:08 * boily pats his bot 20:55:34 ~eval 1 2 3 + * 20:55:34 Error (1): :1:9: parse error on input `*' 20:55:37 weak 20:57:52 preflex: calc 1 2 + 3 * 20:57:52 7 20:58:05 preflex: calc 1 2 + 20:58:05 3 20:58:14 preflex: calc 3 3 * 20:58:14 9 20:58:29 preflex: calc * + 1 2 3 20:58:29 5 20:59:04 preflex: calc + * 1 2 3 20:59:05 7 20:59:58 preflex: calc 1 1 1 1 1 1 * + * + + 20:59:58 4 21:00:19 my theory seems to hold 21:00:41 preflex: calc 2 ^ 2 ^ 2 ^ 2 ^ 2 21:00:41 inf 21:00:47 what is your theory? 21:00:49 preflex: calc 1 2 2 2 + * * 21:00:49 9 21:01:02 preflex: calc + * * 1 2 2 2 21:01:03 9 21:01:06 preflex: calc + * * 2 2 2 1 21:01:06 6 21:01:12 what the fungot is going on. 21:01:12 boily: gonna go get it now? i seem to remember 21:01:31 that it's spreading the operators between the numbers and then interpreting the result as infix 21:01:46 preflex: calc 1 2 + 3 21:01:46 Too many operands 21:02:30 yeah, that's equivalent to the truth 21:02:41 mauke: but then, + * * 1 2 2 2 should produce 12? 21:02:53 oh wait. 21:02:53 how so? 21:03:02 operator precedence. 21:03:12 preflex: calc 1( + 2 21:03:12 3 21:03:16 how about this one? 21:03:30 preflex: calc (1 2) 2 2 + * * 21:03:30 9 21:03:34 ...? 21:03:46 ouch 21:03:51 preflex: calc 1 2 2 2 +) * * 21:03:51 12 21:05:13 preflex: calc 2 2 2 2 2 ^ ) ^ ) ^ ) ^ 21:05:13 65536 21:06:27 preflex: calc 2 2 2 2 2 ^ ( ^ ^ ) ^ 21:06:27 1.157920892373162e+77 21:06:57 > 2^16^2 21:06:58 115792089237316195423570985008687907853269984665640564039457584007913129639936 21:07:08 > 2**16**2 21:07:09 1.157920892373162e77 21:08:04 i am guessing it adds ('s to the left end and )'s to the right end until parentheses balance 21:08:29 that's the string rewriting interpretation 21:09:29 the actual parsing algorithm is one I invented myself when I didn't know about recursive descent 21:09:49 preflex: calc 2 2 2 ( ( ^ ^ 21:09:49 16 21:10:21 consider a simple expression of the form expr := value (operator value)* 21:10:47 that is, an expression is a sequence of one or more values with operators in between 21:11:24 the parser proceeds by reading symbols from left to right and inserting each into the expression tree 21:12:04 the expression tree starts out as a simple value hole at the root 21:12:36 each value is inserted at the hole (there is always exactly one hole when a value is read) 21:13:07 operators climb down the right hand side of the tree 21:13:44 when they hit a value, they replace it by a new node of the form (operator, value, ), thus forming a new hole at the rightmost leaf of the tree 21:13:58 when they hit an operator, they do battle by comparing their precedence 21:14:56 -!- carado has joined. 21:15:10 if the new operator has a higher precedence, it continues climbing down 21:15:27 otherwise it does an insert at the current node, using the old node as its left subtree 21:16:09 what happens when you insert more than one value before getting any operators 21:16:22 doesn't happen in the current model 21:16:33 we're still considering simple expressions only 21:16:46 um 21:16:56 preflex: calc 1 1 1 1 + + + 21:16:56 4 21:17:14 parens are handled by giving each operator node an instance precedence (in addition to its base precedence) 21:17:47 e.g. + has a base precedence of 1 (and * 2) 21:18:30 mauke: in 1 1 1 1 + + + what happens when the second 1 is parsed 21:18:37 instance precedence = current level * max precedence + base precedence 21:18:47 the current level starts out as 0 21:18:58 ( increments the current level; ) decrements it 21:19:31 thus )+ forms an operator with precedence = -1 * 3 + 1 = -2 21:19:57 ah 21:20:12 what preflex actually uses is an extension of this algorithm 21:20:25 all values are put into a separate list 21:20:26 preflex: calc 1 1 1 1 ( ) + + + 21:20:27 4 21:20:39 the operators are used to construct the expression tree 21:20:49 -!- Zuu has changed nick to Z[_]. 21:20:49 all leaves of the expression tree will be holes 21:20:56 then the values are inserted from left to right 21:21:46 ok 21:21:47 -!- glogbackup has quit (Remote host closed the connection). 21:22:00 preflex: calc 1 + + 2 21:22:00 Not enough mana 21:22:19 it first checks to see whether the number of holes matches the number of values 21:24:37 ploki doesn't use this algorithm because I knew even less about parsers when I "designed" ploki 21:24:55 (ploki simply evaluates left to right) 21:25:04 -!- yiyus has quit (Read error: Operation timed out). 21:26:29 -!- Z[_] has changed nick to Z[_][_]. 21:27:52 `run echo '(1 + 2 * 3' | ploki 21:27:54 9 21:28:01 (but you still don't have to balance your parens) 21:28:01 -!- yiyus has joined. 21:29:07 -!- Z[_][_] has changed nick to Z[_][_][_]. 21:30:27 `run echo '(1 + 2) * (3 + 4)' | ploki 21:30:28 21 21:32:03 -!- Z[_][_][_] has changed nick to Zuu. 21:37:13 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:39:42 @tell elliott i'm not sure if that thing you removed was trolling, but if not it's probably something worse than lolcode... 21:39:42 Consider it noted. 21:40:48 worse than lolcode? 21:41:20 boily: the poster seemed to speak entirely in lolspeak 21:41:38 I reverted it because I know exactly what it is 21:41:42 also the post was contentless 21:42:00 elliott: what is c+= then? 21:42:03 a message from a lolorc from loldor... 21:42:23 it's sort of hard to google 21:46:36 moved over to the basement and the hearth → https://www.dropbox.com/s/grejkhn9px0mxj6/2013-12-30%2016.44.31.jpg 21:48:23 (fire is good. I like fire.) 21:49:39 `? boily 21:49:41 boily is the brother of Roujo's brother and he's monetizing the company Roujo works at, or something Canadian like that. He's also a NaniDispenser, and a Man Eating Chicken. 21:50:54 it's so long... 21:51:54 I know. there were also other things going on in my description before it got munged, mashed, reworked, and completely upheaved. 21:52:45 `run echo "Fire is good. I like fire. Also chicken." >wisdom/'things boily likes' 21:52:48 No output. 21:54:15 `run echo "Fire is good. I like fire. Also chicken. And phở." >wisdom/'things boily likes' 21:54:18 No output. 21:54:29 aurgh! 21:54:38 just as I updated the PDF. 21:54:45 oerjan, you are merciless. 21:55:08 I'm still a bit surprised it isn't automatic. (With a DSL of exceptions for exceptional entries.) 21:55:32 `run grep ở wisdom/* 21:55:35 Binary file wisdom/irrelevant info matches \ wisdom/phở:phở là một món ăn truyền thống của Việt Nam, cũng có thể xem là một trong những món ăn đặc trưng nhất cho ẩm thực Việt Nam. \ wisdom/things boily likes:Fire is good. I like fire. Also chicken. And phở. 21:56:12 fizzie: it's... well. uhm. I... you see... 21:56:15 boily: well at least i didn't make you bring up an entirely new language font this time. 21:56:18 `? irrelevant info 21:56:20 KHL?%y9vnkM_v46$Tn`ʋxkH2gqH;!;2F(zإ2CmXW 21:56:24 Good. 21:56:55 oerjan: I'd have to say the vietnamese was the hardest “feature” I had to mix in the PDF. 21:57:15 fizzie: I shamelessly skipped that one. if you want, you can add it and commit the changes. 21:57:30 -!- callforjudgement has joined. 21:57:43 I don't know, it sounds a bit ambiguous as for rendering, what with all those control characters. 21:58:03 http://examplea.acom/ 21:58:08 -!- callforjudgement has changed nick to ais523. 21:59:00 `run sed -i 's/p/P/' wisdom/phở 21:59:03 No output. 21:59:11 `? phở 21:59:13 Phở là một món ăn truyền thống của Việt Nam, cũng có thể xem là một trong những món ăn đặc trưng nhất cho ẩm thực Việt Nam. 22:01:10 -!- LinearInterpol has joined. 22:17:46 -!- nisstyre has joined. 22:26:37 Thought of the day: would be nice to know some statistics on how much sieni.us has been watched while being some kind of intoxicated, and how much not. (Was trying to find out why a melody was familiar.) 22:27:10 I am thinking of switching operating systems 22:27:44 -!- ais523 has left (" fizzie: it makes demons fly out of my window, washing the windows api"). 22:28:39 fizzie, what OS should I use 22:28:48 IMPORTANT QUESTION WITH NEXT TO NO CONTEXT 22:30:09 TempleOS 22:30:22 ^^^^^^^^^^^ 22:30:55 Nah 22:31:00 TempleOS is some sort of newfangled nonsense, LoseThos or bust. 22:31:37 As for a (serious|boring) answer, I would think it sort of depends on what you're "gunna" be doing with it. 22:32:06 Mostly browsing the web and trying to program, occasional gaming 22:32:16 win xp 22:32:59 MacOS and NetWare 5 that boot simultaneously. 22:32:59 Nah 22:33:24 coyotos 22:33:27 Thinking of throwing myself at NixOS 22:34:18 I've just used a dual-boot Debian + Windows for pretty much those things, but that's really the boringest. (Functional, though.) 22:36:13 -!- copumpkin has quit (Ping timeout: 246 seconds). 22:36:48 * boily mapoles mauke 22:37:18 Taneb: don't listen to this rag-tag bunch of non-believers. use the REALEST MOST BESTEST OS OF THEM ALL! 22:37:44 Taneb: embrace linux. become one with it. abandon your soul to the bien-être of the Penguin! 22:38:05 slackware or gentoo? 22:38:18 * boily continues to mapole mauke 22:38:20 Arch! 22:38:38 I... had problems with Arch that will not occur this time but now I am scared of Arch 22:39:17 Arch is the best. 22:39:24 Don't you dare say otherwise. 22:39:43 I never said it wasn't! Only that it scared me. 22:39:58 there's even a wiki page for that! https://wiki.archlinux.org/index.php/Arch_is_the_best 22:40:21 I did not know that existed. Thank you. 22:45:19 -!- copumpkin has joined. 22:47:27 -!- boily has quit (Quit: TIMED CHICKEN). 22:47:29 -!- metasepia has quit (Remote host closed the connection). 23:07:08 -!- AnotherTest has quit (Ping timeout: 252 seconds). 23:07:51 'embrace linux'? I think boily wants you to attempt LFS, Taneb 23:08:07 :O 23:09:20 I think he just meant to give linux a hug, it needs it 23:10:26 It does. 23:22:41 i like "arch iz da shizzle ma nizzle" 23:26:55 "haskell - the language where IO is easy and unproblematic" 23:27:35 i personally use a perl ffi for output in all my haskell programs 23:30:38 This typewriter was the best 5 pounds I have ever spend 23:54:14 -!- Sgeo has joined.