←2014-03-19 2014-03-20 2014-03-21→ ↑2014 ↑all
00:00:14 <kmc> kids these days with their CSS animations
00:00:34 <boily> fungot praise zzo38 for maintaining a gopher site!
00:00:34 <fungot> 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 <kmc> (CSS animations can mostly happen off the main thread and so are way smoother)
00:00:59 <boily> ^style fungot
00:01:00 <fungot> Selected style: fungot (What I've said myself)
00:02:16 <boily> meanwhile, TIL you can have quantum physics in minecraft →http://qcraft.org/
00:02:18 <kmc> fungot
00:02:19 <fungot> 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 <kmc> wow
00:02:59 <boily> fungot: fairies are important! they are an integral part of a healthy, balanced breakfast!
00:03:00 <fungot> 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 <kmc> oh my alma mater is involved
00:03:12 <kmc> the "Institute for Quantum Information and Matter" at Caltech
00:03:38 <kmc> 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 <Bike> this seems like a weird way to illustrate quantum
00:07:01 <boily> it is weird. but it has interesting observable cubes!
00:09:22 <Sgeo> Self's community seems deadish
00:09:49 <boily> self, as in the programming language of the same name?
00:09:53 <Sgeo> yes
00:12:05 <kmc> are there notable instances of a PL coming back from the dead?
00:12:52 <kmc> Haskell and Erlang languished in obscurity for many years before becoming widely known
00:12:59 <kmc> but they were never quite dead
00:13:53 <boily> they're more like undereconstructed zombie unicorns.
00:14:11 <boily> (reddit is fungotting weird. http://www.reddit.com/r/avocadosgonewild)
00:14:11 <fungot> 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 <kmc> was anybody outside Apple using Objective C between 1996 and 2001? probably
00:14:35 <elliott_> kmc: Ruby languished in obscurity too
00:14:39 <kmc> true
00:14:40 <elliott_> (but it was popular inside Japan)
00:14:44 <kmc> big in japan
00:15:18 -!- Froox has quit (Quit: *bubbles away*).
00:15:29 <kmc> 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 <elliott_> ?
00:16:00 <Taneb> 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 <kmc> fungot: have you been to japan
00:18:08 <fungot> 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 <Taneb> Hey, I bought a copy of H2G2 the other day
00:19:06 <Taneb> I forgot about that
00:19:23 <boily> Taneb: oh! first volume, or the whole trilogy?
00:19:29 <Taneb> Whole trilogy
00:19:36 <Taneb> Not the Eoin Colfer one though
00:19:45 <boily> fungot: “open't”? that's some very interesting contraction.
00:19:45 <fungot> 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 <Taneb> But all the other 5 parts
00:20:20 <boily> Taneb: eh? I thought the trilogy only had 5 parts.
00:20:40 <boily> fungot: so, an open't is some kind of prin't.
00:20:40 <fungot> 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 <boily> fungot: is?
00:21:07 <fungot> 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 <fungot> 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 <boily> ^welcome BeingUntoDeath
00:38:34 <fungot> 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 <olsner> ^relcome
00:39:13 <Bike> we may have to go without in this time of difficulty, olsner
00:40:11 <boily> ~metar CYUL
00:40:12 <metasepia> CYUL 200008Z 16023KT 6SM -SN BKN025 OVC040 02/M05 A2991 RMK SC7SC1 SLP131
00:40:14 <olsner> this is clearly unacceptable
00:40:16 <kmc> seriously what happened to HackEgo
00:40:21 <boily> +2! +2!
00:40:54 <olsner> it broke (how?) and I guess it's still broken because it hasn't been made to join us yet
00:42:55 <olsner> maybe fungot knows?
00:42:56 <fungot> 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 <boily> probably Gregor didn't supply HackEgo with enough extra zeroes...
00:47:22 -!- idris-ircslave has joined.
00:56:03 <boily> fungot: what do you eat?
00:56:04 <fungot> 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 <boily> so fungot eats his own styles. so meta...
00:56:19 <fungot> 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 <fizzie> That's such a mismash.
00:57:40 <fizzie> 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 <boily> I am not comestible! I taste bad! shoo! shoo!
01:06:02 <^v> <[.<]$$$,$[+.~}+++.~]~}{$+.~)~.~*~{{$+>+<~}~@{$~@~[{*
01:06:41 <^v> tis agony btw :P
01:08:19 <boily> and I now know how to pronounce the “^” in your name.
01:09:23 <^v> wat
01:10:43 <boily> “roy”. I assume that the “v” is the rest of it.
01:11:10 <^v> i dont even?
01:12:25 <boily> I also assumed you created Agony. seems that my hypothesis is false.
01:13:01 <boily> 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 <boily> 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 <Sgeo> :( 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 <Sgeo> Since #self-lang is too dead to answer questions about Self...
02:01:11 <kmc> maybe they didn't sleep enough
02:01:16 <Sgeo> 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 <Guest3808> i thought +i meant i was identified -_-
02:02:04 -!- Guest3808 has changed nick to Bike.
02:03:19 <Sgeo> What languages have an object called lobby or something similar, that serves as some sort of starting point?
02:03:24 <Sgeo> ala Self and (iirc) Io?
02:03:36 <Sgeo> Or, an other object that serves a similar purpose?
02:04:10 <Bike> 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 <Sgeo> Why is Smalltalk so much more popular than Self?
02:07:47 <BeingUntoDeath> is smalltalk considered an eso. language?
02:08:14 <^v> nop
02:08:54 <Bike> no, it was made for serious reasons and is used for serious reasons.
02:09:10 <Bike> Sgeo: older + why should i care about self
02:10:14 <Sgeo> There are some languages that are not considered eso languages, but deserve to be
02:10:51 <lexande> kmc: is C++ still your favourite esolang?
02:10:59 <Bike> nothing deserves anything
02:11:06 <Bike> all is void.
02:11:09 <newsham> 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 <BeingUntoDeath> lol!
02:11:23 * ^v snatches Bike's bike
02:11:33 <BeingUntoDeath> 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 <Bike> my bike is me.
02:11:46 <^v> SORRY WRONG BIKE
02:11:46 <BeingUntoDeath> hahaha.
02:11:48 <Bike> rip me.
02:12:15 <newsham> favorite-irc-people achievement: unlocked
02:12:28 <^v> newsham, incorrect
02:12:40 <^v> you dont deserve achievements
02:12:48 <newsham> 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 <kmc> lexande: maybe
02:13:22 <newsham> i'm not in favor of people killing.
02:14:05 <Bike> 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 <newsham> i would prefer good things for the people who are mostly good, which is most people.
02:17:33 <newsham> 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 <Melvar> < boily> well, it's easier to say than “v̂”. – Not hugely, though.
02:46:15 <quintopia> very villainous vaudevillian viviferous ventriloquists
02:46:25 <ion> `coins
02:58:40 <Sgeo> I wonder how the Self IDE compares/contrasts to Smalltalk
02:58:45 <Sgeo> I assume no class browser in Self
03:07:48 <Sgeo> http://rosettacode.org/wiki/Self
03:07:53 <Sgeo> 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 <Bike> 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 <elliott_> 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 <myname> agony looks nice
05:49:18 <Sgeo> Most of the time backwards compatible
05:49:21 <Sgeo> When is it not?
05:49:30 <Sgeo> Well, BF 'comments'
05:54:32 -!- shikhin has joined.
06:06:30 <coppro> http://www.cs.utexas.edu/~wcook/Drafts/2009/essay.pdf meant to post this here
06:19:55 <myname> i am a bit confused about how much space agony has
06:20:14 <myname> if it's cyclic, will i end at the first char if i do >?
06:20:50 <Sgeo> Oh! So methods and non-methods are treated the same way in Self
06:21:01 <Sgeo> Not magic. Just objects without code return themselves
06:22:07 <Sgeo> ... (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 <Sgeo> 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 <kmc> 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 <not^v> 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 <myname> 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 <ion> 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 <boily> @missages-loid
10:38:04 <lambdabot> 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 <ion> http://s3-ec.buzzfed.com/static/2014-03/enhanced/webdr04/18/16/original-24418-1395173816-9.jpg
14:43:58 <myname> 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 <mroman> my brain requires assistance
16:06:24 <mroman> once again :)
16:06:49 <mroman> Is it hard to solve a system of linear equations modulo 2?
16:07:33 <myname> i say yes
16:07:40 <oerjan> 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 <myname> damn
16:08:41 <mroman> Like 1 = |0 - a| + |1 - b| + |0 - c| AND 1 = |0 - a| + |0 - b| AND 1 = |1 - c|
16:09:03 <oerjan> 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 <oerjan> um you know | | usually means absolute value and is _not_ linear, right?
16:09:38 <oerjan> oh hm
16:09:50 <myname> does that matter in F_2?
16:09:50 <mroman> oerjan: It should be linear in mod 2?
16:10:14 <oerjan> mroman: um well then don't use notation that makes it look nonlinear OKAY?
16:10:34 <mroman> Ok.
16:10:35 <mroman> So.
16:10:44 <mroman> It's actually about 3-SAT
16:11:09 <oerjan> ah. in that case the problem you are looking at is called XORSAT.
16:11:09 <lexande> yeah since addition mod 2 is xor, not or
16:11:46 <mroman> Every (sub-)term of a 3-SAT formula defines what can't possibly be a solution
16:11:52 <myname> there is XORSAT?
16:12:00 <myname> i just have to read about it
16:12:05 -!- realzies has quit (Read error: Connection reset by peer).
16:12:07 <mroman> a or b or c tells me that a=0,b=0,c=0 can't be a solution
16:12:24 <Bike> i don't think the example problem has a solution...
16:12:41 <mroman> And I sort of want to represent every (sub)term as a point in an n-dimensional Space
16:12:53 <mroman> (where n is the amount of variables)
16:13:11 <oerjan> 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 <mroman> a solution must have a distance of exactly 1 to every non-solution
16:13:25 <oerjan> (by not believed i mean XORSAT is in P)
16:13:42 <mroman> so if the term goes like (a OR b OR c) AND (.....)
16:13:53 <Bike> c is obviously zero, so you get 1 = |0-a| + |1-b| and 1 = |0-a| + |0-b|...
16:14:10 <mroman> I know that 1 = |0 - a| + |0 - b| + |0 - c|
16:14:26 <Jafet> Uh, 0 - a = a
16:14:48 <Bike> mroman: i thought addition was xor.
16:15:11 <oerjan> 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 <oerjan> because (mod 2), 1 + 1 + 1 = 1
16:15:52 <oerjan> but for integers, |a| + |b| + |c| = 1 doesn't have that as a solution.
16:16:08 <mroman> the addition is not mod 2
16:16:09 <mroman> yeah
16:16:16 <mroman> only the subtraction
16:16:25 <lexande> so you're not actually talking about a system of linear equations mod 2, then
16:16:30 <oerjan> ok in that case you are just getting 3-SAT back.
16:16:40 <oerjan> slightly reformulated, but not easier.
16:17:39 <Jafet> Or a special case of 1-0 integer programming (which reassuringly is also NP-complete)
16:18:05 <mroman> but |0 - x| is actually x?
16:18:25 -!- realzies has joined.
16:18:28 <mroman> mod 2
16:18:34 <mroman> so you can rewrite every |0 - x| to x
16:18:41 <mroman> and every |1 - x| is actually just 1 - x?
16:19:02 <mroman> there's 1 - 1 = 0 or 1 - 0 = 1 which is the same as |1 - x|
16:19:27 <oerjan> (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 <mroman> Which means I can get rid of ||
16:20:22 <mroman> and I'm back to regular linear equations
16:20:44 <mroman> probably not
16:20:54 <mroman> I still assume there's a mistake in my brain somewhere
16:22:29 <mroman> You end up with 1 = a + b + c AND 1 = (1 - b) + c (1 - d) AND ...
16:22:42 <mroman> where a,b,c,d \elemof {0,1}
16:22:47 <oerjan> mroman: x or y or z does not imply x + y + z = 1 with ordinary numbers.
16:23:00 <oerjan> it can be 2, or 3.
16:23:06 <mroman> oerjan: but mod 2 it does
16:23:11 <oerjan> no.
16:23:13 <mroman> why not?
16:23:16 <oerjan> then it can be 0 or 1.
16:23:30 <oerjan> because 1 + 1 + 0 = 0 (mod 2)
16:23:42 <mroman> oerjan: Yeah. But that's no problem
16:24:13 <oerjan> why not? it's a solution to a or b or c
16:24:34 <oerjan> which you are discarding if you insist on a + b + c = 1 (mod 2)
16:24:35 <mroman> oerjan: It's a solution
16:24:41 <mroman> but it's not the solution we're looking for
16:24:52 <oerjan> which solution are you looking for?
16:24:58 <mroman> 1 + 1 + 0 is a solution with distance greater than 1
16:25:03 <mroman> 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 <Jafet> Silly oerjan, it's not a solution to a or b or c mod 2
16:25:56 <oerjan> 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 <mroman> (a or b or c) AND (d or c or b) describes two points in a 4-dimensional space
16:26:13 <mroman> namely (0,0,0,X) and (X,0,0,0)
16:26:34 <oerjan> mroman: wat.
16:26:37 <mroman> if the SAT Term has a solution, then there exists a point with distance 1 to all known points
16:27:27 <Taneb> Do functors form the morphisms of a category whose objects are categories?
16:27:29 <Jafet> > filter (\[a,b,c,d] -> (a || b || c) && (d || c || b)) $ sequence (replicate 4 [0,1])
16:27:30 <idris-ircslave> (input):1:55:No such variable \
16:27:31 <lambdabot> No instance for (GHC.Num.Num GHC.Types.Bool)
16:27:31 <lambdabot> arising from the literal `0'
16:27:31 <lambdabot> Possible fix:
16:27:31 <lambdabot> add an instance declaration for (GHC.Num.Num GHC.Types.Bool)
16:27:38 <oerjan> 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 <oerjan> well. or maybe there will.
16:28:06 <Jafet> @run map (map fromEnum) $ filter (\[a,b,c,d] -> (a || b || c) && (d || c || b)) $ sequence (replicate 4 [False,True])
16:28:07 <lambdabot> [[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 <mroman> oerjan: That can't be
16:28:13 <mroman> It has to have at least distance 1 to every subterm
16:28:15 <oerjan> it could still be an NP-complete problem just there.
16:28:39 <oerjan> mroman: at _least_ does not mean it's exactly 1 for all of them.
16:28:51 <mroman> that's true
16:29:22 <oerjan> <Taneb> Do functors form the morphisms of a category whose objects are categories? <-- yes.
16:29:59 <Taneb> Crazy
16:30:29 <oerjan> and it's the strange and hard to fit together correlations between different terms that make SAT hard.
16:30:42 <Taneb> SAT?
16:30:59 -!- Bike has quit (Ping timeout: 246 seconds).
16:31:01 <oerjan> satisfiability problem
16:31:07 <Taneb> Oh, that
16:31:21 <oerjan> laundry ->
16:32:37 -!- Slereahphone has quit (Quit: Colloquy for iPhone - http://colloquy.mobi).
16:33:35 <mroman> yep
16:33:47 <mroman> there's trivially (1,1,X) and (0,1,X)
16:33:54 <mroman> with (0,0,X) as solution
16:34:14 <mroman> with d >= 1 to (1,1,X)
16:36:52 -!- Bike has joined.
16:37:32 <Bike> Taneb: the category of "small" categories, thanks to some barber
16:38:29 <oerjan> 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 <Bike> what about the category whose objects are natural transformations and whose morphisms are clips from the Seinfeld laugh track
16:40:08 <oerjan> Bike: that does not sound natural to me
16:40:33 <lexande> Bike: which natural transformations?
16:41:24 <oerjan> 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 <Bike> lexande: just start with oerjan's message and then append mine with bla bla bla it'll totes work out
16:41:53 <oerjan> (not that it helps with the sanity, anyway)
16:45:58 <Bike> 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 <oerjan> its natural transformations live in Hom(Constantinopel, Istanbul)
16:47:28 <oerjan> oops
16:47:30 <oerjan> *ple
16:47:47 <oerjan> 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 <kmc> http://i.imgur.com/FDEF7h3.png getting there
18:08:37 <Slereah_> so much blood
18:08:53 <kmc> yeah
18:10:21 <Taneb> :)
18:11:00 <Taneb> How usable is Servo rn?
18:14:18 <kmc> it does an OK job on wikipedia, except last I checked we had some crashing bugs there
18:14:24 <kmc> but it used to work pretty well
18:22:19 <kmc> 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 <Taneb> Yes
18:31:21 -!- Phantom_Hoover has joined.
18:31:27 <Taneb> Hello Phantom_Hoover
18:31:43 <Phantom_Hoover> hello Taneb
18:31:48 <Taneb> How are you
18:32:30 <Phantom_Hoover> fine
18:32:44 <Phantom_Hoover> (i spent a week diving, in cornwall)
18:33:10 <kmc> nice
18:33:14 <kmc> what did you see
18:33:18 <Phantom_Hoover> kelp, mostly
18:33:53 <Phantom_Hoover> 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 <Phantom_Hoover> i did not see a variety of colourful fish
18:36:30 <Taneb> Last time I went diving I did
18:36:35 <Taneb> But that wasn't in Cornwall
18:37:18 <Phantom_Hoover> yeah, there's a summer trip to malta planned where you can actually see something
18:37:20 <Taneb> That was on the Great Barrier Reef
18:37:41 <Phantom_Hoover> but all the deadly sea life!
18:37:59 <Taneb> They had like fences to keep the sharks and jellies out
18:38:45 <Taneb> 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 <quintopia> Taneb: what's your real first name?
19:06:43 <Taneb> quintopia, why do you ask?
19:08:36 <Taneb> (it's Nathan)
19:09:14 <quintopia> i'm looking for euphonic name
19:09:15 <quintopia> s
19:09:28 <quintopia> nathan isn't one, though. not to me.
19:13:18 <Taneb> How about "Sarah"
19:16:11 <Taneb> I do not actually know what euphonic means
19:18:18 -!- prooftechnique has joined.
19:20:08 <Phantom_Hoover> Taneb, 'sounds good'
19:20:16 <Taneb> I stand by "Sarah"
19:20:25 <Taneb> 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 <kmc> http://louhuang.com/2048-numberwang/
19:46:48 <myname> and i thought 2048 tetris was absurd
19:47:16 <myname> kmc: what the hell
19:49:18 <shachaf> whoa
19:49:20 <shachaf> i got numberwang
19:49:21 <myname> are there actually rules?
19:49:39 <shachaf> the rules are the combination of 2048 rules and the numberwang rules
19:49:42 <kmc> shachaf: congrats
19:49:50 <Taneb> myname, the colour are consistent
19:50:02 <Taneb> http://rudradevbasak.github.io/16384_hex/
19:50:03 <myname> i... just don't get numberwang rules
19:50:46 <Taneb> Pay attention to the colours rather than the numbers
19:51:36 -!- shikhin has changed nick to shikbot.
19:52:28 <shachaf> but then it's just like playing regular 2048
19:53:53 -!- shikbot has changed nick to shikhin.
19:54:28 <shachaf> 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 <olsner> 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 <fizzie> 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 <elliott_> it's because it's HD
20:55:32 <shachaf> 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 <Bike> i am getting so muich numberwang rn
21:25:42 <Phantom_Hoover> fizzie, they reduce the video size by getting rid of the dark colours obviously
21:25:52 * ^v steals Bike
21:29:19 <Bike> i've been wangernumbed :<
21:30:29 <olsner> fizzie: they might add some noise to hide bad video quality too
21:37:27 -!- applybot has joined.
21:39:37 <Phantom_Hoover> ahaha, i just looked at adblock plus' counter of elements blocked
21:39:42 <Phantom_Hoover> 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 <john_metcalf> 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 <Phantom_Hoover> abiword, uh, doesn't have .docx support
23:32:08 <not^v> hello world in MGIFOS is 8664592796570470965967495401779828799968421089183272766098933015548308114522263087402588080665328783362159691617011873780929333 *s
23:32:57 <not^v> wait, might be truncated
23:32:59 <not^v> fack
23:33:06 <not^v> one sec
23:36:15 <oerjan> <shachaf> 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 <lexande> 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 <Sgeo> 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 <Sgeo> (And pretty sure it was in the context of macros, so...)
23:58:51 <elliott_> because you are sgeo
←2014-03-19 2014-03-20 2014-03-21→ ↑2014 ↑all