00:01:35 -!- pikhq has quit (Ping timeout: 240 seconds).
00:06:15 -!- xkapastel has joined.
00:09:52 -!- pikhq has joined.
00:11:59 -!- brandonson has quit (Ping timeout: 276 seconds).
00:13:30 -!- brandonson has joined.
00:30:48 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
01:14:27 -!- Sgeo_ has joined.
01:17:09 -!- Sgeo has quit (Ping timeout: 263 seconds).
01:17:13 -!- imode has joined.
01:53:41 -!- Guest1_ has joined.
01:56:57 <shachaf> `aglist
01:56:57 <HackEso> aglist: b_jonas shachaf
02:02:49 <oerjan> `python -cprint "Test"
02:02:49 <HackEso> Test
02:12:57 -!- brandonson has quit (Ping timeout: 264 seconds).
02:14:33 -!- brandonson has joined.
02:19:08 -!- moei has joined.
02:25:28 <Guest1_> `python -cprint(__import__('os').getcwd())`
02:25:29 <HackEso> ​  File "<string>", line 1 \     print(__import__('os').getcwd())` \                                     ^ \ SyntaxError: invalid syntax
02:25:39 <Guest1_> :(
02:25:44 -!- Guest1_ has changed nick to Downgoat.
02:25:46 <shachaf> `` pwd
02:25:47 <HackEso> ​/hackenv
02:25:48 <shachaf> hth
02:26:43 <Downgoat> `` sudo apt-get install nodejs && npm i -g cheddar-lang && cheddar -c "print 'foo'"
02:26:44 <HackEso> sudo: effective uid is not 0, is /usr/bin/sudo on a file system with the 'nosuid' option set or an NFS file system without root privileges?
02:29:39 <Downgoat> well thats disappointing
02:29:51 <Downgoat> does the bot spawn a new container or something every command?
02:29:59 <shachaf> Yes.
02:30:07 <shachaf> `relcome Downgoat
02:30:09 <HackEso> ​Downgoat: 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 EFnet or DALnet.)
02:30:22 <shachaf> Oops, shouldn't've reled.
02:30:28 <shachaf> `? hackego
02:30:29 <HackEso> HackEgo, also known as HackBot, is a bot that runs arbitrary commands on Unix. See `help for info on using it. You should totally try to hax0r it! Make sure you imagine it's running as root with no sandboxing. HackEgo is the slowest bot in all Mexico!
02:30:32 <shachaf> `? hackeso
02:30:33 <HackEso> HackEso is almost but not quite unlike HackEgo.
02:31:41 <Downgoat> `help
02:31:41 <HackEso> Runs arbitrary code in GNU/Linux. Type "`<command>", or "`run <command>" for full shell commands. "`fetch [<output-file>] <URL>" downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert <rev>" can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/
02:31:56 <Downgoat> interesting
02:32:09 <shachaf> That link is broken.
02:32:17 <shachaf> `cat bin/help
02:32:18 <HackEso> ​\? "$(echo "$1" | sed 's/^[^`]/`&/')"
02:32:48 <shachaf> I think that one is built-in?
02:35:03 <shachaf> @tell fizzie to fix the URL in `help twh
02:35:03 <lambdabot> Consider it noted.
02:54:07 -!- variable has joined.
03:39:56 <oerjan> Downgoat: there also isn't any network access from the sandbox
03:40:24 <oerjan> `wget
03:40:25 <HackEso> Sorry, HackEgo's sandbox currently has no web access. However, see `? `fetch
03:40:56 <oerjan> that was slow...
03:40:58 <oerjan> `wget
03:40:59 <HackEso> Sorry, HackEgo's sandbox currently has no web access. However, see `? `fetch
03:41:11 <oerjan> maybe just coming up
04:10:02 -!- doesthiswork has quit (Quit: Leaving.).
04:25:51 -!- doesthiswork has joined.
04:43:12 -!- erkin has quit (Quit: Ouch! Got SIGIRL, dying...).
05:24:23 <oerjan> you know you're doing good haskell golfing when you're turning "" into {-#LANGUAGE CPP#-}(\(_:_:_:_:_:_:_:_:z)->z)__TIME__
05:25:02 <oerjan> (there _might_ be some slight restrictions applying, like not being able to use the character ")
05:25:27 -!- doesthiswork has quit (Quit: Leaving.).
05:26:06 <oerjan> (or =, or any lower case vowel, to mention some other important ones)
05:27:06 <oerjan> the upshot being, that you can actually write 3 haskell quines that have no common characters.
05:30:58 <shachaf> oerjan: [] isn't permitted either?
05:31:08 <oerjan> no, that was used in quine 2
05:36:27 <oerjan> quine 1, incidentally, is putStr`mappend`print`id`"putStr`mappend`print`id`"
05:36:36 <oerjan> the others are quite a bit longer
05:37:01 <shachaf> Is this a programming pooch code goldfish?
05:37:07 <oerjan> yep
05:37:23 <oerjan> i haven't posted it yet, though, needs some more golfing
05:38:29 <shachaf> I posted another M: https://math.stackexchange.com/questions/2762669/how-to-think-of-the-trace-of-a-linear-map-as-connecting-its-output-back-to-its-o
05:38:36 <shachaf> Maybe you know?
05:43:12 <oerjan> nope
05:43:20 <shachaf> I was going to suggest any number of empty programs.
05:43:28 <shachaf> But apparently that's a forbidden loophole.
05:43:40 <oerjan> funny that
05:44:05 <oerjan> even one character is forbidden
05:44:47 <oerjan> two is a bit borderline
05:55:55 <shachaf> oerjan: a haskell quine requires main= hth
05:56:27 -!- atslash has joined.
06:04:03 <oerjan> shachaf: this challenge allows function submissions
06:04:34 <shachaf> So it does.
06:04:37 <oerjan> which i'm interpreting to include IO actions, although i do hopefully have a workaround if someone quibbles on that.
06:05:13 <shachaf> You have the Haskell Report's support for that interpretation.
06:05:21 <oerjan> good, good
06:05:35 <shachaf> https://www.haskell.org/onlinereport/haskell2010/haskellch7.html#x14-1430007.1
06:10:06 <shachaf> `h testing
06:10:07 <HackEso> tehstihng
06:13:23 -!- variable has quit (Quit: /dev/null is full).
06:16:22 -!- Lymia has quit (Ping timeout: 265 seconds).
06:19:31 -!- variable has joined.
06:21:41 -!- Lymia has joined.
06:31:36 -!- oerjan has quit (Quit: Nite).
06:43:21 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
07:09:13 -!- AnotherTest has joined.
07:13:49 -!- tromp has joined.
07:15:55 -!- xkapastel has quit (Quit: Connection closed for inactivity).
07:42:34 -!- SopaXorzTaker has joined.
07:43:29 -!- brandonson has quit (Ping timeout: 248 seconds).
07:45:02 -!- brandonson has joined.
07:45:31 -!- tromp has quit (Remote host closed the connection).
07:52:55 -!- tromp has joined.
07:53:39 -!- tromp has quit (Remote host closed the connection).
07:54:05 -!- tromp has joined.
08:39:51 -!- sleffy has quit (Ping timeout: 240 seconds).
09:17:41 -!- izabera has quit (Changing host).
09:17:41 -!- izabera has joined.
10:05:47 -!- brandonson has quit (Ping timeout: 256 seconds).
10:07:25 -!- brandonson has joined.
10:16:09 -!- arseniiv has joined.
10:26:04 -!- boily has joined.
10:37:26 <boily> `5 w
10:37:29 <HackEso> 1/2:olist//olist is update notification for the webcomic Order of the Stick. http://www.giantitp.com/comics/ootslatest.html \ welcome.is//Halló og verið velkomin á hinn alþjóðlegann miðpunkt fyrir esoteríska forritunarmálshönnun og dreifingu. Meiri upplýsingar er hægt að nálgast á wikinu <http://esolangs.org/>. (Fyrir annarskonar esoterík prufið #esoteric á EFnet eða DALnet.) \ e//e is a freenode admin. e is not known to be an Agor
10:40:26 <boily> `n
10:40:27 <HackEso> 2/2:a player. \ beer//Beer never ships from Québec. \ cooperate//"Cooperate" is a common misspelling of "cōöperāte".
10:42:00 <boily> `le/rn beer//Beer always ships from strange lands. It just has to be thawed first.
10:42:04 <HackEso> Relearned 'beer': Beer always ships from strange lands. It just has to be thawed first.
10:57:32 -!- boily has quit (Quit: UNBELIEVABLE CHICKEN).
11:21:49 -!- imode has quit (Ping timeout: 260 seconds).
11:33:53 -!- lldd_ has joined.
12:56:58 -!- arseniiv has quit (Quit: gone completely :o).
13:00:26 -!- doesthiswork has joined.
13:00:54 -!- doesthiswork has quit (Client Quit).
13:23:39 -!- xkapastel has joined.
13:29:33 -!- arseniiv has joined.
13:53:23 <myname> "In mathematics, two objects [...] are called cryptomorphic if they are equivalent but not obviously equivalent." i should bring that one up more often in proofs
14:11:13 -!- variable has quit (Quit: /dev/null is full).
14:53:45 -!- brandonson has quit (Ping timeout: 264 seconds).
14:55:10 -!- brandonson has joined.
15:09:00 -!- danieljabailey has quit (Quit: ZNC 1.6.5+deb2build2 - http://znc.in).
15:09:34 -!- danieljabailey has joined.
15:26:01 -!- atslash has quit (Quit: This computer has gone to sleep).
15:32:26 -!- atslash has joined.
15:32:44 -!- xkapastel has quit (Quit: Connection closed for inactivity).
15:34:57 -!- xkapastel has joined.
15:42:50 -!- doesthiswork has joined.
15:53:25 -!- Sgeo_ has quit (Read error: Connection reset by peer).
15:53:50 -!- Sgeo_ has joined.
16:12:44 -!- APic has quit (Ping timeout: 268 seconds).
16:13:55 -!- LKoen has joined.
16:13:57 -!- APic has joined.
16:57:09 -!- grumble has changed nick to xn--3s9h.
17:01:00 -!- imode has joined.
17:34:29 -!- Cale has quit (Ping timeout: 265 seconds).
17:41:09 -!- impomatic has quit (Ping timeout: 264 seconds).
17:43:49 -!- xn--3s9h has quit (Read error: Connection reset by peer).
17:44:31 -!- grumble has joined.
17:47:07 -!- Cale has joined.
18:10:35 -!- LKoen has quit (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”).
18:11:09 -!- brandonson has quit (Ping timeout: 264 seconds).
18:12:26 -!- brandonson has joined.
18:39:17 -!- MDude has quit (Quit: Going offline, see ya! (www.adiirc.com)).
19:03:09 -!- SopaXorzTaker has quit (Remote host closed the connection).
19:06:22 -!- sebbu has quit (Quit: reboot).
19:14:29 -!- grumble has quit (Quit: 🦄).
19:15:02 -!- grumble has joined.
19:28:01 -!- atslash has quit (Ping timeout: 248 seconds).
19:31:31 -!- atslash has joined.
20:00:25 <esowiki> [[Grawlix]] M https://esolangs.org/w/index.php?diff=54961&oldid=54871 * DMC * (-38) /* Description */
20:22:17 <esowiki> [[Talk:Alphabet Stew]] N https://esolangs.org/w/index.php?oldid=54962 * DMC * (+117) Created page with "[[User:DMC]] I think somebody, somewhere, has probably created a language called Alphabet Soup. So I didn't use that."
20:50:27 -!- lldd_ has quit (Quit: Leaving).
21:02:24 -!- arseniiv_ has joined.
21:05:57 -!- arseniiv has quit (Ping timeout: 256 seconds).
21:06:29 -!- Sgeo__ has joined.
21:08:19 -!- arseniiv has joined.
21:08:32 -!- Sgeo_ has quit (Ping timeout: 260 seconds).
21:09:21 -!- arseniiv_ has quit (Ping timeout: 256 seconds).
21:10:23 -!- brandonson has quit (Ping timeout: 276 seconds).
21:11:25 -!- brandonson has joined.
21:33:17 -!- sebbu has joined.
21:40:39 -!- brandonson has quit (Quit: leaving).
21:42:35 -!- brandonson has joined.
21:46:20 -!- atslash has quit (Quit: This computer has gone to sleep).
22:01:27 -!- sleffy has joined.
22:17:55 -!- AnotherTest has quit (Ping timeout: 256 seconds).
22:33:32 -!- boily has joined.
22:35:11 -!- chris120 has joined.
22:39:04 -!- aloril has quit (Ping timeout: 260 seconds).
22:39:41 -!- chris120 has quit (Quit: Ex-Chat).
22:40:43 <boily> fungot: nostril.
22:40:43 <fungot> boily: also, as described in this
22:40:54 <boily> fungot: your nostrils are very describable.
22:40:54 <fungot> boily: a notice of delegation, the
23:10:24 <esowiki> [[Procedural Footnote Language]]  https://esolangs.org/w/index.php?diff=54963&oldid=54959 * Ais523 * (+1227) computational class
23:10:51 -!- int-e has left ("KALEIDOSCOPIC CHICKEN").
23:10:51 -!- int-e has joined.
23:11:14 <boily> int-ello!
23:12:58 <int-e> lambdabot: you're more trouble than you're worth, you know that?
23:15:24 -!- fizzie` has joined.
23:16:47 -!- fizzie has quit (*.net *.split).
23:17:19 <int-e> lambdabot: I mean look at this wonderful build failure, https://travis-ci.org/lambdabot/lambdabot/jobs/374182215
23:17:50 <int-e> fungot: rub it in
23:17:50 <fungot> int-e: ( -v) when a rule requires a player assigns a judgement to a slc is that card's holder and holds that office
23:18:47 -!- lambdabot has quit (Remote host closed the connection).
23:18:53 <int-e> boily: welcome to the twilight zone.
23:18:55 <int-e> huh
23:19:42 <int-e> I did not do that to lambdabot. The log reports a ping timeout.
23:20:53 -!- fizzie` has changed nick to fizzie.
23:21:15 -!- lambdabot has joined.
23:21:40 <int-e> @bot
23:21:47 <lambdabot> :)
23:23:03 <arseniiv> thank spirits there’s no mubot or nubot (that especially)
23:23:44 <arseniiv> lest the channel would become codata
23:24:51 <arseniiv> OTOH a like infinity : νx.1+x, infinity = inr inr inr …
23:27:07 <arseniiv> it’s charming, and extended naturals (νx.1+x) allows to abstract over timeout or “step timeout” in evaluators/launchers/etc.: you can specify a finite timeout/step count, or you can specify ∞, and the code of the evaluating thing would be the same,
23:27:59 <arseniiv> and it will be using a destructor of νx.1+x, prec: νx.1+x → 1 + (νx.1+x)
23:28:44 <arseniiv> so either you finally prec to ∗ : 1 (step zero reached, there is no more) or you prec infinitely
23:28:51 <arseniiv> as I say, charming
23:31:41 <arseniiv> oh, also could I say something to some bot here to them reminding me to look at the logs when I’m back?
23:32:45 -!- oerjan has joined.
23:37:35 -!- arseniiv has quit (Ping timeout: 240 seconds).
23:45:35 -!- Melvar has quit (Ping timeout: 240 seconds).
23:46:03 -!- Melvar has joined.