00:01:06 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43495&oldid=43494 * Phase * (+304) /* CodeBlocks */ better explanation
00:12:43 -!- boily has quit (Quit: JETPACK CHICKEN).
00:27:13 <HackEgo> [wiki] [[Fifth]] http://esolangs.org/w/index.php?diff=43496&oldid=43495 * Phase * (+494) /* String Manipulation */ Casting to a double
00:27:55 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43497&oldid=43496 * Phase * (+2) Move Characters under Strings
00:32:00 -!- mihow has joined.
00:43:55 <HackEgo> [wiki] [[Fifth]] http://esolangs.org/w/index.php?diff=43498&oldid=43497 * Phase * (+846) /* Boolean Logic */ Add section
00:46:11 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43499&oldid=43498 * Phase * (+6) /* Boolean Logic */ Change pre to code
00:50:19 -!- oren has joined.
00:50:31 -!- oren_cloud has quit (Quit: leaving).
00:50:47 -!- oren_ has joined.
00:51:05 <oren> reverse dns is a scow
00:51:40 -!- oren_ has changed nick to orenwatson_be.
00:53:44 -!- oren has quit (Client Quit).
00:53:51 -!- orenwatson_be has changed nick to oren.
00:57:13 <Sgeo_> I should probably migrate PSOX to GitHub
01:00:07 <Sgeo_> Thing I made in 2007/2008 to enable stdio-only esolangs to do other things with an appropriate server. It was optimized for BF despite my intentions for it to be more general
01:00:40 <Sgeo_> http://esolangs.org/wiki/PSOX
01:04:11 <Sgeo_> Is github.com/ehird his most recent github, or is there newer?
01:05:21 <Sgeo_> tada https://github.com/Sgeo/psox
01:11:14 -!- FreeFull has quit (Ping timeout: 264 seconds).
01:12:40 -!- Wallacoloo has joined.
01:13:17 -!- mihow has quit (Quit: mihow).
01:14:00 <HackEgo> [wiki] [[Fifth]] http://esolangs.org/w/index.php?diff=43500&oldid=43499 * Phase * (+375) /* Boolean Logic */ Strings do contains for > and <; moved around sections
01:15:04 <oren> cool. Externalizing this sort of stuff helps keep the core language small
01:15:04 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43501&oldid=43500 * Phase * (-132) /* Boolean Logic */ Remove old examples
01:16:12 <Sgeo_> The Brainfuck bias shows in two ways that I can think of right now (and that have been mentioned to me so long ago): The extensive use of NUL, and NUL as a success value.
01:16:31 <Sgeo_> Hmm, actually, not sure how the latter indicates a BF bias
01:18:53 <oren> it indicates an sh bias
01:19:16 <Sgeo_> I redid the way input worked because of Windows, but I still haven't tested PSOX on Windows
01:20:10 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43502&oldid=43501 * Phase * (+18) /* String Manipulation */ Reword and show example
01:20:13 <Sgeo_> o.O the spec has an inconsistency
01:20:21 <Sgeo_> "0x00 0x02 0x03 "http://example.com/longname" 0x0A
01:20:21 <Sgeo_> The string is a null-terminated string. Note"
01:20:34 <Sgeo_> "Remember, somestring is not a NUL-terminated string, it just doens't contain a 0x0A"
01:20:52 <Sgeo_> (the latter quote is in the spec of that function)
01:21:01 <oren> a url can't contain either anyway
01:21:38 <Sgeo_> NUL-terminated vs not nul-terminated makes a difference
01:21:55 <oren> oh the nul is actually output oh
01:22:14 -!- variable has joined.
01:23:22 <Sgeo_> The List of Builtin Domains is outdated... or more accurately, the other builtin domains aren't actually built in
01:23:34 <coppro> can someone explain to me why uuidd exists?
01:25:07 <oren> it apparently provides uniqueness even when lots of threads are grabbing uuids at once
01:26:26 <oren> maybe it has a pseudo-random generator with a large state and generates a buffer which it replenishes?
01:28:21 <oren> i mean, if all uuids come from one place that makes it somewhat easier to guarantee uniqueness certainly
01:29:47 <oren> but in that case you could also just emit sequential numbers
01:30:07 <oren> maybe a security problem with that
01:33:41 <oren> but then, relying on people not being able to guess a uuid is kind of shit
01:35:31 -!- lleu has quit (Read error: Connection reset by peer).
01:35:55 -!- lleu has joined.
01:37:07 <variable> oren: uuid is not meant for secure problems
01:37:21 <variable> uuid exists since it, in theory, should be *globally* unique
01:37:40 <variable> that is, you producing a uuid and me producing a uuid very rarely colide
01:39:19 <oren> yes but I assume he was asking why we need a daemon to generate them?
01:39:57 <variable> wait, there is a daemon that generates them?
01:41:37 <variable> coppro: never heard of it, but does it produce V1 guids ?
01:42:19 <variable> if so, its very likely what oren said: to avoid issues with multiple threads creating guids at the same time
01:42:34 <variable> today's computers are fast enough to produce colliding v1 guids :'(
01:42:58 <coppro> no it generates uuidds
01:52:07 -!- GeekDude has joined.
01:52:10 <fowl> twitters UIDs are a timestamp, worker ID and a sequential ID smashed into uint64 https://blog.twitter.com/2010/announcing-snowflake
01:54:49 -!- ^sez has quit (Ping timeout: 240 seconds).
01:55:45 -!- ^sez has joined.
02:07:40 -!- |f`-`|f has quit (Read error: Connection reset by peer).
02:08:49 -!- Wallacoloo has left.
02:21:38 -!- |f`-`|f has joined.
02:26:17 -!- pikhq has joined.
02:39:00 -!- atslash has quit (Ping timeout: 256 seconds).
02:39:18 -!- atslash has joined.
02:42:27 <HackEgo> [wiki] [[Fifth]] http://esolangs.org/w/index.php?diff=43503&oldid=43502 * Phase * (+255) /* CodeBlocks */ CodeBlocks can now be on the stack and are assigned to characters just like variables (because they are variables)
02:55:34 <oren> http://www.orenwatson.be/6502machinecode.asc
02:56:21 <oren> 6502's instruction set looks much less confusing if the opcodes are written and organized in octal rather than hex
02:56:33 <pikhq> Isn't that also true of the 8086?
02:59:16 <oren> hmm, dunno. the ADD instructions on 86 are all 00x in octal it's true
03:07:19 -!- ^sez has quit (Ping timeout: 240 seconds).
03:15:17 -!- FreeFull has joined.
03:20:16 <oren> beacuse .txt is sooo windowzy
03:21:37 -!- heroux has quit (Ping timeout: 264 seconds).
03:23:24 -!- heroux has joined.
03:29:48 <tswett> Doesn't UUID mean any sort of universally unique identifier (generally one with lots of entropy), while GUID refers specifically to Microsoft's realization of the concept?
03:39:20 -!- copumpkin has quit (Quit: My MacBook Pro has gone to sleep. ZZZzzz…).
03:39:49 -!- GeekDude has quit (Quit: {{{}}{{{}}{{}}}{{}}} (www.adiirc.com)).
03:55:01 -!- variable has quit (Ping timeout: 244 seconds).
04:05:47 -!- ^sez has joined.
04:17:19 -!- heroux has quit (Ping timeout: 240 seconds).
04:19:20 -!- heroux has joined.
04:30:52 -!- tromp__ has joined.
04:33:05 -!- tromp has quit (Ping timeout: 246 seconds).
04:42:38 -!- pikhq has quit (Ping timeout: 256 seconds).
05:08:39 -!- ^sez has quit (Ping timeout: 250 seconds).
05:21:47 -!- Wright_ has joined.
05:21:47 -!- Wright has quit (Read error: Connection reset by peer).
05:24:58 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43504&oldid=43503 * Phase * (+530) /* CodeBlocks */ Show CodeBlock adding
05:27:32 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43505&oldid=43504 * Phase * (+3) /* Variables */ Setting a variable won't pop it off the stack
05:28:40 -!- Wright_ has quit (Remote host closed the connection).
05:32:37 <Sgeo_> https://github.com/Sgeo/psox/commit/64efa9fef9d6ec3b08026f350558766b53c9aa3a
05:32:48 <Sgeo_> Was I on drugs, or did I steal this from someone who was on drugs?
05:35:13 <coppro> eval('"' + raw_input() + '"')
05:35:20 <coppro> 10/10 would read again
05:39:51 -!- heroux has quit (Ping timeout: 250 seconds).
05:41:34 -!- lleu has quit (Read error: Connection reset by peer).
05:41:42 -!- heroux has joined.
05:42:00 -!- lleu has joined.
05:42:00 -!- lleu has quit (Changing host).
05:42:00 -!- lleu has joined.
05:45:34 -!- aretecode has quit (Read error: Connection reset by peer).
05:48:49 -!- aretecode has joined.
05:52:36 -!- clog has quit (Ping timeout: 246 seconds).
05:55:24 <izabera> do you have an example of a compiler for a turing complete language that's written in a non turing complete language?
05:56:27 <Sgeo_> The <language in which all possible strings are the cat program> is perfectly capable of compiling <some machine language that actually has access to infinite memory> into <that language>
05:56:46 <Sgeo_> Pathological cases are fun and useful!
05:59:35 <Taneb> izabera, I don't think you need more than a push-down automata to compile, eg, brainfuck to C
06:02:17 <izabera> like sed (the command) which is turing complete if you have labels and jumps, but it's not if you only use s///g, and that's enough to compile brainfuck
06:11:30 <Jafet> You can, in fact, pick any language for which a compiler always terminates, and then take the language whose only valid programs implement that compiler
06:15:56 -!- x10A94 has joined.
06:17:49 -!- heroux has quit (Ping timeout: 255 seconds).
06:19:19 -!- heroux has joined.
06:23:08 -!- rdococ has joined.
06:47:24 <mroman_> 400bit/s isn't very much o_O
06:47:33 <mroman_> but given it's over mio. of kms
06:56:23 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43506&oldid=43505 * Phase * (+369) add infobox
06:57:28 <mroman_> You can compile Brainfuck to Ook with just regular expressions
06:58:13 <mroman_> That is, if you consider Brainfuck and Ook to be different languages.
06:58:27 <Jafet> cat can compile brainfuck to ASCII Art-
06:59:32 <Sgeo_> I think I know why I wrote it like that: I wanted to be able to use Python escapes
06:59:40 <mroman_> I bet you could teach ravens to compile Brainfuck to Ook
06:59:42 <Sgeo_> Writing nul bytes and PSOX commands etc
07:00:25 <mroman_> or some binary versions of it
07:01:08 <mroman_> it would be funny to teach birds to operate a deadfish machine
07:01:41 <mroman_> and maybe you use 4 kinds of food
07:01:54 <mroman_> and the bird will press the corresponding button on the deadfish machine :D
07:02:25 <Jafet> Four kinds of dead fish
07:02:48 <mroman_> and then we'll teach them to program in Brainfuck!
07:02:55 <mroman_> and then how to kill humans
07:03:04 <mroman_> and then they might take over the world
07:03:16 <mroman_> or at least we get another good movie about birds killing humans
07:03:21 <mroman_> like that one hitchock movie
07:04:34 <mroman_> That's an interesting name
07:05:25 <mroman_> meanwhile, my port registration request has been forwarded to the port experts for review
07:06:20 <Taneb> What are you registering a port for
07:07:06 <mroman_> a server that serves as an execution service for esoteric programming languages
07:07:24 <mroman_> The client connects, specifies the language and options, sends the program
07:07:40 <mroman_> and then the client will send stdin to the server and the server will stream stdout to the client
07:07:49 <mroman_> (which allows execution of interactive programs)
07:08:03 <mroman_> (the client streams stdin to the server)
07:08:40 <mroman_> If it weren't for the interactive and streaming part I would have picked HTTP
07:09:31 <mroman_> Although you might be able to abuse HTTP for interactive streaming somehow
07:09:54 <Taneb> Why not something like telnet?
07:10:28 <mroman_> Taneb: you mean give people shell access?
07:10:33 <HackEgo> california/California is pronounced "Caliphate-ornery-I-A"
07:10:43 <Taneb> mroman_, no, having a service accessible by telnet
07:11:08 <Taneb> Telnet doesn't necessitate shell access
07:11:08 <mroman_> you'd still need to define a protocol over telnet
07:11:26 <mroman_> but telnet could be used for the underlying communication I guess
07:12:13 <mroman_> Except that telnet doesn't support TLS/SSL
07:12:35 <Sgeo_> I think my spec wrongly implies that VARARG(STRINGNL) is meaningful
07:13:26 <oren> http://www.orenwatson.be/ansi.ans <-- missing anything?
07:13:29 <Sgeo_> STRINGNL is really kind of weird
07:13:42 <mroman_> Taneb: This also means that the ESOSC has to write the spec for the protocol btw ;)
07:14:08 <Sgeo_> It's a string that's terminated by a newline that is part of the command being sent
07:15:11 <Taneb> mroman_, oh dear :P
07:16:39 <mroman_> ESOSC has a duty in this world!
07:17:05 <mroman_> being crazy is one of them.
07:23:58 -!- SirCmpwn has quit (Ping timeout: 265 seconds).
07:25:22 -!- SirCmpwn has joined.
07:26:34 <oren> the data shall be transmitted in the subset of Ascii consisting of IDLXCVDN, space and newline, where each octet shall be encoded in Roman Numerals as per [1, Livy] and separated with a space or newline as necessary to ensure that no more than 80 characters appear on a line, as per [2]
07:27:50 -!- J_A_Work has joined.
07:29:29 <oren> Hence, the string "Hi" shall be encoded as ``LXXII CV N''
07:37:31 <b_jonas> oren: no no no. you have to define what type of newline, give the syntax in BNF notation, and discuss the known security implications
07:40:17 <oren> Right. for security, see the solutions used by [3, Julius] and [4, Augustus]. You meet in secret to exchange a key, being a number between 1 and 25...
07:40:35 <izabera> https://asciinema.org/a/dc7a8jytvjhia5xhcyfin8k1b spam spam spam
07:49:43 -!- clog has joined.
07:51:33 <b_jonas> oren: please also link the later RFC on the solutions for using slaves when you cannot meet in secret
08:03:47 <mroman_> slaves will be killed on arrival
08:05:39 <mroman_> engrave the secret key on some piece of metal, fill a closable container with a liquid that can be absorbed by the skin and is very deadly
08:05:48 <mroman_> then put the key in that liquid
08:05:59 <mroman_> on arrival the slave has to put his hand into the liquid to get the key
08:06:02 <mroman_> and ultimately dies later on
08:06:36 <oren> http://www.orenwatson.be/romd.c
08:06:43 <mroman_> if the liquid is missing you have been compromised
08:07:44 -!- rdococ has quit (Quit: Leaving.).
08:08:26 -!- rdococ has joined.
08:09:32 -!- oerjan has joined.
08:12:43 -!- rdococ has quit (Ping timeout: 248 seconds).
08:16:57 -!- ^sez has joined.
08:19:55 <lambdabot> boily said 10h 38m 55s ago: !najrølleh
08:19:55 <lambdabot> boily said 10h 38m 18s ago: (please note that I would've liked the slash upon the o to be reversed, but it seems to be too much of a unicodehassle hth)
08:21:31 -!- ^sez has quit (Ping timeout: 265 seconds).
08:29:33 -!- Patashu has joined.
08:36:39 -!- Patashu has quit (Read error: Connection timed out).
08:37:29 -!- Patashu has joined.
08:40:11 -!- ^sez has joined.
08:41:45 <shachaf> but saying o⃥rjan is v. disrespectful
08:41:53 <shachaf> you'd have to make up for it by calling him o⃫rjan
08:43:50 <oerjan> i don't see any of those characters right anyway
08:45:17 -!- ^sez has quit (Quit: Nettalk6 - www.ntalk.de).
08:52:12 -!- AnotherTest has joined.
09:03:01 <HackEgo> [wiki] [[J--]] N http://esolangs.org/w/index.php?oldid=43507 * Phase * (+835) Rough explanation of J--
09:03:55 <HackEgo> [wiki] [[User:Phase]] M http://esolangs.org/w/index.php?diff=43508&oldid=43481 * Phase * (+35) link to J--
09:07:37 -!- oren has quit (Quit: goodnight).
09:11:51 -!- fungot has joined.
09:14:11 -!- zadock has joined.
09:16:30 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=43509&oldid=43507 * Phase * (+1) fix quote
09:31:05 -!- J_A_Work has quit (Quit: J_A_Work).
09:43:21 -!- J_A_Work has joined.
10:15:25 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=43510&oldid=43509 * Phase * (+530) built in functions
10:20:58 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=43511&oldid=43510 * Phase * (+62) /* Examples */ Cat program
10:22:43 -!- oerjan has quit (Quit: Always with the procrastination).
10:26:31 -!- boily has joined.
10:35:57 -!- aretecode has quit (Ping timeout: 244 seconds).
10:39:44 -!- aretecode has joined.
10:43:29 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=43512&oldid=43511 * Phase * (+17) main is now a replacement
10:49:11 <HackEgo> [wiki] [[J--]] M http://esolangs.org/w/index.php?diff=43513&oldid=43512 * Phase * (+169) /* Examples */ More examples
10:58:49 <mroman_> the feeling when a method called String toJSON produces XML .
11:01:07 * boily stays far away from mroman_
11:06:10 -!- zadock has quit (Quit: Leaving).
11:14:59 <boily> fungot: mhound, tromple, spronghack.
11:15:00 <fungot> boily: i last saw arcus on may 02 at fnord am utc, saying: garou, ping?" on fnord" in that dimension. a dimension not only of languages like b, pl/ sql doesn't count.
11:17:19 <boily> `le/rn fnord am/Fnord AM is the repeated hour that happens when DST resolves. It is customary to celebrate it with a Garou Ping if one is awake during that time.
11:20:05 <mroman_> `? JSON is JavaSyntax Or Nothing.
11:20:06 <HackEgo> JSON is JavaSyntax Or Nothing.? ¯\(°_o)/¯
11:20:12 <mroman_> `learn JSON is JavaSyntax Or Nothing.
11:20:14 <HackEgo> Learned 'json': JSON is JavaSyntax Or Nothing.
11:25:13 -!- shikhin has joined.
11:25:23 <mroman_> The only usage for JSON I found so far is
11:25:55 <mroman_> {"xml":"<person><age>18</age></person>"}
11:27:21 <boily> ... AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH!
11:27:53 <boily> TANELLE! STAY AWAY! AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAH!
11:28:06 -!- shikhin has quit (Client Quit).
11:28:10 -!- boily has quit (Quit: COORDINATED CHICKEN).
11:30:24 -!- digitalc1ld has joined.
11:30:33 -!- trnv2 has joined.
11:30:46 <mroman_> that there was a method toJSON which used JAXB
11:31:00 <mroman_> under the assumption that JAXB will use a JSON provider to do the serialisation (per default)
11:31:08 <mroman_> which it does not. So it returned actual XML.
11:31:37 <mroman_> which is why I'm manually using jackson now to do that.
11:33:34 <mroman_> on the other hand I'm rewriting a network library that used peer-to-peer SSL communications to using a REST approach :D
11:34:11 <mroman_> which isn't really optimal since it exchanges thousands of messages
11:34:34 -!- trn has quit (Ping timeout: 250 seconds).
11:34:35 -!- digitalcold has quit (Ping timeout: 250 seconds).
11:34:45 <mroman_> but! That's what the client wants.
11:34:46 -!- trnv2 has changed nick to trn.
11:34:57 <mroman_> It's gotta be RESTful. No matter what.
11:35:05 <fizzie> Perhaps they just tried to tell you they're tired, and you took it wrong?
11:36:25 <mroman_> It's a zero knowledge like protocol library that bounces thousands of messages among the participants that take part in the computation
11:36:59 <mroman_> (also secret sharing stuff)
11:38:06 <mroman_> of course, now sending a message requires a new http connection for each message
11:39:00 <Taneb> Help I am watching a graduation ceremony on YouTube
11:39:10 <mroman_> Taneb: Watch cat videos instead
11:39:20 <Taneb> mroman_, someone I know is graduating
11:40:53 <mroman_> and why aren't you attending in person?
11:41:15 <Taneb> Because I just finished my second year of 4?
11:41:59 <mroman_> and he's far away I presume
11:42:34 <Taneb> (and I never said "he", it's good practise not to make assumptions like that)
11:43:08 <Taneb> I'm really only watching because I am bored
11:43:30 <mroman_> but I can't say "it" either
11:43:39 <Taneb> "they" is acceptable nowadays
11:44:10 <Taneb> In modern usage it can refer to the singular also
11:44:20 <mroman_> but I could've said "your friend"
11:44:24 -!- shikhin has joined.
11:44:25 <Taneb> Yes, that would also work
11:44:38 <Jafet> But it's not known whether that person is Taneb's friend.
11:44:45 <mroman_> is "they" accepted by gender neutral persons as well?
11:44:53 <mroman_> or non-binary gender persons?
11:44:55 <Taneb> mroman_, generally, yes, but it depends on the person
11:44:59 -!- shikhin has quit (Client Quit).
11:45:28 <mroman_> there aren't enough pronouns for all the gender identities nowadays.
11:45:46 <mroman_> also I'd opt for "friend" and "friendess"
11:46:06 -!- zadock has joined.
11:46:10 <Jafet> Don't you mean friendperson
11:46:16 <mroman_> although that only works for classic binary genders
11:47:48 <mroman_> "and they is far away" sounds horrible.
11:48:16 <Taneb> I think the verb changes to match the pronoun
11:48:30 <mroman_> but it's used as a singular?
11:48:53 -!- J_A_Work has quit (Quit: J_A_Work).
11:49:04 <Taneb> English is a language that totally makes sense
11:49:25 <mroman_> Well, English makes sorta sense
11:50:05 -!- shikhin has joined.
11:50:07 <Jafet> @google devil's dictionary
11:50:08 <lambdabot> http://www.thedevilsdictionary.com/
11:50:08 <lambdabot> Title: Ambrose Bierce - The Devil's Dictionary - for Tablet & Screen
11:57:50 -!- rdococ has joined.
12:04:16 -!- white_bear has joined.
12:07:19 <mroman_> fungot: Do you cooperate with the devil?
12:07:19 <fungot> mroman_: i think that he occasionally confers with people and machines."
12:07:53 <Taneb> mroman_, not often
12:08:17 <Taneb> (although that was a really nice answer)
12:08:25 -!- rdococ has quit (Ping timeout: 264 seconds).
12:14:22 -!- fractal has quit (Ping timeout: 246 seconds).
12:22:46 -!- fractal has joined.
12:22:46 -!- Patashu has quit (Ping timeout: 256 seconds).
12:25:38 -!- staffehn has quit (Quit: No Ping reply in 180 seconds.).
12:26:03 -!- staffehn has joined.
12:32:08 -!- variable has joined.
12:35:48 <mroman_> Taneb: but fungot is neither a machine nor is it a person!
12:35:48 <fungot> mroman_: but if you really want ton know?" might be a typo
12:43:12 <HackEgo> metaplace/Metaplace ♫ is where I want to be, ♫ I never m*%¤)&"#NO CARRIER
12:43:18 <HackEgo> 1224) <elliott> listen. listen. jesus has saved me from talking about undefined behaviour in C with you any more, and He could save you too.
12:48:15 <fizzie> Not a machine, not a person, but might be a typo.
12:53:37 -!- variable has quit (Quit: 1 found in /dev/zero).
12:54:48 <Jafet> fungot was originally designed to be a flexible network observation and reconnaissance daemon, but there was a typo.
12:54:48 <fungot> Jafet: fnord " right" way here, when you're around.
12:59:19 <olsner> fungot: are you really a typo?
12:59:20 <fungot> olsner: very well, i was having a lot of list support can do almost everythig you'd want for " static" beta redexes and reduce them, like " 36 f.supp.2d 191" or " can't produce easily"
12:59:34 -!- copumpkin has joined.
13:35:13 -!- zadock has quit (Ping timeout: 264 seconds).
13:36:35 -!- rdococ has joined.
13:40:54 -!- rdococ has quit (Ping timeout: 244 seconds).
13:41:49 -!- rdococ has joined.
13:42:32 -!- AnotherTest has quit (Ping timeout: 256 seconds).
13:52:44 -!- rdococ has quit (Ping timeout: 256 seconds).
13:53:54 -!- J_Arcane has quit (Remote host closed the connection).
13:56:06 -!- J_Arcane has joined.
14:00:23 -!- FreeFull has quit (Quit: BBL).
14:07:10 -!- FreeFull has joined.
14:11:58 -!- pikhq has joined.
14:12:55 -!- AnotherTest has joined.
14:16:33 -!- pikhq has quit (Ping timeout: 244 seconds).
14:17:19 -!- pikhq has joined.
14:21:42 -!- pikhq has quit (Ping timeout: 252 seconds).
14:22:49 -!- pikhq has joined.
14:23:16 <Taneb> I need to improve my work ethic...
14:35:04 -!- J_Arcane has quit (Quit: ChatZilla 0.9.91-rdmsoft [XULRunner 32.0.3/20140923175406]).
14:50:05 -!- J_Arcane has joined.
14:50:39 -!- pikhq has quit (Ping timeout: 244 seconds).
14:52:55 -!- pikhq has joined.
15:00:57 <Jafet> `culprit wisdom/metaplace
15:00:57 <HackEgo> /home/hackbot/hackbot.hg/multibot_cmds/lib/limits: line 5: exec: culprit: not found
15:01:03 <Jafet> `culprits wisdom/metaplace
15:26:39 -!- GeekDude has joined.
15:26:39 -!- GeekDude has quit (Client Quit).
15:36:31 <Jafet> Hmm, unloading ehci is a bad idea when the keyboard is connected through USB.
15:39:29 -!- S1 has joined.
15:49:01 -!- mauris has joined.
16:17:05 -!- shikhin has quit (*.net *.split).
16:17:05 -!- paul2520 has quit (*.net *.split).
16:17:05 -!- haavard has quit (*.net *.split).
16:17:05 -!- edwardk has quit (*.net *.split).
16:17:12 -!- shikhin has joined.
16:17:32 -!- paul2520 has joined.
16:17:57 -!- haavard has joined.
16:19:31 -!- edwardk has joined.
16:37:00 -!- white_bear has quit (Quit: leaving).
16:44:44 -!- oerjan has joined.
16:55:44 <HackEgo> [wiki] [[Jackass]] http://esolangs.org/w/index.php?diff=43514&oldid=43487 * JayCampbell * (+231)
16:57:24 -!- idris-bot has quit (Ping timeout: 264 seconds).
16:57:45 <HackEgo> [wiki] [[Talk:Jackass]] N http://esolangs.org/w/index.php?oldid=43515 * JayCampbell * (+125) Created page with "You've been drive-by interpreted! ~~~~"
16:57:52 -!- Melvar has quit (Ping timeout: 246 seconds).
17:01:26 -!- Melvar has joined.
17:01:51 -!- idris-bot has joined.
17:03:14 <HackEgo> [wiki] [[Talk:Jackass]] http://esolangs.org/w/index.php?diff=43516&oldid=43515 * JayCampbell * (+461)
17:14:27 -!- Wright has joined.
17:22:19 <oerjan> @tell mroman_ <mroman_> that sounds like plural <-- you know "you" is etymologically plural, right? so english is just becoming more consistent. now we just need to make it acceptable for others than Elizabeth to use "we"...
17:42:41 <Jafet> fungot: assimilate https://www.reddit.com/r/datasets/comments/3bxlg7/i_have_every_publicly_available_reddit_comment/
17:42:41 <fungot> Jafet: that's what i figured, i dont' know if you find out? :)
17:51:38 -!- Wright has quit (Remote host closed the connection).
17:55:26 -!- S1 has quit (Quit: S1).
18:08:17 <oerjan> Jafet: do you _really_ want to risk creating an AI with the behavior and opinions of the average reddit commenter?
18:08:35 -!- mihow has joined.
18:09:14 <Jafet> Good point. Have an upvote.
18:24:56 -!- atslash has quit (Quit: This computer has gone to sleep).
18:30:45 -!- atslash has joined.
19:03:57 -!- tswett has changed nick to tswett1.
19:23:50 <HackEgo> [wiki] [[Fifth]] http://esolangs.org/w/index.php?diff=43517&oldid=43506 * Phase * (+641) dictionaries
19:39:49 -!- x10A94 has quit (Read error: Connection reset by peer).
19:41:22 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43518&oldid=43517 * Phase * (+72) basic lists
19:50:12 -!- tswett1 has changed nick to tswett.
20:08:33 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43519&oldid=43518 * Phase * (+245) /* Arrays */ Rename to Arrays and more operators
20:16:07 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43520&oldid=43519 * Phase * (+145) /* String Manipulation */ String evaluating
20:17:38 <HackEgo> [wiki] [[Fifth]] M http://esolangs.org/w/index.php?diff=43521&oldid=43520 * Phase * (+1) /* - */ There should be a '-'
20:22:16 -!- ais523 has joined.
20:25:18 -!- mihow has quit (Quit: mihow).
20:27:22 -!- _256Q has joined.
20:27:22 -!- _256Q has quit (Changing host).
20:27:22 -!- _256Q has joined.
20:27:25 -!- mihow has joined.
20:30:03 -!- mihow has quit (Client Quit).
20:32:35 -!- ais523 has quit (Read error: Connection reset by peer).
20:33:10 -!- ais523 has joined.
20:34:05 -!- ais523 has quit (Remote host closed the connection).
20:35:26 -!- ais523 has joined.
20:42:22 -!- FreeFull has quit (Quit: BBL).
20:53:43 -!- FreeFull has joined.
21:24:53 -!- Patashu has joined.
21:39:01 -!- Patashu has quit (Ping timeout: 264 seconds).
21:41:50 -!- AnotherTest has quit (Quit: ZNC - http://znc.in).
21:42:02 -!- mihow has joined.
21:49:27 -!- oerjan has quit (Quit: Nite).
22:03:47 -!- atslash has quit (Quit: This computer has gone to sleep).
22:11:47 -!- mauris has quit (Ping timeout: 240 seconds).
22:29:57 -!- atslash has joined.
22:40:40 <HackEgo> [wiki] [[Talk:Jackass]] M http://esolangs.org/w/index.php?diff=43522&oldid=43516 * JayCampbell * (-81)
22:42:04 <HackEgo> [wiki] [[Jackass]] M http://esolangs.org/w/index.php?diff=43523&oldid=43514 * JayCampbell * (+22) /* Interpreter */
22:47:17 <HackEgo> [wiki] [[Hack VM]] http://esolangs.org/w/index.php?diff=43524&oldid=17789 * Phase * (+2784) Fill in more information
23:11:50 -!- oren has joined.