00:00:01 IIRC Prolog has a huge number of different ways of crashing 00:00:02 abort basically throws an exception that I never catch 00:00:23 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 SWI-Prolog has that one easter egg, though I think it only works in interactive mode. 00:01:02 `` echo 'X.' | swipl |& grep '^%' 00:01:03 ​% ... 1,000,000 ............ 10,000,000 years later \ % \ % >> 42 << (last release gives the question) \ % halt 00:01:12 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 :t let inc n f x = f (n f x); addinfinity n = inc (addinfinity n) in addinfinity 00:15:51 t1 -> (t2 -> t2) -> t3 -> t2 00:16:12 oerjan: ^ not primitive recursive 00:18:26 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). 00:53:51 OKAY 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. 06:57:53 7 06:57:56 sorry 07:28:42 -!- AnotherTest has joined. 08:04:42 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 Has anyone here used Coursera? 09:12:19 -!- tromp has quit (Remote host closed the connection). 09:21:08 yes 09:22:07 rain1: how did you find the experience? 09:22:25 it's really good 09:41:40 rain1: thanks :) 09:41:54 what course are you thinking of doing? 09:42:23 It's not for me, my parter is trying to improve her Python 09:43:06 ah cool 09:43:13 So, "Python", and "Data science Python" 09:44:06 -!- tromp has joined. 09:46:29 I just started doing dan boneh's cryptography course 09:46:39 i took some others in the past like sussmans electronics course 10:02:34 [[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 [[Powder]] https://esolangs.org/w/index.php?diff=60669&oldid=60668 * A * (+4013) 10:15:39 [[Powder]] https://esolangs.org/w/index.php?diff=60670&oldid=60669 * A * (+35) /* Deadfish non-interactive interpreter */ 10:15:55 [[Powder]] https://esolangs.org/w/index.php?diff=60671&oldid=60670 * A * (+8) /* Deadfish non-interactive interpreter */ 10:18:16 [[Powder]] https://esolangs.org/w/index.php?diff=60672&oldid=60671 * A * (+3662) /* Deadfish non-interactive partial interpreter */ 10:30:54 [[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 [[Powder]] https://esolangs.org/w/index.php?diff=60674&oldid=60673 * A * (+50) /* Deadfish non-interactive partial interpreter */ 10:32:23 [[Powder]] https://esolangs.org/w/index.php?diff=60675&oldid=60674 * A * (+12) /* A subsection just for testing the program */ 10:36:06 [[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 [[Powder]] https://esolangs.org/w/index.php?diff=60677&oldid=60676 * A * (-50) Wait a second. Delete the subsection. 10:38:33 [[Deadfish]] https://esolangs.org/w/index.php?diff=60678&oldid=60481 * A * (+12222) /* Perl */ 10:50:32 [[Deadfish]] https://esolangs.org/w/index.php?diff=60679&oldid=60678 * A * (+151) /* Powder */ 10:51:26 [[Deadfish]] https://esolangs.org/w/index.php?diff=60680&oldid=60679 * A * (+1) /* Powder */ 10:52:38 [[Deadfish]] https://esolangs.org/w/index.php?diff=60681&oldid=60680 * A * (-29) /* Powder */ 10:55:33 [[Deadfish]] https://esolangs.org/w/index.php?diff=60682&oldid=60681 * A * (+113) Inaccurate description 11:07:45 [[Powder]] https://esolangs.org/w/index.php?diff=60683&oldid=60677 * A * (+37) /* Deadfish non-interactive partial interpreter */ 11:08:59 [[Deadfish]] https://esolangs.org/w/index.php?diff=60684&oldid=60682 * A * (+13) /* Powder */ 11:09:23 [[Deadfish]] https://esolangs.org/w/index.php?diff=60685&oldid=60684 * A * (-114) /* Unofficial MagicKit Assembler */ 11:11:25 [[Deadfish]] https://esolangs.org/w/index.php?diff=60686&oldid=60685 * A * (+0) /* Powder */ 11:12:17 [[Deadfish]] https://esolangs.org/w/index.php?diff=60687&oldid=60686 * A * (+56) /* Powder */ 11:13:30 [[Deadfish]] https://esolangs.org/w/index.php?diff=60688&oldid=60687 * A * (-3882) /* Powder */ 11:14:13 [[Powder]] https://esolangs.org/w/index.php?diff=60689&oldid=60683 * A * (-3888) /* Deadfish non-interactive partial interpreter */ 11:28:51 [[Deadfish]] https://esolangs.org/w/index.php?diff=60690&oldid=60688 * A * (-128) /* Powder */ 11:31:02 [[Deadfish]] https://esolangs.org/w/index.php?diff=60691&oldid=60690 * A * (+95) /* Powder */ 11:35:00 [[Powder]] https://esolangs.org/w/index.php?diff=60692&oldid=60689 * A * (+241) /* Deadfish non-interactive partial interpreter */ 11:38:21 [[Deadfish]] https://esolangs.org/w/index.php?diff=60693&oldid=60691 * A * (+241) /* Powder */ 11:39:38 [[Powder]] https://esolangs.org/w/index.php?diff=60694&oldid=60692 * A * (+12) /* Deadfish non-interactive partial interpreter */ 11:40:29 [[User:A]] https://esolangs.org/w/index.php?diff=60695&oldid=60636 * A * (+192) 11:52:14 -!- arseniiv has joined. 11:52:51 [[Powder]] https://esolangs.org/w/index.php?diff=60696&oldid=60694 * A * (+21587) /* Deadfish non-interactive partial interpreter */ 11:53:04 [[Powder]] https://esolangs.org/w/index.php?diff=60697&oldid=60696 * A * (+0) /* Fibonacci Sequence */ 11:54:05 [[Powder]] https://esolangs.org/w/index.php?diff=60698&oldid=60697 * A * (+40) /* Fibonacci sequence */ 11:54:48 [[Powder]] https://esolangs.org/w/index.php?diff=60699&oldid=60698 * A * (+28) /* Fibonacci sequence */ 11:55:21 [[Powder]] https://esolangs.org/w/index.php?diff=60700&oldid=60699 * A * (+17) 11:58:46 [[Powder]] https://esolangs.org/w/index.php?diff=60701&oldid=60700 * A * (+326) /* Fibonacci sequence */ 11:59:35 [[Powder]] https://esolangs.org/w/index.php?diff=60702&oldid=60701 * A * (-6) /* Hello, world! */ 12:00:05 [[Hello world program in esoteric languages]] https://esolangs.org/w/index.php?diff=60703&oldid=60640 * A * (-7) /* Powder */ 12:01:56 fungot: spam? 12:01:56 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 fungot: Do you mean TLA the proof assistant^Wsystem? 12:03:10 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 fungot: That's an amazing start, but can you do three perfectly sensible sentences in a row? 12:04:00 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:04:22 ... not quite. 12:05:10 ^style 12:05:10 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:29 `grwp sentient 12:05:31 No output. 12:05:41 `quote sentient 12:05:42 645) I'm not biased towards humanity over sentient .txt files. \ 1255) fungot's irc is the uncanny semi-sentient style... where one can typically read half a sentence before noticing anything wrong int-e: yes, i know 12:06:13 `wc -l wisdom 12:06:14 wc: invalid option -- ' ' \ Try 'wc --help' for more information. 12:06:17 `` wc -l wisdom 12:06:18 wc: wisdom: Is a directory \ 0 wisdom 12:06:31 `` wc -l quotes # that was stupid 12:06:32 1332 quotes 12:07:02 . o O ( We have room for four more quotes. ) 12:09:15 whoa, sentient .txt files 12:09:29 I just thought about that file for the first time in years (?) last weekend. 12:15:02 Well, I don't get the reference. 12:15:45 [[Powder]] https://esolangs.org/w/index.php?diff=60704&oldid=60702 * A * (+35891) /* A simple adder code snippet */ 12:15:49 Do I have to finish ??? for the "Baba is All" achievement? 12:16:49 [[Powder]] https://esolangs.org/w/index.php?diff=60705&oldid=60704 * A * (+81) /* Factorial */ 12:19:40 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 (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 [[Looping counter]] https://esolangs.org/w/index.php?diff=60706&oldid=57170 * A * (-187) 12:25:40 [[Disan Count]] https://esolangs.org/w/index.php?diff=60707&oldid=58773 * A * (+0) The C++ program won't run. 12:27:00 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 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 [[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 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60709&oldid=60708 * A * (+21) /* Syntax */ 12:57:04 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60710&oldid=60709 * A * (+319) /* Syntax */ 13:01:36 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60711&oldid=60710 * A * (+568) /* Syntax */ 13:02:01 wtf is A trying into meta now? 13:02:10 damn damn damn 13:02:17 (sorry) 13:02:43 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60712&oldid=60711 * A * (-40) /* Syntax */ 13:03:18 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60713&oldid=60712 * A * (+28) 13:03:36 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60714&oldid=60713 * A * (+10) /* Computational Class */ 13:04:21 [[Joke language list]] https://esolangs.org/w/index.php?diff=60715&oldid=60559 * A * (+62) /* General languages */ 13:05:58 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60716&oldid=60714 * A * (+40) 13:07:50 [[User talk:Language]] https://esolangs.org/w/index.php?diff=60717&oldid=60716 * Arseniiv * (+270) /* Suggested extensions */ new section 13:18:10 [[Nope.]] https://esolangs.org/w/index.php?diff=60718&oldid=60532 * A * (+134) 13:24:44 [[Talk:Nope.]] https://esolangs.org/w/index.php?diff=60719&oldid=58992 * Arseniiv * (+236) /* Cat program */ new section 13:27:58 [[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 [[Powder]] https://esolangs.org/w/index.php?diff=60721&oldid=60720 * A * (-2) /* Examples */ 13:29:45 [[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 [[Powder]] https://esolangs.org/w/index.php?diff=60723&oldid=60721 * A * (-67) /* Documentation */ 13:30:10 `perl -e print 2**5**2, ",\n"; 13:30:12 33554432, 13:31:35 `? tsa 13:31:36 tsa? ¯\(°​_o)/¯ 13:36:58 [[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:31:58 `? tsr 14:31:59 tsr? ¯\(°​_o)/¯ 14:34:46 -!- oerjan has joined. 14:36:40 -!- Sgeo__ has joined. 14:38:28 -!- Sgeo has joined. 14:38:38 [[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 [[Esolang:Introduce yourself]] https://esolangs.org/w/index.php?diff=60725&oldid=60644 * Hunar1997 * (+130) /* Introductions */ 14:43:26 `? chalk 14:43:27 chalk? ¯\(°​_o)/¯ 14:45:05 [[Talk:C2BF]] N https://esolangs.org/w/index.php?oldid=60726 * Hunar1997 * (+24) Created page with "The link no longer works" 14:52:57 [[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 [[User:Hunar1997]] https://esolangs.org/w/index.php?diff=60728&oldid=60727 * Hunar1997 * (+65) 14:57:48 [[Joke language list]] M https://esolangs.org/w/index.php?diff=60729&oldid=60715 * Oerjan * (+0) Aabeehilptz 15:02:22 hm gregor is not here 15:03:05 oh he's online 15:14:11 [[FBP]] N https://esolangs.org/w/index.php?oldid=60730 * Hunar1997 * (+2607) Created this page 15:16:03 [[Brainfuck]] https://esolangs.org/w/index.php?diff=60731&oldid=60328 * Hunar1997 * (+55) 15:17:59 [[Brainfuck algorithms]] https://esolangs.org/w/index.php?diff=60732&oldid=59505 * Hunar1997 * (+63) 15:18:35 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 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 (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 int-e: what links are not working? self links get turned into bold non-links, if that's what you're noticing. 15:32:54 oh 15:33:19 ... that's a bit unfortunate in this particular case, I think. 15:34:00 at least for the link in 'Language (talk)' 15:34:55 Oh well. Thanks for the explanation :) 15:35:52 int-e: I think definitely, there is even a (unsuccessful?) pun about comp. power 15:36:47 What's next though... Language:User talk, User:User talk, and User talk:User talk? 15:37:13 And then there'll be a new category, User:Language derivatives. 15:37:21 I sincerely hope A is not reading this :) 15:37:41 WE'LL SEE 15:41:23 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 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 [[FasterBrainfuckProgramming]] N https://esolangs.org/w/index.php?oldid=60733 * Hunar1997 * (+17) Redirected page to [[FBP]] 16:44:18 . 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 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 [[Talk:Point operator]] https://esolangs.org/w/index.php?diff=60734&oldid=53081 * EnilKoder * (+493) enilKoder's idea 17:27:25 [[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:09:13 `? tlr 18:09:14 `? tla 18:09:15 tlr? ¯\(°​_o)/¯ 18:09:16 tla? ¯\(°​_o)/¯ 18:13:44 https://en.wikipedia.org/wiki/TLA%2B "TLA is an acronym for Temporal Logic of Actions. " 18:14:00 It's also a Leslie Lamport thing, probably better known for LaTeX. 18:27:39 and Paxos and Lamport signatures! 18:29:20 -!- LKoen has joined. 18:48:45 -!- xkapastel has joined. 18:49:58 `? group 18:49:59 Groups are just loops with the property of associativity. 18:50:24 `? Abel group 18:50:26 Abel group? ¯\(°​_o)/¯ 18:50:26 `? Abel-group 18:50:28 Abel-group? ¯\(°​_o)/¯ 18:50:33 `? Abelian group 18:50:35 Abelian group? ¯\(°​_o)/¯ 18:50:35 `? Abelean group 18:50:37 Abelean group? ¯\(°​_o)/¯ 18:51:23 FWIW, "abelian" is the common spelling. 18:55:05 groups are just categories on one object 19:29:01 -!- LKoen has quit (Remote host closed the connection). 19:34:36 hmm. "groups are just monoids" 19:35:20 they're not just monoids 19:35:34 b_jonas: that's what you just wrote though 19:35:47 yeah 19:42:17 `? mp 19:42:19 mp? ¯\(°​_o)/¯ 19:42:23 `? MP 19:42:24 MP? ¯\(°​_o)/¯ 19:42:33 MP is minister president or member of the parliament, we're not sure which one 19:44:11 modus ponens 19:44:23 `? mapole 19:44:24 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. 19:44:42 machine pistol 19:49:31 `? 1337 19:49:32 1337 15 50 905 19:50:05 `forget 323 19:50:13 Forget what? 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 now I remember why semicategories. Semigroups are just semicategories on one object 20:21:04 HackEso> 1337 15 50 905 => leet is so ? 20:21:37 ah maybe 90s 20:22:13 `? commutative 20:22:15 commutative? ¯\(°​_o)/¯ 20:22:25 `? commutative* 20:22:26 commutative*? ¯\(°​_o)/¯ 20:22:45 `? *-algebra 20:22:46 ​*-algebra? ¯\(°​_o)/¯ 20:22:51 `? C*-algebra 20:22:52 C*-algebra? ¯\(°​_o)/¯ 20:22:58 why 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 [[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 [[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.
Control Character is an esoterical language by enilKoder that is inspired by [[Whitespace]..." 21:23:12 `? bonsaikitten 21:23:13 Bonsaikitten is the cat typing behind the glass of the CRT when you run the cat command. 21:25:53 `? hackego 21:25:55 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:56 `? warranty 21:25:57 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:38 `? tmp 21:27:39 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:03 `? run 21:30:08 ​`run 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:18 `? guarantee 21:30:20 HackEgo is guaranteed merchantable. 21:30:56 `help 21:30:57 Runs arbitrary code in GNU/Linux. Type "`", or "`run " for full shell commands. "`fetch [] " downloads files. Files saved to $PWD are persistent, and $PWD/bin is in $PATH. $PWD is a mercurial repository, "`revert " can be used to revert to a revision. See http://codu.org/projects/hackbot/fshg/ 21:32:48 huh 21:32:52 how does `help work? 21:34:00 `? ` 21:34:08 ​`! 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 `? ! 21:34:09 ​! is a syntax used in Haskell and Prolog for solving evaluation order problems. 21:34:12 `? `! 21:34:14 ​`! 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 [[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 I don't understand why that's called wisdom/\` 22:21:00 hmm, that might be a problem with learn 22:21:04 look 22:21:21 ``` hg log -T "{id}:{date|shortdate}:{desc}\n" -l 1 wisdom/\` 22:21:22 ​:2018-09-09: 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 it seems like he wants to learn to wisdom/\`\! but learn misunderstands 22:21:43 and you see similar stuff below: 22:23:01 ``` hg log -T "{rev}:{date|shortdate}:{files}:{desc}\n" -r 6530 22:23:02 6530:2016-01-08:wisdom/`: learn `? this | this 22:23:39 ais523: is that meant to be on wisdom/\` or on wisdom/\`\? 22:23:41 um 22:23:44 on wisdom/\`\! 22:24:00 it's meant to be triggered by `wisdom `! 22:24:26 ok. I'll have to merge it then 22:24:29 `? ` 22:24:29 `? `~ 22:24:30 ​`! 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:31 `? ` 22:24:31 ​`~? ¯\(°​_o)/¯ 22:24:32 ​`! 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 `? `! 22:24:33 ​`! 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 ``` mv -v wisdom/\` wisdom/\`\! 22:25:26 ​'wisdom/`' -> 'wisdom/`!' 22:25:28 `? ` 22:25:29 ​`? ¯\(°​_o)/¯ 22:25:31 `? `! 22:25:32 ​`! 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:33 `? `` 22:25:34 ​``? ¯\(°​_o)/¯ 22:25:38 `? `run 22:25:39 ​`run 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 ``` hg log -T "{rev}:{date|shortdate}:{files}:{desc}\n" -r 7326 22:29:14 7326:2016-03-30:wisdom/`: learn `? is a blue tit 22:29:22 should I rescue this too to wisdom/\`\? ? 22:29:34 `forget platypus 22:29:35 rm: cannot remove 'wisdom/platypus': No such file or directory 22:29:38 `forget society 22:29:39 Forget what? 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:23:35 `? abelian group 23:23:37 abelian group? ¯\(°​_o)/¯ 23:24:11 `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 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:36 `before wisdom/323 23:26:38 wisdom/323//323 is a quine in McCulloch's first machine. 23:27:45 i never finished my analysis of the second machine 23:32:23 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 ah maybe 90s <-- iirc that was my intention 23:35:20 `dowg 1337 23:35:21 6245:2015-11-23 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 how does `help work? <-- `help was a purely builtin command, but now redirects to bin/help, _except_ when called without an argument. 23:44:13 `cat bin/help 23:44:14 ​\? "$(echo "$1" | sed 's/^[^`]/`&/')" 23:49:30 `dowg ` 23:49:32 11759:2019-03-27 `` mv -v wisdom/\\` wisdom/\\`\\! \ 11620:2018-09-09 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 revert \ 8424:2016 23:50:01 `,2 dowg ` 23:50:11 2/2:016-06-09 learn `? is the command to query wisdom entries. \ 7327:2016-03-31 revert \ 7326:2016-03-30 learn `? is a blue tit \ 6531:2016-01-08 revert \ 6530:2016-01-08 learn `? this | this \ 3047:2013-06-05 learn ` is the prefix to greatness. 23:51:56 `` hg cat -r 8425 wisdom/\` >wisdom/\` 23:51:59 No output. 23:52:02 `? ` 23:52:06 ​` is the prefix to greatness. 23:54:17 should I rescue this too to wisdom/\`\? ? <-- no. 23:54:24 `? `? 23:54:25 ​​`? ¯\(°​_o)/¯ 23:54:41 `cat bin/`? 23:54:42 cat: 'bin/`?': No such file or directory 23:54:53 `dowg `? 23:54:54 10049:2016-12-30 le/rn `?//\xe2\x80\x8b`? \xc2\xaf\\(\xc2\xb0\xe2\x80\x8b_o)/\xc2\xaf \ 10048:2016-12-30 le/rn `?//See `? `?. \ 8429:2016-06-10 undo 8426 \ 8426:2016-06-09 slashlearn `?/`? is the command to query wisdom entries. \ 5693:2015-06-24 revert \ 5692:2015-06-24 learn `? Woooow you\'re sooooooooo metaaaa- No. \ 5197:2014-12-13 sed -i \'s/\xc2\xb0/\xc2\xb0\xe2\x80\x8 23:55:10 oops 23:55:20 `cat wisdom/`? 23:55:21 ​​`? ¯\(°​_o)/¯ 23:56:29 `? platypus 23:56:30 platypus? ¯\(°​_o)/¯ 23:56:41 `before wisdom/society 23:56:44 wisdom/society//Society's a platypus. 23:57:47 b_jonas: also bin/help currently works like `?, except that it tries matching starting with ` before matches without. 23:58:23 because entries starting with ` are more likely to be about commands