00:00:05 <ais523> sometimes I just use it because it's nearer to the edge of the keyboard
00:00:13 <ais523> like, I scroll down with 2 if I'm trying to hold the laptop in midair
00:00:24 <ais523> because I want my hands at the left and right ends of the keyboard, and neither can reach the arrow keys
00:00:38 <Melvar> http://neo-layout.org/
00:01:37 <Melvar> See plane 4 for the bits that also occur to the right of the main keyboard.
00:02:22 <Melvar> Phantom_Hoover: Not this one.
00:02:52 <Melvar> Ooh. I didn’t remember I had that symbol …
00:04:59 <boily> after the multiocular o, the triple l used to spell Melvar's true name.
00:05:35 <HackEgo> 1140) <shachaf> A Swede who was in #esoteric / Thought his rhymes were a little generic. / "I might use, in my prose, / ꙮs, / But my poetry's alphanumeric."
00:06:50 <HackEgo> http://codu.org/projects/hackbot/fshg/index.cgi/file/tip/paste/paste.1213
00:07:29 <Melvar> I keep forgetting about the symbols in the higher planes of the keypad.
00:08:40 <HackEgo> [U+0076 LATIN SMALL LETTER V] [U+20D7 COMBINING RIGHT ARROW ABOVE]
00:10:03 <ais523_> it doesn't combine in this webclient
00:10:11 <ais523_> I just get a v, and a small right arrow next to and above it
00:10:49 <Melvar> It combines for me, but not really nicely.
00:10:57 <ais523_> fizzie: btw, I had a new idea for a fungot corpus: the glibc and coreutils info documentation
00:10:57 <fungot> ais523_: if it were a string ( value) but i diverged. but
00:16:16 <Bike> ais523_: mul-ti-oc-u-lar-ohs
00:18:44 <boily> fungot: how many ohs in a multiocular o?
00:18:45 <fungot> boily: and her english is worse than that extra append.) well, sure
00:19:03 <boily> fungot: so, the more the worsier?
00:19:03 <fungot> boily: sounds too good to make it not exist
00:19:12 <boily> the fungot approves!
00:19:12 <fungot> boily: ( display ( list ( cadddr lst)))
00:22:56 -!- mhi^ has quit (Quit: Lost terminal).
00:39:13 <Sgeo> enum + dependent pair = arbitrary sum types?
00:39:26 <Sgeo> Well, enum + depenent pair + function from enum to type
00:43:27 -!- conehead has joined.
00:47:21 -!- pikhq has quit (Read error: Connection reset by peer).
00:53:02 -!- pikhq has joined.
00:54:13 -!- pikhq has quit (Read error: Connection reset by peer).
00:57:20 -!- pikhq has joined.
00:58:18 -!- pikhq has quit (Read error: Connection reset by peer).
01:01:35 -!- pikhq has joined.
01:04:02 -!- pikhq has quit (Read error: Connection reset by peer).
01:06:35 -!- pikhq has joined.
01:10:35 -!- pikhq has quit (Read error: Connection reset by peer).
01:11:26 -!- pikhq has joined.
01:14:55 -!- Phantom_Hoover has quit (Remote host closed the connection).
01:21:41 -!- pikhq has quit (Read error: Connection reset by peer).
01:22:04 -!- ais523 has quit (Ping timeout: 240 seconds).
01:23:37 <HackEgo> 696) <olsner> what a world it would be if you could actually *steal* code so that the other project has to rewrite it or infiltrate your project to steal it back
01:23:47 <ais523_> you can steal data from other processes in CLC-INTERCAL
01:23:52 -!- JWinslow23 has joined.
01:23:55 <ais523_> unless it's read-only, then you can smuggle out copies instead
01:24:29 <JWinslow23> Can anyone point me to a good golf language on the wiki?
01:24:44 <ais523_> depends on what you're trying to gold
01:24:57 <ais523_> FlogScript is also a good golf language but I'm not sure it's on the Wiki
01:25:02 <ais523_> Perl is technically on the wiki but shouldn't be
01:25:06 -!- pikhq has joined.
01:25:08 <ais523_> Underload is good for writing quine variants
01:25:31 <ais523_> most of my attempts to design golf languages end up as vaporware
01:25:53 <ais523_> I have a mostly complete spec for that, but I'm not sure it's on the wiki yet
01:26:06 <ais523_> also most of its features were independently added to Perl anyway
01:26:19 <ais523_> although it still has some features that out-eso even Perl
01:26:25 -!- boily has quit (Quit: EXPRESSIVE CHICKEN).
01:26:27 -!- metasepia has quit (Remote host closed the connection).
01:26:53 <ais523_> like the "in this block, make the same decisions in all control structures as in that block" construct
01:27:07 <ais523_> like, if you have an if statement in one block
01:27:23 <ais523_> the if statements in the other block will run or skip the code that's being if'ed the same way
01:27:38 <ais523_> you can make a golf language if you like, but IMO it's pretty hard to do well at that
01:27:39 -!- pikhq has quit (Read error: Connection reset by peer).
01:27:59 <JWinslow23> I want to create a 2-dimensional language, actually.
01:28:25 <ais523_> 2D isn't that good for golfing because of the extra spaces you need to make the lines line up
01:30:20 <HackEgo> *poof* Note that the previous quote is, in fact, correctly spaced.
01:30:51 <ais523_> the previous "previous quote" is long since deleted; 667 is also correctly spaced but there's no obvious reason why it wouldn't be
01:32:15 -!- pikhq has joined.
01:36:26 <HackEgo> 667) <fizzie> oerjan: Hey, what's your country code for telephonistic dialling from the outside world? <oerjan> fizzie: +47 <fizzie> oerjan: Ooh, you're, like, right next to Sweden there. <fizzie> I... guess you are geographically, too.
01:36:36 <shachaf> Someone respaced it, apparently.
01:36:52 <shachaf> <HackEgo> 781) <fizzie> oerjan: Hey, what's your country code for telephonistic dialling from the outside world? <oerjan> fizzie: +47 <fizzie> oerjan: Ooh, you're, like, right next to Sweden there. <fizzie> I... guess you are geographically, too.
01:37:07 <shachaf> So it's not actually correctly spaced.
01:42:54 -!- JWinslow23 has quit (Quit: Page closed).
01:45:42 <ais523_> help I've read back to like quote #400 now
01:45:46 <ais523_> and they get funnier on average over time
01:45:51 <ais523_> and I'm having difficulty breathing as a result
01:46:03 <ais523_> I need to remember to never read the entire list at once, I had this problem last time
01:46:40 -!- ais523 has joined.
01:54:00 -!- ^v has joined.
02:01:30 <HackEgo> 242) <treederwright> enjoy being locked in your matrix of solidity
02:02:04 <ais523_> also, when did we take it out of the topic, I feel like it was there pretty much forever
02:02:16 <ais523_> although the "the international hub" topic was probably there longer
02:04:36 -!- pikhq has quit (Read error: Connection reset by peer).
02:05:52 -!- pikhq has joined.
02:13:30 -!- pikhq has quit (Read error: Connection reset by peer).
02:16:24 -!- Gregor has quit (Ping timeout: 260 seconds).
02:18:54 -!- conehead has quit (Quit: Computer has gone to sleep).
02:19:14 -!- pikhq has joined.
02:19:46 -!- Gregor has joined.
02:20:33 -!- pikhq has quit (Read error: Connection reset by peer).
02:26:24 -!- pikhq has joined.
02:27:01 -!- pikhq has quit (Read error: Connection reset by peer).
02:34:17 -!- pikhq has joined.
02:37:49 -!- ais523 has quit.
02:59:31 -!- pikhq has quit (Read error: Connection reset by peer).
03:05:25 -!- pikhq has joined.
03:57:10 -!- JWinslow23 has joined.
03:58:50 <Sgeo> I learned recently that the guy who made it is the Idris guy
03:59:58 <JWinslow23> Well, can anyone explain just what the slide operation does?
04:10:59 -!- JWinslow23 has quit (Quit: Page closed).
04:11:20 -!- JWinslow23 has joined.
04:17:05 <JWinslow23> If someone explained it to me, I didn't see it.
04:17:52 <JWinslow23> Does it pop N values from underneath the top value of the stack?
04:19:30 <JWinslow23> Well, can I get a quick explanation about what it does do?
04:19:47 <Bike> from whom? nobodys' here
04:20:47 <JWinslow23> I would like some sort of explanation of the function Space Tab LF (number) in Whitespace.
04:21:37 <JWinslow23> The spec says "Slide N items off the stack, keeping the top value". That seems a bit vague to me.
04:27:38 <fowl> ultraviolet “SmartWater”
04:27:43 <fowl> er.. The idea is that local variables are referred to using [Space][Tab][Space], then on return, you can push the return value onto the top of the stack and use [Space][Tab][LF] to discard the local variables.
04:29:06 -!- aloril_ has quit (Ping timeout: 255 seconds).
04:29:21 <fowl> thats a quote from the tutorial
04:29:26 <JWinslow23> Uh...I said "that seems a bit vague to me".
04:29:32 <fowl> i'll leave my paypal information so you can send me some money
04:29:42 <JWinslow23> You don't think I read the tutorial? :p
04:36:25 -!- ais523 has joined.
04:42:30 -!- aloril_ has joined.
04:50:28 -!- Sorella has quit (Quit: sleeps).
05:01:25 -!- JWinslow23 has quit (Ping timeout: 246 seconds).
05:02:48 -!- ^v has changed nick to ^0.
05:15:41 -!- ais523 has quit.
05:51:34 <Sgeo> (from #idris )
05:51:37 <Sgeo> ( the (Type, Type) (the (Type, Type) (the Type Int, the Type (Int, Int)))
05:55:26 <ais523_> are (Int, (Int, Int)) and (Int, Int, Int) distinct in Idris?
05:55:32 <ais523_> if not, that'd explain that line pretty effectively
05:56:10 <Bike> ( the (Type, Type) (the Type Int, the Type (Int, Int))
05:56:23 <Bike> look at me everybody, i'm a hacker!
05:56:26 <Sgeo> I'm not sure if they're distinct, but (Int, (Int, Int)) prints as (Int, Int, Int)
05:57:04 <Sgeo> > (1, (2, 3)) == (1, 2, 3)
05:57:06 <lambdabot> Couldn't match expected type ‘(t0, (t1, t2))’
05:57:12 <Sgeo> ( (1, (2, 3)) == (1, 2, 3)
05:59:35 <ais523_> in that case, I don't see anything particularly silly about that line
06:00:40 <Sgeo> I still think this seems a bit silly in a way, even though it makes sense:
06:00:43 <Bike> well it's a bit weird that a tuple of types and a particular tuple type are interchangeable
06:00:52 <Sgeo> ( (the Type (Int, Int), the (Type, Type) (Int, Int))
06:00:52 <idris-bot> ((Int, Int), Int, Int) : (Type, Type, Type)
06:02:17 <Sgeo> ( the (the Type (Int, Int) = the (Type, Type) (Int, Int)) refl
06:02:18 <idris-bot> (input):1:5:When elaborating argument x to function Prelude.Basics.the:
06:02:18 <idris-bot> the Type (Int, Int) = the (Type, Type) (Int, Int)↵…
06:02:34 <Sgeo> ( the (the (Type, Type) (Int, Int) = the (Type, Type) (Int, Int)) refl
06:02:37 <Sgeo> Not interchangable
06:02:55 <Sgeo> Two distinct values of distinct types, written the same way
06:03:09 <Bike> ok, i guess the syntactic ambiguity is all then.
06:04:27 <ais523_> ( the (((Int, Int), Int) = (Int, (Int, Int))) refl
06:04:28 <idris-bot> (input):1:5:When elaborating argument x to function Prelude.Basics.the:
06:04:28 <idris-bot> ((Int, Int), Int) = (Int, Int, Int)↵…
06:04:39 <Bike> well yeah, that's just a cons issue
06:04:42 <ais523_> looks like , is right-associative
06:05:01 <Bike> ( the ((4,4,4) = (4,(4,4))) refl
06:05:06 <shachaf> Does (Int,Int,Int) secretly mean something like (Int,(Int,(Int,Nil)))?
06:05:13 <shachaf> That's how I'd want it to work.
06:05:24 <Sgeo> shachaf: I suspect not
06:05:31 <Sgeo> <trillioneyes> Sgeo: n-tuples are syntactic sugar for right-nested pairs
06:05:45 <ais523_> shachaf: there doesn't seem to be a separate Tuple type, just Type
06:06:12 <Bike> wouldn't "Tuple" be some kind of supertype
06:06:16 <shachaf> I was thinking of something HList-style.
06:06:19 <shachaf> Maybe that's what HVect is.
06:06:20 <Bike> and nobody likes those, eh
06:06:42 <ais523_> shachaf: well you want something that makes a distinction between a list and a list element
06:06:49 <ais523_> in order for the ,Nil to be meaningful
06:07:13 <idris-bot> (input):1:5: error: expected: ",",
06:07:26 <idris-bot> (input):1:5: error: expected: ",",
06:07:39 <Sgeo> ( the (HVect _) [5, "Hello"]
06:07:39 <idris-bot> [5, "Hello"] : HVect [Integer, String]
06:08:01 <idris-bot> (input):0:0:Incomplete term \x => x
06:08:02 <shachaf> Why are tuples something other than HVect?
06:08:27 <ais523_> because , is symmetrical and :: isn't, I guess
06:09:01 <shachaf> Why should , be symmetrical?
06:09:21 <shachaf> Or maybe I don't understand what you mean.
06:10:30 <ais523_> well, I mean it has a type of shape 'a -> 'a -> 'a
06:10:37 <ais523_> rather than 'a -> 'b -> 'b
06:10:49 <ais523_> err, 'a -> 'a list -> 'a list
06:11:28 <shachaf> Well, (a,b) can be sugar for (a::(b::Nil)), or something.
06:12:02 <ais523_> shachaf: what about ((a, b), c)?
06:12:25 <ais523_> many people would say that it's incorrect for that to work differently from (a, (b, c)), as in the type's anything other than reassociated
06:12:31 <shachaf> That can mean ((a::b::Nil)::c::Nil)
06:12:35 <ais523_> ( the (HVect _) [1, [2, 3]]
06:12:36 <idris-bot> When elaborating an application of constructor Data.HVect.:::
06:12:36 <idris-bot> Can't disambiguate name: Effects.Env.::, Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.::
06:12:46 <ais523_> ( the (HVect _) [1, [2, "three"]]
06:12:47 <idris-bot> When elaborating an application of constructor Data.HVect.:::
06:12:47 <idris-bot> Can't disambiguate name: Effects.Env.::, Data.HVect.::, Prelude.List.::, Data.Vect.Quantifiers.::, Prelude.Stream.::, Prelude.Vect.::
06:12:55 <shachaf> Well, I don't think I care about that very much.
06:12:58 <Sgeo> ais523_: lots of things use [] syntax
06:13:02 <ais523_> ( the (HVect _) [1, (the (HVect _) [2, 3])]
06:13:02 <idris-bot> [1, [2, 3]] : HVect [Integer, (HVect [Integer, Integer])]
06:13:10 <ais523_> Sgeo: yeah, just realized that that was the problem
06:13:11 <shachaf> I don't like three-tuples being a special-case type completely unrelated to other tuples.
06:13:17 <idris-bot> [1, 2, 3] : HVect [Integer, Integer, Integer]
06:13:32 <ais523_> ( the (HVect _) [(the (HVect _) [1, 2]), 3]
06:13:32 <idris-bot> [[1, 2], 3] : HVect [(HVect [Integer, Integer]), Integer]
06:13:41 <ais523_> all those terms are different with HVects
06:13:48 <ais523_> and necessarily have to be
06:14:08 <ais523_> sometimes it makes sense to have a "self-flattening" list type
06:14:18 <ais523_> like Mathematica does, and like Perl effectively does
06:14:33 <ais523_> and tuples are a bit like that
06:14:42 <ais523_> but I'm tired and thus incoherent and thus am probably not explaining this well
06:14:44 <shachaf> OK, so we were talking about different things.
06:14:51 <shachaf> That makes sense but seems much more complicated.
06:15:34 <shachaf> In Haskell, one of the advantages of (a,b,c,d) being a flat data type rather than meaning something like (a,(b,(c,(d,())))) is that you only have to dereference one pointer rather than n.
06:16:46 <ais523_> oh right, you're complaining about the associativity rules, that's reasonable
06:17:19 <ais523_> fwiw, in Verity, tuples are implemented associatively in terms of pairs, but that's mostly for ease of implementation
06:17:40 <ais523_> (also, the underlying theory only has pairs, not n-tuples, but all the constructions generalize in an obvious manner)
06:31:37 -!- MoALTz has quit (Quit: Leaving).
06:44:08 -!- lollo64it has joined.
06:45:08 <HackEgo> [wiki] [[Pyth]] http://esolangs.org/w/index.php?diff=40117&oldid=40011 * 24.16.68.13 * (+3340) Added documentation.
07:23:50 -!- MindlessDrone has joined.
07:44:38 -!- lollo64it has quit (Ping timeout: 240 seconds).
07:55:51 <HackEgo> [wiki] [[User:Rdebath]] http://esolangs.org/w/index.php?diff=40118&oldid=40100 * Rdebath * (-26) /* Performance Matrix */
08:00:38 -!- oerjan has joined.
08:09:56 <oerjan> <JWinslow23> Can anyone point me to a good golf language on the wiki? <-- there's also burlesque although it's page doesn't actually mention golfing. in fact i think the "less feature bloated" has expired a long time ago.
08:10:41 <oerjan> hm or maybe not. stlang _is_ large.
08:11:32 <oerjan> and also a golfing language, it seems.
08:12:46 <oerjan> i think my apartment's approximation of ac is not quite temperature stable.
08:20:25 <mroman> oerjan: stlang is severely underdocumented
08:20:41 <mroman> but since if lost the interpreter source there's not much I can do about that
08:21:29 -!- Bike_ has joined.
08:22:24 <HackEgo> [wiki] [[Burlesque]] http://esolangs.org/w/index.php?diff=40119&oldid=37096 * 92.105.82.69 * (+69)
08:23:43 <oerjan> <ais523_> and they get funnier on average over time <-- wait in which direction
08:24:16 -!- Bike has quit (Ping timeout: 240 seconds).
08:24:40 <mroman> stlang was probably more or less burlesque with Functions, Classes and Pattern Matching
08:25:13 <mroman> and every bulti-in had a canonical-name and short names depending on context
08:35:29 -!- Patashu has joined.
08:37:49 -!- Patashu_ has joined.
08:37:49 -!- Patashu has quit (Disconnected by services).
08:41:04 -!- ais523_ has quit (Quit: Page closed).
08:46:27 <Melvar> ( with HVect [1, [2, "three"]]
08:46:28 <idris-bot> [1, [2, "three"]] : HVect [Integer, (HVect [Integer, String])]
09:02:54 -!- esowiki has joined.
09:02:58 -!- esowiki has joined.
09:02:59 -!- esowiki has joined.
09:03:26 -!- esowiki has joined.
09:03:27 -!- glogbot has joined.
09:03:30 -!- esowiki has joined.
09:03:31 -!- esowiki has joined.
09:03:44 -!- HackEgo has quit (Remote host closed the connection).
09:03:55 -!- HackEgo has joined.
09:05:03 -!- Burton has quit (Ping timeout: 252 seconds).
09:08:03 -!- HackEgo has quit (Ping timeout: 240 seconds).
09:10:20 -!- HackEgo has joined.
09:15:18 -!- AnotherTest has joined.
09:22:42 -!- idris-bot has quit (Quit: Terminated).
09:22:57 -!- idris-bot has joined.
09:56:48 -!- nooodl has joined.
10:02:50 -!- Tritonio has joined.
10:04:48 -!- impomatic_ has quit (Ping timeout: 255 seconds).
10:05:42 -!- Tritonio has quit (Client Quit).
10:06:52 -!- MindlessDrone has quit (Quit: MindlessDrone).
10:13:46 -!- Slereah_ has quit (Read error: Connection reset by peer).
10:14:05 -!- Slereah_ has joined.
10:15:22 -!- boily has joined.
10:55:48 -!- MindlessDrone has joined.
10:56:44 -!- TieSoul has joined.
11:05:37 -!- nooodl has quit (Ping timeout: 245 seconds).
11:09:42 -!- boily has quit (Quit: PARACYNETIC CHICKEN).
11:21:07 -!- tromp_ has quit (Read error: Connection reset by peer).
11:21:56 -!- Phantom_Hoover has joined.
11:22:28 -!- tromp has joined.
11:23:44 -!- FreeFull has quit (Ping timeout: 252 seconds).
11:24:44 -!- tromp has quit (Read error: Connection reset by peer).
11:35:45 -!- oerjan has quit (Quit: leaving).
11:36:52 -!- tromp has joined.
11:41:07 -!- yorick has joined.
11:45:07 -!- Koen_ has joined.
11:46:56 <Koen_> hello happy hesolangers
11:50:23 -!- TieSoul has quit (Ping timeout: 264 seconds).
11:58:57 <HackEgo> Welcome to the international hub for esoteric programming language design and deployment! For more information, check out our wiki: <http://esolangs.org/>. (For the other kind of esoterica, try #esoteric on irc.dal.net.)
11:59:59 <mroman> I like how this university shuts down all IT service every thursday
12:00:13 <mroman> Checking you student e-mail account on thursday: Nope
12:00:22 <mroman> Download material on thursday: Nope
12:00:27 <mroman> Check your grades on thursday: Nope
12:02:04 -!- Sgeo has quit (Read error: Connection reset by peer).
12:22:36 -!- TodPunk has quit (Ping timeout: 260 seconds).
12:24:43 -!- FreeFull has joined.
12:24:46 -!- FreeFull has quit (Changing host).
12:24:46 -!- FreeFull has joined.
12:41:13 -!- Sorella has joined.
13:11:59 -!- TodPunk has joined.
13:20:28 -!- Patashu_ has quit (Ping timeout: 260 seconds).
13:25:26 -!- lollo64it has joined.
13:28:27 -!- tromp_ has joined.
13:28:49 -!- MindlessDrone has quit (Quit: MindlessDrone).
13:31:03 -!- tromp has quit (Ping timeout: 240 seconds).
13:47:03 -!- MindlessDrone has joined.
13:58:10 -!- impomatic_ has joined.
14:07:41 -!- Bike_ has changed nick to Bike.
15:15:56 <mroman> Ironically "Taworvor" is the successor of burlesque but more feature bloated
15:16:07 -!- drdanmaku has joined.
15:20:16 <mroman> but I'm not sure if I'll pull that through
15:28:15 -!- mhi^ has joined.
15:41:17 -!- `^_^ has changed nick to `^_^v.
15:50:25 -!- edwardk has quit (Quit: Computer has gone to sleep.).
15:53:19 -!- Bicyclidine has joined.
16:07:14 -!- Slereah has joined.
16:09:03 -!- Slereah_ has quit (Ping timeout: 240 seconds).
16:17:26 -!- ^0 has quit (Ping timeout: 252 seconds).
16:17:40 -!- ^v has joined.
16:55:17 -!- edwardk has joined.
17:02:05 -!- AnotherTest has quit (Ping timeout: 256 seconds).
17:15:13 -!- ^v has quit (Remote host closed the connection).
17:23:43 -!- ^v has joined.
17:27:43 -!- MoALTz has joined.
17:33:40 -!- Antonio2 has joined.
17:34:44 -!- Antonio2 has left.
18:04:38 -!- AnotherTest has joined.
18:34:04 -!- edwardk has quit (Ping timeout: 260 seconds).
18:48:08 -!- idris-bot has quit (Quit: Terminated).
18:52:22 -!- MindlessDrone has quit (Quit: MindlessDrone).
19:04:16 -!- idris-bot has joined.
19:05:26 -!- idris-bot has quit (Client Quit).
19:12:28 -!- idris-bot has joined.
19:23:34 -!- edwardk has joined.
19:24:33 -!- oerjan has joined.
19:50:59 -!- AnotherTest has quit (Ping timeout: 272 seconds).
20:24:48 -!- idris-bot has quit (Quit: Terminated).
20:25:13 -!- Melvar has quit (Quit: WeeChat 0.4.3).
20:35:43 -!- mhi^ has quit (Quit: Lost terminal).
20:40:46 -!- Melvar has joined.
20:42:06 -!- mhi^ has joined.
20:46:13 -!- idris-bot has joined.
20:57:07 -!- Patashu has joined.
20:58:49 -!- Patashu has quit (Disconnected by services).
20:58:50 -!- Patashu_ has joined.
21:01:53 <HackEgo> [wiki] [[Meander/Implementation]] N http://esolangs.org/w/index.php?oldid=40120 * Rdebath * (+5928) Implementation in C
21:04:21 <HackEgo> [wiki] [[Meander]] http://esolangs.org/w/index.php?diff=40121&oldid=39037 * Rdebath * (+36) Add implementation link
21:07:25 <HackEgo> [wiki] [[Meander/Implementation]] http://esolangs.org/w/index.php?diff=40122&oldid=40120 * Rdebath * (+236) More verbal
21:23:33 -!- Patashu_ has quit (Ping timeout: 240 seconds).
21:34:23 -!- not^v has joined.
21:45:21 -!- oerjan has quit (Quit: leaving).
21:48:38 -!- zzo38 has joined.
21:56:25 -!- Koen_ has quit (Quit: The struct held his beloved integer in his strong, protecting arms, his eyes like sapphire orbs staring into her own. "W-will you... Will you union me?").
22:05:15 -!- edwardk has quit (Ping timeout: 255 seconds).
22:08:53 <zzo38> Can you prove coppro's conjecture about Ligature Machine?
22:13:03 <zzo38> Why is this internet going so slow?
22:13:24 <Bicyclidine> probably a gremlin's interfering with the ethernet
22:14:15 <zzo38> Do you like "The Aberration Hater Card Game"?
22:15:29 <zzo38> Someone told me of another card game where roles switch, although per turn rather than per game; in my game, roles rotate per game instead (although for an informal game you can just never rotate roles if you like, just as you can also choose not to draft for an informal game if you like)
22:29:59 -!- lollo64it has quit (Ping timeout: 264 seconds).
22:31:23 <HackEgo> [wiki] [[Ligature Machine]] http://esolangs.org/w/index.php?diff=40123&oldid=40111 * Zzo38 * (+615) Variations
22:32:56 -!- zzo38 has quit (*.net *.split).
22:32:56 -!- not^v has quit (*.net *.split).
22:32:56 -!- ^v has quit (*.net *.split).
22:32:57 -!- ski_ has quit (*.net *.split).
22:32:57 -!- fowl has quit (*.net *.split).
22:32:58 -!- b_jonas has quit (*.net *.split).
22:32:58 -!- lifthrasiir has quit (*.net *.split).
22:32:59 -!- fungot has quit (*.net *.split).
22:32:59 -!- Deewiant has quit (*.net *.split).
22:32:59 -!- SirCmpwn has quit (*.net *.split).
22:32:59 -!- nisstyre has quit (*.net *.split).
22:32:59 -!- rodgort has quit (*.net *.split).
22:32:59 -!- FireFly has quit (*.net *.split).
22:32:59 -!- hubs has quit (*.net *.split).
22:33:00 -!- kyhwana_ has quit (*.net *.split).
22:33:01 -!- skarn has quit (*.net *.split).
22:33:01 -!- myndzi has quit (*.net *.split).
22:33:01 -!- qlkzy has quit (*.net *.split).
22:33:01 -!- Zuu has quit (*.net *.split).
22:33:02 -!- fizzie has quit (*.net *.split).
22:33:22 -!- b_jonas has joined.
22:33:39 -!- ski has joined.
22:33:41 -!- fowl has joined.
22:34:54 -!- Deewiant has joined.
22:35:26 -!- ais523_ has joined.
22:36:03 -!- nisstyre has joined.
22:36:04 -!- rodgort has joined.
22:36:04 -!- FireFly has joined.
22:36:04 -!- hubs has joined.
22:36:04 -!- kyhwana_ has joined.
22:36:04 -!- skarn has joined.
22:36:04 -!- qlkzy has joined.
22:36:04 -!- myndzi has joined.
22:36:09 -!- Zuu has joined.
22:36:09 -!- fizzie has joined.
22:37:39 -!- SirCmpwn has joined.
22:38:03 -!- lambdabot has quit (Write error: Connection reset by peer).
22:38:38 -!- lifthrasiir has joined.
22:43:04 -!- lambdabot has joined.
22:51:39 -!- lollo64it has joined.
22:52:46 <shachaf> Is there a way to get a link to a file in HackEgo just served as text/plain without the surrounding HTML?
22:53:13 -!- Lorenzo64 has joined.
22:54:35 <ais523_> there used to be, however it was via the mechanism that currently gives you HTML
22:55:47 <shachaf> I also see a "raw" download but that's not suitable for viewing in a browser.
22:56:05 <shachaf> Or, rather, my browser is unsuitable for viewing it.
22:56:14 <ais523_> I wonder why browsers don't have an option to override Content-disposition:
22:56:18 <shachaf> Browsers ought to give you an option to -- yes, that.
22:56:23 <ais523_> admittedly, the disposition is sometimes set for security reasons
22:56:33 -!- Bicyclidine has quit (Ping timeout: 255 seconds).
22:56:52 <ais523_> but it would be easy enough to interpret a "download" disposition as "show inline, but don't send cookies or interpret JavaScript"
22:57:05 <shachaf> I could see not allowing HTML, I guess. But text/plain?
22:57:29 <ais523_> never claim that text/plain is immune to XSS attacks
22:57:52 <ais523_> it used to be one of the most common XSS vectors (because people didn't expect it to execute JavaScript), back before IE was fixed to be sane
22:58:03 <ais523_> this still happened as recently as IE 9, I think
22:58:42 <ais523_> as a result, many websites will refuse to serve text/plain under any circumstances; the normal workaround is to serve as text/css, which is treated as text/plain by all major browsers (and as text/plain should have been treated, by old IE)
23:04:29 <elliott> view-source:http://download/url
23:08:48 -!- lollo64it has quit (Remote host closed the connection).
23:08:48 -!- Lorenzo64 has quit (Remote host closed the connection).
23:09:12 -!- Lorenzo64 has joined.
23:10:36 <ais523_> elliott: wow, last time I saw that trick was back in the days before I understood that CGI was server-side and had only just found out about JavaScript
23:10:40 <ais523_> (i.e. a very very long time ago)
23:11:30 <newsham> usually there's a key like control-u to get to view-source:
23:12:06 <newsham> oops, thats irrelevant in this context.. sorry, didnt see the full discussion
23:12:58 -!- yorick has quit (Remote host closed the connection).
23:14:04 <newsham> icfp contest starts in a few weeks
23:14:33 <ais523_> ooh, I must try not to miss it this time
23:14:50 <ais523_> I actually got a paper accepted to ICFP once, and have come top 50 in the contest, but never higher than that
23:15:00 <ais523_> the contests vary a bunch in quality, though
23:15:08 <ais523_> some of them, I've been there on time but didn't really feel like participating
23:15:10 <newsham> some have been pretty awesome..
23:15:16 <ais523_> others, I'd love to have participated in, but I missed them
23:15:30 <newsham> endo pretty awesome, umix pretty awesome..
23:15:45 <newsham> less interested in changing orbits of satellites
23:16:34 <newsham> making bots navigate a maze not as interesting to me either
23:20:08 <ais523_> the bots in the maze one was the one I participated in
23:20:14 <ais523_> actually, the maze solving wasn't the main issue
23:20:23 <ais523_> lack of collision given limited data was the issue
23:20:45 <ais523_> just aiming directly for the goal was difficult under the assumptions given
23:23:44 -!- edwardk has joined.
23:28:55 <newsham> i wonder if you can make money by buying homes where someone recently died, at a "scare" discount, and later flip it
23:29:22 <newsham> too many rational competitors?
23:29:23 <quintopia> there's no such thing as a scare discount
23:29:37 <quintopia> you're better off with a bankruptcy/tax sale
23:30:35 -!- edwardk has quit (Ping timeout: 264 seconds).
23:34:16 <Phantom_Hoover> newsham, if some random person died of natural causes why would it affect the price
23:34:22 -!- edwardk has joined.
23:34:36 <Phantom_Hoover> if they died in some sensational and gruesome way, that'd probably make the price go up
23:35:24 <newsham> "why would it affect the price?" <- ghosts!
23:37:55 <quintopia> if they died because a tree came through the roof
23:38:19 <quintopia> or anaphylactic shock from an overabundance of mold spores
23:38:25 <quintopia> probably not gonna drive up the price
23:39:09 -!- Sgeo has joined.
23:40:41 -!- vifino has quit (Quit: Ze Cat now leaves...).
23:46:38 -!- FreeFull has quit (Ping timeout: 240 seconds).
23:53:12 -!- ^v has joined.
23:53:32 -!- MoALTz has quit (Ping timeout: 245 seconds).
23:53:37 -!- boily has joined.
23:56:31 -!- metasepia has joined.
23:59:43 -!- edwardk has quit (Ping timeout: 256 seconds).