00:00:01 <ais523> IIRC Prolog has a huge number of different ways of crashing
00:00:02 <b_jonas> abort basically throws an exception that I never catch
00:00:23 <b_jonas> it doesn't "crash", just makes the program give an error output that tells me that I put a bug in the program I wrote
00:00:57 <fizzie> SWI-Prolog has that one easter egg, though I think it only works in interactive mode.
00:01:02 <fizzie> `` echo 'X.' | swipl |& grep '^%'
00:01:03 <HackEso> % ... 1,000,000 ............ 10,000,000 years later \ % \ % >> 42 << (last release gives the question) \ % halt
00:01:12 <b_jonas> I use it for pattern matches when it's not known that they're exhaustive
00:01:39 -!- 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.”).
00:07:34 -!- AnotherTest has quit (Ping timeout: 250 seconds).
00:07:53 -!- tromp has joined.
00:15:50 <ais523> :t let inc n f x = f (n f x); addinfinity n = inc (addinfinity n) in addinfinity
00:16:12 <ais523> oerjan: ^ not primitive recursive
00:18:26 <ais523> although the evaluation order is dubious because it interprets n + ∞ as 1 + 1 + 1 + … + n and never reaches the n
00:37:20 -!- Lord_of_Life has quit (Ping timeout: 250 seconds).
00:39:40 -!- Lord_of_Life has joined.
00:48:11 -!- tromp has quit (Remote host closed the connection).
01:20:31 -!- tromp has joined.
01:20:34 -!- arseniiv has quit (Ping timeout: 246 seconds).
01:24:47 -!- ais523 has quit (Quit: quit).
01:25:07 -!- tromp has quit (Ping timeout: 250 seconds).
02:16:51 -!- Deewiant has quit (Ping timeout: 264 seconds).
02:17:13 -!- Deewiant has joined.
02:33:59 -!- tromp has joined.
02:38:44 -!- tromp has quit (Ping timeout: 272 seconds).
03:20:11 -!- tromp has joined.
03:24:36 -!- tromp has quit (Ping timeout: 250 seconds).
03:46:15 -!- tromp has joined.
03:50:22 -!- tromp has quit (Ping timeout: 246 seconds).
04:11:45 -!- oerjan has quit (Quit: Nite).
05:34:22 -!- tromp has joined.
05:39:24 -!- tromp has quit (Ping timeout: 268 seconds).
05:42:23 -!- FreeFull has quit.
07:28:42 -!- AnotherTest has joined.
08:04:42 <b_jonas> ais523: hmm no, that prolog library doesn't just use the representation of closures that I mentioned earlier, it also allows a more tricky representation that can be a closure over non-ground terms that don't get copied,
08:04:57 -!- tromp has joined.
08:45:10 -!- b_jonas has quit (Quit: leaving).
09:10:06 <Taneb> Has anyone here used Coursera?
09:12:19 -!- tromp has quit (Remote host closed the connection).
09:22:07 <Taneb> rain1: how did you find the experience?
09:41:54 <rain1> what course are you thinking of doing?
09:42:23 <Taneb> It's not for me, my parter is trying to improve her Python
09:43:13 <Taneb> So, "Python", and "Data science Python"
09:44:06 -!- tromp has joined.
09:46:29 <rain1> I just started doing dan boneh's cryptography course
09:46:39 <rain1> i took some others in the past like sussmans electronics course
10:02:34 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60668&oldid=60657 * A * (+5)
10:09:11 -!- Sgeo_ has joined.
10:12:30 -!- Sgeo__ has quit (Ping timeout: 250 seconds).
10:14:21 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60669&oldid=60668 * A * (+4013)
10:15:39 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60670&oldid=60669 * A * (+35) /* Deadfish non-interactive interpreter */
10:15:55 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60671&oldid=60670 * A * (+8) /* Deadfish non-interactive interpreter */
10:18:16 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60672&oldid=60671 * A * (+3662) /* Deadfish non-interactive partial interpreter */
10:30:54 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60673&oldid=60672 * A * (+4093) Unfortunately another small edit, since I had to check my program constantly.
10:32:05 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60674&oldid=60673 * A * (+50) /* Deadfish non-interactive partial interpreter */
10:32:23 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60675&oldid=60674 * A * (+12) /* A subsection just for testing the program */
10:36:06 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60676&oldid=60675 * A * (+284) Okay. Final edit of Deadfish interpreter (if it doesn't have bugs in it)
10:36:32 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60677&oldid=60676 * A * (-50) Wait a second. Delete the subsection.
10:38:33 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60678&oldid=60481 * A * (+12222) /* Perl */
10:50:32 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60679&oldid=60678 * A * (+151) /* Powder */
10:51:26 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60680&oldid=60679 * A * (+1) /* Powder */
10:52:38 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60681&oldid=60680 * A * (-29) /* Powder */
10:55:33 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60682&oldid=60681 * A * (+113) Inaccurate description
11:07:45 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60683&oldid=60677 * A * (+37) /* Deadfish non-interactive partial interpreter */
11:08:59 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60684&oldid=60682 * A * (+13) /* Powder */
11:09:23 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60685&oldid=60684 * A * (-114) /* Unofficial MagicKit Assembler */
11:11:25 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60686&oldid=60685 * A * (+0) /* Powder */
11:12:17 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60687&oldid=60686 * A * (+56) /* Powder */
11:13:30 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60688&oldid=60687 * A * (-3882) /* Powder */
11:14:13 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60689&oldid=60683 * A * (-3888) /* Deadfish non-interactive partial interpreter */
11:28:51 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60690&oldid=60688 * A * (-128) /* Powder */
11:31:02 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60691&oldid=60690 * A * (+95) /* Powder */
11:35:00 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60692&oldid=60689 * A * (+241) /* Deadfish non-interactive partial interpreter */
11:38:21 <esowiki> [[Deadfish]] https://esolangs.org/w/index.php?diff=60693&oldid=60691 * A * (+241) /* Powder */
11:39:38 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60694&oldid=60692 * A * (+12) /* Deadfish non-interactive partial interpreter */
11:40:29 <esowiki> [[User:A]] https://esolangs.org/w/index.php?diff=60695&oldid=60636 * A * (+192)
11:52:14 -!- arseniiv has joined.
11:52:51 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60696&oldid=60694 * A * (+21587) /* Deadfish non-interactive partial interpreter */
11:53:04 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60697&oldid=60696 * A * (+0) /* Fibonacci Sequence */
11:54:05 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60698&oldid=60697 * A * (+40) /* Fibonacci sequence */
11:54:48 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60699&oldid=60698 * A * (+28) /* Fibonacci sequence */
11:55:21 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60700&oldid=60699 * A * (+17)
11:58:46 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60701&oldid=60700 * A * (+326) /* Fibonacci sequence */
11:59:35 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60702&oldid=60701 * A * (-6) /* Hello, world! */
12:00:05 <esowiki> [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=60703&oldid=60640 * A * (-7) /* Powder */
12:01:56 <fungot> int-e: there must be some strangeness in the naming schemes tla imposes many naming schemes and behaviors on you, in fact
12:03:09 <int-e> fungot: Do you mean TLA the proof assistant^Wsystem?
12:03:10 <fungot> int-e: not unless i can implement different classes with these behaviors in some libraries i'm working on; this can be problematic, too! :)
12:04:00 <int-e> fungot: That's an amazing start, but can you do three perfectly sensible sentences in a row?
12:04:00 <fungot> int-e: thanks to the greenwich village halloween parade blocking some of the titles of everyone of my friends used c and i understand that
12:05:10 <fungot> Available: agora alice c64 ct darwin discworld enron europarl ff7 fisher fungot homestuck ic irc* iwcs jargon lovecraft nethack oots pa qwantz sms speeches ss wp ukparl youtube
12:05:42 <HackEso> 645) <elliott> I'm not biased towards humanity over sentient .txt files. \ 1255) <int-e> fungot's irc is the uncanny semi-sentient style... where one can typically read half a sentence before noticing anything wrong <fungot> int-e: yes, i know
12:06:14 <HackEso> wc: invalid option -- ' ' \ Try 'wc --help' for more information.
12:06:18 <HackEso> wc: wisdom: Is a directory \ 0 wisdom
12:06:31 <int-e> `` wc -l quotes # that was stupid
12:07:02 <int-e> . o O ( We have room for four more quotes. )
12:09:29 <shachaf> I just thought about that file for the first time in years (?) last weekend.
12:15:02 <int-e> Well, I don't get the reference.
12:15:45 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60704&oldid=60702 * A * (+35891) /* A simple adder code snippet */
12:15:49 <int-e> Do I have to finish ??? for the "Baba is All" achievement?
12:16:49 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60705&oldid=60704 * A * (+81) /* Factorial */
12:19:40 <int-e> Anyway, after all I think that Baba is You is quite good. The only problem is that for a number of levels I have the feeling that I've missed the intended solution... the mechanics are so complicated that it's really hard to avoid alternative solutions.
12:20:56 <int-e> (In some cases that is obvious... because they made bonus levels that presumably block the intended solution. So if the same solution works in the "easy" and "bonus" version of the level... I must have missed one :) )
12:23:21 <esowiki> [[Looping counter]] https://esolangs.org/w/index.php?diff=60706&oldid=57170 * A * (-187)
12:25:40 <esowiki> [[Disan Count]] https://esolangs.org/w/index.php?diff=60707&oldid=58773 * A * (+0) The C++ program won't run.
12:27:00 <int-e> Hah, the achievement statistics are hilarious. 52.8% 23.0% 15.9% 9.0% 5.7% 4.3% 2.8% 2.4% ...
12:27:41 <int-e> But I guess part of the reason is that the game is still fairly new.
12:37:01 -!- Lord_of_Life_ has joined.
12:39:37 -!- Lord_of_Life has quit (Ping timeout: 255 seconds).
12:39:43 -!- Lord_of_Life_ has changed nick to Lord_of_Life.
12:42:33 -!- arseniiv has quit (Ping timeout: 245 seconds).
12:49:54 -!- arseniiv has joined.
12:54:05 <esowiki> [[User talk:Language]] N https://esolangs.org/w/index.php?oldid=60708 * A * (+669) Created page with "[[User talk:Language]] is an [[esoteric programming language]] by [[User:A]] that makes fun of user talks of this wiki. Please note that this page is not a discussion of the..."
12:54:30 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60709&oldid=60708 * A * (+21) /* Syntax */
12:57:04 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60710&oldid=60709 * A * (+319) /* Syntax */
13:01:36 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60711&oldid=60710 * A * (+568) /* Syntax */
13:02:01 <arseniiv> wtf is A trying into meta now?
13:02:43 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60712&oldid=60711 * A * (-40) /* Syntax */
13:03:18 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60713&oldid=60712 * A * (+28)
13:03:36 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60714&oldid=60713 * A * (+10) /* Computational Class */
13:04:21 <esowiki> [[Joke language list]] https://esolangs.org/w/index.php?diff=60715&oldid=60559 * A * (+62) /* General languages */
13:05:58 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60716&oldid=60714 * A * (+40)
13:07:50 <esowiki> [[User talk:Language]] https://esolangs.org/w/index.php?diff=60717&oldid=60716 * Arseniiv * (+270) /* Suggested extensions */ new section
13:18:10 <esowiki> [[Nope.]] https://esolangs.org/w/index.php?diff=60718&oldid=60532 * A * (+134)
13:24:44 <esowiki> [[Talk:Nope.]] https://esolangs.org/w/index.php?diff=60719&oldid=58992 * Arseniiv * (+236) /* Cat program */ new section
13:27:58 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60720&oldid=60705 * A * (+65) /* Documentation */
13:28:21 -!- AnotherTest has quit (Ping timeout: 250 seconds).
13:29:15 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60721&oldid=60720 * A * (-2) /* Examples */
13:29:45 <esowiki> [[Truth-machine]] https://esolangs.org/w/index.php?diff=60722&oldid=60641 * A * (-1) /* Powder */
13:29:53 -!- wob_jonas has joined.
13:30:07 <esowiki> [[Powder]] https://esolangs.org/w/index.php?diff=60723&oldid=60721 * A * (-67) /* Documentation */
13:36:58 <esowiki> [[Talk:Powder]] N https://esolangs.org/w/index.php?oldid=60724 * Arseniiv * (+239) very very cool concept of a table-specified partial function
13:45:12 -!- xkapastel has joined.
14:34:46 -!- oerjan has joined.
14:36:40 -!- Sgeo__ has joined.
14:38:28 -!- Sgeo has joined.
14:38:38 <esowiki> [[Special:Log/newusers]] create * Hunar1997 * New user account
14:39:50 -!- Sgeo_ has quit (Ping timeout: 246 seconds).
14:41:02 -!- Sgeo__ has quit (Ping timeout: 250 seconds).
14:41:11 <esowiki> [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=60725&oldid=60644 * Hunar1997 * (+130) /* Introductions */
14:45:05 <esowiki> [[Talk:C2BF]] N https://esolangs.org/w/index.php?oldid=60726 * Hunar1997 * (+24) Created page with "The link no longer works"
14:52:57 <esowiki> [[User:Hunar1997]] N https://esolangs.org/w/index.php?oldid=60727 * Hunar1997 * (+206) Created page with "I'm a Physics student at University of Sulaimani, Kurdistan Regional Government/Iraq. I like programming .. You can contact me at [http://facebook.com/hunar1997 facebook] or m..."
14:53:53 <esowiki> [[User:Hunar1997]] https://esolangs.org/w/index.php?diff=60728&oldid=60727 * Hunar1997 * (+65)
14:57:48 <esowiki> [[Joke language list]] M https://esolangs.org/w/index.php?diff=60729&oldid=60715 * Oerjan * (+0) Aabeehilptz
15:14:11 <esowiki> [[FBP]] N https://esolangs.org/w/index.php?oldid=60730 * Hunar1997 * (+2607) Created this page
15:16:03 <esowiki> [[Brainfuck]] https://esolangs.org/w/index.php?diff=60731&oldid=60328 * Hunar1997 * (+55)
15:17:59 <esowiki> [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=60732&oldid=59505 * Hunar1997 * (+63)
15:18:35 <int-e> arseniiv: maybe they found https://esolangs.org/wiki/User:Language and one-upped that
15:19:06 * int-e wonders whether the "Langauge" type is intentional.
15:24:38 <int-e> It's interesting that the links to the 'User talk:Language' page don't work though...
15:25:57 -!- Bowserinator has quit (Remote host closed the connection).
15:26:10 -!- Bowserinator has joined.
15:26:30 <int-e> (Apparently the user talk pages are more special than though could be... I wonder why... can users be renamed, and that automatically renames their user pages? I don't understand Wikimedia's special pages.)
15:32:41 <oerjan> int-e: what links are not working? self links get turned into bold non-links, if that's what you're noticing.
15:33:19 <int-e> ... that's a bit unfortunate in this particular case, I think.
15:34:00 <int-e> at least for the link in 'Language (talk)'
15:34:55 <int-e> Oh well. Thanks for the explanation :)
15:35:52 <arseniiv> int-e: I think definitely, there is even a (unsuccessful?) pun about comp. power
15:36:47 <int-e> What's next though... Language:User talk, User:User talk, and User talk:User talk?
15:37:13 <int-e> And then there'll be a new category, User:Language derivatives.
15:37:21 <int-e> I sincerely hope A is not reading this :)
15:41:23 <wob_jonas> int-e: nah, we'll probably move even this one to a page in the main namespace. we have precedents that the page name can differ from the language name because of mediawiki stuff
15:54:53 <arseniiv> int-e: I sincerely hope A is not reading this :) => oerjan neatly summed my reaction to this :D :D
15:54:58 -!- xkapastel has quit (Quit: Connection closed for inactivity).
16:15:00 <esowiki> [[FasterBrainfuckProgramming]] N https://esolangs.org/w/index.php?oldid=60733 * Hunar1997 * (+17) Redirected page to [[FBP]]
16:44:18 <int-e> . o O ( it's sad when people write simulators to do simple Bayesian analysis (error rate, false positve rate, false negative rate)... )
16:44:39 <int-e> context: https://twitter.com/AlecMuffett/status/1097149658374291456
17:02:39 -!- wob_jonas has quit (Quit: http://www.kiwiirc.com/ - A hand crafted IRC client).
17:04:36 -!- LKoen has joined.
17:07:29 -!- AnotherTest has joined.
17:23:12 <esowiki> [[Talk:Point operator]] https://esolangs.org/w/index.php?diff=60734&oldid=53081 * EnilKoder * (+493) enilKoder's idea
17:27:25 <esowiki> [[Talk:Point operator]] M https://esolangs.org/w/index.php?diff=60735&oldid=60734 * EnilKoder * (+174) /* Workable point operator. */
17:30:29 -!- oerjan has quit (Quit: Later).
18:02:31 -!- LKoen has quit (Remote host closed the connection).
18:07:52 -!- b_jonas has joined.
18:13:44 <int-e> https://en.wikipedia.org/wiki/TLA%2B "TLA is an acronym for Temporal Logic of Actions. "
18:14:00 <int-e> It's also a Leslie Lamport thing, probably better known for LaTeX.
18:27:39 <kmc> and Paxos and Lamport signatures!
18:29:20 -!- LKoen has joined.
18:48:45 -!- xkapastel has joined.
18:49:59 <HackEso> Groups are just loops with the property of associativity.
18:51:23 <int-e> FWIW, "abelian" is the common spelling.
18:55:05 <b_jonas> groups are just categories on one object
19:29:01 -!- LKoen has quit (Remote host closed the connection).
19:34:36 <int-e> hmm. "groups are just monoids"
19:35:34 <int-e> b_jonas: that's what you just wrote though
19:42:33 <b_jonas> MP is minister president or member of the parliament, we're not sure which one
19:44:24 <HackEso> A mapole is a thwackamacallit built from maple according to Canadian standards. The army version includes a spork, a corkscrew and a moose whistle. A regulatory mapole measures 6’ by 12 kg, ±0.5 inHg.
20:08:39 -!- Phantom_Hoover has joined.
20:08:39 -!- Phantom_Hoover has quit (Changing host).
20:08:39 -!- Phantom_Hoover has joined.
20:20:11 <arseniiv> now I remember why semicategories. Semigroups are just semicategories on one object
20:21:04 <arseniiv> HackEso> 1337 15 50 905 => leet is so <what>?
20:30:04 -!- FreeFull has joined.
20:44:38 -!- arseniiv has quit (Ping timeout: 245 seconds).
20:46:45 -!- Essadon has joined.
20:56:07 <esowiki> [[RarVM]] M https://esolangs.org/w/index.php?diff=60736&oldid=60652 * Void * (+1)
20:58:27 -!- xkapastel has quit (Quit: Connection closed for inactivity).
21:09:32 <esowiki> [[Control character]] N https://esolangs.org/w/index.php?oldid=60737 * EnilKoder * (+3647) Created page with "==Control Character== This programming language is currently a work in progress.<br> Control Character is an esoterical language by enilKoder that is inspired by [[Whitespace]..."
21:23:13 <HackEso> Bonsaikitten is the cat typing behind the glass of the CRT when you run the cat command.
21:25:55 <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!
21:25:57 <HackEso> HACKEGO COMES WITHOUT WARRANTY, EXPRESS OR IMPLIED, AND IS UNFIT FOR ANY PURPOSE, INCLUDING THE PURPOSE OF BEING UNFIT FOR ANYTHING. Its warranty has expired.
21:27:39 <HackEso> tmp/ is a directory for files that are not worth saving in HackEgo history, but which should still outlive a single command. NOTE: It interacts funnily with HackEgo's lock and re-run commit check; files can DISAPPEAR if you don't know what you're doing. Basically, don't modify files inside and outside tmp/ in the same HackEgo command.
21:30:08 <HackEso> `run <command> is HackEgo's builtin for running a command with full shell syntax. These days most use the user-made `` or ``` shortcuts instead, although all of the three have subtle differences, with `run being the most plain option (also, unlike the rest it cannot be called from other commands.)
21:30:20 <HackEso> HackEgo is guaranteed merchantable.
21:30:57 <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/
21:34:08 <HackEso> `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it's rarely used.
21:34:09 <HackEso> ! is a syntax used in Haskell and Prolog for solving evaluation order problems.
21:34:14 <HackEso> `! is a command that runs interpreters. Supposedly. Nobody actually uses it, or knows how it works. It has some historical significance, where it originally replaced some previous bot of #esoteric that was not as customizable as HackEgo.
21:53:13 <esowiki> [[RarVM]] M https://esolangs.org/w/index.php?diff=60738&oldid=60736 * Void * (+376)
22:14:21 -!- ais523 has joined.
22:17:42 -!- LKoen has joined.
22:18:21 <b_jonas> I don't understand why that's called wisdom/\`
22:21:00 <b_jonas> hmm, that might be a problem with learn
22:21:21 <b_jonas> ``` hg log -T "{id}:{date|shortdate}:{desc}\n" -l 1 wisdom/\`
22:21:22 <HackEso> :2018-09-09:<ais523> learn `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it\'s rarely used.
22:21:36 <b_jonas> it seems like he wants to learn to wisdom/\`\! but learn misunderstands
22:21:43 <b_jonas> and you see similar stuff below:
22:23:01 <b_jonas> ``` hg log -T "{rev}:{date|shortdate}:{files}:{desc}\n" -r 6530
22:23:02 <HackEso> 6530:2016-01-08:wisdom/`:<Elronnd> learn `? this | this
22:23:39 <b_jonas> ais523: is that meant to be on wisdom/\` or on wisdom/\`\?
22:24:00 <ais523> it's meant to be triggered by `wisdom `!
22:24:26 <b_jonas> ok. I'll have to merge it then
22:24:30 <HackEso> `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it's rarely used.
22:24:32 <HackEso> `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it's rarely used.
22:24:33 <HackEso> `! is a command that runs interpreters. Supposedly. Nobody actually uses it, or knows how it works. It has some historical significance, where it originally replaced some previous bot of #esoteric that was not as customizable as HackEgo.
22:25:24 <b_jonas> ``` mv -v wisdom/\` wisdom/\`\!
22:25:26 <HackEso> 'wisdom/`' -> 'wisdom/`!'
22:25:32 <HackEso> `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it's rarely used.
22:25:39 <HackEso> `run <command> is HackEgo's builtin for running a command with full shell syntax. These days most use the user-made `` or ``` shortcuts instead, although all of the three have subtle differences, with `run being the most plain option (also, unlike the rest it cannot be called from other commands.)
22:29:13 <b_jonas> ``` hg log -T "{rev}:{date|shortdate}:{files}:{desc}\n" -r 7326
22:29:14 <HackEso> 7326:2016-03-30:wisdom/`:<rdococ> learn `? is a blue tit
22:29:22 <b_jonas> should I rescue this too to wisdom/\`\? ?
22:29:35 <HackEso> rm: cannot remove 'wisdom/platypus': No such file or directory
22:33:07 -!- ais523 has quit (Remote host closed the connection).
22:34:19 -!- ais523 has joined.
22:47:21 -!- ais523 has quit (Remote host closed the connection).
22:48:35 -!- ais523 has joined.
22:58:16 -!- Remavas has joined.
22:59:37 -!- moei has joined.
23:11:44 -!- Lord_of_Life has quit (Excess Flood).
23:14:31 -!- Lord_of_Life has joined.
23:17:40 -!- AnotherTest has quit (Ping timeout: 258 seconds).
23:19:49 -!- LKoen has quit (Remote host closed the connection).
23:20:45 -!- LKoen has joined.
23:21:31 -!- oerjan has joined.
23:24:11 <oerjan> `le/rn abelian group//An abelian group is a group that spends all its time commuting, and therefore never does any real work.
23:24:14 <HackEso> Learned 'abelian group': An abelian group is a group that spends all its time commuting, and therefore never does any real work.
23:26:25 -!- ais523 has quit (Quit: quit).
23:26:38 <HackEso> wisdom/323//323 is a quine in McCulloch's first machine.
23:27:45 <oerjan> i never finished my analysis of the second machine
23:32:23 <oerjan> all the cases are simple to check for halting, except for the ones that evolve to having exactly two 5s and no 3s, which behave like a kind of iterated map of natural number vectors
23:35:11 <oerjan> <arseniiv> ah maybe 90s <-- iirc that was my intention
23:35:21 <HackEso> 6245:2015-11-23 <oerjän> learn 1337 15 50 905
23:41:16 -!- Phantom_Hoover has quit (Remote host closed the connection).
23:41:30 -!- Essadon has quit (Quit: Qutting).
23:44:01 <oerjan> <b_jonas> how does `help work? <-- `help was a purely builtin command, but now redirects to bin/help, _except_ when called without an argument.
23:44:14 <HackEso> \? "$(echo "$1" | sed 's/^[^`]/`&/')"
23:49:32 <HackEso> 11759:2019-03-27 <b_jonäs> `` mv -v wisdom/\\` wisdom/\\`\\! \ 11620:2018-09-09 <ais52̈3> learn `! emulates the ! command of our former bot EgoBot. You write `! then the name of the language then a program, and it runs the program you give and returns the result. We used to use it to test out esoprograms in-channel all the time, but the set of included esolangs is fairly old now and so it\'s rarely used. \ 8425:2016-06-09 <b_jonäs> revert \ 8424:2016
23:50:11 <HackEso> 2/2:016-06-09 <b_jonäs> learn `? is the command to query wisdom entries. \ 7327:2016-03-31 <shachäf> revert \ 7326:2016-03-30 <rdocöc> learn `? is a blue tit \ 6531:2016-01-08 <oerjän> revert \ 6530:2016-01-08 <Elronn̈d> learn `? this | this \ 3047:2013-06-05 <oerjän> learn ` is the prefix to greatness.
23:51:56 <oerjan> `` hg cat -r 8425 wisdom/\` >wisdom/\`
23:52:06 <HackEso> ` is the prefix to greatness.
23:54:17 <oerjan> <b_jonas> should I rescue this too to wisdom/\`\? ? <-- no.
23:54:42 <HackEso> cat: 'bin/`?': No such file or directory
23:54:54 <HackEso> 10049:2016-12-30 <zgrëp> le/rn `?//\xe2\x80\x8b`? \xc2\xaf\\(\xc2\xb0\xe2\x80\x8b_o)/\xc2\xaf \ 10048:2016-12-30 <zgrëp> le/rn `?//See `? `?. \ 8429:2016-06-10 <oerjän> undo 8426 \ 8426:2016-06-09 <b_jonäs> slashlearn `?/`? is the command to query wisdom entries. \ 5693:2015-06-24 <oerjän> revert \ 5692:2015-06-24 <hppavilion1̈_> learn `? Woooow you\'re sooooooooo metaaaa- No. \ 5197:2014-12-13 <oerjän> sed -i \'s/\xc2\xb0/\xc2\xb0\xe2\x80\x8
23:56:41 <oerjan> `before wisdom/society
23:56:44 <HackEso> wisdom/society//Society's a platypus.
23:57:47 <oerjan> b_jonas: also bin/help currently works like `?, except that it tries matching starting with ` before matches without.
23:58:23 <oerjan> because entries starting with ` are more likely to be about commands