←2015-07-27 2015-07-28 2015-07-29→ ↑2015 ↑all
00:10:54 -!- odor has quit (Ping timeout: 255 seconds).
00:12:37 -!- odor has joined.
00:17:15 -!- odor has quit (Ping timeout: 244 seconds).
00:38:01 -!- hppavilion[1] has joined.
00:51:54 -!- hppavilion[1]_ has joined.
00:53:08 -!- haavard has quit (Read error: Connection reset by peer).
00:53:52 -!- haavard has joined.
00:56:24 -!- hppavilion[1]_ has quit (Ping timeout: 265 seconds).
00:59:19 -!- odor has joined.
00:59:44 -!- hppavilion[1]_ has joined.
01:01:12 -!- doesthiswork has joined.
01:01:47 <doesthiswork> have you folk already seen google's intercal styleguide?
01:03:23 -!- Wallacoloo has joined.
01:04:02 -!- hppavilion[1]_ has quit (Ping timeout: 246 seconds).
01:07:32 -!- hppavilion[1]_ has joined.
01:09:21 <oerjan> it's been mentioned
01:11:52 -!- hppavilion[1]_ has quit (Ping timeout: 265 seconds).
01:12:00 <hppavilion[1]> Dammit
01:12:59 -!- hppavilion[1]_ has joined.
01:13:49 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:14:20 -!- hppavilion[1]_ has joined.
01:17:18 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:17:18 -!- G33kDude has joined.
01:17:25 -!- G33kDude has changed nick to GeekDude.
01:17:42 -!- hppavilion[1]_ has joined.
01:18:44 -!- Wallacoloo has quit (Ping timeout: 246 seconds).
01:19:29 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:19:54 -!- hppavilion[1]_ has joined.
01:19:56 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:20:19 -!- hppavilion[1]_ has joined.
01:20:22 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:20:30 <hppavilion[1]> Sorry for the spam
01:20:35 <hppavilion[1]> Just testing my IRC client
01:20:54 -!- hppavilion[1]_ has joined.
01:21:14 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:21:34 -!- hppavilion[1]_ has joined.
01:22:05 <shachaf> Better to test your IRC client outside of a channel full of people.
01:22:12 <hppavilion[1]> I know
01:22:13 <hppavilion[1]> I know
01:22:17 <hppavilion[1]> What channel should I use?
01:22:27 <hppavilion[1]_> Test
01:22:33 <hppavilion[1]> IT WORKS
01:22:42 <hppavilion[1]> Does it work for more than one word though?
01:22:53 <hppavilion[1]_> Super
01:23:01 <hppavilion[1]> IT DOES NOT
01:23:17 <hppavilion[1]> BUT CLOSE ENOUGH :P
01:23:24 <shachaf> You should use any channel I'm not in.
01:23:33 <shachaf> You can make your own if you like.
01:24:49 -!- hppavilion[1]_ has quit (Read error: Connection reset by peer).
01:25:00 <hppavilion[1]> :P
01:26:36 <hppavilion[1]> Hooray
01:26:42 <hppavilion[1]> It works for outbound messages
01:26:52 <hppavilion[1]> Now I just need to parse and prettyprint inbound ones
01:28:36 <oerjan> hppavilion[1]: are you forgetting the : before the message in a PRIVMSG?
01:28:57 <oerjan> because that might make it ignore all but the first word
01:34:04 <coppro> ^
01:38:08 <MDude> I immediately guessed that #test is used as a channel for testing things, and was also right.
01:39:24 <MDude> Now to make a browser extentsion that opens a channel window for every hashtag you view on twitter.
01:39:39 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
01:40:33 <MDude> But hppavillion[1] had in fact started timing out before I even started talking.
01:41:30 -!- Phantom_Hoover has quit (Read error: Connection reset by peer).
01:52:06 <oerjan> i guess he shall be forever doomed to speak in single-word messages, then.
02:09:15 -!- hilquias has joined.
02:16:24 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
02:21:28 -!- odour has joined.
02:21:51 -!- odor has quit (Ping timeout: 255 seconds).
02:26:03 -!- hppavilion[1] has joined.
02:43:00 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
03:05:28 <FreeFull> I have an old IRC client I wrote sitting around
03:15:24 -!- henriqueleng has quit (Ping timeout: 264 seconds).
03:16:00 -!- henriqueleng has joined.
03:25:38 -!- MDude has changed nick to MDream.
03:26:52 -!- Wallacoloo has joined.
03:30:59 -!- oren has joined.
03:31:44 <oren> Looks like Toronto Hydro decided to turn my power back on
03:32:59 <oren> idiots decided "oh lots of money for Pan-Am Games that noone cares about, no money for basic infrastructure like redundant power systems"
03:35:49 <Wallacoloo> logical
03:40:49 -!- henriqueleng has quit (Quit: leaving).
03:54:26 -!- odour has quit (Quit: *wafts*).
03:55:08 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
04:05:08 -!- doesthiswork has quit (Quit: Leaving.).
04:10:37 -!- oerjan has quit (Quit: Nyte).
04:22:55 -!- Wallacoloo has quit (Ping timeout: 246 seconds).
04:32:37 -!- Wright has quit (Read error: Connection reset by peer).
04:32:54 -!- Wright has joined.
04:35:40 -!- Wallacoloo has joined.
04:47:46 <Sgeo_> "The Itanium is a 64-bit EPIC architecture. EPIC stands for Explicitly Parallel Instruction Computing, a design in which work is offloaded from the processor to the compiler. For example, the compiler decides which operations can be safely performed in parallel and which memory fetches can be productively speculated. This relieves the processor from having to make these decisions on the fly, thereby allowing it to focus on the real work of
04:47:46 <Sgeo_> processing.
04:47:46 <Sgeo_> "
04:48:05 <Sgeo_> Why shouldn't the CPU just trust the compiler to make that decision, instead of whatever magic it does now?
04:48:29 <Sgeo_> And/or a more expressive assembly
04:54:00 -!- tromp has quit (Read error: Connection reset by peer).
04:54:32 -!- tromp has joined.
04:58:55 <oren> compilers already have too much work to do
05:01:29 <oren> Instead of doing all this super smart memory caching, it would be better if they just added like 10 KB of registers for the compiler to work with.
05:04:08 <oren> that also fits into a compiler's current options
05:07:49 -!- Wallacoloo has quit (Read error: Connection reset by peer).
05:08:31 -!- Wallacoloo has joined.
05:10:27 -!- ent0nces has joined.
05:10:50 <oren> idea: each instruction is 32 bits with an optional 64 bit address as argument. 12 bits are the opcode/addressing mode, 10 bits select a register, 10 bits select another register.
05:11:43 <oren> you have 1024 64-bit registers.
05:16:30 <oren> then you have instructions to "page write" or "page read" 64 registers at a time to/from memory.
05:17:05 <oren> (these instructions can be pipelined with instructions that don't use that particular reigster page)
05:18:50 <oren> screw it i'm tired
05:37:11 -!- Wallacoloo has quit (Quit: Leaving.).
06:16:20 -!- Wright has quit (Ping timeout: 244 seconds).
06:21:47 -!- heroux has quit (Ping timeout: 256 seconds).
06:29:01 -!- heroux has joined.
07:02:23 -!- Frooxius has quit (Quit: *bubbles away*).
07:16:49 <HackEgo> [wiki] [[Esolang talk:Rules]] N http://esolangs.org/w/index.php?oldid=43603 * Hppavilion1 * (+488) Created Page
07:18:00 -!- hppavilion[1] has joined.
07:22:33 <HackEgo> [wiki] [[Esoteric data structure]] N http://esolangs.org/w/index.php?oldid=43604 * Hppavilion1 * (+300) Created Page
07:23:27 -!- GoToTell has joined.
07:24:50 <HackEgo> [wiki] [[Talk:Tangle bracket language]] http://esolangs.org/w/index.php?diff=43605&oldid=43602 * Hppavilion1 * (+201) Responded to question
07:26:07 <HackEgo> [wiki] [[Talk:Tangle bracket language]] M http://esolangs.org/w/index.php?diff=43606&oldid=43605 * Hppavilion1 * (+93) Signed
07:26:52 <GoToTell> You're very enthousiastic about esolangs, hppavilion[1].
07:27:33 <hppavilion[1]> You'll notice that the last 2 edits were actually to talk pages
07:27:45 <hppavilion[1]> And that the second one was just correcting a mistake on the first :P
07:27:57 <hppavilion[1]> But yes, I am
07:29:00 <GoToTell> which esolang was your first introduction to the subject?
07:29:08 -!- J_A_Work has joined.
07:29:17 <hppavilion[1]> Lolcode, actually
07:29:32 <hppavilion[1]> I could never actually run it though :P
07:29:59 <GoToTell> One of the few that has a wiki page to itselft.
07:30:14 <GoToTell> You tried making an interpreter for it?
07:30:41 <hppavilion[1]> No
07:30:48 <hppavilion[1]> I'm not great with parsers
07:31:01 <hppavilion[1]> The only parser I've ever written was a Shunting-yard algorithm
07:31:29 <hppavilion[1]> Which is weird, because I'm an implementer :P
07:33:21 <GoToTell> Implementing is a lot of fun.
07:33:37 <HackEgo> [wiki] [[Talk:Esoteric Operating System]] M http://esolangs.org/w/index.php?diff=43607&oldid=43599 * Hppavilion1 * (+184) Signed
07:33:54 <hppavilion[1]> I mostly implement my own languages
07:34:06 <hppavilion[1]> Which aren't so much Esolangs as just Weirdlangs
07:34:51 <GoToTell> what do you see as the difference between those teo?
07:36:35 <hppavilion[1]> TRUE esolangs are made to be esoteric, and have more than just weird syntax
07:36:41 <hppavilion[1]> Weirdlangs just look strange
07:37:00 <hppavilion[1]> Lolcode isn't really a true esolang because it just uses strange keywords
07:37:06 <hppavilion[1]> It doesn't do anything different
07:37:30 <hppavilion[1]> Aside from the lulziness, it's just a crappy programming language
07:37:33 <hppavilion[1]> Making it a Weirdlang
07:37:57 <hppavilion[1]> My language is also a Weirdlang because it doesn't do anything new, and it's just a normal language with strange syntax
07:38:03 <hppavilion[1]> print}Hello, World!};
07:38:11 <hppavilion[1]> That's a hello wolrd (minus the import)
07:38:58 <hppavilion[1]> To be an Esolang, you have to have something more than just strange syntax. You have to have confuddling semantics or novel structure
07:39:10 <GoToTell> I see.
07:39:17 <hppavilion[1]> Like Malbolge or Befunge, respectively
07:39:26 <hppavilion[1]> Of course, this is all just my opinion :P
07:39:59 <GoToTell> I mean, most just group them all under esolangs, but they are different.
07:40:37 <hppavilion[1]> Yep
07:40:53 <hppavilion[1]> Weirdlangs look weird, esolangs are truly, well, esoteric
07:41:42 <GoToTell> In the example you just wrote though, it's an interesting Q of how you would write nested brackets.
07:42:39 <hppavilion[1]> Which example?
07:42:45 <hppavilion[1]> The Tangle Bracket Language?
07:43:01 <GoToTell> the hello world is from that?
07:43:17 <hppavilion[1]> Oh
07:43:31 <hppavilion[1]> The hello world is from WalScript 1.0
07:43:44 <hppavilion[1]> Also, OO-WalScript and generic WalScript
07:43:52 <hppavilion[1]> Or is it WalScript Alpha?
07:43:54 <hppavilion[1]> I forget
07:44:41 <GoToTell> Yours?
07:44:58 <hppavilion[1]> Yep
07:45:09 <hppavilion[1]> Brackets are actually used as delimeters in walscript
07:45:22 <hppavilion[1]> A While Loop, for example, looks like this:
07:45:29 <hppavilion[1]> while}cond};
07:45:37 <hppavilion[1]> dostuff};
07:45:40 <hppavilion[1]> endwhile};
07:45:50 <hppavilion[1]> Indentation ignored, of course
07:46:25 <GoToTell> and it's while & endwhile that determines the scope.
07:46:46 <hppavilion[1]> There isn't scope xD
07:47:01 <hppavilion[1]> And I think it's actually a Tangle-Bracket language itself, at least in my implementation
07:47:38 <hppavilion[1]> But yes, while and endwhile deterermine what gets looped, not the brackets
07:48:34 <GoToTell> My mind is full of javascript, so I see brackets I think scope.
07:49:21 <hppavilion[1]> Yeah
07:49:28 <hppavilion[1]> That's true for most languages
07:49:42 <hppavilion[1]> But mine have to be at _least_ weirdlangs for me to make them
07:49:55 <hppavilion[1]> Should I create a "Weirdlang" page on the wiki?
07:51:07 <HackEgo> [wiki] [[Talk:Timesig]] N http://esolangs.org/w/index.php?oldid=43608 * Hppavilion1 * (+159) Created Page
07:52:27 <GoToTell> I'd think it a good idea.
07:52:51 <hppavilion[1]> OK
07:53:17 <GoToTell> Here's an article I remember reading on "Vocabulary-Oriented and Behavior-Oriented Esolangs" http://esoteric.codes/post/113253944074/vocabulary-oriented-and-behavior-oriented-esolangs
07:54:06 <GoToTell> might help with how to charecterize the difference.
07:56:17 <hppavilion[1]> What parts of languages are there?
07:56:33 <hppavilion[1]> There's syntax, semantics, structure, anything else?
07:57:36 <GoToTell> I don't know enough to give a close answer to that.
07:57:43 <HackEgo> [wiki] [[Talk:O]] N http://esolangs.org/w/index.php?oldid=43609 * JayCampbell * (+98) kudos
07:58:02 <GoToTell> how data is stored.
07:58:43 <GoToTell> the wiki has a catergory page with stack, queues, cell... and so on.
08:00:18 <HackEgo> [wiki] [[Weirdlang]] N http://esolangs.org/w/index.php?oldid=43610 * Hppavilion1 * (+934) Created Page
08:01:04 <hppavilion[1]> Data storage is still semantics, I believe
08:02:01 <mroman> you should make a language with no delimiters.
08:02:12 <mroman> and make whitespaces illegal
08:02:50 <mroman> while(a>b&&c>0){a+=bc--}
08:04:31 <hppavilion[1]> Aren't () and {} delimetres?
08:04:41 <mroman> somewhat yes
08:05:25 <mroman> you could get rid of {} by stating how many statements in the block are
08:05:25 <mroman> like
08:05:32 <mroman> while(a>b&&c>0)2a+=bc--
08:05:41 <mroman> which tells the parser that the next two statements belong to a block
08:06:26 <hppavilion[1]> Interesting
08:13:42 <hppavilion[1]> Thanks for that website :)
08:16:33 <hppavilion[1]> The least appropriately named esolang ever: BodyFuck
08:16:41 <fizzie> Go removes the () from constructions like those, because the cond is always one expression.
08:16:58 <fizzie> Still keeps the braces, though.
08:20:48 <hppavilion[1]> Kewlzez
08:31:17 -!- white_bear has joined.
08:33:34 <hppavilion[1]> CONVERSATION NOT HAPPENNING
08:33:38 <hppavilion[1]> ESOHULK MAD
08:36:32 <mroman> yeah () is actually redundant
08:36:41 <mroman> just parse one expression and you're fine :)
08:43:41 <fizzie> I seem to recall that in Go the braces are actually part of the syntax of the control structure, unlike in C, where the body can be any single statement, and the braces are part of the compound statement syntax.
08:44:12 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
08:47:09 <fizzie> Related note: for consistency, C's function bodies should really do the same. int add1(int x) return x + 1; should be just fine.
08:53:08 <olsner> I think c++ allows the function body to be a try block, but not other statements
09:00:58 <fizzie> The old-style function definitions aren't perhaps all that friendly to the single-statement style.
09:03:05 <HackEgo> [wiki] [[Special:Log/newusers]] create * Adrianton3 * New user account
09:04:17 <fizzie> The other day I wrote a contrived example of a switch with a non-compound-statement body.
09:04:20 <fizzie> for (int i = 0, j = 0; i < 2; i++, j = 0) switch (i) do case 0: { putchar('a'); case 1: putchar('b'); } while (j++ < i);
09:04:31 <HackEgo> [wiki] [[Befunge]] M http://esolangs.org/w/index.php?diff=43611&oldid=42953 * Adrianton3 * (+7) /* Updated a link in the external resources */
09:04:58 <fizzie> I kind of like the "switch (i) do case 0:" part, it looks like code you'd expect from fungot.
09:04:58 <fungot> fizzie: they don't want people to search it for me. i should wake
09:32:06 -!- x10A94 has joined.
09:36:14 -!- x1365C has joined.
09:36:33 -!- x16444 has joined.
09:38:58 -!- x1365C has quit (Client Quit).
09:40:20 -!- x10A94 has quit (Ping timeout: 265 seconds).
09:40:48 -!- x16444 has changed nick to x10A94.
10:00:25 -!- AnotherTest has joined.
10:26:44 -!- Lymia has quit (Changing host).
10:26:44 -!- Lymia has joined.
10:29:28 -!- boily has joined.
11:16:06 -!- Patashu has quit (Ping timeout: 240 seconds).
11:17:11 -!- Patashu has joined.
11:21:56 -!- boily has quit (Quit: SULTRY CHICKEN).
11:23:58 -!- Phantom_Hoover has joined.
11:27:56 <FireFly> It reminds me of Duff's device
11:37:08 <fizzie> Yes, quite.
11:39:08 -!- J_A_Work has quit (Quit: J_A_Work).
11:39:56 <fizzie> In general, you can replace if (x == 42) foo(); for an integral x by switch (x) case 42: foo();
11:42:03 <b_jonas> yeah, and you can replace while(x)stmt with for(;x;)stmt and it's not even any longer, so the while keyword is quite redundant
11:42:30 <Phantom_Hoover> lol
11:43:03 <b_jonas> fizzie: however, if statements are useful when the body contains a case label for an outer switch
11:43:21 <b_jonas> in those cases you can't replace them with a switch so easily, though you can still replace them with a switch-goto in C
11:44:43 <b_jonas> as in, replace if(cond)stmt with {switch(cond)case 0:goto skip;stmt skip:;}
11:45:25 <b_jonas> but that gets a bit ugly
11:46:01 <b_jonas> also, more importantly, you can't replace an if with just a plain switch-case if the body contains "break" statements
11:46:17 <b_jonas> in that case too you can use switch-goto
11:49:22 <fizzie> Yes, I agree that if statements where the body contains a case label for an enclosing switch are good to have.
11:49:45 <fizzie> It's kind of like conditional fallthrough.
11:55:39 <b_jonas> I was sort of thinking on a small language with syntax somewhat similar to C (pre-C99), but that has if() and for(;;) but doesn't have while or switch, and make it such that it can be parsed without knowing the keywords, so you can substitute whatever translated keywords you want (subject to tokenizing rules) and it will mean the same
11:56:44 <b_jonas> it can only have three actually different basic types though, eg. int, unsigned char, unsigned long int
11:57:01 -!- lleu has quit (Quit: That's what she said).
11:57:15 -!- lleu has joined.
11:57:15 -!- lleu has quit (Changing host).
11:57:15 -!- lleu has joined.
11:57:30 <b_jonas> but three basic types should be enough. you can still declare pointers as unsigned char * because the non-letter punctuation is fixed
11:57:41 <b_jonas> only the alnum keywords are replacable
12:02:41 -!- J_A_Work has joined.
12:10:07 <mroman> you could replace if with for as well
12:10:28 <mroman> for(;x;){/*do*/break;}
12:11:04 <mroman> hm. probably not so practical due to the else
12:11:22 <mroman> or hm.
12:11:26 <mroman> remove for and while
12:11:30 <mroman> and just use if&goto
12:11:48 -!- idris-bot has quit (Ping timeout: 255 seconds).
12:12:51 -!- Melvar has quit (Ping timeout: 252 seconds).
12:20:54 -!- copumpkin has joined.
12:21:00 -!- copumpkin has quit (Client Quit).
12:25:13 -!- Melvar has joined.
12:25:38 -!- idris-bot has joined.
12:42:50 -!- MDream has changed nick to MDude.
12:43:14 -!- SopaXT has joined.
12:45:49 -!- GoToTell has quit (Quit: HydraIRC -> http://www.hydrairc.com <- The professional IRC Client :D).
13:04:40 -!- hilquias has quit (Remote host closed the connection).
13:05:28 -!- hilquias has joined.
13:18:05 <Taneb> Well, that was a long lunch
13:22:54 -!- `^_^v has joined.
13:34:55 -!- Patashu has quit (Ping timeout: 260 seconds).
13:36:36 -!- J_A_Work has quit (Quit: J_A_Work).
13:37:42 <shachaf> Taneb: Did it start around http://codu.org/logs/log/_esoteric/2012-02-18#133928Taneb ?
13:38:03 <Taneb> shachaf, yes
13:38:51 <Taneb> It was a very long lunch
13:39:12 <Taneb> (fwiw, "Late Post 'Not That Late'" is still my favourite ever headline)
13:53:49 <FreeFull> b_jonas: You don't need if, ?: will do
13:54:07 <FreeFull> b_jonas: And maybe you could have for loops where the syntax is just (;;)
14:07:13 -!- oerjan has joined.
14:13:12 <HackEgo> [wiki] [[Talk:Tangle bracket language]] http://esolangs.org/w/index.php?diff=43612&oldid=43606 * Rottytooth * (+281) responded to comment
14:14:39 <fizzie> FreeFull: Having only ?: and for (;;) for control constructs is really pretty awkward, because there's no way to do a conditional break (or goto) with only ?:.
14:15:09 <fizzie> Sure, you *could* get things done, but it wouldn't be very pleasant.
14:15:36 <FreeFull> fizzie: That's true
14:15:59 <FreeFull> You could always change semantics a bit though
14:16:14 -!- drdanmaku has joined.
14:19:30 <fizzie> Of course GCC would let you write for (;;) { ...; x ? ({ break; }) : 0; ... } or even void *cont = &&cont, *done = &&done; cont: for (;;) { ...; goto *(x ? done : cont); } done:;
14:20:39 <oerjan> that's what pascal did
14:20:55 <oerjan> only one exit point per structure
14:21:16 <Taneb> fizzie, could you use recursion as a sneaky extra control structure?
14:21:41 <oerjan> hm i guess if then else excepted
14:23:57 <fizzie> Taneb: Yes. You might have stack-related problems, though.
14:27:40 <Taneb> True...
14:29:41 <mroman> also disallow functions .
14:29:45 <mroman> just use computed jumps, yes.
14:29:48 <mroman> goto and for
14:29:51 <mroman> nothing else allowed :)
14:30:48 -!- rottytooth has joined.
14:32:58 <fizzie> The for sounds a bit superfluous at that point.
14:35:14 <Taneb> Does C have computed gotos?
14:35:43 <fizzie> No, hu
14:35:44 <b_jonas> FreeFull: you can't quite change semantics. The point is that it sohuld be like OC, in that it's self-hosting and the compiler is written in sort of the intersection of the language and C, so you can boostrap it with a C compiler then compile it with itself.
14:35:45 <fizzie> but GCC does.
14:36:04 <b_jonas> So you can add extensions, sure, but they complicate writing the compiler.
14:36:08 <izabera> do you think i can call a language 'c-like' if this is a syntax error? x += - y
14:36:42 <b_jonas> izabera: I didn't say C-like language. I said language with C-like synatax.
14:36:54 <b_jonas> And you can still say the language has C-like syntax when x += - y is an error
14:37:06 <izabera> oki thanks
14:38:34 <izabera> oh wait my parser is choking on x += -3
14:38:43 <izabera> this is a problem isn't it?
14:40:49 <b_jonas> dunno, depends on what the specs are
14:40:59 <izabera> there are no specs yet
14:41:22 <b_jonas> what are you trying to parse?
14:42:59 <izabera> trying to write a language that's not esoteric so it's kind of off topic here
14:52:42 -!- nisstyre has quit (Remote host closed the connection).
14:53:13 <mroman> Hm.
14:53:30 <mroman> I think humanity lacks a special kind of martial arts.
14:53:33 <mroman> Fighting in space
14:53:36 <mroman> with zero gravity.
14:53:46 <mroman> We don't know how to fight in zero gravity!
14:53:53 <fizzie> https://en.wikipedia.org/wiki/List_of_C-family_programming_languages v g
14:54:07 <Taneb> mroman, we don't know how to do a lot of things in zero gravity
14:54:21 <mroman> Yeah, but fighting seems to be socially important.
14:55:02 <Taneb> Eh, it'll be a long time before zero gravity sees belligerent antagonists in close proximity
14:55:14 <mroman> Can you move in space without holding on to something?
14:55:17 <Taneb> Especially without a mediating force
14:55:21 <mroman> Like with a swimming movement?
14:55:29 <Taneb> I think so???
14:55:32 <Taneb> If there is air
14:55:53 <mroman> but otherwise not?
14:56:07 <fizzie> I seem to recall hearing about that, plus that it's very inefficient.
14:56:17 <fizzie> mroman: You could spit to the other direction.
14:56:32 <fizzie> Or throw articles of clothing.
14:56:38 <mroman> apparentely viscosity of air isn't that good for moving
14:57:03 <mroman> you could swim, but it'd be horribly slow and inefficient.
14:57:03 <Phantom_Hoover> you're also going to have a hell of a time controlling your attitude
14:57:23 <mroman> also without friction holding you
14:57:26 <mroman> if you punch a guy in the face
14:57:29 <fizzie> For the airy case, you might want some sort of wings, like they have flippers for water.
14:57:30 <mroman> you'de be propelled backwards?
14:57:42 <Phantom_Hoover> sounds like underwater rugby
14:57:47 <Taneb> Phantom_Hoover, if you're attempting to fight someone in space, there's already an attitude problem somewhere
14:57:47 <Taneb> :P
14:58:15 <mroman> so a grappling style is probably more suited for space fights
14:58:22 <Phantom_Hoover> fizzie, i mean you could just get your own little propellor jetpack
14:58:37 <Phantom_Hoover> bonus: you can fight people by doing the superman punch
14:58:51 <mroman> yeah if you have something to "jump off" from
14:59:00 <mroman> you could do matrix style fighting
14:59:02 <mroman> solta
14:59:05 <mroman> *sorta
14:59:34 <mroman> also
14:59:38 <mroman> if we build a huge enough thing
14:59:38 <Phantom_Hoover> imo we should wait 3 years until the messiah chris roberts releases his space fps and answers all our questions
14:59:45 <mroman> that thing has so much gravity it will suck light towards it
14:59:51 <mroman> so you could build a supermassive camera
14:59:54 <mroman> that captures light
15:00:03 <mroman> by actually capturing it
15:00:07 <Phantom_Hoover> ooh i remember a similar idea to that
15:00:16 <Phantom_Hoover> involving using the sun as a gravitational lens
15:01:20 <mroman> you mean constructing artificial gravitational lens to take pictures of things that would be hidden behind something?
15:01:31 <oerjan> i'm now imagine flippers larger than the person
15:01:31 -!- _256Q has joined.
15:01:31 -!- _256Q has quit (Changing host).
15:01:31 -!- _256Q has joined.
15:01:34 <oerjan> *imagining
15:01:57 <Phantom_Hoover> no i mean using the sun as a lens to gather more light from a distant object
15:02:09 <mroman> ok. List of sports that would not be fun in zero gravity
15:02:15 <mroman> Wikipedia so needs this
15:02:34 <fizzie> Would that be as-is, or with some modification?
15:02:34 <oerjan> also, for the attitude, might a shark-like fin help
15:02:36 <Phantom_Hoover> - all sports
15:02:42 <mroman> fizzie: minor modifications are allowed
15:02:44 <mroman> like baseball
15:02:47 <mroman> you could have a rope
15:02:53 <Taneb> Phantom_Hoover, I don't think darts would be very fun
15:02:55 <mroman> so people can pull them selves using the rope around the bases
15:03:00 <mroman> *themselves
15:03:03 <Taneb> Then again, it'd probably be more fun than darts is normally
15:03:07 <fizzie> I'd like to see zero-gravity cycling with no modification or extra help.
15:03:34 <Phantom_Hoover> you could strap a propellor to a bike
15:03:34 <mroman> how would you sit on it?
15:03:43 <Phantom_Hoover> i know some people who essentially made a submarine that way
15:03:45 <fizzie> Just people furiously pedaling and floating uncontrolledly.
15:03:46 <MDude> You wouldn't need to midify the rules to allow some changes to the bikes.
15:03:50 <Taneb> mroman, staying sat on it is the hard part
15:04:07 <fizzie> Taneb: They've got shoes that lock onto the pedals.
15:04:13 * oerjan is still waiting for that picture of a black hole that was promised the other year
15:04:26 <MDude> You could keep the bike on a metal surface by having magnetic wheels.
15:04:36 <Phantom_Hoover> oerjan, are you sure you weren't just reading promotional material for interstellar
15:05:28 <MDude> If a black hole is lit form the back, you would bee able to see where the light isn't able to reach you due to the hole.
15:05:57 <oerjan> Phantom_Hoover: it wasn't promotion but a blog
15:06:08 <Phantom_Hoover> i mean we know pretty well what we expect black holes to look like by now
15:06:33 <oerjan> http://scienceblogs.com/startswithabang/2011/07/21/were-going-to-see-a-black-hole/
15:06:42 <mroman> weight lifting would probably be pretty useless in space?
15:07:13 <mroman> you'd need some sort of bungee cord
15:07:50 <Phantom_Hoover> you know the iss has a gymn on it already right
15:07:58 <mroman> usually the people on long space stays will have to do a lot of exercise on board to not loose to much muscle mass.
15:08:01 <Phantom_Hoover> oerjan, here, to tide you over http://sirxemic.github.io/Interstellar/
15:08:18 <mroman> Phantom_Hoover: I thought they had something like that
15:08:19 <Taneb> mroman, I think that is generally more cardio stuff
15:08:30 <oerjan> i've heard about interstellar
15:08:31 <mroman> otherwise they probably couldn't even walk anymore when they come back after a few months?
15:08:55 <mroman> muscles vanish pretty quickly
15:09:04 <Phantom_Hoover> i don't think it's cardio as much as keeping muscle tone
15:09:26 <mroman> three months in a cast and you're thigh are almost gone
15:09:32 <mroman> *is
15:09:54 <Phantom_Hoover> oerjan, yes but this is a live raytracer
15:10:32 <mroman> Taneb: I thought it's about keeping muscles.
15:10:40 <Taneb> I think you are right
15:11:53 <oerjan> Phantom_Hoover: it took too long, i closed it
15:12:03 <Phantom_Hoover> yeah it's p taxing
15:12:34 <Phantom_Hoover> though now that i've dusted this computer it runs surprisingly smoothly
15:14:11 <mroman> wtf
15:14:17 <mroman> there's a nicolas cage move I haven't seen
15:14:19 <mroman> *movie
15:18:56 <oerjan> i've got the moooovies like cage
15:19:45 <mroman> well
15:19:53 <mroman> he's better than all sharknado movies together
15:19:55 <mroman> :D
15:41:03 -!- SopaXT has quit (Ping timeout: 244 seconds).
15:51:37 -!- mauris has joined.
16:06:13 -!- oerjan has quit (Quit: leaving).
16:12:32 -!- nycs has joined.
16:14:31 -!- `^_^v has quit (Ping timeout: 256 seconds).
16:28:04 -!- white_bear has quit (Quit: leaving).
16:46:16 -!- Wright has joined.
16:58:12 -!- zzo38 has joined.
17:02:06 -!- FreeFull has quit (Quit: BBS).
17:06:23 <zzo38> I have installed the threaded Apache MPM, but now it says the package for PHP is not threadsafe (I have some PHP files that I will need to be able to run)
17:08:57 -!- hilquias has quit (Remote host closed the connection).
17:24:29 -!- FreeFull has joined.
17:43:52 -!- Lorenzo64 has joined.
17:52:36 -!- ais523 has joined.
18:03:11 <ais523> what's up with this edit?: http://esolangs.org/w/index.php?title=LOLCODE&diff=43600&oldid=42122
18:04:18 <HackEgo> [wiki] [[Esolang talk:Rules]] http://esolangs.org/w/index.php?diff=43613&oldid=43603 * Ais523 * (+158) [[Esolang:Policy]]
18:05:19 <zzo38> I don't know?
18:05:37 <shachaf> ais523: whoa, "?:"
18:05:43 <shachaf> innovative punctuation
18:05:48 <shachaf> I should try using that.
18:06:33 <ais523> I like it
18:06:43 <ais523> (it's also an operator in GNU C)
18:07:10 <shachaf> ais523: The previous revision had a duplicate entry.
18:07:16 <shachaf> http://esolangs.org/w/index.php?title=LOLCODE&oldid=42122
18:07:28 <ais523> ah good
18:07:31 <zzo38> Yes, an operator of GNU C that I tend to use often
18:07:47 <ais523> I've actually never used it
18:07:59 <ais523> although I use the Perl equivalents, || and //, quite a lot
18:13:42 -!- ais523 has quit.
18:16:53 -!- ais523 has joined.
18:21:47 -!- ais523 has quit (Ping timeout: 246 seconds).
18:41:44 -!- ais523 has joined.
18:44:09 -!- FreeFull has quit (Quit: BBS).
18:55:01 -!- FreeFull has joined.
18:57:17 <coppro> thesis submitted!
19:01:43 <b_jonas> coppro: what? great!
19:01:52 <b_jonas> what kind of thesis?
19:07:36 <coppro> master's
19:08:58 -!- Lorenzo64 has quit (Read error: Connection reset by peer).
19:11:02 -!- nortti has changed nick to fist.
19:11:13 -!- fist has changed nick to nortti.
19:14:02 <izabera> can you produce a regex that matches c style strings?
19:14:22 <coppro> yes
19:14:26 <Taneb> coppro, what is your thesis about?
19:14:31 <ais523> "(\\.|[^\\"])+"
19:14:45 <ais523> that's a Perl regex
19:14:46 <izabera> what
19:14:48 <izabera> no
19:14:54 <ais523> why not?
19:15:00 <izabera> because "\""
19:15:10 <ais523> err, I meant +, not *
19:15:12 <ais523> that matches
19:15:20 <ais523> \\. matches \"
19:15:28 <ais523> and the double quotes match themselves literally
19:15:30 <izabera> "\\\""
19:15:43 <ais523> \\. matches \\, then \\. matches \"
19:15:58 <coppro> Taneb: graph structure theory and logic
19:16:24 <Taneb> Oooh
19:16:38 <izabera> thank you so much ais523
19:17:09 <izabera> i was trying with "(.*[^\\]|)(\\\\)*" but it got too complex
19:19:14 <izabera> and sorry for being stupid
19:24:26 <b_jonas> ais523: almost, but no. that matches a newline between double quotes, which is not a valid string literal.
19:24:31 <APic> Humans do not need to excuse themselves for Stupidity. It resembles an evil inheritable Disease.
19:26:33 <ais523> b_jonas: ah yes
19:26:42 <ais523> "(\\.|[^\\"\n])+"
19:26:52 <ais523> are formfeeds legal inside C literals? might need to ban those too
19:28:47 -!- atrapado has joined.
19:34:22 <HackEgo> [wiki] [[Esolang talk:Rules]] http://esolangs.org/w/index.php?diff=43614&oldid=43613 * Hppavilion1 * (+68) Requested link
19:34:30 <b_jonas> ais523: then of course there's the problem that "\k" isn't a valid string literal either
19:34:33 <b_jonas> etc
19:36:24 <HackEgo> [wiki] [[Esolang talk:Policy]] http://esolangs.org/w/index.php?diff=43615&oldid=30569 * Hppavilion1 * (+343) /* Expand article scope */ new section
19:39:15 <HackEgo> [wiki] [[Esolang:Policy]] M http://esolangs.org/w/index.php?diff=43616&oldid=30638 * Hppavilion1 * (+78) Clarified where articles can go. (That is, specified that only pages in the _main_ namespace have to be on Esolangs, as I'm pretty sure user namepace pages are generally users)
19:39:44 -!- hppavilion[1] has joined.
19:40:00 <hppavilion[1]> For the record, I didn't change the meaning of the page, I just made it more clear
19:42:53 <HackEgo> [wiki] [[Talk:Tangle bracket language]] http://esolangs.org/w/index.php?diff=43617&oldid=43612 * Hppavilion1 * (+276) Answered a question.
19:43:12 <HackEgo> [wiki] [[Talk:Tangle bracket language]] http://esolangs.org/w/index.php?diff=43618&oldid=43617 * Hppavilion1 * (+92) Signed
19:45:29 <HackEgo> [wiki] [[Talk:Tangle bracket language]] http://esolangs.org/w/index.php?diff=43619&oldid=43618 * Hppavilion1 * (+229) Clarified my answer
19:45:31 <shachaf> I think that changes the meaning.
19:45:40 <hppavilion[1]> Does it?
19:45:46 -!- drdanmaku has quit (Quit: Connection closed for inactivity).
19:45:51 <shachaf> It's also less clear, but that might just be due to lack of proofreading.
19:46:16 <hppavilion[1]> shachaf: What I meant to say was that the "Esolangs only as articles" rule only applied in the _main_ namespace
19:46:47 <hppavilion[1]> So no one will get upset from confusion when they first encounter a User: page
19:46:57 <hppavilion[1]> Sorry if I was unclear
19:47:05 <hppavilion[1]> Should I revert it?
19:48:29 <hppavilion[1]> I think I might speak my own dialect of english that _no one else understands_ :P'
19:48:42 <hppavilion[1]> I have to go shower
19:49:02 <hppavilion[1]> If you want to revert it or try to make my unclarity clear, please do
19:56:48 <hppavilion[1]> Have I timed out yet?
19:56:49 <hppavilion[1]> Nope
19:58:17 <HackEgo> [wiki] [[Esolang:Policy]] http://esolangs.org/w/index.php?diff=43620&oldid=43616 * Hppavilion1 * (-78) Undo revision 43616 by Self (I was told it actually made it less clear and changed the meaning)
20:02:03 <hppavilion[1]> shachaf: There, that better?
20:09:31 <HackEgo> [wiki] [[Talk:Folder]] M http://esolangs.org/w/index.php?diff=43621&oldid=43052 * Hppavilion1 * (+524) Proved Folder TC
20:13:35 <tswett> So I've thought of a cryptographic problem.
20:14:13 <tswett> There are m people. How can they randomly select n people from themselves, such that each of the people selected knows exactly who has been selected, but each of the people not selected only knows that ey has not been selected?
20:14:49 <ais523> assuming that all communication is public?
20:15:08 <ais523> without that it's easy
20:15:15 <ais523> also, are we assuming that all these people are honest?
20:15:27 <zzo38> Is it possible to tell xterm to erase a picture from a specified area in the screen?
20:15:50 <ais523> actually, given the existence of private-key crypto
20:16:13 <tswett> They're not necessarily honest, but if they have all acted honestly, it must be possible for them to prove, after the fact, that they have acted honestly.
20:16:16 * tswett taps his microphone.
20:17:07 <tswett> Yeah, given the existence of private-key crypto, I don't think it matters whether all communication is public or not.
20:17:25 <tswett> Except that if all communication is public, then it's possible for a person to prove that they haven't communicated anything at all.
20:18:49 <tswett> Oh, and it's fine if it's possible for a person to ruin everything by not being honest—but if somebody does that, it will be impossible for em to prove after the fact that ey has acted honestly.
20:19:10 <Phantom_Hoover> when you say 'randomly'...
20:19:13 <tswett> And so everyone will assume that ey has *not* acted honestly, and force em to walk the plank.
20:19:19 <tswett> Uniform distribution.
20:19:30 <hppavilion[1]> 99999999999999999999999999999 bottles of beer on the wall
20:19:34 <hppavilion[1]> 99999999999999999999999999999 bottles of beer!
20:19:40 <hppavilion[1]> Take one down, pass it around
20:19:41 <tswett> There's a public source of random information handy; anyone can invoke it, and when they do, everyone sees the result.
20:19:44 <Phantom_Hoover> hppavilion[1], please don't
20:19:50 <hppavilion[1]> 99999999999999999999999999998 bottles of beer on the wall!
20:19:54 <hppavilion[1]> I'm done :P
20:20:18 <hppavilion[1]> Well
20:20:28 <hppavilion[1]> If everyone has a number assigned to them... that won't work
20:21:04 <tswett> Maybe you could come up with one key pair corresponding to every possible selection of people.
20:21:13 <tswett> Reveal the public key, and give the private key to each of the people in the selection.
20:21:36 <tswett> Then, somehow, encrypt a message using a randomly chosen public key, without letting anyone know which public key was selected.
20:21:41 <hppavilion[1]> Probably that's part of it at least
20:21:48 <Phantom_Hoover> if i can randomly pick the first person i think i can do the rest
20:22:02 <Phantom_Hoover> with the caveat that probably everyone has to draw a random number at once
20:22:31 <Phantom_Hoover> oh wait everyone's playing along right, there's no competitive/betrayal element is there
20:22:55 <tswett> Well, here are the properties the protocol must follow.
20:23:08 <hppavilion[1]> If no one is trying to break the system, then it isn't a very good cryptography problem :P
20:23:17 <Phantom_Hoover> hang on the public random number thing is fairly pointless
20:23:27 <tswett> If everyone behaves correctly, then the protocol must work properly, and after everything is finished, it must be possible for everyone to prove that they have behaved correctly.
20:23:52 <tswett> If someone behaves incorrectly, then the protocol need not work properly, but it must *not* be possible for that person to ever prove that ey has behaved correctly.
20:24:09 <hppavilion[1]> So what's the use of this problem?
20:24:19 <hppavilion[1]> Is there some situation in the world in which this would be useful?
20:24:26 <tswett> Playing a game of "The Rebellion" when nobody trusts anybody.
20:24:27 <ais523> hppavilion[1]: there's this parlour game called Werewolf
20:24:33 <shachaf> hppavilion[1]: The part that made it less clear was "them" instead of "the".
20:24:35 <tswett> Or Werewolf/Mafia.
20:24:42 <Phantom_Hoover> fuck don't remind me
20:24:48 <hppavilion[1]> Ah
20:24:50 <Phantom_Hoover> i played that on holiday with someone very annoying
20:24:57 <hppavilion[1]> Mafia
20:25:00 <hppavilion[1]> I remember that game
20:25:19 <hppavilion[1]> So what would the practical uses for this be though?
20:25:38 <Phantom_Hoover> anyway if we can randomly, privately pick one person it becomes pretty simple, they just pick another n-1 people at random
20:25:44 <tswett> Dunno.
20:25:53 <Phantom_Hoover> so the problem reduces to just that
20:26:16 <hppavilion[1]> Well for that
20:26:30 <hppavilion[1]> Give everyone a public key and a private key
20:26:44 <tswett> Hmm.
20:26:47 <hppavilion[1]> Encrypt the message "You have been selected" with one random person's public key
20:26:54 <hppavilion[1]> And give the message to everybody
20:26:56 <hppavilion[1]> Wait
20:26:58 <Phantom_Hoover> yes but who does that encryption
20:27:06 <hppavilion[1]> They have to select from themselves, right :/
20:27:25 <ais523> if you don't count on the people being honest
20:27:30 <tswett> Yeah, given a collection of public keys, is it possible to encypt a message using a randomly chosen one of those keys, without letting anyone know which key it was?
20:27:35 <ais523> the problem is that the person making the selection will be able to decrypt any message directed at them
20:27:51 <ais523> aha
20:27:54 <hppavilion[1]> Well have the pubic keys
20:28:00 <hppavilion[1]> I WANT TO ANSWER FIRST
20:28:03 <hppavilion[1]> All in a hat
20:28:05 <ais523> what you do is you get one person to encrypt everyone's public key with their own private key
20:28:17 <ais523> err, no
20:28:24 <hppavilion[1]> Without names on it
20:28:30 <ais523> doesn't work because if you produced a message yourself, you can decrypt it even without the key
20:28:45 <hppavilion[1]> So everybody has a private key and a less private key
20:28:54 <hppavilion[1]> No one knows who either belongs to
20:29:09 <hppavilion[1]> And the private key can decrypt messages written with the less private key
20:29:23 <hppavilion[1]> Someone draws a less-private key from a hat and doesn't know who it belongs to
20:29:30 <b_jonas> tswett: how expensive can you allow it to be? if there's only a few public keys, you can encrypt the message with one of the keys and encrypt dummy empty messages of the same size with the other keys.
20:29:30 <hppavilion[1]> And encrypts the message with it
20:29:41 <hppavilion[1]> And sends the message to everybody
20:29:54 <b_jonas> tswett: the person who has the private keys will of course be able to tell.
20:30:22 <hppavilion[1]> How does my solution sound?
20:30:31 <Phantom_Hoover> how do you get the anonymous public keys though
20:30:38 <hppavilion[1]> What's the major, glaring problem with it
20:30:51 <hppavilion[1]> Well I assume you just don't tell anybody your private-ish key
20:30:57 <tswett> hppavilion[1]: so by "less private key", it sounds like you essentially mean "public key, except it's not necessarily revealed to everyone". Right?
20:30:58 <hppavilion[1]> And you put it in a random sorter anonymously
20:31:02 <Phantom_Hoover> oh hang on it could work actually yeah
20:31:03 <hppavilion[1]> Exactly
20:31:11 <Phantom_Hoover> every-- no ok right
20:31:12 <hppavilion[1]> Wait
20:31:25 <hppavilion[1]> Did I actually solve a problem?
20:31:29 <hppavilion[1]> That can't be right...
20:31:32 <Phantom_Hoover> right so this is the method being considered
20:31:35 <tswett> Let's see.
20:31:47 <Phantom_Hoover> you have the Private Key which nobody knows
20:32:04 <hppavilion[1]> And as a bonus, I don't think anybody but the encrypter can break the system
20:32:16 <Phantom_Hoover> the public key of it is then published, you put the private key into a hat with m-1 blank slips
20:32:19 <hppavilion[1]> Barring brute force attacks, of vourse
20:32:28 <Phantom_Hoover> then everyone draws a slip and whoever gets the key is the handler, all fine
20:32:29 <tswett> How does the "putting in a hat" work? If everyone has a message, then how does everyone publish the message in such a way that nobody knows who sent which message?
20:32:38 <Phantom_Hoover> but where do you get the Private Key from?
20:32:39 <hppavilion[1]> Wait
20:33:02 <hppavilion[1]> Oh, nvm
20:33:12 <tswett> Hmm. I think there might be an optimized version of my method.
20:33:29 <Phantom_Hoover> wait for fuck's sake if you can draw from a hat you don't need keys at all, you just need a marked slip
20:34:02 <tswett> Everyone publishes eir own public key. Someone takes a message and randomly encrypts it with each public key in succession... wait, this is going to require anonymous sending.
20:34:20 <Phantom_Hoover> doable
20:34:30 <Phantom_Hoover> agree that everyone publishes a message every 5 minutes
20:35:22 <tswett> So we want to do "anonymous sending"—someone publishes a message in such a way that nobody knows who published it.
20:35:44 <tswett> If everyone publishes a message every five minutes, then how does the message get anonymized?
20:35:51 <Phantom_Hoover> oh that's much harder
20:36:04 <Phantom_Hoover> i thought you meant sending messages such that nobody but the communicants know about it
20:36:13 <hppavilion[1]> https://docs.google.com/document/d/1bSqEn8FtRh7iM8KYvOK8_DW03xAwjvAK0pIrR2RkO8U/edit?usp=sharing
20:36:24 <tswett> This anonymous sending isn't necessarily needed, though.
20:36:28 <hppavilion[1]> There
20:36:40 <hppavilion[1]> That'll make it easier to figure out what's going on
20:38:26 <tswett> I might have an idea.
20:38:38 <tswett> So we come up with a public key corresponding to every possible selection.
20:38:52 <tswett> Everyone knows which selection corresponds to which public key.
20:39:04 <tswett> Uh, come to think of it, this doesn't quite work, but I'll continue anyway.
20:39:38 <Phantom_Hoover> again the problem reduces to the case where you need to pick one person from a group of m
20:40:07 <tswett> A designated person selects a random public key, in such a way that ey can later prove that it was actually selected randomly.
20:40:19 <tswett> The designated person then simply publishes a message encrypted using that public key.
20:40:36 -!- atehwa_ has changed nick to atehwa.
20:40:38 <tswett> Yeah, come to think of it, this isn't anything new.
20:41:02 <hppavilion[1]> This problem breaks when n=m-1
20:41:15 <hppavilion[1]> Assuming that the participants know the value of n
20:41:16 <hppavilion[1]> GTG
20:41:30 <tswett> Adios.
20:42:17 <Phantom_Hoover> tswett, er, wouldn't the designated person know who got selected then?
20:42:25 <tswett> Phantom_Hoover: yes.
20:42:36 <Phantom_Hoover> that's a problem
20:42:37 <tswett> Yeah, so "encrypt something with a randomly chosen key" is a sufficient, uh, tool.
20:43:28 <tswett> Now, I think "draw a message out of a hat and burn the other messages" may also be sufficient.
20:44:01 <tswett> If you have that, then each person can randomly choose a public key which contains em, encrypt something using that key, and put it into the hat.
20:44:29 <tswett> Of course, ey will have to be able to prove later that ey really selected it randomly.
20:45:02 <tswett> Actually, I don't think that's necessary.
20:45:17 <tswett> Each person can simply encrypt something using *every* public key which contains em.
20:45:24 <tswett> And then submit all of these into the hat.
20:45:38 <tswett> Then pick a random encrypted message out of the hat. Boom.
20:46:55 <hppavilion[1]> Back
20:46:55 <Phantom_Hoover> if you're allowed a hat it's trivial
20:47:10 <hppavilion[1]> So do participants know the value of n?
20:47:30 <hppavilion[1]> They probably must, given that one of them does the selecting
20:47:39 <Phantom_Hoover> they don't have to
20:47:43 <hppavilion[1]> And the selector has to know how many to choose
20:47:54 <Phantom_Hoover> once you have an anonymous handler you can do that stuff easily
20:48:15 <hppavilion[1]> But how does the handler know how many keys to choose?
20:48:33 <tswett> All participants know both m and n.
20:48:35 <Phantom_Hoover> have everyone publish a public key at the start, pick the handler
20:48:37 <hppavilion[1]> If they don't know hte value of n
20:48:38 <hppavilion[1]> Oh
20:48:48 <hppavilion[1]> So then if n=m-1, then this is impossible
20:48:53 <tswett> Not really.
20:48:53 <Phantom_Hoover> the handler then proceeds according to some algorithm with their private key as input
20:48:57 <hppavilion[1]> Yes
20:49:08 <Phantom_Hoover> hppavilion[1], just exclude that case, it works fine for n=m-2
20:49:10 <tswett> The lone unselected person knows nothing besides the fact that the selected people are the people other than emself.
20:49:14 <hppavilion[1]> There we go
20:49:20 <hppavilion[1]> Yes
20:49:32 <hppavilion[1]> But he isn't supposed to know who was selected
20:49:37 <hppavilion[1]> Right?
20:49:40 <hppavilion[1]> Have to leave again
20:49:43 <hppavilion[1]> I'll be back in a bit
20:49:54 <tswett> He isn't supposed to have any information besides the information that's supposed to be explicitly revealed to him.
20:49:57 <tswett> And sure enough, he doesn't.
20:50:52 <tswett> It just so happens that when n = m - 1, the information of who the selected people are *is* effectively explicitly revealed to him.
20:52:29 <Phantom_Hoover> so once again, how do you pick one person within the mentioned constraints
20:53:57 -!- hppavilion[1] has quit (Ping timeout: 246 seconds).
21:00:23 -!- x10A94 has quit (Read error: Connection reset by peer).
21:08:20 -!- oerjan has joined.
21:13:38 -!- hppavilion[1] has joined.
21:13:47 <hppavilion[1]> So did you guys solve the problem?
21:15:03 <hppavilion[1]> tswett?
21:18:33 -!- atrapado has quit (Quit: Leaving).
21:19:44 <oerjan> NO PROBLEM HERE
21:19:51 * oerjan returns to the logs
21:20:09 <hppavilion[1]> ...
21:20:20 <hppavilion[1]> ais523: You on?
21:20:31 <ais523> yes
21:21:26 <hppavilion[1]> Did you guys figure out the solution to the problem?
21:22:15 <ais523> hppavilion[1]: I lost interest
21:22:17 <Phantom_Hoover> oerjan, fix problem plx
21:22:19 <ais523> a while back
21:22:27 <hppavilion[1]> Ah
21:22:32 <Phantom_Hoover> ais523, we got it down to something a lot simpler by the end
21:22:43 <hppavilion[1]> Would you happen to know of any online database of problems like that I could read?
21:22:51 <HackEgo> [wiki] [[Esolang:Rules]] N http://esolangs.org/w/index.php?oldid=43622 * Oerjan * (+28) Since someone expected it here, make a redirect
21:23:04 <hppavilion[1]> Great
21:27:58 <HackEgo> [wiki] [[Esolang:Help]] http://esolangs.org/w/index.php?diff=43623&oldid=37152 * Oerjan * (+0) /* Article names with forbidden characters */ I think this should be in code format
21:34:50 <tswett> Yeah, the problem seems to come down to hat-picking.
21:38:19 -!- idris-bot has quit (Quit: Terminated).
21:38:29 -!- Melvar has quit (Quit: rebooting).
21:39:03 -!- boily has joined.
21:40:03 <oerjan> bohily
21:41:37 <boily> bonjørjan!
21:42:05 -!- Melvar has joined.
21:43:45 -!- idris-bot has joined.
22:00:53 -!- AnotherTest has quit (Ping timeout: 246 seconds).
22:16:48 -!- nycs has quit (Quit: This computer has gone to sleep).
22:22:21 <quintopia> helloily
22:22:37 <hppavilion[1]> Hi
22:23:08 <oerjan> <hppavilion[1]> shachaf: What I meant to say was that the "Esolangs only as articles" rule only applied in the _main_ namespace <-- i am not sure that is true in either direction...
22:23:55 <shachaf> <oerjan> i like bugs. i like bugs! i like bugs. i like bugs. <-- i think i like bugs too!
22:23:57 <oerjan> as in, there are other things than esolangs allowed in the main space, and there are probably also things so off topic that we'd look sternly at someone filling their user pages with them
22:24:21 <oerjan> (especially if they made a lot of pages)
22:25:00 <ais523> WP:NOT#WEBHOST
22:25:00 <oerjan> we already allow general CS stuff as long as its useful for esolanging
22:25:26 <oerjan> *it's
22:25:49 <oerjan> what we don't allow, because it'd get the site all out of focus, is non-esoteric _languages_
22:26:36 <shachaf> What about non-language esoterica?
22:26:38 <oerjan> (also, everything i've said here probably has at least one exception on the wiki already.)
22:27:19 <oerjan> shachaf: the boundaries exist but are _very_ vague, i think
22:28:17 <shachaf> Taneb: How did your lens talk go?
22:28:28 <Taneb> shachaf, seeing as it's tomorrow
22:28:44 <Taneb> I guess we'll find out
22:28:47 <oerjan> Taneb: just make sure to keep it focused hth
22:28:49 <shachaf> do you really expect me to keep track of things down to the last day
22:30:39 <Taneb> shachaf, yes
22:30:46 <Taneb> Get a wall calendar hth
22:31:22 <shachaf> even if i had a wallendar i probably wouldn't think to put your talk on it
22:31:32 <Taneb> Get multiple wall calenders hth
22:31:41 <Phantom_Hoover> you know
22:31:46 <Phantom_Hoover> treederwright is online right now
22:31:59 <Taneb> Phantom_Hoover, do I know who that is
22:32:21 <Phantom_Hoover> `quote matrix of solidity
22:32:33 <HackEgo> 240) <treederwright> enjoy being locked in your matrix of solidity
22:32:39 <Taneb> Huh
22:32:42 <Taneb> I wonder how they are doing
22:33:25 <Phantom_Hoover> unfortunately he is away
22:33:44 -!- FireFly has quit (Changing host).
22:33:44 -!- FireFly has joined.
22:36:17 <boily> quinthellopia, hppavellon[1].
22:36:27 -!- mauris has quit (Ping timeout: 244 seconds).
22:38:03 <boily> I should updfate the wisdom...
22:38:31 <hppavilion[1]> Hi boily
22:40:50 <coppro> ais523: man, quake chat has been great today
22:40:58 <ais523> coppro: it's normally pretty good
22:41:12 <ais523> OTOH, there hasn't been much need for mod actions to keep it good
22:41:15 <ais523> which is unusual
22:41:22 <coppro> it normally is, yeah, but it's been even better than usual imo
22:41:27 <ais523> agreed
22:41:47 <b_jonas> heh
22:41:51 <ais523> how many unrelated IRC channels do we share right now?
22:42:00 <ais523> at least three
22:42:08 <coppro> nethack, esoteric, nomic, gdq
22:42:11 <shachaf> Is quake chat what it sounds like?
22:42:13 <ais523> four, I forgot ##nomic
22:42:18 <ais523> shachaf: no
22:42:22 <coppro> I'm in three with boily
22:42:27 <b_jonas> shachaf: what does it sound like?
22:43:02 <Phantom_Hoover> i'm not sure i'm in a channel with anyone
22:43:05 <b_jonas> ais523: does #nethack4 count as unrelated to #esoteric ?
22:43:10 <coppro> it does
22:43:11 <ais523> yes, despite the overlap
22:43:13 <coppro> but it's not unrelated to #nethack
22:43:14 <ais523> in users
22:43:23 <ais523> there's no real reason why the subjects should be connected
22:43:23 <Phantom_Hoover> except that mysterious fucker `vsomething
22:43:33 <ais523> I mean, there's a big ##nomic/#esoteric overlap too
22:43:37 <Phantom_Hoover> that still unsettles me
22:43:43 <shachaf> I used to be in #nethack.
22:43:44 <b_jonas> coppro: ah, you're just going by name. like the... ok, never mind
22:44:01 <coppro> b_jonas: no, by subject matter
22:44:19 <ais523> e.g. I consider #tasvideos and #hourglass to be connected
22:44:22 <ais523> even though the names are unrelated
22:44:33 <boily> I share four chännels with shachaf.
22:44:47 <ais523> diareses don't work like that
22:44:53 <shachaf> Well, it's more like two chаnnels.
22:44:56 <Taneb> I share 5 with shachaf, hah
22:45:04 <Taneb> But three sets of channels, I guess
22:45:29 <b_jonas> you stalkers :-)
22:45:30 <Phantom_Hoover> `pastlog `v
22:45:32 <shachaf> Oh, Taneb isn't in one part of that channel.
22:45:38 <Phantom_Hoover> does pastlog still work
22:45:46 <shachaf> Hasn't worked for a long time.
22:45:50 <Taneb> Phantom_Hoover, I don't think HackEgo has access to the logs
22:45:54 <Phantom_Hoover> oh ofc, that thing
22:46:00 <HackEgo> ​/hackenv/bin/pastlog: 2: cd: can't cd to /var/irclogs/_esoteric \ ls: cannot access ????-??-??.txt: No such file or directory
22:46:11 <Phantom_Hoover> does anyone remember who 'that `v fucker' was, i can't find them in the logs
22:46:30 <Phantom_Hoover> oh! it was ^v
22:46:52 <Phantom_Hoover> `^_^v i think
22:46:53 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v: not found
22:46:55 <shachaf> Is it the same as |f`-`|f ?
22:47:02 <Phantom_Hoover> fuck i misremembered that
22:47:24 <shachaf> Or just the same style of annoying nick?
22:48:17 <Phantom_Hoover> no, different person
22:49:02 <HackEgo> [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=43624&oldid=38024 * Quintopia * (-28) knuth pronunciation is standard right?
22:49:30 <Phantom_Hoover> anyway the only other channel i'm consistently in is in another network, has maybe 30 people in it and is about a mod for an ancient game with no connection whatsoever to esolangs
22:49:40 <Phantom_Hoover> and `^_^v was in both
22:50:14 <Phantom_Hoover> never said a word there or here except when i asked if they were the same person
22:50:17 <Phantom_Hoover> v. suspicious
22:51:42 <boily> `^_^v. suspicious.
22:51:42 <HackEgo> ​/home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: ^_^v.: not found
22:52:07 <b_jonas> `? ^_^v
22:52:09 <HackEgo> ​^_^v? ¯\(°​_o)/¯
22:53:25 * oerjan didn't notice ^v had disappeared
22:54:40 <boily> so many disappeared peoples... Bike, elliott, Fiora, oklopol, itidus[n | n <- [19..21]]...
22:54:56 <oerjan> also the only thing i'm getting out of your crypto problem is the vague feeling you're all thinking _far_ too approximately to trust what you came up with.
22:56:08 <oerjan> oklopol came by "incognito" a while gao
22:56:22 <oerjan> *ago
22:56:49 <oerjan> i suspect the elliott that is currently online is someone else
22:57:10 <Phantom_Hoover> why
22:57:26 <ais523> not identified
22:58:07 <Phantom_Hoover> looks about right
22:58:36 <oerjan> Fiora is online, and i saw Bike not too long ago
22:58:55 <oerjan> no idea about itidus
22:59:54 <shachaf> nitia hasn't been around in a while.
23:01:20 <Phantom_Hoover> nitia?
23:01:27 <Phantom_Hoover> oh
23:02:02 <shachaf> You figured that out more quickly than I did.
23:02:15 <Phantom_Hoover> i've used /ns info a lot in the last ten minutes
23:02:57 <shachaf> whoa whoa whoa
23:03:02 <shachaf> Taneb registered nitia?
23:03:12 <Taneb> Apparently
23:04:27 <Sgeo_> https://www.linkedin.com/pulse/20141017071618-3815022-secure-programming-ada-vs-rust
23:04:33 <Sgeo_> My eyes, my eyes!
23:06:48 <shachaf> @wn otiose
23:06:49 <lambdabot> *** "otiose" wn "WordNet (r) 3.0 (2006)"
23:06:49 <lambdabot> otiose
23:06:49 <lambdabot> adj 1: serving no useful purpose; having no excuse for being;
23:06:49 <lambdabot> "otiose lines in a play"; "advice is wasted words"; "a
23:06:49 <lambdabot> pointless remark"; "a life essentially purposeless";
23:06:51 <lambdabot> [12 @more lines]
23:07:24 <oerjan> is otiose a homological word
23:07:47 <ais523> huh, I guess I learned a word today
23:07:51 <shachaf> @more
23:07:51 <lambdabot> "senseless violence" [syn: {otiose}, {pointless},
23:07:51 <lambdabot> {purposeless}, {senseless}, {superfluous}, {wasted}]
23:07:51 <lambdabot> 2: producing no result or effect; "a futile effort"; "the
23:07:51 <lambdabot> therapy was ineffectual"; "an otiose undertaking"; "an
23:07:51 <lambdabot> unavailing attempt" [syn: {futile}, {ineffectual}, {otiose},
23:07:53 <lambdabot> [7 @more lines]
23:08:02 <shachaf> Hm.
23:08:29 <ais523> so something is otiose, either if it doesn't have a useful end goal, or if it does but fails to get anywhere near it or anywhere else
23:08:57 <shachaf> http://ct2015.web.ua.pt/talks.html
23:09:54 <oerjan> me in a nutshell there
23:10:26 -!- Herbalist has joined.
23:10:26 -!- Herbalist has quit (Changing host).
23:10:26 -!- Herbalist has joined.
23:10:50 -!- Herbalist has left.
23:11:30 <HackEgo> [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=43625&oldid=43624 * Quintopia * (+7) bug fix
23:20:25 <HackEgo> [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=43626&oldid=43625 * Quintopia * (+78) bug fix
23:20:59 <HackEgo> [wiki] [[Magicard!]] M http://esolangs.org/w/index.php?diff=43627&oldid=43626 * Quintopia * (+4) /* Examples */
23:21:18 <HackEgo> [wiki] [[Magicard!]] M http://esolangs.org/w/index.php?diff=43628&oldid=43627 * Quintopia * (-4) /* Examples */
23:25:15 <HackEgo> [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=43629&oldid=43628 * Quintopia * (+5) deck size reqs
23:28:35 <oren> good ebeningu
23:29:20 <zzo38> Can the mouse pointer be changed in xterm when the program is set to receive mouse events?
23:29:42 <boily> コレンばんは!
23:29:43 <HackEgo> [wiki] [[Magicard!]] http://esolangs.org/w/index.php?diff=43630&oldid=43629 * Quintopia * (+143) handle edge case
23:32:11 <hppavilion[1]> So
23:39:54 <hppavilion[1]> I want a Declarative Stack-Based language
23:40:11 <oerjan> argh am i supposed to get GT to translate japanese portmanteaus now
23:40:42 <hppavilion[1]> In what?
23:40:56 <hppavilion[1]> That'd be AWESOME by the way
23:44:28 -!- Patashu has joined.
23:46:09 -!- _256Q has quit (Read error: Connection reset by peer).
23:47:45 <boily> oerjan: I admit japormantese may be a little be far fetched...
23:49:36 <HackEgo> [wiki] [[Abstract machine]] N http://esolangs.org/w/index.php?oldid=43631 * Hppavilion1 * (+195) Created page
23:52:58 <HackEgo> [wiki] [[Abstract machine]] http://esolangs.org/w/index.php?diff=43632&oldid=43631 * Hppavilion1 * (+582) Added a section on turing machines (other people are free to add more
23:54:20 -!- hppavilion[1] has quit (Quit: Page closed).
←2015-07-27 2015-07-28 2015-07-29→ ↑2015 ↑all