00:00:14 kids these days with their CSS animations 00:00:34 fungot praise zzo38 for maintaining a gopher site! 00:00:34 boily: something like scheme48 ( upon the general position is a part of these amendments, i can only thank the president-in-office, you did hear me say that we have had in getting information with regard to monetary policy, a factor is 00:00:36 (CSS animations can mostly happen off the main thread and so are way smoother) 00:00:59 ^style fungot 00:01:00 Selected style: fungot (What I've said myself) 00:02:16 meanwhile, TIL you can have quantum physics in minecraft →http://qcraft.org/ 00:02:18 fungot 00:02:19 kmc: perhaps, if i could but learn is when you're fairies, you know, that thing i don't give a damn. anmaster: i said, hoping to keep him from beginning and end of each title's description" fnord 22:23, 16, 32, 33, 34, 55, 56, 57, as bryant still had his glory days ahead of them must have brought it with blood is, he's a total of two conversion rates, in that line is a comment, unless the proposal on the general position is a p 00:02:38 wow 00:02:59 fungot: fairies are important! they are an integral part of a healthy, balanced breakfast! 00:03:00 boily: or is it just me, or i: yet, you rogue! hey! is that for us! the chef's in a snit, trying to get food to the front lines. heard a spell to energize the sword takes immense evil! indeed! this thing. what you have? transform! this trading house. it's 00:03:00 oh my alma mater is involved 00:03:12 the "Institute for Quantum Information and Matter" at Caltech 00:03:38 anybody implement shor's algorithm in it yet? 00:05:29 -!- nooodl has quit (Ping timeout: 240 seconds). 00:05:41 -!- Sgeo has joined. 00:05:43 this seems like a weird way to illustrate quantum 00:07:01 it is weird. but it has interesting observable cubes! 00:09:22 Self's community seems deadish 00:09:49 self, as in the programming language of the same name? 00:09:53 yes 00:12:05 are there notable instances of a PL coming back from the dead? 00:12:52 Haskell and Erlang languished in obscurity for many years before becoming widely known 00:12:59 but they were never quite dead 00:13:53 they're more like undereconstructed zombie unicorns. 00:14:11 (reddit is fungotting weird. http://www.reddit.com/r/avocadosgonewild) 00:14:11 boily: and, dab, words like pop-culture should i have fizzie do is to base programming on a political responsibility of the member states, including numbers) 00:14:15 was anybody outside Apple using Objective C between 1996 and 2001? probably 00:14:35 kmc: Ruby languished in obscurity too 00:14:39 true 00:14:40 (but it was popular inside Japan) 00:14:44 big in japan 00:15:18 -!- Froox has quit (Quit: *bubbles away*). 00:15:29 does this mean that Ruby is made of faded off-white plastic and has 20 years of accumulated cigarette smell? 00:15:32 -!- Frooxius has joined. 00:15:58 ? 00:16:00 I am going to get a drink then some sleep 00:17:51 * boily lightly mapoles kmc for confusing me even more than I already am 00:18:08 fungot: have you been to japan 00:18:08 kmc: i am just as confused. you, in that line, that i have gone totally wanting, and then you can choose fnord, but don't need that much bad. take up, boy; open't. so, now go with, do miscarrie, thou had'st bin resolute pompey 00:19:00 Hey, I bought a copy of H2G2 the other day 00:19:06 I forgot about that 00:19:23 Taneb: oh! first volume, or the whole trilogy? 00:19:29 Whole trilogy 00:19:36 Not the Eoin Colfer one though 00:19:45 fungot: “open't”? that's some very interesting contraction. 00:19:45 boily: to " print" statement should always remember the songs on p2p apps in scheme, besides, was not beyond normal credibility articles sorted, perhaps, it may be said that particularly here, parliament will give a single instance, 00:19:56 But all the other 5 parts 00:20:20 Taneb: eh? I thought the trilogy only had 5 parts. 00:20:40 fungot: so, an open't is some kind of prin't. 00:20:40 boily: something like scheme48 ( upon the general position is a part of these amendments, i can only thank the president-in-office, you did hear me say that we have had in getting information with regard to monetary policy, a factor is 00:21:07 fungot: is? 00:21:07 boily: to, uhhh.... w.t.f lol... after is everything wen v miss something " it's going so slowly that the ' 90s citizens. i congratulate joe and jane average don't use linux 00:21:31 * boily *MAPOLES* fungot. “Linux is the Way to Be!” 00:21:31 boily: is. absorb it on my door, which was just perceptibly fnord and this yields nothing itself; it keeps being removed, the queen is a vain. yes is ticked). we'll know that's our memory...... calling...... that thing's not human... 00:33:08 -!- jconn has joined. 00:34:03 -!- metasepia has joined. 00:35:47 -!- BeingUntoDeath has joined. 00:38:33 ^welcome BeingUntoDeath 00:38:34 BeingUntoDeath: 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 ... 00:38:50 ^relcome 00:39:13 we may have to go without in this time of difficulty, olsner 00:40:11 ~metar CYUL 00:40:12 CYUL 200008Z 16023KT 6SM -SN BKN025 OVC040 02/M05 A2991 RMK SC7SC1 SLP131 00:40:14 this is clearly unacceptable 00:40:16 seriously what happened to HackEgo 00:40:21 +2! +2! 00:40:54 it broke (how?) and I guess it's still broken because it hasn't been made to join us yet 00:42:55 maybe fungot knows? 00:42:56 olsner: ( c) a player resigns from an office has whatever duties, then 3 extra " 0" and ( down-from n ( 0), ( n+n/ fnord/ fnord, that seemed, in fine, i can verify it 00:46:23 probably Gregor didn't supply HackEgo with enough extra zeroes... 00:47:22 -!- idris-ircslave has joined. 00:56:03 fungot: what do you eat? 00:56:04 boily: agora alice c64 ct darwin discworld europarl ff7 fisher ic irc* jargon lovecraft nethack pa speeches ss wp youtube with this jaybad... he is like the punching him? does it involve? doing it the way you would calibrate a normal. pm showed the bq a parking citation. if confronted, you will say you are only here to deliver a message and then i'll put his shit.... w.t.f lol 00:56:18 so fungot eats his own styles. so meta... 00:56:19 boily: just to help an fnord archive) guitar riffs this band is metal)." fnord dixon either, man! you have a whip? why do pin is normally, when i pass. it was flown from outside, so the party, who were discussing the issue is discussed, it should be deleted, not merged. but new england flood of may, 1765, curwen's only child, it's ancient history now... 00:57:13 That's such a mismash. 00:57:40 Curwen is from Lovecraft, the "deleted, not merged" is from Wikipedia talk pages, "it's ancient history now..." is from Chrono Trigger. 00:58:05 * boily admires the fizziebot. 00:58:57 -!- yorick has quit (Remote host closed the connection). 01:03:58 * ^v eats boily 01:04:58 I am not comestible! I taste bad! shoo! shoo! 01:06:02 <^v> <[.<]$$$,$[+.~}+++.~]~}{$+.~)~.~*~{{$+>+<~}~@{$~@~[{* 01:06:41 <^v> tis agony btw :P 01:08:19 and I now know how to pronounce the “^” in your name. 01:09:23 <^v> wat 01:10:43 “roy”. I assume that the “v” is the rest of it. 01:11:10 <^v> i dont even? 01:12:25 I also assumed you created Agony. seems that my hypothesis is false. 01:13:01 therefore, I shall still name the “^” symbol “roy”, as it sounds fitting, but will dissociate you with that name. 01:16:39 <^v> so, royv? 01:17:45 well, it's easier to say than “v̂”. 01:25:39 <^v> why cant my name just be ^v 01:25:40 -!- boily has quit (Quit: ĈĤÎĈK̂ÊN̂). 01:25:46 <^v> k. 01:25:54 -!- metasepia has quit (Remote host closed the connection). 01:30:43 <^v> im going to make a derivitve of agony 01:30:50 <^v> with threading n shiz 01:31:59 <^v> will make $ an expansion character 01:32:27 <^v> giving me a whole 13 extra instructions :D 01:32:59 <^v> er 01:33:02 <^v> 15 methinks 01:33:06 <^v> cannot math today 01:34:50 -!- Bike_ has joined. 01:35:06 -!- Bike has quit (Disconnected by services). 01:35:11 -!- Bike_ has changed nick to Bike. 01:50:28 -!- sebbu has quit (Ping timeout: 265 seconds). 01:53:51 -!- Bike has quit (Ping timeout: 265 seconds). 01:56:25 :( http://www.cnn.com/2014/03/19/health/sleep-loss-brain-damage/index.html?hpt=hp_c2 01:57:33 <^v> you know those kinds of websites are full of shit right? 01:58:44 -!- Bike has joined. 01:59:08 -!- Bike has changed nick to Guest3808. 01:59:24 <^v> :D Bi...Guest3808 02:00:46 Since #self-lang is too dead to answer questions about Self... 02:01:11 maybe they didn't sleep enough 02:01:16 For objects that contain code directly, when is that code triggered? Usually just when the object is in a slot and activated due to being in that slot? 02:01:49 i thought +i meant i was identified -_- 02:02:04 -!- Guest3808 has changed nick to Bike. 02:03:19 What languages have an object called lobby or something similar, that serves as some sort of starting point? 02:03:24 ala Self and (iirc) Io? 02:03:36 Or, an other object that serves a similar purpose? 02:04:10 you're gonna have to be specificer. 02:05:15 <^v> Bike, lol 02:05:29 <^v> how did you not know? :O 02:05:38 <^v> have you not made an IRC bot in brainfuck? 02:06:48 Why is Smalltalk so much more popular than Self? 02:07:47 is smalltalk considered an eso. language? 02:08:14 <^v> nop 02:08:54 no, it was made for serious reasons and is used for serious reasons. 02:09:10 Sgeo: older + why should i care about self 02:10:14 There are some languages that are not considered eso languages, but deserve to be 02:10:51 kmc: is C++ still your favourite esolang? 02:10:59 nothing deserves anything 02:11:06 all is void. 02:11:09 anyone look at the pdf/zip file http://pocorgtfo.freshdefense.net/POCorGTFO0x02.pdf that is also an executable 386 qemu image? 02:11:16 <^v> Bike, well then you dont deserve your bike D: 02:11:20 lol! 02:11:23 * ^v snatches Bike's bike 02:11:33 you guys are some of my favorite people on irc. :) 02:11:36 <^v> but neither do i D: 02:11:41 * ^v lights Bike on fire 02:11:46 my bike is me. 02:11:46 <^v> SORRY WRONG BIKE 02:11:46 hahaha. 02:11:48 rip me. 02:12:15 favorite-irc-people achievement: unlocked 02:12:28 <^v> newsham, incorrect 02:12:40 <^v> you dont deserve achievements 02:12:48 duh 02:13:09 <^v> unless you have killed a million or more people 02:13:20 <^v> in which case you deserve a knife 02:13:21 lexande: maybe 02:13:22 i'm not in favor of people killing. 02:14:05 i am in favor of death, which awaits us all, except not me since bikes sort of just rust rather than die per se. 02:17:00 i would prefer good things for the people who are mostly good, which is most people. 02:17:33 especially those who have a little bit less 02:18:59 <^v> oh no 02:19:03 <^v> mom is home 02:19:06 <^v> prolly drunk 02:20:26 < boily> well, it's easier to say than “v̂”. – Not hugely, though. 02:46:15 very villainous vaudevillian viviferous ventriloquists 02:46:25 `coins 02:58:40 I wonder how the Self IDE compares/contrasts to Smalltalk 02:58:45 I assume no class browser in Self 03:07:48 http://rosettacode.org/wiki/Self 03:07:53 So little love.... 03:14:49 <^v> my malbolge inturpreter is smaller than my agony inturpreter 03:14:57 <^v> is this a sign of my mind tearing appart? 03:46:19 -!- sebbu has joined. 03:46:52 -!- sebbu has quit (Changing host). 03:46:52 -!- sebbu has joined. 03:56:54 -!- tromp has joined. 04:04:42 -!- tromp has quit (Remote host closed the connection). 04:04:44 -!- shikhout has joined. 04:05:17 -!- tromp has joined. 04:07:24 -!- shikhin has quit (Ping timeout: 255 seconds). 04:07:26 -!- shikhout has changed nick to shikhin. 04:09:42 -!- tromp has quit (Ping timeout: 264 seconds). 04:20:28 -!- password2 has joined. 04:35:44 -!- Sorella has quit (Quit: It is tiem!). 04:43:13 -!- Melvar has quit (Ping timeout: 240 seconds). 04:43:45 -!- Melvar has joined. 04:44:01 -!- idris-ircslave has quit (Ping timeout: 240 seconds). 04:48:13 -!- weeeu has joined. 04:50:00 -!- Sprocklem has quit (Remote host closed the connection). 05:09:32 -!- tertu has quit (Ping timeout: 246 seconds). 05:23:04 -!- tertu has joined. 05:24:48 -!- shikhin has quit (Ping timeout: 255 seconds). 05:31:50 -!- tertu has quit (Ping timeout: 265 seconds). 05:35:20 * ^v stabs channel 05:35:32 <^v> Y U NO ACTIVE 05:36:06 <^v> i mean 05:36:06 <^v> <[.<]$$$,$[{}{}>}{}~@~]~*{}{}>}>}{}{}~]~@+~~@~)~@>}>}{}{}{}>}{}{}{}<@@~<.@<<><}{$<*<]{$@@{$@. 05:36:34 do not remove this tag under penaltky of law. unfair randomizer. a bias was detected in the in the in the RandInt output of matlab implementation deplyeod (sic) in intel serial machine 48888819201 but could not this be traced to the hardware PRNG. please insert coin. no anomalies were reported. do not stand down. emergency. seek mergency medical intervention now. six people are alive. a cage of banasssssssss.banans. franz fuking kafka. hello. 05:36:52 probably people are inactive because others are saying things like Y U NO 05:37:05 * ^v steals Bike 05:37:22 <^v> "do not remove this tag under penaltky of law." 05:37:31 -!- Bike has quit (Quit: sleep). 05:37:34 <^v> good thing it isnt a penalty 05:45:24 agony looks nice 05:49:18 Most of the time backwards compatible 05:49:21 When is it not? 05:49:30 Well, BF 'comments' 05:54:32 -!- shikhin has joined. 06:06:30 http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf meant to post this here 06:19:55 i am a bit confused about how much space agony has 06:20:14 if it's cyclic, will i end at the first char if i do >? 06:20:50 Oh! So methods and non-methods are treated the same way in Self 06:21:01 Not magic. Just objects without code return themselves 06:22:07 ... (3 * 4) + 5, I was wondering how Self syntax decides that that (3 * 4) is just normal parentheses.... I'm now guessing it doesn't, it's an actual method that actually then gets evaluated? 06:27:37 HMm, maybe a bit magic 06:32:27 <^v> myname, its infinite iirc 06:33:11 <^v> or thats how i have mine anyway 06:33:56 <^v> because there is no specified limit on program size, it is infinite to the right 06:35:25 <^v> Sgeo, its not backwards compatable when the pointer is moved back to the program in memory 06:36:36 <^v> so <[foo] will execute foo in agony 06:37:30 sounds painful 06:37:39 <^v> not really 06:38:16 <^v> i never have my BF programs go before 0 06:41:17 -!- not^v has joined. 06:41:56 -!- glogbackup has quit (Ping timeout: 246 seconds). 06:43:56 -!- oerjan has quit (Quit: leaving). 06:43:59 -!- ^v has quit (Ping timeout: 252 seconds). 06:49:07 anyone wana have a agony core war? 06:57:57 -!- Slereahphone has joined. 06:59:11 -!- not^v has changed nick to ^v. 07:21:33 -!- ^v has quit (Quit: Leaving). 07:52:39 -!- Slereahphone has quit (Read error: Connection reset by peer). 07:53:03 -!- Slereahphone has joined. 07:53:15 -!- Slereahphone has quit (Remote host closed the connection). 07:53:55 -!- Slereahphone has joined. 07:54:56 -!- BeingUntoDeath has quit. 08:05:36 -!- MindlessDrone has joined. 08:06:06 -!- heroux has quit (Ping timeout: 264 seconds). 08:06:55 i like the idea, but i have to write some agony first 08:17:44 -!- Slereahphone has quit (Remote host closed the connection). 08:18:32 -!- Slereahphone has joined. 08:29:37 -!- Slereahphone has quit (Ping timeout: 240 seconds). 08:33:20 -!- MoALTz has joined. 08:37:54 -!- MoALTz has quit (Ping timeout: 264 seconds). 08:44:08 -!- Slereahphone has joined. 08:50:31 Hands-On: Oculus Rift Development Kit 2 http://youtu.be/4d3Wli7s6KY 09:00:24 -!- weeeu has quit (K-Lined). 09:01:12 -!- heroux has joined. 09:25:58 -!- MoALTz has joined. 09:26:05 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 09:44:10 -!- conehead has quit (Quit: Computer has gone to sleep.). 10:04:53 -!- shikhout has joined. 10:08:19 -!- shikhin has quit (Ping timeout: 264 seconds). 10:08:19 -!- shikhout has changed nick to shikhin. 10:16:13 -!- boily has joined. 10:17:13 -!- drlemon_ has quit (Ping timeout: 240 seconds). 10:38:04 @missages-loid 10:38:04 You don't have any messages 10:41:11 -!- password2 has quit (Ping timeout: 265 seconds). 10:58:16 -!- password2 has joined. 11:02:30 -!- boily has quit (Quit:  ). 11:04:11 -!- myname has quit (Ping timeout: 255 seconds). 11:04:53 -!- myname has joined. 11:06:28 -!- yorick has joined. 11:48:02 -!- nooodl has joined. 12:00:32 -!- nooodl has quit (Quit: Ik ga weg). 12:01:48 -!- Sorella has joined. 12:28:15 -!- Sgeo has quit (Read error: Connection reset by peer). 12:31:03 -!- tertu has joined. 12:41:22 -!- applybot has quit (Remote host closed the connection). 12:48:22 -!- applybot has joined. 12:53:07 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…). 13:07:11 -!- idris-ircslave has joined. 14:07:37 -!- MoALTz has quit (Quit: bbl). 14:16:31 -!- tertu has quit (Ping timeout: 252 seconds). 14:27:13 -!- heroux has quit (Ping timeout: 240 seconds). 14:29:12 -!- heroux has joined. 14:32:12 http://s3-ec.buzzfed.com/static/2014-03/enhanced/webdr04/18/16/original-24418-1395173816-9.jpg 14:43:58 old news 14:51:59 -!- password2 has quit (Ping timeout: 240 seconds). 15:03:27 -!- password2 has joined. 15:32:23 -!- Slereahphone has joined. 15:46:32 -!- Bike has joined. 15:52:07 -!- oerjan has joined. 16:04:57 -!- shikhout has joined. 16:05:53 my brain requires assistance 16:06:24 once again :) 16:06:49 Is it hard to solve a system of linear equations modulo 2? 16:07:33 i say yes 16:07:40 no, it's easier than with ordinary numbers 16:07:43 -!- shikhin has quit (Ping timeout: 264 seconds). 16:07:45 -!- shikhout has changed nick to shikhin. 16:07:59 damn 16:08:41 Like 1 = |0 - a| + |1 - b| + |0 - c| AND 1 = |0 - a| + |0 - b| AND 1 = |1 - c| 16:09:03 you just replace real / rational numbers with the 2 element field F_2 = {0,1}, which is smaller; otherwise everything else works with matrix methods. 16:09:28 um you know | | usually means absolute value and is _not_ linear, right? 16:09:38 oh hm 16:09:50 does that matter in F_2? 16:09:50 oerjan: It should be linear in mod 2? 16:10:14 mroman: um well then don't use notation that makes it look nonlinear OKAY? 16:10:34 Ok. 16:10:35 So. 16:10:44 It's actually about 3-SAT 16:11:09 ah. in that case the problem you are looking at is called XORSAT. 16:11:09 yeah since addition mod 2 is xor, not or 16:11:46 Every (sub-)term of a 3-SAT formula defines what can't possibly be a solution 16:11:52 there is XORSAT? 16:12:00 i just have to read about it 16:12:05 -!- realzies has quit (Read error: Connection reset by peer). 16:12:07 a or b or c tells me that a=0,b=0,c=0 can't be a solution 16:12:24 i don't think the example problem has a solution... 16:12:41 And I sort of want to represent every (sub)term as a point in an n-dimensional Space 16:12:53 (where n is the amount of variables) 16:13:11 XORSAT is _not_ believed to be NP-complete, but it crushes many attempts to prove P != NP because it's so _similar_ to SAT in statistical behavior. 16:13:24 a solution must have a distance of exactly 1 to every non-solution 16:13:25 (by not believed i mean XORSAT is in P) 16:13:42 so if the term goes like (a OR b OR c) AND (.....) 16:13:53 c is obviously zero, so you get 1 = |0-a| + |1-b| and 1 = |0-a| + |0-b|... 16:14:10 I know that 1 = |0 - a| + |0 - b| + |0 - c| 16:14:26 Uh, 0 - a = a 16:14:48 mroman: i thought addition was xor. 16:15:11 mroman: the thing to note is that if that actually is absolute value, it is _not_ the same as a linear expression (mod 2) 16:15:20 because (mod 2), 1 + 1 + 1 = 1 16:15:52 but for integers, |a| + |b| + |c| = 1 doesn't have that as a solution. 16:16:08 the addition is not mod 2 16:16:09 yeah 16:16:16 only the subtraction 16:16:25 so you're not actually talking about a system of linear equations mod 2, then 16:16:30 ok in that case you are just getting 3-SAT back. 16:16:40 slightly reformulated, but not easier. 16:17:39 Or a special case of 1-0 integer programming (which reassuringly is also NP-complete) 16:18:05 but |0 - x| is actually x? 16:18:25 -!- realzies has joined. 16:18:28 mod 2 16:18:34 so you can rewrite every |0 - x| to x 16:18:41 and every |1 - x| is actually just 1 - x? 16:19:02 there's 1 - 1 = 0 or 1 - 0 = 1 which is the same as |1 - x| 16:19:27 (by crushes many attempts i mean that e.g. the deolalikar "proof" that went the rounds a few years ago was seen by experts to be failed because its argument did not really distinguish SAT from XOR-SAT, so would imply the latter wasn't in P, a contradiction.) 16:19:48 Which means I can get rid of || 16:20:22 and I'm back to regular linear equations 16:20:44 probably not 16:20:54 I still assume there's a mistake in my brain somewhere 16:22:29 You end up with 1 = a + b + c AND 1 = (1 - b) + c (1 - d) AND ... 16:22:42 where a,b,c,d \elemof {0,1} 16:22:47 mroman: x or y or z does not imply x + y + z = 1 with ordinary numbers. 16:23:00 it can be 2, or 3. 16:23:06 oerjan: but mod 2 it does 16:23:11 no. 16:23:13 why not? 16:23:16 then it can be 0 or 1. 16:23:30 because 1 + 1 + 0 = 0 (mod 2) 16:23:42 oerjan: Yeah. But that's no problem 16:24:13 why not? it's a solution to a or b or c 16:24:34 which you are discarding if you insist on a + b + c = 1 (mod 2) 16:24:35 oerjan: It's a solution 16:24:41 but it's not the solution we're looking for 16:24:52 which solution are you looking for? 16:24:58 1 + 1 + 0 is a solution with distance greater than 1 16:25:03 so I don't care about those solutions 16:25:16 -!- john_metcalf has joined. 16:25:28 -!- realzies has quit (Read error: Connection reset by peer). 16:25:51 -!- realzies has joined. 16:25:51 -!- realzies has quit (Changing host). 16:25:51 -!- realzies has joined. 16:25:55 Silly oerjan, it's not a solution to a or b or c mod 2 16:25:56 ic. i think then your problem is that the intermediate solutions (0,1,0) and (1,0,0) might be ruled out by _other_ terms. 16:25:58 (a or b or c) AND (d or c or b) describes two points in a 4-dimensional space 16:26:13 namely (0,0,0,X) and (X,0,0,0) 16:26:34 mroman: wat. 16:26:37 if the SAT Term has a solution, then there exists a point with distance 1 to all known points 16:27:27 Do functors form the morphisms of a category whose objects are categories? 16:27:29 > filter (\[a,b,c,d] -> (a || b || c) && (d || c || b)) $ sequence (replicate 4 [0,1]) 16:27:30 (input):1:55:No such variable \ 16:27:31 No instance for (GHC.Num.Num GHC.Types.Bool) 16:27:31 arising from the literal `0' 16:27:31 Possible fix: 16:27:31 add an instance declaration for (GHC.Num.Num GHC.Types.Bool) 16:27:38 mroman: to rephrase, for an actually difficult SAT problem there will be no solution to the combination that is also a distance 1 solution to every _subterm_ 16:27:58 well. or maybe there will. 16:28:06 @run map (map fromEnum) $ filter (\[a,b,c,d] -> (a || b || c) && (d || c || b)) $ sequence (replicate 4 [False,True]) 16:28:07 [[0,0,1,0],[0,0,1,1],[0,1,0,0],[0,1,0,1],[0,1,1,0],[0,1,1,1],[1,0,0,1],[1,0,... 16:28:07 oerjan: That can't be 16:28:13 It has to have at least distance 1 to every subterm 16:28:15 it could still be an NP-complete problem just there. 16:28:39 mroman: at _least_ does not mean it's exactly 1 for all of them. 16:28:51 that's true 16:29:22 Do functors form the morphisms of a category whose objects are categories? <-- yes. 16:29:59 Crazy 16:30:29 and it's the strange and hard to fit together correlations between different terms that make SAT hard. 16:30:42 SAT? 16:30:59 -!- Bike has quit (Ping timeout: 246 seconds). 16:31:01 satisfiability problem 16:31:07 Oh, that 16:31:21 laundry -> 16:32:37 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi). 16:33:35 yep 16:33:47 there's trivially (1,1,X) and (0,1,X) 16:33:54 with (0,0,X) as solution 16:34:14 with d >= 1 to (1,1,X) 16:36:52 -!- Bike has joined. 16:37:32 Taneb: the category of "small" categories, thanks to some barber 16:38:29 Taneb: there is also, for any two categories C and D, a category whose objects are the _functors_ from C to D and whose morphisms are natural transformations. 16:39:50 what about the category whose objects are natural transformations and whose morphisms are clips from the Seinfeld laugh track 16:40:08 Bike: that does not sound natural to me 16:40:33 Bike: which natural transformations? 16:41:24 however, there is an unending tower of such constructions, which has given its name to the n-category cafe blog which my brain stays away from for its own sanity. 16:41:43 lexande: just start with oerjan's message and then append mine with bla bla bla it'll totes work out 16:41:53 (not that it helps with the sanity, anyway) 16:45:58 then, of course, you can construct a category whose objects are the aforementioned Seinfeld laugh track clips where morphisms are Turkish historical figures, and so on and so forth 16:47:10 its natural transformations live in Hom(Constantinopel, Istanbul) 16:47:28 oops 16:47:30 *ple 16:47:47 i knew that disn't leok rite 16:47:57 -!- Slereah_ has joined. 17:00:47 -!- MoALTz has joined. 17:07:48 -!- MoALTz_ has joined. 17:11:14 -!- MoALTz has quit (Ping timeout: 265 seconds). 17:25:13 -!- lexande has quit (Ping timeout: 240 seconds). 17:25:19 -!- lexande has joined. 17:33:13 -!- oerjan has quit (Quit: leaving). 17:36:50 -!- ^v has joined. 18:07:52 http://i.imgur.com/FDEF7h3.png getting there 18:08:37 so much blood 18:08:53 yeah 18:10:21 :) 18:11:00 How usable is Servo rn? 18:14:18 it does an OK job on wikipedia, except last I checked we had some crashing bugs there 18:14:24 but it used to work pretty well 18:22:19 should I be scared when the WHATWG spec says "for historical reasons"? because I feel like that phrase already applies to the entire document 18:29:49 Yes 18:31:21 -!- Phantom_Hoover has joined. 18:31:27 Hello Phantom_Hoover 18:31:43 hello Taneb 18:31:48 How are you 18:32:30 fine 18:32:44 (i spent a week diving, in cornwall) 18:33:10 nice 18:33:14 what did you see 18:33:18 kelp, mostly 18:33:53 there were very bad storms around there recently, it seems to have killed off the interesting sea life and stirred up a ton of silt 18:34:59 -!- password2 has quit (Ping timeout: 240 seconds). 18:36:07 i did not see a variety of colourful fish 18:36:30 Last time I went diving I did 18:36:35 But that wasn't in Cornwall 18:37:18 yeah, there's a summer trip to malta planned where you can actually see something 18:37:20 That was on the Great Barrier Reef 18:37:41 but all the deadly sea life! 18:37:59 They had like fences to keep the sharks and jellies out 18:38:45 I have watched way too much RvB in the past few days 18:53:38 -!- nooodl has joined. 19:01:14 -!- nooodl has quit (Quit: Ik ga weg). 19:05:52 -!- nooodl has joined. 19:06:17 Taneb: what's your real first name? 19:06:43 quintopia, why do you ask? 19:08:36 (it's Nathan) 19:09:14 i'm looking for euphonic name 19:09:15 s 19:09:28 nathan isn't one, though. not to me. 19:13:18 How about "Sarah" 19:16:11 I do not actually know what euphonic means 19:18:18 -!- prooftechnique has joined. 19:20:08 Taneb, 'sounds good' 19:20:16 I stand by "Sarah" 19:20:25 Lots of soft sounds 19:27:45 -!- nooodl has quit (Quit: Leaving). 19:28:07 -!- nooodl has joined. 19:40:54 -!- nisstyre has joined. 19:43:49 -!- nooodl has quit (Ping timeout: 245 seconds). 19:44:10 http://louhuang.com/2048-numberwang/ 19:46:48 and i thought 2048 tetris was absurd 19:47:16 kmc: what the hell 19:49:18 whoa 19:49:20 i got numberwang 19:49:21 are there actually rules? 19:49:39 the rules are the combination of 2048 rules and the numberwang rules 19:49:42 shachaf: congrats 19:49:50 myname, the colour are consistent 19:50:02 http://rudradevbasak.github.io/16384_hex/ 19:50:03 i... just don't get numberwang rules 19:50:46 Pay attention to the colours rather than the numbers 19:51:36 -!- shikhin has changed nick to shikbot. 19:52:28 but then it's just like playing regular 2048 19:53:53 -!- shikbot has changed nick to shikhin. 19:54:28 you're missing out on the numberwang part 19:58:32 -!- Sprocklem has joined. 19:59:29 -!- nooodl has joined. 20:01:09 -!- nortti has changed nick to lawspeaker. 20:02:00 -!- lawspeaker has changed nick to nortti. 20:25:33 -!- nortti has changed nick to lawspeaker. 20:25:49 -!- lawspeaker has changed nick to nortti. 20:44:39 myname: https://www.youtube.com/watch?v=swV3E3HPQC4 comes with all 37 volumes of the rules 20:48:22 -!- prooftechnique has quit (Quit: leaving). 20:52:47 Strange thing: blacks in YouTube videos are much darker for the 720p and 1080p format than for the "non-HD" ones; it's like there's a visible light-gray film on top otherwise. 20:54:02 it's because it's HD 20:55:32 High Darkness 21:00:18 -!- conehead has joined. 21:03:09 -!- MindlessDrone has quit (Quit: MindlessDrone). 21:04:01 -!- applybot has quit (Remote host closed the connection). 21:05:43 -!- applybot has joined. 21:12:27 -!- applybot has quit (Remote host closed the connection). 21:25:00 -!- Sprocklem has quit (Ping timeout: 265 seconds). 21:25:39 i am getting so muich numberwang rn 21:25:42 fizzie, they reduce the video size by getting rid of the dark colours obviously 21:25:52 * ^v steals Bike 21:29:19 i've been wangernumbed :< 21:30:29 fizzie: they might add some noise to hide bad video quality too 21:37:27 -!- applybot has joined. 21:39:37 ahaha, i just looked at adblock plus' counter of elements blocked 21:39:42 on facebook, it's 97 22:05:14 -!- shikhout has joined. 22:07:43 -!- shikhin has quit (Ping timeout: 264 seconds). 22:07:44 -!- shikhout has changed nick to shikhin. 22:22:38 -!- MoALTz_ has quit (Quit: bbl). 22:27:14 -!- ^v has quit (Ping timeout: 252 seconds). 22:28:02 -!- Sprocklem has joined. 22:36:05 -!- ^v has joined. 22:39:24 <^v> anyone make hello world in http://esolangs.org/wiki/SLOW_ACV_MAMMALIAN? 22:44:24 -!- trout has quit (Ping timeout: 255 seconds). 22:50:11 -!- oerjan has joined. 22:52:08 -!- nooodl has quit (Quit: Leaving). 22:52:28 -!- nooodl has joined. 22:58:35 -!- ^v has quit (Read error: Connection reset by peer). 22:59:35 -!- ^v has joined. 23:05:06 Does anyone here work at BBN or Cisco? I need to get in touch with someone! 23:05:46 -!- not^v has joined. 23:08:29 -!- ^v has quit (Ping timeout: 252 seconds). 23:20:10 abiword, uh, doesn't have .docx support 23:32:08 hello world in MGIFOS is 8664592796570470965967495401779828799968421089183272766098933015548308114522263087402588080665328783362159691617011873780929333 *s 23:32:57 wait, might be truncated 23:32:59 fack 23:33:06 one sec 23:36:15 but then it's just like playing regular 2048 <-- except that sometimes blocks fail to merge for no obvious reason. i think i did well but i don't know why. 23:38:35 -!- not^v has quit (Read error: Connection reset by peer). 23:39:27 -!- not^v has joined. 23:41:27 -!- ^v has joined. 23:44:14 -!- not^v has quit (Ping timeout: 252 seconds). 23:46:23 -!- ^v has quit (Read error: Connection reset by peer). 23:46:59 shachaf: numberwang2048 sometimes randomly changes tile values, so you end up losing your high value tile 23:47:11 -!- ^v has joined. 23:48:51 -!- copumpkin has joined. 23:52:26 -!- contrapumpkin has joined. 23:53:09 -!- tromp has joined. 23:54:28 -!- Sgeo has joined. 23:55:48 -!- copumpkin has quit (Ping timeout: 265 seconds). 23:55:52 -!- contrapumpkin has changed nick to copumpkin. 23:58:26 Why am I looking at Self? Just because someone on Reddit, possibly a troll, said Self was more flexible than something or other? 23:58:38 (And pretty sure it was in the context of macros, so...) 23:58:51 because you are sgeo